„Automorfizmus (csoportelmélet)” változatai közötti eltérés

Legyen <math>G</math> egy csoport, és legyen <math>\phi:G \rightarrow G</math> bijektív leképezés (azaz <math>G</math> különböző elemeihez <math>\phi</math> különböző elemeket rendel, és <math>G</math> minden eleme előáll <math>G</math> valamely elemének képeként). Ezt a leképezést automorfizmusnak nevezzük, ha bármely <math>a,b \in G</math>-re <math>\ \phi(ab)=\phi(a)\phi(b)</math>. Az automorfizmusok tehát olyan izomorfizmusok, amelyek egy csoportot önmagára képeznek le.