Gruppe/Isomorphismus/Einführung/Textabschnitt


Es seien und Gruppen. Einen bijektiven Gruppenhomomorphismus

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


Betrachte die additive Gruppe der reellen Zahlen, also , und die multiplikative Gruppe der positiven reellen Zahlen, also . Dann ist die Exponentialabbildung

ein Gruppenisomorphismus. Dies beruht auf grundlegenden analytischen Eigenschaften der Exponentialfunktion. Die Homomorphieeigenschaft ist lediglich eine Umformulierung des Exponentialgesetzes

Die Injektivität der Abbildung folgt aus der strengen Monotonie, die Surjektivität folgt aus dem Zwischenwertsatz. Die Umkehrabbildung ist der natürliche Logarithmus, der somit ebenfalls ein Gruppenisomorphismus ist.




Seien und Gruppen und sei

ein Gruppenisomorphismus.

Dann ist auch die Umkehrabbildung

ein Gruppenisomorphismus.

Dies folgt aus


Isomorphe Gruppen sind bezüglich ihrer gruppentheoretischen Eigenschaften als gleich anzusehen. Isomorphismen einer Gruppe auf sich selbst nennt man auch Automorphismen.