Bijektiver Gruppenhomomorphismus/Umkehrabbildung ist homomorph/Fakt

Seien und Gruppen und sei

ein Gruppenisomorphismus.

Dann ist auch die Umkehrabbildung

ein Gruppenisomorphismus.