Betrachten Sie die Gruppe
.
Sei
. Zeigen Sie, dass
ein Normalteiler von
ist.
Zeigen Sie weiters, dass
ein Gruppenhomomorphismus ist.
Verwenden Sie diesen und den Homomorphiesatz, um eine zu
isomorphe Untergruppe von
zu finden.
Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier:
Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:
{{Beispiel|1=
Angabetext
}}
oder
{{Beispiel|
Angabetext
}}
zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)
{{Beispiel|status=solved|1=
Angabetext
}}
- Untergruppe
Untergruppe[Bearbeiten, Wikipedia, 2.50 Definition]
ist genau dann eine Untergruppe von
, wenn:


- Normalteiler
Normalteiler[Bearbeiten, Wikipedia, 2.58 Definition]
Eine Untergruppe
heißt Normalteiler, wenn stets LNK = RNK gilt, d.h.
.
Für Normalteiler gilt: Die Menge der Nebenklassen
bildet selbst eine Gruppe, die Faktorgruppe
.
- Homomorphismus
Seien
und
Gruppen.
Eine Abbildung
heißt Homomorphismus, falls gilt:
.
- Homomorphiesatz
Homomorphiesatz[Bearbeiten, Wikipedia, 2.66 Definition]
Sei
ein Gruppenhomomorphismus. Dann ist die Faktorgruppe
zum Bild
isomorph:

Die Nebenklasse
entspricht dem Element
Es sind 3 Dinge zu zeigen:
(1)
(2)
ist ein Gruppenhomomorphismus
(3) Eine zu
isomorphe Untergruppe von
finden
(1) Zuerst zeigen wir dass
durch das Untergruppenkriterium:
Für
gilt offensichtlicher Weise
, daher gilt es nur mehr
zu zeigen.
Lass
ist
, da
Dh.
Damit ist
gezeigt.
Da die
Operation in
kommutativ ist, stimmen die Links- und Rechtsnebenklassen überein und daraus folgt
.
(2) Man kann für
einfach mal einsetzen:
Das stimmt offensichtlicher Weise für alle komplexen Zahlen und daher ist
ein Homomorphismus
(3) Bei genauerer Überlegung sieht man, dass
, da
alle komplexen Zahlen enthält die auf
abgebildet werden und
das neutrale Element der Multiplikation ist. Weiters sieht man, dass
. Deswegen sagt uns der Homomorphiesatz dass
.
Da
, ist
unsere gesuchte Untergruppe.