Gruppentheorie - Vorlesungsskripte der Fakultät für Mathematik und ...
Gruppentheorie - Vorlesungsskripte der Fakultät für Mathematik und ...
Gruppentheorie - Vorlesungsskripte der Fakultät für Mathematik und ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
ist Gj ∩ Gk = 1, d. h. jedes xj ∈ Gj ist mit jedem xk ∈ Gk vertauschbar. Daher haben wir<br />
1 = g1 · . . . · gi−1 · gi · gi+1 · . . . · gn mit gi := g −1 . Sei j ∈ {1, . . . , n} maximal mit gj �= 1.<br />
Dann 1 �= g −1<br />
j = g1 · . . . · gj−1 ∈ Gj ∩ G1 · . . . · Gj−1 = 1 � �<br />
Beispiel 7.1<br />
Sind G1, G2 Normalteiler einer Gruppe G mit G = G1 · G2 <strong>und</strong> G1 ∩ G2 = 1. Dann ist<br />
G = G1 ⊕ G2.<br />
Satz 7.2<br />
Seien G1, . . . , Gn Normalteiler einer endlichen Gruppe G mit |G| = |G1| · . . . · |Gn| <strong>und</strong><br />
ggT(|Gi|, |Gj|) = 1 <strong>für</strong> i �= j. Dann ist G = G1 ⊕ . . . ⊕ Gn.<br />
BEWEIS:<br />
Der Beweis erfolgt durch Induktion nach i: Gi ∩ G1 · . . . · Gi−1 = 1 <strong>und</strong> |G1 · . . . · Gi| =<br />
|G1| · . . . · |Gi−1|. Für i = 2 ist |G2 ∩ G1| | ggT(|G2|, |G1|) = 1. Also G2 ∩ G1 = 1 <strong>und</strong><br />
|G1G2| = |G1| · |G2|(·|G1 ∩ G2|) = |G1| · |G2|. Sei die Aussage <strong>für</strong> i schon bewiesen. Dann<br />
|Gi+1 ∩ G1 · . . . · Gi| | ggT(|Gi+1|, |G1 · . . . · Gi|) = ggT(|Gi+1|, |G1| · . . . · |Gi|) = 1. Also<br />
Gi+1 ∩G1 ·. . .·Gi = 1 <strong>und</strong> |G1 ·. . .·Gi ·Gi+1| = |G1 ·. . .·Gi|·|Gi+1| = |G1|·. . .·|Gi|·|Gi+1|.<br />
Am Ende hat man |G| = |G1| · . . . · |Gn| = |G1 · . . . · Gn|. Also G = G1 · . . . · Gn. Aus dem<br />
Satz 7.1 folgt die Behauptung. �<br />
Definition 7.2 (Minimale, maximale Untergruppe/Normalteiler)<br />
Eine minimale bzw. maximale Untergruppe einer Gruppe G ist eine Untergruppe U �= 1<br />
bzw. U �= G von G <strong>der</strong>art, dass keine Untergruppe V � G existiert mit 1 < V < U bzw.<br />
U < V < G. Analog definiert man minimale bzw. maximale Normalteiler<br />
Satz 7.3<br />
(i) Sind G1, . . . , Gn nichtabelsche einfache Normalteiler einer Gruppe G mit G =<br />
G1 ⊕. . .⊕Gn, so sind die Teilsummen Gi1 ⊕. . .⊕Gik die einzigen Normalteiler von<br />
Gi. Insbeson<strong>der</strong>e existiert zu jedem Normalteiler N � G ein M � G mit G = N ⊕ M.<br />
(ii) Direkte Produkte von endlich vielen isomorphen einfachen Gruppen sind stets<br />
charakteristisch einfach.<br />
(iii) Jede endliche charakteristisch einfache Gruppe G ist eine direkte Summe endlich<br />
vieler isomorpher einfacher Gruppen.<br />
BEWEIS:<br />
(i) Sei die Voraussetzung erfüllt <strong>und</strong> g ∈ N � G. Wir schreiben g = g1 · . . . · gn mit<br />
g1 ∈ G1, . . . , gn ∈ Gn. Dann genügt zu zeigen:<br />
(7.1)<br />
Ist 1 � i � n mit gi �= 1 ⇒ Gi ⊆ N<br />
Sei 1 � i � n mit gi �= 1. Da Gi einfach <strong>und</strong> nichtabelsch, ist Z(Gi) = 1. Also<br />
liegt gi nicht im Zentrum von G. Also gibt es ein Element h ∈ Gi mit hgi �= gih,<br />
d. h. 1 �= hgih−1g −1<br />
i = hgh−1g−1 ∈ Gi ∩ N. Folglich gilt: Gi � Gi ∩ N �= 1 ist ein<br />
Normalteiler in Gi. Da aber Gi einfach ist, ist Gi = Gi ∩ N � N.<br />
39