Gruppenhomomorphismus/R nach C/e^it/Kern und Bild/Beispiel

Aus Wikiversity

Betrachte die analytische Abbildung

Aufgrund des Exponentialgesetzes (bzw. der Additionstheoreme für die trigonometrischen Funktionen) ist . Daher liegt ein Gruppenhomomorphismus von der additiven Gruppe in die multiplikative Gruppe vor. Wir bestimmen den Kern und das Bild dieser Abbildung. Für den Kern muss man diejenigen reellen Zahlen bestimmen, für die

ist. Aufgrund der Periodizität der trigonometrischen Funktionen ist dies genau dann der Fall, wenn ein ganzzahliges Vielfaches von ist. Der Kern ist also die Untergruppe . Für einen Bildpunkt gilt , so dass der Bildpunkt auf dem komplexen Einheitskreis liegt. Andererseits durchlaufen die trigonometrischen Funktionen den gesamten Einheitskreis, so dass die Bildgruppe der Einheitskreis mit der komplexen Multiplikation ist.