Gruppenisomorphismus/Reelle Exponentialfunktion als Beispiel/Beispiel
Erscheinungsbild
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.