Definition, Bestimmung und Eigenschaften der Gruppenisomorphie