Die Gruppen H {\displaystyle {}H} und G {\displaystyle {}G} heißen isomorph, wenn es einen Gruppenisomorphismus φ : G → H {\displaystyle {}\varphi \colon G\rightarrow H} gibt.
