sisi...
stanotte faccio la nottata...
ci penso io a dimostrare che è surriettiva e te lo trovo io l'elemento neutro di INT(G)...
anche se sti "conticini" non so proprio così evidenti...
può essere che mi faccio la nottata invano...
cmq se mi viene in mente qualcosa te lo faccio sapere...
1) la surjettività è per definizione, come ho già scritto.
2) l'elemento neutro in $Int(G)$ è l'autorfismo identico associato a $g=1$
3) omomorfismo:
$\psi(hg)(x)=\gamma_{hg}(x)=(hg)^{-1}xhg=g^{-1}h^{-1}xhg=g^{-1}\gamma_h(x)g=\gamma_g*\gamma_h(x)=\psi(g)\psi(h)(x)$.
nooooooo...
e ora cosa faccio io stasera...
mmhh...
mi studio algebra lo stesso...
però io sto ai polinomi...
cmq spero che tu abbia capito che la surriettività è per definizione che io non riesco a dimostrarla in altri modi...
...
in bocca al lupo per l'interrogazione alla lavagna e fagli male al professore...
bah... non vedo perchè dovresti cercare una dimostrazione alternativa
di una cosa ovvia. Prova a dimostrare che un triangolo ha tre lati...
se non li avesse non sarebbe un triangolo, si direbbe! ebbene, se un
autorfismo interno non sarebbe esprimibile nella forma $\gamma_g$ non
sarebbe un automorfismo interno.
per quanto riguarda l'interrogazione, ti ringrazio per l'augurio, ma ho
già dato a suo tempo... ahimè, mi attendono cose estremamente più
complicate!
...
non è così scontato che un triangolo abbia tre lati...
...
forse ti riferivi a un trilatero?
...
o forse volevi dire che un triangolo ha tre angoli?...
cmq...
in bocca al lupo per quello che ti attende e grazie per la tua disponibilità sul forum...