Bijektiver Gruppenhomomorphismus/Umkehrabbildung ist homomorph/Fakt/Name

Der Satz über die Umkehrabbildung eines Gruppenisomorphismus.