02.02.2013 Aufrufe

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 ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!