Automorfismo: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 46:
La prima corrisponde agli automorfismi derivanti dalla ''[[azione di coniugio|coniugazione]]'' attraverso elementi dell'oggetto stesso, la seconda a tutti gli altri automorfismi.
 
Nella [[teoria dei gruppi]], per esempio, sia ''a'' un elemento di un gruppo ''G''. La coniugazione per ''a'' è l'[[omomorfismo di gruppo]] φ<sub>''a''</sub> : ''G''&nbsp;→&nbsp;''G'' dato da φ<sub>''a''</sub>(''g'') = ''aga''<sup>−1</sup>. Si può facilmente controllare che la coniugazione per ''a'' è effettivamente un automorfismo di gruppo. Un "automorfismo interno" è quindi un automorfismo corrispondente alla coniugazione per un certo elemento ''a''. L'insieme di tutti gli automorfismi interni forma un [[sottogruppo normale]] di Aut(''G''), denotato da InnInt(''G''). Il [[gruppo quoziente]] Aut(''G'')&nbsp;/&nbsp;InnInt(''G'') è normalmente indicato da Out(''G'').
 
La stessa definizione vale in ogni [[anello (algebra)|anello unitario]] oppure [[algebra su campo|algebra]] dove ''a'' è un qualsiasi [[elemento invertibile]]. Per le [[algebra di Lie|algebre di Lie]] la definizione è leggermente differente.