Automorfismo
Origem: Wikipédia, a enciclopédia livre.
Sejam (G,*) e (J, Δ) grupos genéricos. Dizemos que uma aplicação é um isomorfismo do grupo G no grupo J se, e somente se,
a) f é bijetora;
b) f é um homomorfismo de grupos.
Se G=J, um isomorfismo chama-se automorfismo de G.