group automorphism

Sei \((G, \circ)\) eine Gruppe und \(\phi: G \rightarrow G\) ein Gruppenisomorphismus, der insbesondere eine Gruppe auf sich selbst abbildet. Dann ist \(\phi\) ein Gruppenautomorphismus.