Gruppenisomorphismus/Definition

Gruppenisomorphismus

Seien ${}G$ und ${}H$ Gruppen. Einen bijektiven Gruppenhomomorphismus

$\varphi \colon G\longrightarrow H$

nennt man einen Isomorphismus (oder eine Isomorphie). Die beiden Gruppen heißen isomorph, wenn es einen Isomorphismus zwischen ihnen gibt.