Bijektiver Gruppenhomomorphismus/Umkehrabbildung ist homomorph/Fakt

Es seien und Gruppen und sei

ein Gruppenisomorphismus.

Dann ist auch die Umkehrabbildung

ein Gruppenisomorphismus.