Algebra (Kurt M.) - Solutions

Christian Karpfinger
Arbeitsbuch Algebra
Aufgaben und Lösungen mit ausführlichen
Erklärungen und Hinführungen
Arbeitsbuch Algebra
Arbeitsbuch Algebra
Aufgaben und Lösungen mit ausführlichen
Erklärungen und Hinführungen
TU München Zentrum Mathematik - M11
München, Deutschland
ISBN 978-3-662-45980-5 ISBN 978-3-662-45981-2 (eBook)

DOI 10.1007/978-3-662-45981-2
Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie;

detaillierte bibliografische Daten sind im Internet über http://dnb.d-nb.de abrufbar.
Springer Spektrum
© Springer-Verlag Berlin Heidelberg 2015
Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung, die nicht aus-
drücklich vom Urheberrechtsgesetz zugelassen ist, bedarf der vorherigen Zustimmung des Verlags. Das
gilt insbesondere für Vervielfältigungen, Bearbeitungen, Übersetzungen, Mikroverfilmungen und die Ein-
speicherung und Verarbeitung in elektronischen Systemen.
Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk be-
rechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der
Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann
benutzt werden dürften.
Planung: Dr. Andreas Rüdinger
Gedruckt auf säurefreiem und chlorfrei gebleichtem Papier.
Springer-Verlag GmbH Berlin Heidelberg ist Teil der Fachverlagsgruppe Springer Science+Business Me-
dia
(www.springer.com)
Vorwort
Im vorliegenden Buch stellen wir zahlreiche Aufgaben zur Algebra inklusive ausführlicher
Lösungen zur Verfügung. Die Aufgaben sind dabei dem Buch Algebra, Gruppen – Ringe
– Körper von Ch. Karpfinger und K. Meyberg entnommen und um einige weitere ergänzt.
Einer knapp formulierten Musterlösung zu einer Algebraaufgabe ist oftmals nicht mehr
die Idee zur Lösungsfindung zu entnehmen. Daher haben wir gerade deswegen in der
vorliegenden Aufgabensammlung das Augenmerk stets darauf gelegt, zu motivieren, wie
man auf die Lösung kommt. Das Ziel ist dabei, den Leser zu unterstützen, selbständig
und erfolgreich ein vertieftes Verständnis der grundlegenden Strukturen der Algebra zu
entwickeln und gut auf Prüfungen vorbereitet zu sein.
Wie in jeder anderen mathematischen Disziplin auch, ist ebenso in der Algebra das Lö-
sen von Aufgaben unterschiedlichster Art und Schwierigkeitsgrade der Schlüssel für ein
erfolgreiches Studium. Nicht zuletzt aufgrund der üblicherweise fehlenden Anschaulich-
keit, sprich der Abstraktheit der Algebra, ist aber oftmals die Idee zur Lösungsfindung
nicht unmittelbar greifbar. Daher geben wir Ihnen bereits jetzt, zu Beginn, einige Tipps
und Hinweise, die beim Lösen typischer Algebraaufgaben hilfreich sind:
Vergegenwärtigen Sie sich stets die Begriffe und Definitionen aus der Aufgabenstel-
lung. Stellen Sie sicher, dass Sie die Begriffe verstanden haben.
Ziehen Sie Informationen aus der Aufgabenstellung und stellen Sie diese zusammen.
Welche Sätze, Lemmata und Korollare kennen Sie zu den Themen der Aufgabenstel-
lung? Stellen Sie diese zusammen.
Haben Sie stets die grundsätzlichen Beweistechniken (direkt, indirekt, Widerspruch)
im Blick.
Machen Sie sich Skizzen zu ineinandergeschachtelten Mengen (etwa Untergruppen-
verbände, Ringerweiterungen oder Körpertürme).
Wir haben eine Wertung des Schwierigkeitsgrades der einzelnen Aufgaben angegeben.
steht für einfach, für mittelschwer, für anspruchsvoll. Eine solche Wertung ist
zwar subjektiv, kann aber als Orientierunghilfe für den Leser dienen.
V
VI Vorwort
Es ist typisch für Algebraaufgaben, dass die Lösung oftmals ganz einfach ist, wenn man
nur weiß, wie man die Aufgabe zu lösen hat. Aber auf die entscheidende Idee zur Lö-
sungsfindung zu kommen, ist vielfach enorm schwierig. Wir haben solche Aufgaben typi-
scherweise mit bewertet.
Sämtliche Verweise im Text auf Sätze, Lemmata und Korollare sowie angegebene Seiten-
zahlen beziehen sich auf die 3. Auflage des Buches Algebra, Gruppen – Ringe – Körper
von Ch. Karpfinger und K. Meyberg.
Die Aufgaben haben sich im Laufe vieler Jahren angesammelt. Viele Aufgabenstellungen
und auch manche Lösungen stammen von Kollegen, denen ich hiermit sehr danke, na-
mentlich erwähnt seien Detlev Gröger, Frank Himstedt, Thomas Honold, Gregor Kemper,
Kurt Meyberg, Martin Kohls und Heinz Wähling.
München, im November 2014 Christian Karpfinger

Inhaltsverzeichnis
1 Halbgruppen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Gruppen .......................................... 7
3 Untergruppen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4 Normalteiler und Faktorgruppen . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5 Zyklische Gruppen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
6 Direkte Produkte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
7 Gruppenoperationen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
8 Die Sätze von Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
9 Symmetrische und alternierende Gruppen . . . . . . . . . . . . . . . . . . . . 71
10 Der Hauptsatz über endliche abelsche Gruppen . . . . . . . . . . . . . . . . . 83
11 Auflösbare Gruppen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
12 Freie Gruppen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
13 Grundbegriffe der Ringtheorie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
14 Polynomringe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
VII
VIII Inhaltsverzeichnis
15 Ideale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
16 Teilbarkeit in Integritätsbereichen . . . . . . . . . . . . . . . . . . . . . . . . . . 135
17 Faktorielle Ringe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
18 Hauptidealringe. Euklidische Ringe . . . . . . . . . . . . . . . . . . . . . . . . . 145
19 Zerlegbarkeit in Polynomringen und noethersche Ringe . . . . . . . . . . . 157
20 Grundlagen der Körpertheorie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
21 Einfache und algebraische Körpererweiterungen . . . . . . . . . . . . . . . . 181
22 Konstruktionen mit Zirkel und Lineal . . . . . . . . . . . . . . . . . . . . . . . 193
23 Transzendente Körpererweiterungen . . . . . . . . . . . . . . . . . . . . . . . . 197
24 Algebraischer Abschluss. Zerfällungskörper . . . . . . . . . . . . . . . . . . . 199
25 Separable Körpererweiterungen . . . . . . . . . . . . . . . . . . . . . . . . . . . 213
26 Endliche Körper . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
27 Die Galoiskorrespondenz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
28 Der Zwischenkörperverband einer Galoiserweiterung . . . . . . . . . . . . . 249
29 Kreisteilungskörper . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
30 Auflösung algebraischer Gleichungen durch Radikale . . . . . . . . . . . . . 277
31 Die allgemeine Gleichung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283

Halbgruppen 1
1.1 Aufgaben
1.1 Untersuchen Sie die folgenden inneren Verknüpfungen N N ! N auf Asso-

ziativität, Kommutativität und Existenz von neutralen Elementen.
(a) .m; n/ 7! mn . (c) .m; n/ 7! ggT.m; n/.

(b) .m; n/ 7! kgV.m; n/. (d) .m; n/ 7! m C n C m n.
1.2 Untersuchen Sie die folgenden inneren Verknüpfungen R R ! R auf Asso-

ziativität, Kommutativität und Existenz von neutralen Elementen.
p
(a) .x; y/ 7! 3
x3 C y3. (b) .x; y/ 7! x C y x y. (c) .x; y/ 7! x y.
1.3 Mit welcher der folgenden inneren Verknüpfungen ı W Z Z ! Z ist .Z; ı/

eine Halbgruppe?
(a) x ı y D x. (c) x ı y D .x C y/2 .

(b) x ı y D 0. (d) x ı y D x y x y.
1.4 Wie viele verschiedene innere Verknüpfungen gibt es auf einer Menge mit drei
Elementen?
1.5 Man begründe das allgemeine Assoziativgesetz (siehe Lemma 1.3 (Algebra-
buch)).
© Springer-Verlag Berlin Heidelberg 2015 1

C. Karpfinger, Arbeitsbuch Algebra, DOI 10.1007/978-3-662-45981-2_1
2 1 Halbgruppen
1.6 Man begründe das allgemeine Kommutativgesetz (siehe Lemma 1.4 (Algebra-
buch)).
1.7 Man zeige, dass die Teilmenge ZCZ i D fa Cb i j a; b 2 Zg von C, versehen

mit der gewöhnlichen Multiplikation komplexer Zahlen, eine abelsche Halbgruppe mit
neutralem Element ist. Ermitteln Sie die Einheiten von Z C Z i.
1.8 Es seien die Abbildungen f1 ; : : : ; f6 W R n f0; 1g ! R n f0; 1g definiert durch:

1 x1
f1 .x/ D x ; f2 .x/ D ; f3 .x/ D ;
1x x
1 x
f4 .x/ D ; f5 .x/ D ; f6 .x/ D 1 x :
x x1
Zeigen Sie, dass die Menge F D ff1 ; f2 ; f3 ; f4 ; f5 ; f6 g mit der inneren Verknüpfung
ı W .fi ; fj / 7! fi ı fj , wobei fi ı fj .x/ WD fi .fj .x//, eine Halbgruppe mit neutralem
Element ist. Welche Elemente aus F sind invertierbar? Stellen Sie eine Verknüpfungstafel
für .F; ı/ auf.
1.9 Bestimmen Sie alle Homomorphismen von .Z; C/ in .Q; C/. Gibt es darunter
Isomorphismen?
1.2 Lösungen
k
1.1 (a) Die Gleichheit mn D .mn /k D mnk ist für m; n; k 2 N im Allgemeinen nicht
k
erfüllt, so gilt etwa für m D n D k D 3: mn D 327 6D 39 D mnk . Also ist die
Verknüpfung nicht assoziativ. Die Verknüpfung ist auch nicht kommutativ, da etwa 32 6D
23 gilt. Aber es gibt ein rechtsneutrales Element, nämlich 1, denn es gilt für alle m 2 N:
m1 D m. Das rechtsneutrale Element 1 ist aber nicht linksneutral: 12 6D 2. Da es kein
Element e in N mit e n D n für alle n 2 N gibt, existiert kein neutrales Element.
(b) Wegen kgV.m; kgV.n; k// D kgV.kgV.m; n/; k/ und kgV.m; n/ D kgV.n; m/ für
alle m; n; k 2 N ist die Verknüpfung assoziativ und kommutativ. Wegen kgV.1; n/ D n
für jedes n 2 N ist 1 neutrales Element.
(c) Analog zu (b) zeigt man, dass die Verknüpfung assoziativ und kommutativ ist. Jedoch
gibt es kein neutrales Element, da ggT.e; n/ D n die Relation n j e impliziert.
(d) Wir setzen m ı n WD m C n C m n für m; n 2 N. Damit gilt für alle m; n; k 2 N:
m ı .n ı k/ D m ı .n C k C n k/ D m C .n C k C n k/ C m .n C k C n k/ ;
.m ı n/ ı k D .m C n C m n/ ı k D m C n C m n C k C .m C n C m n/ k :
1.2 Lösungen 3
Offenbar gilt also m ı .n ı k/ D .m ı n/ ı k, sodass die Verknüpfung assoziativ ist. Sie

ist offenbar auch kommutativ: m ı n D n ı m für alle m; n 2 N. Es gibt kein neutrales
Element, da n ı e D n mit e .1 C n/ D 0 gleichwertig ist und diese letzte Gleichung für
n; e 2 N nicht erfüllbar ist.
1.2 Wir schreiben ı für die jeweilige Verknüpfung.

(a) Diese Verknüpfung ist assoziativ, da für beliebige x; y; z 2 R gilt:
q
p 3 p 3
x ı .y ı z/ D x ı . 3 y 3 C z 3 / D x 3 C 3 y 3 C z 3
q
p 3 p 3
D 3 x3 C y3 C z3 D 3
x3 C y3 C z3
p
D . 3 x 3 C y 3 / ı z D .x ı y/ ı z :
p p
Die Verknüpfung ist wegen 3 x 3 C y 3 D 3 y 3 C x 3 kommutativ. Und es ist 0 2 R ein
neutrales Element, da 0 ı x D x für alle x 2 R gilt.
(b) Die Verknüpfung ist assoziativ, da für alle x; y; z 2 R gilt:
x ı .y ı z/ D x ı .y C z y z/ D x C .y C z y z/ x .y C z y z/ ;
.x ı y/ ı z D .x C y x y/ ı z D x C y x y C z .x C y x y/ z ;
d. h. x ı .y ı z/ D .x ı y/ ı z. Wegen x ı y D x C y x y D y ı x für alle x; y 2 R ist die

Verknüpfung auch kommutativ. Es ist 0 2 R neutrales Element, da 0ıx D 0Cx 0 x D x
für alle x 2 R erfüllt ist.
(c) Diese Verknüpfung ist nicht assoziativ, da etwa
.0 ı 0/ ı 1 D .0 0/ 1 D 1 und 0 ı .0 ı 1/ D 0 .0 1/ D 1
gilt. Die Verknüpfung ist auch nicht kommutativ, da
0 ı 1 D 1 6D 1 D 1 ı 0
gilt. Angenommen, es existiert ein neutrales Element e. Dann muss dieses wegen x D
x ı e D x e für jedes x 2 R offenbar gleich null sein, e D 0 (das Element e ist
rechtsneutral). Aber e D 0 ist nicht linksneutral, da etwa 0 ı 1 D 1 6D 1 gilt. Damit gibt
es kein neutrales Element.
1.3 (a) Mit dieser Verknüpfung ist Z eine Halbgruppe, da ı assoziativ ist:
x ı .y ı z/ D x D .x ı y/ ı z für alle x; y; z 2 Z :
4 1 Halbgruppen
(b) Mit dieser Verknüpfung ist Z eine Halbgruppe, da ı assoziativ ist:
x ı .y ı z/ D 0 D .x ı y/ ı z für alle x; y; z 2 Z :
(c) Mit dieser Verknüpfung ist Z keine Halbgruppe, da ı nicht assoziativ ist. Es gilt etwa
1 ı .1 ı 0/ D 4 6D 16 D .1 ı 1/ ı 0 :
(d) Mit dieser Verknüpfung ist Z keine Halbgruppe, da ı nicht assoziativ ist. Es gilt näm-
lich:
.0 ı 0/ ı 1 D 0 ı 1 D 1 6D 1 D 0 ı .1/ D 0 ı .0 ı 1/ :
1.4 Es sei ı eine innere Verknüpfung der dreielementigen Menge fa; b; cg. Wir können
eine Verknüpfungstafel für diese Verknüpfung aufstellen, sie hat die Form:
ı a b c
a
b
c
Hierbei dienen die Sterne als Platzhalter für die Elemente a; b; c. Je zwei verschiedene
Belegungen dieser Tafel liefern zwei verschiedene Verknüpfungen. Da es genau 39 ver-
schiedene solche Belegungen gibt (für jedes der neun Felder gibt es 3 Möglichkeiten), gibt
es somit genau 39 verschiedene Verknüpfungen.
1.5 Beweis mit vollständiger Induktion nach der Zahl n der Faktoren a1 ; : : : ; an . Die
Behauptung ist klar für n D 2. Daher sei n 3, und die Behauptung sei richtig für
beliebige Produkte mit k < n Faktoren a1 ; : : : ; ak , sodass ein solches Produkt in der
Form a1 ak geschrieben werden darf. Die letzte Multiplikation bei der Bildung eines
beliebigen Produkts P .a1 ; : : : ; an / hat dann die Form (1 i n 2):
P .a1 ; : : : ; an / D .a1 ai / .ai C1 an / D .a1 ai / ..ai C1 an1 / an /

D .a1 an1 / an :
1.6 Beweis mit vollständiger Induktion nach der Zahl n der Faktoren a1 ; : : : ; an . Die
Behauptung ist klar für n D 2. Daher sei n 3, und die Behauptung sei richtig für
beliebige Produkte mit weniger als n paarweise vertauschbaren Faktoren.
Es seien a1 ; : : : ; an paarweise vertauschbar und .k/ D n.
1.2 Lösungen 5
1. Fall: k 6D 1; n.
a .1/ a .n/ D .a .1/ a .k1/ / .an a .kC1/ a .n/ /

D .a .1/ a .k1/ / .a .kC1/ a .n/ an /
D .a .1/ a .n/ / an D a1 an :
2. Fall: k D n. Dann gilt a .1/ a .n/ D .a .1/ a .n1/ / an D a1 an .

3. Fall: k D 1. Dann gilt a .1/ a .n/ D an a .2/ a .n/ D a .2/ an a .3/ a .n/ D
a1 an .
1.7 Für H WD Z C Z i und a1 ; a2 ; b1 ; b2 2 Z gilt
.a1 C b1 i/ .a2 C b2 i/ D .a1 a2 b1 b2 / C .a1 b2 C b1 a2 / i 2 H ;
denn a1 a2 b1 b2 ; a1 b2 Cb1 a2 2 Z. Damit ist H eine Unterhalbgruppe von C, insbeson-

dere also eine Halbgruppe. Weil C abelsch ist, ist auch H abelsch. Es ist 1 D 1 C 0 i 2 H
das neutrale Element von H .
Wir bestimmen nun die Menge der Einheiten: Es sei x D a C b i 2 H eine Einheit. Dann
existiert ein y 2 H mit x y D 1, also 1 D jx yj2 D jxj2 jyj2 für den komplexen Betrag
j j. Da jxj2 D a2 C b 2 (und analog jyj2 ) in N0 liegt, folgt a2 C b 2 D jxj2 D 1, sodass
.a; b/ 2 f.1; 0/; .1; 0/; .0; 1/; .0; 1/g ;
d. h. x 2 f1; 1; i; ig. Wegen 1 1 D 1, .1/ .1/ D 1, i . i/ D 1 folgt H D

f1; 1; i; ig.
1.8 Wir beginnen mit der Verknüpfungstafel. Nach einfachen Rechnungen wie etwa f2 ı
f2 .x/ D 1 1 D x1x
D f3 .x/ erhalten wir:
1 1x
ı f1 f2 f3 f4 f5 f6
f1 f1 f2 f3 f4 f5 f6
f2 f2 f3 f1 f5 f6 f4
f3 f3 f1 f2 f6 f4 f5
f4 f4 f6 f5 f1 f3 f2
f5 f5 f4 f6 f2 f1 f3
f6 f6 f5 f4 f3 f2 f1
Insbesondere erhalten wir, dass f1 neutrales Element ist. Die Assoziativität ist erfüllt,
da die Menge aller Abbildungen von R n f0; 1g in sich bezüglich der Komposition ı
6 1 Halbgruppen
von Abbildungen assoziativ ist. Und die Menge der invertierbaren Elemente erhalten wir
ebenfalls aus der Verknüpfungstafel: F D F – da das neutrale Element f1 in jeder Zeile
erscheint und auch fj ı fi D f1 im Falle fi ı fj D f1 gilt. Da die Verknüpfungstafel nicht
symmetrisch ist, ist die Verknüpfung nicht abelsch.
1.9 Es sei ' W Z ! Q ein Homomorphismus. Wegen '.0/ D '.0C0/ D '.0/C'.0/ gilt
'.0/ D 0. Weiter erhalten wir '.1/ D '.1/ aus 0 D '.0/ D '.11/ D '.1/C'.1/.
Wegen der Homomorphie folgt nun hieraus für alle n 2 N: '.n/ D n '.1/ und '.n/ D
.n/ '.1/, sodass also ' durch '.1/ eindeutig bestimmt ist. Andererseits ist für jede
rationale Zahl r die Abbildung 'r W Z ! Q, n 7! n r ein Homomorphismus. Also ist
f'r W n 7! nr j r 2 Qg die Menge aller Homomorphismen von Z nach Q. Für kein r 2 Q
ist 'r surjektiv, da Q 6D fn r j n 2 Zg. Insbesondere gibt es also keinen Isomorphismus
von Z nach Q.
Gruppen 2
2.1 Aufgaben
2.1 Sudoku für Mathematiker.

Es sei G D fa; b; c; x; y; zg eine sechselementige Menge mit einer inneren Verknüp-
fung W G G ! G. Vervollständigen Sie die untenstehende Multiplikationstafel unter
der Annahme, dass .G; / eine Gruppe ist.
a b c x y z
a c b
b x z
c y
x x
y
z a x
2.2 Begründen Sie: .Z; C/ Š .n Z; C/ für jedes n 2 N.
2.3 Es sei G eine Gruppe. Man zeige:
(a) Ist Aut G D fIdg, so ist G abelsch.

(b) Ist a 7! a2 ein Homomorphismus, so ist G abelsch.
(c) Ist a !7 a1 ein Automorphismus, so ist G abelsch.
2.4 Man bestimme alle Automorphismen der Klein’schen Vierergruppe V .
2k i
2.5 Für n 2 N sei En D fe n j k D 0; : : : ; n 1g die Gruppe der n-ten Ein-
heitswurzeln (mit dem üblichen Produkt der komplexen Zahlen). Begründen Sie, dass
2 i
' W Z ! En , k 7! "kn für "n D e n ein Homomorphismus ist. Bestimmen Sie den Kern
von '.
8 2 Gruppen
2.6 Bestimmen Sie explizit die Gruppe .V / für die Klein’sche Vierergruppe V D
fe; a; b; cg und aus dem Satz 2.15 (Algebrabuch) von Cayley.
2.7 Es sei G eine endliche Gruppe, weiter sei ' 2 Aut G fixpunktfrei, d. h., aus
'.a/ D a für ein a 2 G folgt a D e. Zeigen Sie: Zu jedem a 2 G existiert genau ein
b 2 G mit a D b 1 '.b/. Hinweis: Zeigen Sie zuerst W b 7! b 1 '.b/ ist injektiv.
2.8 Zeigen Sie: Besitzt eine endliche Gruppe G einen fixpunktfreien Automorphis-
mus ' mit ' 2 D Id, so ist G abelsch. Hinweis: Benutzen Sie Aufgabe 2.7.
2.9 Im Folgenden sind vier multiplikative Gruppen gegeben, die wir jeweils mit
G bezeichnen. Stellen Sie jeweils die Verknüpfungstafel für die Gruppe G auf; dabei sei
jeweils e das neutrale Element von G:
(a) G D fe; ag,

(b) G D fe; a; bg,
(c) G D fe; a; b; cg mit a2 D b,
(d) G D fe; a; b; cg mit a2 D b 2 D c 2 D e.
2.10 Begründen Sie:
(a) Die Menge RN0 aller reellen Folgen bildet mit der komponentenweisen Addition
.an /n C .bn /n WD .an C bn /n eine Gruppe.
(b) Die Abbildungen

RN0 ! RN0 ; RN0 ! RN0 ;
rW bzw. l W
.a0 ; a1 ; : : :/ 7! .0; a0 ; a1 ; : : :/ .a0 ; a1 ; : : :/ 7! .a1 ; a2 ; : : :/;
bei der die Folgenglieder um eine Stelle nach rechts verschoben bzw. nach links ver-
schoben werden, sind Homomorphismen.
(c) Die Abbildung r ist injektiv, aber nicht surjektiv, die Abbildung l ist surjektiv, aber
nicht injektiv.
2.11 Es sei 'W G ! H ein Isomorphismus von einer Gruppe .G; ı/ auf eine al-
gebraische Struktur .H; /, d. h. W H H ! H ist eine Verknüpfung, und es gelte
'.x ı y/ D '.x/ '.y/ für alle x; y 2 G. Zeigen Sie, dass auch .H; / eine Gruppe ist.
2.12 Es sei X eine beliebige Menge. Mit 2X bezeichnen wir die Potenzmenge von

X, 2X D fA j A Xg. Zeigen Sie, dass .2X ; / mit der durch A B WD .A[B/n.A\B/
definierten Verknüpfung (symmetrische Mengendifferenz) eine abelsche Gruppe ist.
2.2 Lösungen 9
2.13 Zeigen Sie für n 2 N und jeden Körper K:
(a) Die Menge O.n; K/ D fA 2 K nn j A A> D En g der orthogonalen n n-Matrizen

bildet eine Untergruppe von GL.n; K/.
(b) Die Menge SO.n; K/ D fA 2 O.n; K/ j det.A/ D 1g der speziellen orthogonalen
n n-Matrizen bildet eine Untergruppe von O.n; K/.
2.2 Lösungen
2.1 Um die unvollständige Gruppentafel zu vervollständigen, können folgende Argumen-

te genutzt werden:
(1) In der vierten Spalte und vierten Zeile steht der Eintrag x 2 D x. Daraus folgt, dass x
das neutrale Element der Gruppe sein muss. Damit sind bereits alle Eintragungen der
vierten Spalte und der vierten Zeile eindeutig festgelegt.
(2) Die in der Gruppentafel angegebenen Gleichungen ay D c, az D b, b 2 D x, usw.
sowie die jeweils beim Ausfüllen neu dazukommenden Gleichungen, können (und
müssen) verwendet werden.
(3) In jeder Zeile und in jeder Spalte kann jedes Element der Gruppe nur genau einmal
vorkommen. Sind also in einer Zeile oder Spalte 5 der 6 Eintragungen bekannt, ist
der sechste Eintrag bereits eindeutig bestimmt.
Wir starten mit der gegebenen Gruppentafel und nutzen aus, dass aus x 2 D x folgt, dass
x das neutrale Element ist:
a b c x y z a b c x y z
a c b a a c b
b x z b x z b
c y ! c y c
x x x a b c x y z
y y y
z a x z a z x
Nun stehen in der zweiten Spalte vier von sechs Einträgen. Es fehlen die Einträge c und
z. In der ersten Zeile der zweiten Spalte kann aber das c nicht stehen, weil das c in dieser
Zeile schon aufgeführt ist. Also muss dort ein z stehen. Wir benutzen dann die beiden
Gleichungen b 2 D x und bc D z, um den Eintrag von bz zu bestimmen: bz D bbc D
10 2 Gruppen
xc D c.
a z a c b a z a c b
b x z b b x z b c
c y c ! c y c
x a b c x y z x a b c x y z
y c y y c y
z a z x z a z x
So wie wir eben die vierte Zeile vervollständigt haben, können wir nun auch die zweite,
damit dann die erste Zeile und hiermit schließlich die letzte Zeile vervollständigen (siehe
nächste Gruppentafeln). Schließlich erhalten wir aus dieser Tafel dann wiederum
c a D .b z/ a D b .z a/ D b c D z und dann c z D c .a b/ D .c a/ b D z b D a :
Durch weiteres Anwenden der oben aufgeführten Regeln bekommen wir die komplette
Gruppentafel:
a x z y a c b a x z y a c b
b y x z b a c b y x z b a c
c y c ! c z y x c b a
x a b c x y z x a b c x y z
y c y y b c a y z x
z c a b z x y z c a b z x y
2.2 Wir geben einen Isomorphismus von Z nach n Z an. Dazu bietet sich die folgende
Abbildung an: Für n 2 N betrachte
'n W Z ! n Z ; z 7! n z :
'n ist ein Homomorphismus: Für alle z; z 0 2 Z gilt nämlich:
'n .z C z 0 / D n .z C z 0 / D n z C n z 0 D 'n .z/ C 'n .z 0 / :
'n ist surjektiv: Für n z 2 n Z gilt 'n .z/ D n z.
'n ist injektiv: Aus 'n .z/ D 'n .z 0 / mit z; z 0 2 Z folgt n z D n z 0 . Folglich gilt z D z 0 .
Somit ist 'n für jedes n 2 N ein Isomorphismus, d. h. n Z Š Z.

2.2 Lösungen 11
2.3 (a) Für jedes a 2 G ist der innere Automorphismus a ein Automorphismus von G,
d. h. a 2 Aut G, d. h. a D Id. Somit gilt für jedes x 2 G und a 2 G: a .x/ D a x a1 D
x, folglich a x D x a für alle a; x 2 G. D. h. G ist abelsch.
(b) Da die Abbildung q W a 7! a2 ein Homomorphismus ist, gilt für alle a; b 2 G:
.a b/ .a b/ D .a b/2 D a2 b 2 D a a b b. Nach Kürzen von a und b also b a D a b.
Folglich ist G abelsch.
(c) Da die Abbildung W a 7! a1 ein Automorphismus ist, gilt für alle a; b 2 G:
b 1 a1 D .a b/1 D a1 b 1 . Nach beidseitigem Invertieren erhalten wir a b D b a,
somit ist G abelsch.
2.4 Die Automorphismengruppe von V D fe; a; b; cg ist isomorph zu S3 : Für jeden Au-
tomorphismus ' von V gilt '.e/ D e, und die Elemente a; b; c werden durch die bijektive
Abbildung ' permutiert. Folglich kann jeder Automorphismus von V als Permutation aus
von fa;b; cg einen
Sfa;b;cg aufgefasst werden. Andererseits induziert jede Permutation
Automorphismus ' von V : So liefert etwa die Permutation D ab b
c
c
a den Auto-
morphismus
' .e/ D e ; ' .a/ D b ; ' .b/ D c ; ' .c/ D a ;
da etwa
' .a b/ D ' .c/ D a D b c D ' .a/ ' .b/ :
2.5 Es seien k; l 2 Z. Dann gilt
'.k C l/ D "nkCl D "kn "ln D '.k/ '.l/ :
Somit ist ' ein Homomorphismus von Z in En . Wir bestimmen den Kern von ':
2k i
1 D '.k/ D "kn D e n , k 2 nZ:
Also gilt Kern ' D n Z.
2.6 Es gilt etwa für b 2 V : b .e/ D b, b .a/ D c, b .b/ D e, b .c/ D a. Nach

ähnlichen Rechnungen erhalten wir die Permutationen x 2 SV (x 2 V ) in der üblichen
Zweizeilenform für Permutationen:

e D ee aa bb cc ; a D ae ae bc bc ; b D be ac be ac ; c D ec ba ab ec :
Durch Umbenennung e $ 1, a $ 2, b $ 3, c $ 4 erhalten wir die zu V isomorphe

Gruppe V4 D fId; 1 ; 2 ; 3 g S4 , wobei

Id D 11 22 33 44 ; 1 D 12 21 34 43 ; 2 D 13 24 31 42 ; 3 D 14 23 32 41 :
12 2 Gruppen
2.7 Wir begründen vorab, dass die Abbildung W b 7! b 1 '.b/ von G nach G injektiv
ist. Es seien b; b 0 2 G:
b 1 '.b/ D b 01 '.b 0 / ) b 0 b 1 D '.b 0 / '.b 1 / ) b 0 b 1 D '.b 0 b 1 /

) b 0 b 1 D e ) b 0 D b :
Somit ist injektiv. Da eine injektive Abbildung einer endlichen Menge auch surjektiv
ist, folgt, dass bijektiv ist. Somit existiert zu jedem a 2 G genau ein b 2 G mit
a D b 1 '.b/.
2.8 Nach Aufgabe 2.7 existiert

zu a 2 G ein Element b 2 G mit a D b 1 '.b/. Somit
1
gilt '.a/ D '.b 1 / b D b 1 '.b/ D a1 . Also ist G nach Aufgabe 2.3 (c) abelsch.
2.9 Wir begründen vorab, dass in jeder Zeile der Verknüpfungstafel einer Gruppe jedes
Element der Gruppe genau einmal auftaucht. Dazu betrachten wir die Zeile zu einem
Element x:
Jedes Element kommt höchstens einmal vor: Aus xa1 D xa2 folgt nämlich a1 D a2 .
Jedes Element kommt mindestens einmal vor: Man findet y als x .x 1 y/.
Man begründet analog, dass in jeder Spalte der Verknüpfungstafel einer Gruppe jedes
Element der Gruppe genau einmal auftaucht.
(a) Besteht G aus zwei Elementen, so ist die Verknüpfungstafel festgelegt, sie lautet:
e a e a
e e a ! e e a
a a a a e
(b) Besteht G aus drei Elementen, so ist erneut die Verknüpfungstafel festgelegt: Es muss
b a D e gelten, die restlichen Einträge sind dann leicht zu vervollständigen:
e a b e a b
e e a b e e a b
!
a a a a b e
b b b b e a
(c) Besteht G aus vier Elementen, so ist die Verknüpfungstafel hierdurch noch nicht fest-
gelegt. Erst die zusätzliche Bedingung a2 D b legt diese fest. Man beachte, dass
a b D c gelten muss, a b D e würde zu zwei c in der letzten Spalte führen. Damit
2.2 Lösungen 13
liegt die zweite Zeile fest. Nun muss b a D c gelten, da aus b a D e folgen würde,
dass auch a b D e gilt. So fortfahrend erhält man:
e a b c e a b c
e e a b c e e a b c
a a b ! a a b c e
b b b b c e a
c c c c e a b
(d) Man vgl. hierzu die Klein’sche Vierergruppe von Seite 19 (Algebrabuch):
e a b c e a b c
e e a b c e e a b c
a a e ! a a e c b
b b e b b c e a
c c e c c b a e
Bemerkung Man beachte, dass durch eine solche Konstruktion einer Gruppentafel nicht
gewährleistet ist, dass die zugrundeliegende Menge mit dieser Verknüpfung auch eine
Gruppe ist, sprich, dass alle Axiome einer Gruppe erfüllt sind. Insbesondere der Nachweis
des Assoziativitätsgesetzes ist meist problematisch.
2.10 (a) Die Menge G WD RN0 ist nicht leer, und es ist C wegen .an /n C .bn /n WD
.an C bn /n eine innere Verknüpfung.
Das Assoziativgesetz gilt, da für alle .an /n ; .bn /n ; .cn /n 2 G gilt:
Œ.an /n C .bn /n C .cn /n D .an C bn /n C .cn /n D .an C bn C cn /n und

.an /n C Œ.bn /n C .cn /n D .an /n C .bn C cn /n D .an C bn C cn /n :
Ein neutrales Element existiert, das ist offenbar die konstante Folge 0 D .0; 0; : : :/.
Jedes Element hat ein Inverses, zu .an /n 2 G ist dies offenbar .an /n 2 G.
(b) Für alle .an /n ; .bn /n 2 G gilt:
r..an /n C .bn /n / D .0; a0 C b0 ; a1 C b1 ; : : :/ D r..an /n / C r..bn /n / und

l..an /n C .bn /n / D .a1 C b1 ; a2 C b2 ; : : :/ D l..an /n / C l..bn /n / :
Also sind r und l Homomorphismen von G.

(c) Die Abbildung r ist injektiv: Aus r..an /n / D .0; a0 ; a1 ; : : :/ D 0 folgt an D 0 für
alle n, also .an /n D 0.
14 2 Gruppen
Die Abbildung r ist nicht surjektiv: Die Folge .1; 0; 0; : : :/ 2 G ist nicht Bild eines
Elements .an /n 2 G unter r.
Die Abbildung l ist surjektiv: Die Folge .a1 ; a2 ; : : :/ 2 G ist Bild des Elements
.0; a1 ; a2 ; : : :/ 2 G.
Die Abbildung l ist nicht injektiv: Die Folge .1; 0; 0; : : :/ 6D 0 liegt im Kern von l.
2.11 Wir führen die Gültigkeit der Gruppenaxiome in H auf jene in G zurück: Zu
u; v; w 2 H gibt es x; y; z 2 G mit u D '.x/, v D '.y/, w D '.z/.
Assoziativität: Es folgt

u .v w/ D '.x/ '.y/ '.z/ D '.x/ '.y ı z/

D ' x ı .y ı z/ D ' .x ı y/ ı z

D '.x ı y/ '.z/ D '.x/ '.y/ '.z/ D .u v/ w :
Neutrales Element: Bezeichnet e das neutrale Element von G, so ist
u '.e/ D '.x/ '.e/ D '.x ı e/ D '.x/ D u
und analog '.e/ u D u. Also ist e 0 WD '.e/ neutrales Element von H .

Inverse Elemente: Weiter gilt
u '.x 1 / D '.x/ '.x 1 / D '.x ı x 1 / D '.e/ D e 0
und analog '.x 1 / u D e 0 , d. h. '.x 1 / ist ein Inverses zu u.

2.12 1. Lösung : Offenbar ist kommutativ. Es sei B D X n B das Komplement von

B in X. Es gilt A B D .A \ B/ [ .A \ B/, A B D .A \ B/ [ .A \ B/, also

.A B/ C D .A \ B \ C / [ .A \ B \ C / [ .A \ B \ C / [ .A \ B \ C /. Demnach

besteht .A B/ C gerade aus allen Elementen von X, die in einer ungeraden Anzahl

der Mengen A; B; C enthalten sind. Aus Symmetriegründen ergibt sich .A B/ C D

A .B C /. Ferner gilt A ; D A und A A D ;. Somit ist ; das Einselement von

.2X ; /, und jedes Element ist zu sich selbst invers. In .2X ; / gelten also alle Axiome
einer abelschen Gruppe.
2. Lösung : Z2 WD f0; 1g ist mit der Addition modulo 2 (also 0 C 0 D 1 C 1 D 0,
1 C 0 D 0 C 1 D 1) eine Gruppe. Für A X sei A W X ! Z2 die charakteristische
Funktion von A, definiert durch A .x/ D 1 für x 2 A und A .x/ D 0 für x … A. Man prüft
leicht nach, dass A B D A CB gilt. Somit definiert A ! A einen Isomorphismus von

der algebraischen Struktur .2X ; / auf die Gruppe ZX 2 aller Abbildungen W X ! Z2 (mit

komponentenweiser Addition). Nach Aufgabe 2.11 ist also .2X ; / selbst eine Gruppe.
2.2 Lösungen 15
2.13 (a) Da En 2 O.n; K/, ist O.n; K/ nicht leer. Jedes A 2 O.n; K/ ist invertierbar, es
gilt A> D A1 , sodass A 2 GL.n; K/. Damit gilt O.n; K/ GL.n; K/. Sind A; B 2
O.n; K/, so gilt
A B .A B/> D A B B > A> D En ;
sodass O.n; K/ O.n; K/ O.n; K/. Schließlich gilt für A 2 O.n; K/ wegen A> D A1
auch A1 .A1 /> D A> .A> /> D A> A D En , sodass O.n; K/1 O.n; K/.
(b) Da En 2 SO.n; K/, ist SO.n; K/ O.n; K/ nicht leer. Sind A; B 2 SO.n; K/, so ist
nach (a) das Produkt A B 1 orthogonal und weiter erhalten wir nach dem Determinanten-
multiplikationssatz
det.A B 1 / D det.A/ det.B/1 D 1 ;
sodass SO.n; K/ SO.n; K/1 SO.n; K/.
Untergruppen 3
3.1 Aufgaben
3.1 Es seien U1 ; : : : ; Un Untergruppen einer Gruppe G. Zeigen Sie:

" #
\
n Y
n
GW Ui ŒG W Ui :
i D1 i D1
3.2 Man gebe zu jeder Untergruppe U von S3 die Partitionen von S3 mit Links-
bzw. Rechtsnebenklassen nach U an. Geben Sie Beispiele für U a 6D a U an.

0 1 0 1
3.3 Welche Ordnungen haben die Elemente A D 1 0, B D 1 1 und A B
aus GL2 .R/?
3.4 Sind die Quaternionengruppe Q und die Diedergruppe D4 isomorph?
1202
1 2 3 4 5
3.5 In S5 bestimme man 2 3 1 5 4 .
3.6 Es sei G eine Gruppe der Ordnung n 2 N. Zeigen Sie: j Aut G j ist ein Teiler
von .n 1/ Š.
3.7 Es sei G eine Gruppe der Ordnung n 2 N. Weiter sei m eine zu n teilerfremde
natürliche Zahl. Zeigen Sie: Zu jedem a 2 G existiert genau ein b 2 G mit a D b m .

18 3 Untergruppen
3.8 Es sei G eine endliche abelsche Gruppe. Man zeige: Besitzt G genau ein Ele-
Q Q
ment u der Ordnung 2, so gilt a2G a D u; andernfalls gilt a2G a D eG .
3.9 Es sei G eine Gruppe, deren Elemente sämtlich eine Ordnung 2 haben. Man
zeige:
(a) G ist abelsch.

(b) Wenn G endlich ist, ist jGj eine Potenz von 2.
3.10 Beweisen Sie den kleinen Satz von Fermat 3.11 (Algebrabuch) erneut für end-
liche abelsche Gruppen G. Berechnen Sie dazu für ein beliebiges a 2 G zum einen
Q Q
x2G x und zum anderen x2G .a x/.

3.11 Es sei D die von 12 2
1
3
4
4
3 und 1
3
2
2
3
1
4
4 erzeugte Diederuntergruppe
der symmetrischen Gruppe S4 .
(a) Bestimmen Sie alle Elemente und die Ordnung von D.

(b) Bestimmen Sie alle Untergruppen von D.
3.12 Zeigen Sie: Sind U und V Untergruppen der Gruppe G mit U V , so gilt
ŒG W U D ŒG W V ŒV W U :
3.13 Zeigen Sie: Für alle m; n 2 N gilt (vgl. auch Beispiel 3.1 (Algebrabuch)):
m Z \ n Z D kgV.m; n/ Z :
3.14 Es sei K ein Körper mit drei Elementen, K D f0; 1; 2g. Wir bezeichnen mit G
die Gruppe der invertierbaren oberen .2 2/-Matrizen über K. Es sei H die Untergruppe
der invertierbaren Diagonalmatrizen von G.
(a) Welche Ordnungen haben die Gruppen

G und H ?
1 b
(b) Für jedes b 2 K sei Ab WD 0 1 2 G. Bestimmen Sie die Linksnebenklassen Ab H
für jedes b 2 K.
(c) Bestimmen Sie die Menge aller Linksnebenklassen fA H j A 2 Gg. Verifizieren Sie
den Satz 3.9 (Algebrabuch) von Lagrange.
(d) Untersuchen Sie, für welche Ordnungen 1 d jGj eine Untergruppe U von G der
Ordnung d existiert.
3.2 Lösungen 19
3.2 Lösungen
T
3.1 Wir setzen U WD niD1 Ui und beachten, dass U als Durchschnitt von Untergruppen
von G wieder eine Untergruppe von G ist (siehe Lemma 3.1 (Algebrabuch)). Zu zeigen
ist:
ŒG W U ŒG W U1 ŒG W Un :
Da der Index ŒG W H einer Untergruppe H G die Anzahl der verschiedenen Linksne-

benklassen a H von H in G ist, können wir die zu zeigende Ungleichung auch wie folgt
formulieren: Ist L bzw. Li die Menge der Linksnebenklassen von U bzw. Ui in G für
i D 1; : : : ; n, so ist zu zeigen:
jLj jL1 j jLn j :
Damit ist der Grundstein für die Beweisidee gelegt, wir zeigen:
Die Abbildung

L ! L1 Ln
'W
aU 7! .a U1 ; : : : ; a Un /
ist wohldefiniert und injektiv.

T
n
Denn: Für a; b 2 G gilt wegen U WD Ui :
i D1
a U D b U , b 1 a 2 U , b 1 a 2 Ui für alle i , a Ui D b Ui für alle i : ()
Aus der Injektivität von ' folgt nun jLj jL1 Ln j D jL1 j jLn j. Das war zu
zeigen.
Bemerkungen (1) Man beachte, dass nicht gefordert wird, dass G oder die Indizes ŒG W
U und ŒG W Ui endlich sind. Das ist auch nicht nötig. Zur Arithmetik unendlicher Kardi-
nalzahlen beachte man den Abschn. A.3 (Algebrabuch).
(2) Wir erinnern daran, dass die Implikation ) die Wohldefiniertheit und die Implikation
( in () hingegen die Injektivität liefert.
3.2 Wir verwenden die Bezeichnungen aus dem Beispiel 3.7 (Algebrabuch): U1 WD
h2 i D fId; 2 g, U2 WD h4 i D fId; 4 g, U3 WD h5 i D fId; 5 g, V WD h1 i D
fId; 1 ; 3 g.
20 3 Untergruppen
U D S3 : Es ist fS3 g die Menge der Links- und Rechtsnebenklassen nach U .

U D U1 : Es ist fU1 ; 1 U1 ; 3 U1 g die Menge der Linksnebenklassen nach U1
und fU1 ; U1 1 ; U1 3 g die der Rechtsnebenklassen nach U1 . Die Linksnebenklas-
se 1 U1 D f1 ; 4 g ist keine Rechtsnebenklasse, da die Rechtsnebenklassen U1 D
fId; 2 g, U1 1 D f1 ; 5 g, U1 3 D f3 ; 4 g sind.
U D V : Es ist fV; 2 V g die Menge der Linksnebenklassen nach V und fV; V 2 g die
der Rechtsnebenklassen nach V . Die Linksnebenklasse 2 V D f2 ; 5 ; 4 g ist auch
Rechtsnebenklasse, da V 2 D f2 ; 4 ; 5 g gilt.
U D fIdg: Es ist ffIdg; 1 fIdg; 2 fIdg; 3 fIdg; 4 fIdg; 5 fIdgg die Menge der
Linksnebenklassen nach fIdg. Wegen i fIdg D fIdg i sind die Linksnebenklassen
und Rechtsnebenklassen gleich.
Für die Untergruppen U2 und U3 geht man wie bei U1 vor.

3.3 Wegen A2 D 1 0
0
1 , A3
D 0 1
1 0 und A4 D E2 hat A die Ordnung 4.

Wegen B 2 D 1
1
1
0 und B 3 D E2 hat B die Ordnung 3.

Wegen A B D 1 0
1
1 , .A B/ 2
D 1 2
0 1 , . . . , .A B/2n
D 1 2n
0 1 gilt o .A B/ D 1.
3.4 Angenommen, ' ist ein Isomorphismus zwischen Q und D4 . Dann haben die Ele-
mente a und '.a/ die gleiche Ordnung (beachte '.a/r D '.ar / und '.ar / D e , ar D
e). Da ' bijektiv ist, hätte das zur Folge, dass es in Q und D4 gleich viele Elemente glei-
cher Ordnung gibt. Das ist aber falsch, die Quaternionengruppe enthält genau ein Element
der Ordnung 2, nämlich E, die Diedergruppe mehrere, etwa ˛ und ˇ 2 . Dies belegt, dass
Q und D4 nicht isomorph sind.

1 2 3 4 5
3.5 Es sei WD 2 3 1 5 4. Nach dem kleinen Satz 3.11 (Algebrabuch) von Fermat
gilt 120 D Id wegen jS5 j D 5Š D 120. Wir dividieren 1202 durch 120 mit Rest, 1202 D
10 120 C 2, und erhalten somit

1 2 3 4 5
1202 D 10120C2 D . 120 /10 2 D 2 D 3 1 2 4 5 :
3.6 Jeder Automorphismus ' von G erfüllt '.eG / D eG für das neutrale Element eG von
G. Die n 1 Elemente von H WD G n feG g werden durch ' permutiert. Damit kann ' als
Element der symmetrischen Gruppe SH aller Permutationen von H aufgefasst werden.
Somit kann die Automorphismengruppe als Untergruppe von SH betrachtet werden. Nach
dem Satz 3.9 (Algebrabuch) von Lagrange ist j Aut G j ein Teiler von jSH j D .n 1/Š.
Das war zu zeigen.
3.2 Lösungen 21
3.7 Wegen der Teilerfremdheit von m und n existieren bekanntlich r; s 2 Z mit r m C

s n D 1. Es sei a 2 G. Nach dem kleinen Satz 3.11 (Algebrabuch) von Fermat gilt
an D eG , da n D jGj, und damit:
a D ar mCs n D .ar /m .an /s D .ar /m :
Also erfüllt b WD ar die Eigenschaft b m D a.
3.8 Besitzt G genau ein Element u der Ordnung 2, so gilt für die Elemente a1 ; : : : ; an 2
G n fu; eG g (wobei eG wie immer das neutrale Element von G bezeichne), dass keines
der ai zu sich selbst invers ist, ai2 6D eG . Da aber jedes ai ein Inverses aj besitzt, gilt
Q
i 6D j und ai aj D eG . Wir erhalten in diesem Fall also a2G a D u, da u auch als Faktor
vorkommt und alle anderen Gruppenelemente sich zu eG kürzen.
Besitzt G nicht genau ein Element u der Ordnung 2, so enthält G entweder kein Element
Q
der Ordnung 2, es gilt dann nach dem ersten Teil a2G a D eG , oder G enthält mindes-
tens zwei verschiedene Elemente u1 ; u2 der Ordnung 2. Aber dann ist auch u3 WD u1 u2
ein Element der Ordnung 2 und u3 6D u1 ; u2 . Somit bildet V WD feG ; u1 ; u2 ; u3 g eine
Untergruppe von U WD fa 2 G j a2 D eG g. Wir zerlegen U in disjunkte Linksnebenklas-
sen nach V : U D a1 V [ [ak V mit k 2 N und erhalten als Produkt über alle Elemente
aus U :
Y Y k Y
k
aD .ai e/ .ai u1 / .ai u2 / .ai u3 / D ai4 u1 u2 u3 D eG ;
a2U i D1 i D1
Q
da ai2 D u1 u2 u3 D eG für alle i D 1; : : : ; k. Wegen a D eG (siehe erster Teil)
Q a2GnU
folgt die Behauptung a2G a D eG .
3.9 (a) Es seien a; b 2 G. Aus a2 D eG D b 2 und .a b/2 D eG folgt
a a b b D a2 b 2 D .a b/2 D a b a b ;
nach Kürzen von a und b also a b D b a.
(b) Die Beweisidee ist nicht naheliegend. Einen ersten Hinweis erhält man vielleicht durch
die Tatsache, dass wegen a2 D e für jedes a 2 G nur Nullen und Einsen als Potenzen
nötig sind, also a0 und a1 , um jedes Element a darzustellen. Das ist ein Wink auf 2m .
Apropos darstellen: Die endliche Gruppe G ist das Erzeugnis eines (endlichen) Erzeu-
gendensystems fa1 ; : : : ; am g, wobei o.ai / D 2 für alle i D 1; : : : ; m: Jedes Element
a 2 G hat dann wegen a1 D a1 die Form

a D a1 1 am
m
mit 1 ; : : : ; m 2 f0; 1g :
22 3 Untergruppen
Hier taucht nun erneut die Zahl 2m auf, nur etwas zielführender: Links stehen alle Ele-
mente aus G, rechts stehen alle möglichen Elemente, und zwar 2m , die mit dem Erzeu-
gendensystem fa1 ; : : : ; am g dargestellt werden können. Wir sind aber noch nicht fertig:
Eventuell werden rechts durch verschiedene Kombinationen von Nullen und Einsen die-
selben Elemente dargestellt. Nehmen wir also an, dass gilt

a D a11 am
m
D a D a1 1 am
m
und i 6D i für ein i 2 f1; : : : ; mg :
O. E. sei i D 1, i D 0. Dann gilt

Y j
ai D aj j :
i 6Dj
Damit ist das Element ai im Erzeugendensystem fa1 ; : : : ; am g überflüssig. Nun können

wir den Beweis einfach abschließen: Wir wählen das Erzeugendensystem fa1 ; : : : ; am g
minimal. Das ist in einer endlichen Gruppe immer möglich: Überflüssige Elemente wer-
den entfernt, solange noch die gesamte Gruppe erzeugt wird. Ist fa1 ; : : : ; am g minimal,
so besagt obige Schlussfolgerung, dass für verschiedene Kombinationen von Nullen und
Einsen in den Exponenten der erzeugenden Elemente auch verschiedene Elemente a 2 G
erzeugt werden, kurz: Die Gruppe G hat genau 2m verschiedene Elemente, noch kürzer:
jGj D 2m .
3.10 Für jedes Element a 2 G gilt G D fa x j x 2 Gg, da a W G ! G, x 7! a x eine

Bijektion ist. Da G abelsch ist, gilt mit n D jGj:
Y Y Y
an xD .a x/ D x;
x2G x2G x2G
Q
nach Kürzen von x2G x also an D eG . Damit ist der Satz von Fermat für abelsche
Gruppen bereits bewiesen.
3.11 (a) Zur Abkürzung setzen wir

1 2 3 4 1 2 3 4
WD 2 1 4 3 und
WD 3 2 1 4 :
Wegen 2 D
2 D Id sind alle Elemente von D von der Form

oder

. Also (wir verwenden im Folgenden die Zyklenschreibweise für Permutatio-
nen):
D D fId; .1 2/ .3 4/; .1 3/ ; .1 4 3 2/; : : : g:
„ ƒ‚ … „ƒ‚… „ ƒ‚ …

3.2 Lösungen 23
Ds
HH

HH
HH
s

U2 H s U1 Hs U 3

J H
J

J HH
J
s

J s HH s

s
W J
W2 H WJ H
Js W
5
W1
H 3
@ 4
HH @
H
HH@
@
H@
Hs
fIdg
Abb. 3.1 Der Untergruppenverband der Gruppe D
Da
ein 4-Zykel ist, gilt .
/4 D Id, also

D

und somit:
D D fId; ;
;
;
;
;

;

g
D fId; .1 2/ .3 4/; .1 3/; .1 4 3 2/; .1 2 3 4/; .2 4/; .1 4/ .2 3/; .1 3/ .2 4/g:
Insbesondere: jDj D 8.
(b) Für jede Untergruppe U D gilt nach dem Satz von Lagrange: jU j ist ein Teiler von
jDj D 8. Die Gruppe D kann also höchstens Untergruppen der Ordnungen 1, 2, 4 oder 8
besitzen.
Die Untergruppen von Ordnung 1 bzw. 8 sind die trivialen Untergruppen: fIdg und D.
Die Untergruppen von Ordnung 2 werden jeweils von genau einem Element der Ord-
nung 2 erzeugt. Die Untergruppen der Ordnung 2 sind also:
W1 WD h.1 3/ .2 4/i; W2 WD h.1 2/ .3 4/i; W3 WD h.1 4/ .2 3/i;

W4 WD h.1 3/i; W5 WD h.2 4/i:
Wir finden folgende Untergruppen der Ordnung 4:
U1 WD h.1 2 3 4/i; U2 WD h.1 2/ .3 4/; .1 4/ .2 3/i; U3 WD h.1 3/; .2 4/i :
Damit können wir schon mal einen Teil des Untergruppengraphen von D zeichnen (siehe
Abb. 3.1).
Wir begründen nun noch, dass wir bereits alle Untergruppen der Ordnung 4 gefunden
haben und Abb. 3.1 den (vollständigen) Untergruppenverband von D zeigt.
Es sei V eine Untergruppe von D mit jV j D 4 und V ¤ U1 .
24 3 Untergruppen
Da D nur genau zwei Elemente der Ordnung 4 besitzt (die invers zueinander sind) und
V ¤ U1 ist, enthält V kein Element der Ordnung 4, sondern genau drei Elemente der
Ordnung 2 und somit genau drei der Untergruppen W1 , W2 , W3 , W4 , W5 . Aus obigem
Graphen entnimmt man jedoch, dass die einzigen beiden Tripel der Untergruppen W1 ,
. . . , W5 , die nicht die ganze Gruppe D erzeugen, die beiden Tripel fW1 ; W2 ; W3 g und
fW1 ; W4 ; W5 g sind. Also ist V D hW1 [ W2 [ W3 i D U2 oder V D hW1 [ W4 [ W5 i D U3 .
Also sind tatsächlich U1 , U2 , U3 die einzigen Untergruppen der Ordnung 4, und obiger
Graph ist der Untergruppenverband von D.
3.12 Man beachte die Verschärfung des Ergebnisses aus Satz 3.13 (Algebrabuch): Wir
verzichten auf die Endlichkeit der Gruppe G in der Voraussetzung. Daher können wir das
Argument mit dem Kürzen von jU j im Beweis zum Satz 3.13 (Algebrabuch) nicht mehr
bringen (bei unendlichen Kardinalzahlen kann man nicht einfach so kürzen). Wir führen
den Beweis mit Repräsentantensystemen (und erhalten damit auch einen weiteren Beweis
der Aussage in Satz 3.13 (Algebrabuch)):
Es seien R ein Repräsentantensystem der Linksnebenklassen von V in G und S ein sol-

ches der Linksnebenklassen von U in V , sodass
[ [
GD rV ; V D s U ; ŒG W V D jRj ; ŒV W U D jSj :
r2R s2S
Es folgt:
!
[ [ [
GD r sU rsU : ()
r2R s2S .r; s/2RS
Nun gelte r s U D r 0 s 0 U mit r; r 0 2 R und s; s 0 2 S. Es folgt
r V D r .s U V / D r 0 .s 0 U V / D r 0 V ) r D r 0 ) s U D s 0 U ) s D s 0 ;
also .r; s/ D .r 0 ; s 0 /. Das begründet mit ():
ŒG W U D jR Sj D jRj jSj D ŒG W V ŒV W U :
3.13 Wir setzen k D kgV.m; n/ und zeigen die Gleichheit m Z \ n Z D k Z:
Wegen k 2 m Z und k 2 n Z gilt k Z m Z und k Z n Z, sodass k Z m Z \ n Z.
Es sei nun r 2 m Z \ n Z. Es gilt dann r D m u und r D n v mit u; v 2 Z. Somit ist

r ein gemeinsames Vielfaches von m und n und damit bekanntlich ein Vielfaches von k,
d. h., r D k w für ein w 2 Z. Folglich gilt auch m Z \ n Z k Z.
3.2 Lösungen 25
3.14 (a) Es gilt

a b a 0
GD j a; c 2 K n f0g; b 2 K und H D j a; c 2 K n f0g :
0 c 0 c
Daher gilt jGj D 2 2 3 D 12 und jH j D 2 2 D 4.

1 b
(b) Die verschiedenen Linksnebenklassen lauten mit Ab D , b 2 K:
0 1

1 0 1 0 2 0 1 0 2 0
A0 H D H D ; ; ; :
0 1 0 1 0 1 0 2 0 2

1 1 1 1 2 1 1 2 2 2
A1 H D H D ; ; ; :
0 1 0 1 0 1 0 2 0 2

1 2 1 2 2 2 1 1 2 1
A2 H D H D ; ; ; :
0 1 0 1 0 1 0 2 0 2
(c) Die Menge aller Linksnebenklassen ist damit
fA H j A 2 Gg D fH; A1 H; A2 H g :
Damit gilt ŒG W H D 3 und somit 12 D jGj D ŒG W H jH j D 3 4.

(d) Nach dem Satz von Lagrange kommen für Untergruppen U die Ordnungen d 2
f1; 2; 3; 4; 6; 12g (das sind alle Teiler von 12) infrage. Im vorliegenden Beispiel gibt
es auch zu jedem Teiler eine Untergruppe (das muss keineswegs so sein, ist hier aber
zufällig so); es gilt:

1 0
d D1W U D :
0 1

1 0 2 0 1 0 1 0
d D2W U D ; oder U D ; :
0 1 0 1 0 1 0 2

1 0 1 1 1 2
d D3W U D ; ; :
0 1 0 1 0 1

1 0 2 0 1 0 2 0
d D4W U D ; ; ; :
0 1 0 1 0 2 0 2

1 0 1 1 1 2 2 0 2 1 2 2
d D6W U D ; ; ; ; ; :
0 1 0 1 0 1 0 1 0 1 0 2
d D 12 W U DG:
Normalteiler und Faktorgruppen 4
4.1 Aufgaben
4.1 Man gebe alle Normalteiler der Gruppen S3 und S4 an.
4.2 Bestimmen Sie die Normalisatoren aller Untergruppen der S3 .
4.3 Begründen Sie: Sind U und N Normalteiler einer Gruppe G, so auch U N .
T
4.4 Zeigen Sie: Für jede Untergruppe U einer Gruppe G ist a2G a U a1 ein Nor-
malteiler von G.
4.5 Es sei U Untergruppe einer Gruppe G. Zeigen Sie: Gibt es zu je zwei Elementen
a; b 2 G ein c 2 G mit .a U / .b U / D c U , so ist U ein Normalteiler von G.
4.6 Eine Untergruppe U einer Gruppe G heißt charakteristisch, wenn '.U / U

für jedes ' 2 Aut G gilt. Begründen Sie:
(a) Jede charakteristische Untergruppe ist ein Normalteiler.

(b) Jede charakteristische Untergruppe eines Normalteilers von G ist ein Normalteiler
von G.
(c) Ist ein Normalteiler eines Normalteilers von G stets ein Normalteiler von G?
4.7 Begründen Sie: Besitzt eine Gruppe G genau eine Untergruppe der Ordnung k,
so ist diese ein Normalteiler von G.
4.8 Bestimmen Sie alle Normalteiler und zugehörigen Faktorgruppen für die Die-
dergruppe D4 . Was ist das Zentrum von D4 ?
28 4 Normalteiler und Faktorgruppen
4.9 Es sei Q D fE; E; I; I; J; J; K; Kg die Quaternionengruppe (sie-
he Beispiel 2.1 (Algebrabuch)). Bestimmen Sie alle Untergruppen und alle Normalteiler
von Q.
4.10 Für reelle Zahlen a; b sei ta; b W R ! R definiert durch ta; b .x/ D a x C b. Es
sei G WD fta; b j a; b 2 R; a 6D 0g. Zeigen Sie:
(a) Die Menge G bildet mit der Komposition von Abbildungen eine Gruppe.
(b) Es ist N WD ft1; b j b 2 Rg Normalteiler in G.
(c) Es gilt G=N Š R n f0g.
4.11 Bestimmen Sie das Zentrum Z.G/ für G D GLn .K/ (n 2 N, K ein Körper).
4.12 Eine Gruppe G heißt metazyklisch, wenn G einen zyklischen Normalteiler N

mit zyklischer Faktorgruppe G=N besitzt. Zeigen Sie: Jede Untergruppe einer metazykli-
schen Gruppe ist metazyklisch.
4.13 Wir setzen als bekannt voraus, dass K D Z=p Z D f0; 1; ; : : : ; p 1g, p
prim, ein Körper mit p Elementen ist (vgl. Satz 5.14 (Algebrabuch)). Offenbar ist die
Menge der invertierbaren oberen .2 2/-Dreiecksmatrizen über K, nämlich

a b
GD 2 K 22 j a; c 2 K n f0g; b 2 K ;
0 c
eine Gruppe. Wir betrachten die folgenden Untergruppen N und U von G:

a b a 0
N D j a 2 K n f0g; b 2 K und U D j a; c 2 K n f0g :
0 1 0 c
(a) Zeigen Sie, dass N ein Normalteiler von G ist. Ist U auch ein Normalteiler von G?
(b) Begründen Sie, warum G=N Š K gilt. Hierbei ist K D K n f0g die multiplikative
Gruppe des Körpers K.
(c) Bestimmen Sie die Untergruppen U N und U \ N .
(d) Bestimmen Sie die Gruppen U N=N und U=.U \ N / so explizit wie möglich. Geben
Sie den gemäß dem 1. Isomorphiesatz existierenden Isomorphismus an.
4.14 Begründen Sie: Ist N ein Normalteiler einer endlichen Gruppe G, so gilt
aŒGWN 2 N für jedes a 2 G.
4.2 Lösungen 29
4.15 Begründen Sie die folgenden Isomorphien mithilfe des Homomorphiesatzes:
(a) GL.n; K/= SL.n; K/ Š .K ; / für jeden Körper K.

(b) .C=Z; C/ Š .C ; /.
(c) Zm =Zn Š Zmn für m n, hierbei wird Zn geeignet als Teilmenge von Zm aufge-
fasst.
(d) C =En Š C für n 2 N und En D fz j z n D 1g.
4.2 Lösungen
4.1 Wir benutzen die Bezeichnungen aus Beispiel 3.7 (Algebrabuch).

Es sind fIdg, U1 WD h2 i D fId; 2 g, U2 WD h4 i D fId; 4 g, U3 WD h5 i D fId; 5 g,
N WD h1 i D fId; 1 ; 3 g und S3 alle Untergruppen der symmetrischen Gruppe S3 .
Da triviale Untergruppen stets Normalteiler sind, sind fIdg und S3 Normalteiler in S3 . Au-
ßerdem ist N ein Normalteiler: Dies folgt aus der Lösung zu Aufgabe 3.2 oder Lemma 4.2
(Algebrabuch), da N den Index 2 in S3 hat. Keine der drei zweielementigen Untergruppen
U1 ; U2 ; U3 ist ein Normalteiler in S3 : Beachte Aufgabe 3.2, in der gezeigt wurde, dass bei
diesen Untergruppen jeweils Linksnebenklassen existieren, die keine Rechtsnebenklassen
sind, sprich: Diese Untergruppen sind keine Normalteiler.
Die symmetrische Gruppe S4 der Ordnung 24 besitzt 30 verschiedene Untergruppen. Zwei
unter ihnen sind Normalteiler:
V4 D fId; 1 ; 2 ; 3 g mit

1 2 3 4 1 2 3 4 1 2 3 4
1 D 2 1 4 3 ; 2 D 3 4 1 2 ; 3 D 4 3 2 1 :
A4 WD fId; 1 ; : : : ; 11 g mit 1 ; : : : ; 3 2 V4 und

1 2 3 4 1 2 3 4 1 2 3 4
4 D 1 3 4 2 ; 5 D 1 4 2 3 ; 6 D 2 3 1 4 ;

1 2 3 4 1 2 3 4 1 2 3 4
7 D 2 4 3 1 ; 8 D 3 1 2 4 ; 9 D 3 2 4 1 ;

1 2 3 4 1 2 3 4
10 D 4 1 3 2 ; 11 D 4 2 1 3 :
Da A4 den Index 2 in S4 hat, ist A4 nach Lemma 4.2 (Algebrabuch) Normalteiler der
symmetrischen Gruppe S4 ist.
Den Nachweis, dass V4 ein Normalteiler ist, kann man mit viel Aufwand direkt führen,
eleganter ist ein kleiner Trick durch Vorgriff auf das Lemma 9.1 (Algebrabuch), dessen
Nachweis wir auch mit den bisher entwickelten Methoden führen können. Die Elemente
aus V4 sind neben Id genau die Doppeltranspositionen
1 D .1 2/ .3 4/ ; 2 D .1 3/ .2 4/ ; 3 D .1 4/ .2 3/ :
Nach Lemma 9.1 (Algebrabuch) ist

1 für jedes 2 V4 und jedes
2 S4 wieder
eine Doppeltransposition, also wieder ein Element in V4 . Das begründet bereits, dass V4
ein Normalteiler in S4 ist.
Nun fehlt noch der Nachweis, dass es keine weiteren Normalteiler in der S4 gibt. Diesen
aufwendigen Nachweis ersparen wir uns.
4.2 Wir benutzen die Bezeichnungen aus Beispiel 3.7 (Algebrabuch).
Für die trivialen Untergruppen gilt: NS3 .fIdg/ D S3 und NS3 .S3 / D S3 .
Für die zweielementigen Untergruppen U1 ; U2 ; U3 gilt: Nach Lemma 4.5 (Algebra-
buch) ist NS3 .Ui / eine Untergruppe von S3 für jedes i D 1; 2; 3. Da Ui NS3 .Ui /
gilt, bleibt nach Beispiel 3.7 (Algebrabuch) nur die Wahl
NS3 .Ui / D Ui oder NS3 .Ui / D S3 :
Aber aus NS3 .Ui / D S3 folgt mit Lemma 4.6 (Algebrabuch) der Widerspruch Ui E S3
(beachte Aufgabe 4.1). Also gilt NS3 .Ui / D Ui für i D 1; 2; 3.
Für die dreielementige Untergruppe V gilt: Nach Aufgabe 4.1 ist V ein Normalteiler
von S3 . Also gilt NS3 .V / D S3 nach Lemma 4.6 (Algebrabuch).
4.3 Nach Lemma 4.4 (Algebrabuch) ist U N eine Untergruppe von G. Es sei a 2 G.
Nach Voraussetzung gelten dann die Inklusionen a U a1 U und a N a1 N . Damit
gilt auch a U N a1 D a U a1 a N a1 U N . Somit ist U N ein Normalteiler in G.
4.4 Die Lösung ist ganz einfach, wenn U ein Normalteiler von G ist, da in diesem Fall
a U a1 D U , also
\
a U a1 D U
a2G
gilt. Wir setzen nun (wie in der Aufgabenstellung verlangt) voraus, dass U nur eine Unter-
T
gruppe von G ist. Wir setzen V WD a2G a U a1 . Da für jedes a 2 G die Menge a U a1
eine Untergruppe von G ist, ist V als Durchschnitt von Untergruppen von G eine Unter-
gruppe von G. Es sei x 2 G. Wir zeigen x V x 1 D V , woraus sofort die Behauptung
V E G folgt.
4.2 Lösungen 31
Im folgenden Schluss benutzen wir, dass für jedes x 2 G gilt fx a j a 2 Gg D fa j a 2 Gg:

\ \
x V x 1 D .x a/ U .x a/1 D a U a1 D V :
a2G a2G
Somit ist V ein Normalteiler von G.
4.5 Eine Bemerkung vorab: Laut Lemma 4.7 (Algebrabuch) gibt es zu a; b 2 G stets ein
c 2 G, nämlich c D a b, mit .a U / .b U / D c U , falls U ein Normalteiler ist. In dieser
Aufgabe ist zu zeigen, dass U auch ein Normalteiler sein muss, wenn das Komplexprodukt
.a U / .b U / auf der Menge G=N der Nebenklassen eine innere Verknüpfung ist.
Diese Bemerkung lässt uns auch gleich vermuten: Falls denn tatsächlich für a; b 2 G
gilt .a U / .b U / D c U für ein c 2 G, so wird man doch vermutlich c D a b wählen
können. Diese Vermutung bestätigen wir vorab: Es seien a; b 2 G und U G; ferner
gelte .a U / .b U / D c U für ein c 2 G. Wegen a b D a e b e 2 .a U / .b U / D c U gilt
a b U c U und somit a b U D c U .
Nun zur eigentlichen Behauptung: Zu zeigen ist, dass für jedes x 2 G gilt x 1 U x U .
Ein Blick auf die Voraussetzung und das bisher begründete Resultat .a U / .b U / D c U D
a b U liefert nun mit a D x 1 und b D x (x beliebig aus G):
x 1 U x D x 1 U x e .x 1 U / .x U / D x 1 x U D U :
4.6 (a) Da für jedes a 2 G der innere Automorphismus a W x 7! a x a1 ein Automor-
phismus ist, ist jede charakteristische Untergruppe U von G ein Normalteiler von G, da
a U a1 D a .U / U für jedes a 2 G.
(b) Es sei U eine charakteristische Untergruppe eines Normalteilers N von G. Da
a N a1 D N für jedes a 2 G gilt, ist a für jedes a 2 G ein Automorphismus von
N . Da U charakteristisch in N ist, gilt folglich a U a1 D a .U / U für jedes a 2 G,
d. h. U ist ein Normalteiler von G.
(c) Nein. In der Diedergruppe D aus Aufgabe 3.11 ist W4 ein Normalteiler von U3 und U3
ein solcher von D (jeweils als Untergruppen vom Index 2). Aber W4 ist kein Normalteiler
von D, da etwa .1 4/ .1 3/ .1 4/ 62 W4 gilt.
Wir fassen die Resultate aus (b) und (c) prägnant zusammen:

U charakteristisch in N ) U E G ;
U N EG )
U EN » U EG:
4.7 Es sei N eine Untergruppe der Ordnung k von G. Dann ist für jedes a 2 G auch
a N a1 eine Untergruppe von G; und es gilt ja N a1 j D k, da ' W x 7! a x a1 eine
Bijektion von N auf a N a1 ist. Es folgt a N a1 D N für jedes a 2 G, da N die einzige
Untergruppe der Ordnung k ist. Somit ist N ein Normalteiler in G.
4.8 Die Untergruppen der D4 kennen wir bereits aus Aufgabe 3.11. Dort haben wir zwar
die Diedergruppe als Untergruppe der S4 angegeben, aber mit den bisher entwickelten
Methoden, können wir die in Aufgabe 3.11 erzielten Ergebnisse leicht nutzen: Wir stellen
die Gruppen D aus Aufgabe 3.11 und D4 aus Abschn. 3.1.5 (Algebrabuch) gegenüber:
D D fId; .1 2/ .3 4/; .1 3/; .1 4 3 2/; .1 2 3 4/; .2 4/; .1 4/ .2 3/; .1 3/ .2 4/g ;

D4 D fId; ˛; ˇ; ˛ ˇ; ˇ 2 ; ˛ ˇ 2 ; ˇ 3 ; ˛ ˇ 3 g :
Laut Abschn. 3.1.5 (Algebrabuch) permutieren ˛ bzw. ˇ die Ecken f1; i; 1; ig (die
wir mit den Zahlen 1; 2; 3; 4 durchnummerieren) wie folgt:
˛ $ .2 4/ und ˇ $ .1 2 3 4/ :
Wir rechnen nun einfach nach und erhalten die weiteren Zuordnungen (also einen Isomor-
phismus zwischen D und D4 ):
ˇ 2 $ .1 3/ .2 4/ ; ˇ 3 $ .1 4 3 2/ ; ˛ ˇ D .1 4/ .2 3/ ; ˛ ˇ 2 D .1 3/ ; ˛ ˇ 3 D .1 2/ .3 4/ :
Also ist die Gruppe D aus Aufgabe 3.11 isomorph zur Diedergruppe D4 . Wir kennen also
den Untergruppenverband von D4 aus Aufgabe 3.11, wir verwenden die dort benutzten
Bezeichnungen für die Untergruppen, wählen aber die Elemente aus der D4 per obiger
Zuordnung:
Neben den trivialen Untergruppen fIdg und D4 hat die D4 die Untergruppen:
W1 D hˇ 2 i; W2 D h˛ ˇ 3 i; W3 D h˛ ˇi; W4 D h˛ ˇ 2 i; W5 D h˛i
der Ordnung 2 und
U1 D hˇi; U2 D h˛ ˇ 3 ; ˛ ˇi; U3 D h˛ ˇ 2 ; ˛i
der Ordnung 4.
Die Untergruppen U1 , U2 , U3 vom Index 2 sind Normalteiler, die Faktorgruppe D4 =Ui ist
für jedes i D 1; 2; 3 zu Z2 isomorph.
Weiter ist die zweielementige Untergruppe W1 D hˇ 2 i ein Normalteiler, da
˛ ˇ i ˇ 2 .˛ ˇ i /1 D ˇ 2 2 hˇ 2 i für alle i D 0; : : : ; 3 :
Die Faktorgruppe D4 =W1 D fW1 ; ˛ W1 ; ˇ W1 ; ˛ ˇ W1 g ist eine Klein’sche Vierergruppe.

Die weiteren jeweils zweielementigen Untergruppen W2 ; W3 ; W4 ; W5 sind keine Normal-
teiler. Für den folgenden Nachweis dieser Tatsache beachte die Relationen
˛ ˇ ˛ 1 D ˇ 1 ; ˛ ˇ D ˇ 1 ˛ ; ˇ ˛ D ˛ ˇ 1
aus Abschn. 3.1.5 (Algebrabuch) und ˛ 1 D ˛:

4.2 Lösungen 33
Zu W2 : ˛ .˛ ˇ 3 / ˛ D ˛ ˇ 2
6 W2 , Zu W4 : ˇ .˛ ˇ 2 / ˇ 1 D ˛ 62 W4 ,
Zu W3 : ˛ .˛ ˇ/ ˛ D ˛ ˇ 3 62 W3 , Zu W5 : ˇ ˛ ˇ 1 D ˛ ˇ 2 62 W5 .
Das Zentrum Z.D4 / ist ein Normalteiler in D4 , nach obiger Rechnung gilt hˇ 2 i Z.D4 /.
Da offenbar keine der Untergruppen U1 ; U2 ; U3 das Zentrum sein kann, bleibt nur hˇ 2 i D
Z.G/ übrig.
Bemerkung Ein elegantes Argument liefert Aufgabe 5.6: Da D4 =Ui zyklisch ist, D4
aber nicht abelsch ist, kann keines der Ui das Zentrum sein.
4.9 Für jede Untergruppe U G ist jU j ein Teiler von jQj D 8, also jU j 2 f1; 2; 4; 8g.
Q besitzt genau eine Untergruppe der Ordnung 1, nämlich fEg.

Q besitzt genau eine Untergruppe der Ordnung 8, nämlich Q.
Da Q genau ein Element der Ordnung 2 enthält, nämlich das Element E, besitzt Q
genau eine Untergruppe der Ordnung 2, nämlich hEi.
Da Q genau 6 Elemente der Ordnung 4 enthält, nämlich ˙I; ˙J; ˙K, von denen
jeweils zwei zueinander invers sind, es gilt nämlich I .I / D J .J / D K .K/ D
E (siehe Beispiel 2.1 (Algebrabuch)), und somit die gleiche Untergruppe erzeugen,
besitzt Q genau 3 Untergruppen der Ordnung 4, nämlich hI i, hJ i, hKi. Damit haben
wir alle Untergruppen von Q gefunden.
Die Untergruppen der Ordnung 1 und 8 sind trivialerweise Normalteiler von Q. Da die
Untergruppe der Ordnung 2 die einzige Untergruppe dieser Ordnung ist, ist sie ebenfalls
ein Normalteiler von Q (sogar eine charakteristische Untergruppe). Die Untergruppen der
Ordnung 4 haben alle den Index 2 und sind somit ebenfalls Normalteiler von Q. Also sind
alle Untergruppen von Q Normalteiler von Q.
4.10 (a) Für a; a0 2 R n f0g und b; b 0 2 R gilt
ta; b ta0 ; b 0 D taa0 ; ab 0 Cb ; t1; 0 ta; b D ta; b D ta; b t1; 0 ; ta1 ; a1 b ta; b D t1; 0 :
Folglich ist die Komposition eine innere Verknüpfung von G, das Element t1; 0 ein neutra-
les Element von G und jedes Element ta; b aus G invertierbar mit Inversem ta1 ; a1 b . Da
die Komposition von Abbildungen assoziativ ist, ist also G eine Gruppe.
(b) Da für beliebige a 2 R n f0g und b; c 2 R gilt:
ta; c t1; b ta1 ; a1 c D t1; d
für ein d 2 R, ist N ein Normalteiler von G.

(c) Es ist ' W G ! R n f0g, ta; b 7! a ein Epimorphismus mit Kern N . Mit dem Homo-
morphiesatz folgt G=N Š R n f0g.
4.11 Das Zentrum Z.G/ ist die Menge
Z.G/ D fA 2 G j A B D B A für alle B 2 Gg :
Aus der linearen Algebra ist bekannt, dass das Zentrum von K nn die Vielfachen der
Einheitsmatrizen bilden, sprich
Z.K nn/ D fA 2 K nn j A B D B A für alle B 2 K nn g D f En j 2 Kg :
Der Vollständigkeit halber wiederholen wir diesen Beweis:

Die Inklusion
ist klar. Es sei also A D .aij / 2 Z.K nn /. Mit Ekl bezeichnen wir
im Folgenden die Matrix aus K nn, deren .k; l/-ter Eintrag eine Eins ist und deren rest-
liche Einträge Nullen sind. Für alle k; l D 1; 2; : : : ; n gilt dann: A Ekl D Ekl A, also
Pn Pn Pn Pn
D1 aij Eij Ekl D Pi;j D1 aij Ekl Eij und somit
i;j P i;j D1 aij ıj k Ei l D i;j D1 aij ıli Ekj ,
also niD1 ai k Ei l D jnD1 alj Ekj . Also: ai k D 0 für alle i ¤ k und akk Ekl D al l Ekl
für alle k; l. Also aij D 0 für alle i ¤ j und a11 D D ann .)
Wir zeigen nun:
Z.G/ D f En j 2 K n f0gg:
: Wegen En B D B En für alle B 2 GLn .K/ gilt diese Inklusion.

: Es sei A 2 Z.G/. Dann vertauscht A mit allen Matrizen En C Eij für alle i ¤ j 2
f1; : : : ; ng. Also vertauscht A auch mit allen Matrizen En C Eij En D Eij für alle
i ¤ j 2 f1; : : : ; ng. Schließlich vertauscht A auch mit allen Matrizen Ei i D Eij Ej i
für alle i D 1; : : : ; n. Also ist A 2 Z.K nn / und somit existiert ein 2 K n f0g mit
A D En .
4.12 Es sei G metazyklisch mit einem zyklischen Normalteiler N , für den G=N zyklisch
ist. Wir wählen eine Untergruppe U von G und zeigen, dass U metazyklisch ist, d. h., dass
sie einen zyklischen Normalteiler V enthält, für den U=V wieder zyklisch ist.
Für V bietet sich U \ N an, diese Untergruppe der zyklischen Gruppe N ist nämlich
wieder zyklisch. Und nach dem 1. Isomorphiesatz 4.12 (Algebrabuch) ist V D U \ N ein
Normalteiler von U . Zu zeigen bleibt, dass U=V zyklisch ist.
Wir schreiben U=V wieder aus: U=V D U=U \ N und beachten erneut den 1. Isomor-
phiesatz 4.12 (Algebrabuch). Es gilt hiernach
U=U \ N Š U N=N ;
und U N=N ist als Untergruppe der zyklischen Gruppe G=N natürlich wieder zyklisch,
also auch U=V .
Es ist also z. B. jede Diedergruppe Dn D h˛; ˇi mit o.˛/ D 2 und o.ˇ/ D n metazy-
klisch, da hˇi ein zyklischer Normalteiler von Dn mit zyklischer Faktorgruppe Dn =hˇi
ist.
4.2 Lösungen 35
a b x y
4.13 (a) Es seien A D 0 c 2 G und B D 0 1 2 N . Dann gilt:

a b x y c b acx abx C a2 y C ab
A B A1 D a1 c 1 D a1 c 1
0 c 0 1 0 a 0 ac

x yQ
D 2N;
0 1
hierbei haben wir yQ WD bxc 1 C ayc 1 C bc 1 2 K gesetzt. Damit ist bereits gezeigt,
dass N ein Normalteiler von G ist.
Nun zu U : Wir unterscheiden die Fälle p D 2 und p 6D 2.
1. Fall: p D 2. Dann gilt U D fE2 g mit der Einheitsmatrix E2 . In diesem Fall ist U
natürlich ein Normalteiler von G.

2. Fall: p > 2: In diesem Fall ist U kein Normalteiler von G, denn mit A D 10 11 2 G
und B D 20 01 2 U gilt:

1 1 2 0 1 1 2 1
A B A1 D D …U:
0 1 0 1 0 1 0 1
(b) Wir begründen diese Isomorphie mit dem Homomorphiesatz und benötigen dafür
einen surjektiven Homomorphismus ' W G ! K mit Kern.'/ D N ; betrachte die
Abbildung:
a b
'WG!K ; 7! c :
0 c
Wegen c 6D 0 ist ' wohldefiniert.
1 0 Diese Abbildung ' ist auch surjektiv, da für jedes

c 2 K mit der Matrix A D 0 c 2 Goffenbar '.A/ D c erfüllt ist. Weiter ist ' ein
0 0
Homomorphismus: Für beliebige a0 bc ; a0 bc 0 2 G gilt:
0 0 0
a b a b0 aa a b a b0
' D' D cc 0 D ' ' :
0 c 0 c0 0 cc 0 0 c 0 c0
Und schließlich gilt Kern.'/ D N , da

a b a b a b
Kern.'/ D 2 G j' D1 D j a 2 K ; b 2 K D N:
0 c 0 c 0 1
Nun folgt die Behauptung mit dem Homomorphiesatz 4.10 (Algebrabuch).

(c) Zu bestimmen sind
U N D fA B 2 G j A 2 U; B 2 N g sowie U \ N D fA 2 G j A 2 U ^ A 2 N g :
a 0 x y
Sind A D 0 c 2 U und B D 0 1 2 N , so schöpft man wegen

a 0 x y ax ay
AB D D
0 c 0 1 0 c
schnell den Verdacht, dass wegen der Invertierbarkeit von a die Gleichheit G D U N gilt.
Es folgt eine Begründung dieser Tatsache:

Natürlich gilt U N G. Es sei nun C D a0 bc 2 G. Setze

a 0 1 a1 b
A WD 2 U und B WD 2N:
0 c 0 1
Dann gilt
a 0 1 a1 b a b
AB D D DC:
0 c 0 1 0 c
Das begründet G U N und damit G D U N .
Für U \ N gilt offenbar

a 0
U \N D j a 2 K :
0 1
(d) Nach (c) gilt U N=N D G=N . Wir bestimmen nun eine möglichst explizite Darstel-
lung von G=N D fA N j A 2 Gg, also der Nebenklassen A N mit A D a0 bc 2 G:

a b x y ax ay C b
AN D j x; y 2 K; x 6D 0 D j x; y 2 K; x 6D 0
0 c 0 1 0 c
0 0

x y
D j x 0 ; y 0 2 K; x 0 6D 0 D :
0 c 0 c
Also gilt:

x0 y0
G=N D fA N j A 2 Gg D j x 0 ; y 0 2 K; x 0 6D 0 j c 2 K
0 c

D j c 2 K :
0 c
\ N/ D
Wir bestimmen nun analog eine möglichst explizite Darstellung von U=.U
fA .U \ N / j A 2 U g, also der Nebenklassen A .U \ N / mit A D a0 0c 2 U . Es
gilt:
0 0
a 0 a 0 aa 0
A .U \ N / D j a0 2 K D j a0 2 K
0 c 0 1 0 c
00
a 0 0
D j a00 2 K D :
0 c 0 c
4.2 Lösungen 37
Also gilt:
00
a 0 00
U=.U \ N / D fA N j A 2 Gg D ja jc 2 K
0 c

0
D j c 2 K :
0 c
Der gemäß dem 1. Isomorphiesatz existierende Isomorphismus lautet in dieser Notation

0
7! :
0 c 0 c
4.14 Nach dem kleinen Satz 3.11 (Algebrabuch) von Fermat gilt ajGj D eG für jedes
a einer endlichen Gruppe G. Da ŒG W N die Ordnung der endlichen Gruppe G=N ist,
besagt der kleine Satz von Fermat .a N /ŒGWN D aŒGWN N D N für jedes a 2 G, da N das
neutrale Element in G=N ist. Das bedeutet aber aŒGWN 2 N .
4.15 Um eine Isomorphie der Art G=U Š H mithilfe des Homomorphiesatzes 4.10
(Algebrabuch) nachzuweisen, ist ein surjektiver Homomorphismus G ! H mit Kern U
anzugeben. Wir tun das bei den angegebenen Beispielen:
(a) Es ist det W GL.n; K/ ! K ein surjektiver Homomorphismus mit Kern.det/ D
SL.n; K/. Also gilt GL.n; K/= SL.n; K/ Š .K ; /.
(b) Es ist ' W .C; C/ ! .C ; / mit z 7! e2 i z ein surjektiver Homomorphismus mit
Kern.'/ D Z, also gilt .C=Z; C/ Š .C ; /.
(c) Es ist ' W Zm ! Zmn , .a1 ; : : : ; am / 7! .anC1 ; : : : ; am / ein surjektiver Homo-
morphismus mit Kern.'/ D f.a1 ; : : : ; an ; 0; : : : ; 0/ 2 Zm j ai 2 Zg, wobei dieser per
Identifikation als Zn aufgefasst werden kann, also gilt Zm =Zn Š Zmn .
(d) Es ist ' W C ! C , z 7! z n ein surjektiver Homomorphismus mit Kern.'/ D En D
fz 2 C j z n D 1g, also gilt C =En Š C .
Zyklische Gruppen 5
5.1 Aufgaben
5.1 Geben Sie einen weiteren Beweis von Lemma 5.1 (Algebrabuch) an.
5.2 Man bestimme den Untergruppenverband der additiven Gruppe Z360 .
5.3 Die Gruppe Z 54 ist zyklisch. Geben Sie ein erzeugendes Element a an und
ordnen Sie jedem x 2 Z 54 ein k 2 N mit 0 k < o.a/ zu, für das a D x gilt (der
k
Logarithmus zur Basis a). Welche Elemente von Z 54 sind Quadrate?
5.4 Welche der folgenden Restklassen sind invertierbar? Geben Sie eventuell das
Inverse an.
(a) 222 C 1001 Z, (b) 287 C 1001 Z, (c) 1000 C 1001 Z.
5.5 Berechnen Sie den größten gemeinsamen Teiler d von 33.511, 65.659 und
2.072.323 sowie ganze Zahlen r; s; t mit 33:511 r C 65:659 s C 2:072:323 t D d .
5.6 Es sei G eine Gruppe mit dem Zentrum Z.G/. Zeigen Sie: Ist G=Z.G/ zy-
klisch, so ist G abelsch.
5.7 Begründen Sie:
(a) Jede endlich erzeugte Untergruppe von .Q; C/ ist zyklisch.

(b) Für jedes Erzeugendensystem X von Q und jede endliche Teilmenge E von X ist auch
X n E ein Erzeugendensystem. Insbesondere besitzt Q kein minimales Erzeugenden-
system.

40 5 Zyklische Gruppen
5.8 Man zeige:

P
(a) Für jede natürliche Zahl n gilt n D '.d /, wobei über alle Teiler d 2 N von n
summiert wird. Hinweis: Man betrachte für jede zyklische Untergruppe U von Zn
die Menge C.U / aller erzeugenden Elemente von U .
(b) Eine endliche Gruppe G der Ordnung n ist genau dann zyklisch, wenn es zu jedem
Teiler d von n höchstens eine zyklische Untergruppe der Ordnung d von G gibt.
5.2 Lösungen
5.1 Es sei U eine Untergruppe von G. Im Fall U D feg ist U zyklisch, U D hei. Daher
kümmern wir uns nun um den Fall U 6D feg.
Es sei n die kleinste natürliche Zahl mit e 6D an 2 U . Ein solches n existiert auch in
der Tat. Ist nämlich ak 2 U für ein k 2 Z, so ist auch ak 2 U . Nun begründen wir
U D han i, damit ist dann alles gezeigt.
Es gilt han i U : Mit an sind nämlich auch alle Potenzen von an in U .
Es gilt U han i: Aus ak 2 U mit k D q n C r 2 Z und 0 r < t (Division mit Rest)

folgt:
ar D akq n D ak .an /q 2 U ;
sodass r D 0 gilt wegen der Minimalität von n; d. h.
ak D aq n D .an /q 2 han i :
Das beweist U han i. Schließlich gilt die Gleichheit U D hani.
5.2 Es ist Z360 eine zyklische Gruppe der Ordnung 360. Nach Lemma 5.2 (Algebrabuch)
ist der Untergruppenverband durch die Teiler von 360 bestimmt. Die Teiler von 360 sind:
1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 18, 20, 24, 30, 36, 40, 45, 60, 72, 90, 120, 180, 360. Also hat
Z360 die 24 Untergruppen: h0i, h180i, h120i, h90i, h72i, h60i, h45i, h40i, h36i, h30i, h24i,
h20i, h18i, h15i, h12i, h10i, h9i, h8i, h6i, h5i, h4i, h3i, h2i, h1i. Weitere Untergruppen gibt
es nicht.
5.3 Die Tatsache, dass Z 54 zyklisch ist, wird sich im Laufe der Rechnung herausstellen.
Auch die Bestimmung von jZ 54 j D '.54/ (die Euler’sche '-Funktion) ergibt sich neben-
bei. Natürlich könnte man auch einfach die Anzahl jener k 54 aus N ermitteln, die zu
54 D 2 33 teilerfremd sind, wir tun das nicht.
5.2 Lösungen 41
Wie üblich setzen wir x WD x C 54 Z. Da wir ein erzeugendes Element a suchen, wählen
wir ein x 2 Z 54 und ermitteln sukzessive die Potenzen x , k 2 N. Wir beginnen mit 5
k
in Z
54 (1 ist sicher kein erzeugendes Element, 2, 3 und 4 existieren in Z54 nicht). Wir
rechnen modulo 54 und erhalten
k 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
k
5 1 5 25 17 31 47 19 41 43 1 5 25 17 31 47 19 41 43 1
Also gilt o.5/ D 18. Da wegen ggT.2 n; 54/ > 1 für jedes n 2 N die Gruppe Z 54 D fa 2
Z54 j ggT.a; 54/ D 1g höchstens 27 D 54=2 Elemente haben kann, aber andererseits auch
o.5/ D 18 ein Teiler der Gruppenordnung jZ
54 j gelten muss, erhalten wir jZ54 j D 18.

Damit ist begründet, dass a D 5 ein erzeugendes Element von Z54 ist: h5i D Z54 .
Obige Tabelle führt in der zweiten Zeile die verschiedenen Elemente aus Z
54 auf, es sind
dies 1, 5, 7 D 47, 11 D 43, 13 D 41, 17, 19, 23 D 31, 25, 29 D 25, 31,
35 D 19, 37 D 17, 41, 43, 47, 49 D 5, 53 D 1. Das laut obiger Tabelle zugehörige
k ist dann der Logarithmus zur Basis a, z. B. gilt mit a D 5:
k D 2 D Loga .25/ ; k D 13 D Loga .23/ ; : : :

k
Es ist x 2 Z 54 genau dann ein Quadrat, wenn in der Darstellung x D 5 mit k 2
f0; : : : ; 17g die Zahl k gerade ist. Damit erhalten wir die Quadrate 1, 25, 31, 19, 43,
5, 17, 47, 41.
Bemerkungen (1) Die Zyklizität von Z 54 entnimmt man auch ganz einfach dem Korol-
lar 14.12 (Algebrabuch) (mit n D 2 33 ).
(2) Auch '.54/ kann man ohne viel Aufwand ermitteln: Nach Lemma 6.10 (Algebrabuch)
gilt '.54/ D '.2/ '.33 / D 2 33 12 23 D 18.
5.4 Ein Element x 2 Zn ist nach Lemma 5.13 (Algebrabuch) genau dann invertierbar,
wenn ggT.n; x/ D 1 gilt. Diese Teilerfremdheit, d. h. ggT.n; x/ D 1, lässt sich leicht mit
dem euklidischen Algorithmus (siehe Abschn. 5.3.3 (Algebrabuch)) verifizieren. Sind n
und x teilerfremd, so bestimme man ganze Zahlen r und s mit 1 D r x C s n. Modulo n
besagt diese Gleichheit 1 D r x. Somit ist r das Inverse von x:
(a) Der euklidische Algorithmus liefert ggT.1001; 222/ D 1 D 55 1001 C 248 222.
Somit gilt 222 C 1001 Z 2 Z1001 , und es gilt
.248 C 1001 Z/ .222 C 1001 Z/ D 1 C 1001 Z ;
sodass 248 C 1001 Z das Inverse zu 222 C 1001 Z ist.

(b) Der euklidische Algorithmus liefert ggT.1001; 287/ D 7. Somit gilt 287 C 1001 Z 62
Z1001 , d. h. 287 C 1001 Z ist nicht invertierbar.
(c) Es ist 1000 1 .mod 1001/, sodass 1000 C 1001 Z in Z

1001 liegt und zu sich selbst
invers ist.
5.5 Es gilt ggT.33:511; 65:659; 2:072:323/ D ggT.ggT.33:511; 65:659/; 2:072:323/.

Der euklidische Algorithmus (siehe Abschn. 5.3.3 (Algebrabuch)) liefert:
ggT.33:511; 65:659/ D 47 D 295 65:659 C .578/ 33:511
und dann
ggT.2:072:323; 47/ D 1 D .1/ 2:072:323 C 44:092 47 :
Damit erhalten wir
ggT.33:511; 65:659; 2:072:323/ D 1

D 13:007:140 65:659 C .25:485:176/ 33:511 C .1/ 2:072:323 :
5.6 Da G=Z.G/ zyklisch ist, existiert ein a 2 G mit G=Z.G/ D ha Z.G/i. Es seien
0
b; b 0 2 G. Dann existieren k; k 0 2 Z, c; c 0 2 Z.G/ mit b D ak c und b 0 D ak c 0 .
Demnach gilt:
0 0 0
b b 0 D .ak c/ .ak c 0 / D akCk c c 0 D .ak c 0 / .ak c/ D b 0 b :
Folglich ist G abelsch.
5.7 (a) Es sei U D ha1 ; : : : ; an i eine endlich erzeugte Untergruppe der additiven Gruppe
.Q; C/. Da Q abelsch ist, sind nach dem Darstellungssatz 3.2 (Algebrabuch) die Elemente
von U von der Form
u D 1 a1 C C n an mit i 2 Z :
Wir bringen diese Zahl u auf einen gemeinsamen Nenner s und erhalten u 2 h 1s i, genauer:
Es seien ai D rsii 2 Q mit ri 2 Z, si 2 N, i D 1; : : : ; n gegeben. Für s WD s1 sn folgt
nun:
˚
˝ ˛
a1 ; : : : ; an 2 1s Z D rs j r 2 Z D 1s :
˝ ˛ ˝ ˛
Somit gilt U D ha1 ; : : : ; an i 1s . Als Untergruppe der zyklischen Gruppe 1s ist U
wieder zyklisch (siehe auch Lemma 5.1 (Algebrabuch)).
5.2 Lösungen 43
(b) Es sei X ein Erzeugendensystem von Q und E vorerst einelementig, E D fxg. Es sei
x D rs , r 2 Z, s 2 N. Zu zeigen ist, dass X n E ein Erzeugendensystem von Q ist, d. h.
x 2 hXi.
0
Nach dem Teil (a) gilt Q 6D hxi D rs Z. Daher existiert x 0 D rs 0 2 X mit r 0 2 Z, s 0 2 N
und x 0 6D x. Es existieren x1 ; : : : ; xn 6D x in X und k1 ; : : : ; kn ; k mit
1
k1 x1 C C kn xn C k x D :
s2r 0
Es folgt
r 1 X n X n
xD D r0 s r 2 0 D .ki r 0 s r/ xi C k r 0 r 2 D .ki r 0 s r/ xi C .k r 2 s 0 / x 0 ;
s s r i D1 i D1
sodass x 2 hX n fxgi, also Q D hXi hX n fxgi.
Ist nun E D fy1 ; : : : ; yn g eine endliche Teilmenge des Erzeugendensystems X, so sind

nach dem eben Gezeigten auch
X1 D X n fy1 g ; X2 D X1 n fy2 g; : : : ; Xn D Xn1 n fyn g D X n E
Erzeugendensysteme von Q.
5.8 Die Hinweise zur Lösung dieser Aufgabe finden wir in Lemma 5.2 (Algebrabuch) und
Korollar 5.12 (Algebrabuch). Einerseits gilt: Ist G eine zyklische Gruppe mit jGj D n,
so gibt es n Elemente, die jeweils eine zyklische Untergruppe erzeugen. Andererseits gilt:
Zu jedem Teiler d von n gibt es genau eine Untergruppe Ud von Zn mit genau '.d /
Erzeugenden.
Wir teilen die n Elemente von G auf in (disjunkte) Klassen, in denen jeweils die Elemente
liegen, die ein und dieselbe Untergruppe U erzeugen. Etwas formaler: Für jede zyklische
Untergruppe U einer Gruppe G sei C.U / die Menge der erzeugenden Elemente von U .
Dann gilt nach Korollar 5.12 (Algebrabuch) jC.U /j D '.d /, wenn jU j D d 2 N.
Bezeichnet Z die Menge der zyklischen Untergruppen von G, so bildet fC.U / j U 2 Zg
eine Partition von G: Jedes a 2 G erzeugt die zyklische Gruppe hai, sodass a 2 C.hai/,
und kein a erzeugt verschiedene Untergruppen, sodass die Klassen disjunkt sind. Es folgt
P
jGj D jC.U /j, wobei über die verschiedenen Klassen C.U / summiert wird.
(a) Nach Lemma 5.2 (Algebrabuch) besitzt Zn zu jedem Teiler d 2 N von n genau eine
zyklische Untergruppe Ud der Ordnung d . Es folgt
X X
n D jZn j D jC.Ud /j D '.d / :
0<d jn 0<d jn
(b) Aufgrund von Lemma 5.2 (Algebrabuch) ist nur eine Richtung zu zeigen und zwar:
Falls es zu jedem Teiler d von n D jGj höchstens eine zyklische Untergruppe U mit
P
jU j D d gibt, so ist G zyklisch. Nach der Vorbemerkung gilt jGj D U 2Z jC.U /j. Da es
aber zu jedem Teiler d von n D jGj höchstens eine Untergruppe dieser Ordnung d gibt,
erhalten wir mit dem Teil (a) dieser Aufgabe:
X X
n D jGj D jC.U /j '.d / D n ;
U 2Z 0<d jn
sodass also D anstelle in dieser Ungleichung zu setzen ist. Und das bedeutet, dass eine
zyklische Untergruppe der Ordnung n existiert. Somit ist G zyklisch.
Direkte Produkte 6
6.1 Aufgaben
6.1 Begründen oder widerlegen Sie:
(a) Z8 Š Z2 Z4 .
(b) Z8 Š Z2 V für die Klein’sche Vierergruppe V .
6.2 Man bestimme Gruppen U und N mit
(a) Z4 Š U N .
(b) Zpk Š U N für eine natürliche Zahl k und Primzahl p.
6.3 Man zeige: Jede Gruppe der Ordnung 4 ist entweder zu Z4 oder zu Z2 Z2
isomorph.
6.4 Es sei N ein Normalteiler einer Gruppe G. Man zeige: Es ist G genau dann
das innere direkte Produkt G D U N , U \ N D feg, von N mit einem Normalteiler U ,
wenn es einen Homomorphismus ˇ W G ! N gibt, dessen Restriktion ˇN W N ! N ,
ˇN .x/ D ˇ.x/ ein Isomorphismus ist.
6.5 Es seien U; N Normalteiler der endlichen Gruppe G mit teilerfremden Ord-

nungen und jGj D jU j jN j. Zeigen Sie:
(a) G D U ˝ N .
(b) Aut.G/ Š Aut.U / Aut.N /.

46 6 Direkte Produkte
6.6 Bestimmen Sie die Lösungsmenge des folgenden Systems simultaner Kongru-
enzen:
X 7 .mod 11/ ; X 1 .mod 5/ ; X 18 .mod 21/ :
6.7 Es sei S1 WD fz 2 C j z z D 1g der Einheitskreis. Zeigen Sie:
(a) .S1 ; / ist eine Gruppe, die En WD fz 2 C j z n D 1g für jedes n 2 N als Untergruppe
enthält.
(b) Für RC WD fx 2 R j x > 0g gilt C n f0g Š RC S1 .
(c) Es gibt einen Isomorphismus ' W R=Z ! S1 .
(d) Bestimmen Sie die Elemente endlicher Ordnung in R=Z und S1 . Bilden sie eine
Gruppe?
6.8 Die Gruppe G sei das direkte Produkt ihrer Untergruppen U und N ; und H
sei eine U umfassende Untergruppe von G. Man zeige, dass H das direkte Produkt der
Untergruppen U und H \ N ist.
6.9 Semidirekte Produkte
(a) Es seien U eine Untergruppe und N ein Normalteiler einer Gruppe G mit G D U N
und U \ N D feG g.
Begründen Sie, dass jedes Element a aus G auf genau eine Weise in der Form u v mit
u 2 U und v 2 N dargestellt werden kann und dass G=N zu U isomorph ist. Man
nennt G das semidirekte Produkt von U mit N . n o
(b) Es seien ein Körper K und die Teilmengen G WD a0 bc j a; c 2 K n f0g; b 2 K ,
n o n o
N WD 10 b1 j b 2 K und U WD a0 c0 j a; c 2 K n f0g von GL2 .K/ gegeben.
Zeigen Sie, dass G, U und N die Bedingungen aus (a) erfüllen. Ist U ein Normalteiler
von G?
6.2 Lösungen
6.1 (a), (b) In der Gruppe Z8 gibt es ein Element der Ordnung 8, nämlich 1 (Z8 ist
zyklisch). Die Elemente der Gruppe Z2 Z4 bzw. Z2 V haben jedoch allesamt eine
Ordnung 4 bzw. 2, d. h.
Z8 6Š Z2 Z4 und Z8 6Š Z2 V :
Auch Korollar 6.11 (Algebrabuch) zeigt unmittelbar, dass Z8 nicht isomorph zu Z2 Z4

bzw. Z2 V ist.
6.2 Lösungen 47
6.2 (a) Es gilt etwa Z4 f0g Š Z4 Š f0g Z4 . Wegen Korollar 6.11 (Algebrabuch) gibt
es keine nichttriviale Zerlegung Z4 Š U N mit jU j; jN j > 1.
(b) 1. Fall: p − k. Dann gilt Zpk Š Zp Zk (beachte Korollar 6.7 (Algebrabuch)).
2. Fall: p j k. Wir setzen p k D p r k 0 mit p − k 0 . Dann gilt Zpk Š Zpr Zk 0 (beachte

Korollar 6.7 (Algebrabuch)).
6.3 Es sei G eine Gruppe der Ordnung 4.
1. Fall: Es sei G zyklisch. Dann gilt G Š Z4 (siehe Satz 5.3 (Algebrabuch)).
2. Fall: Es sei G nicht zyklisch. Es gibt kein Element der Ordnung 4, also gilt nach dem
Satz von Lagrange a2 D eG für jedes Element a 2 G und das neutrale Element eG von G.
Nun können wir auf Aufgabe 2.9 zurückgreifen: G ist eine Klein’sche Vierergruppe, also
G Š Z2 Z2 .
6.4 )W Es sei G D U ˝ N das innere direkte Produkt der Normalteiler U und N von G.
Dann ist jedes Element x 2 G auf genau eine Weise darstellbar als x D u n mit u 2 U
und n 2 N . Dann ist
ˇ W G D U ˝ N ! N ; x D u n 7! n
wegen
ˇ.x y/ D ˇ.u n uQ n/
Q D ˇ.u uQ n n/
Q D n nQ D ˇ.x/ ˇ.y/
für x D u n; y D uQ nQ mit u; uQ 2 U und n; nQ 2 N ein Homomorphismus. Die Restriktion

ˇN W N ! N erfüllt ˇN .n/ D n für alle N und ist somit ein Isomorphismus von N .
(W Nun sei ˇ ein Homomorphismus mit den angegeben Eigenschaften. Motiviert durch
den ersten Teil dieser Lösung, wählen wir U als Kern des Homomorphismus ˇ. Wir be-
gründen, dass G D U ˝ N gilt.
U ist ein Normalteiler von G, da U Kern eines Homomorphismus ist (siehe Lemma 4.3
(Algebrabuch)).
U \ N D feG g, da ˇN ein Isomorphismus ist.
G D U N : Zu jedem a 2 G existiert wegen ˇ.a/ 2 N ein b 2 N mit ˇN .b/ D
ˇ.b/ D ˇ.a/, d. h. a b 1 2 U . Folglich gilt a 2 U N , womit G U N begründet ist.
Die Inklusion U N G ist klar.
Damit ist G D U ˝ N begründet.

6.5 (a) Nach Lemma 4.4 (Algebrabuch) ist U N eine Untergruppe von G. Da U; N
Untergruppen von U N sind, sind nach dem Satz von Lagrange die Gruppenordnungen
jU j; jN j Teiler von jU N j, also G D U N wegen der Teilerfremdheit von jU j und jN j.
Wir benutzen wieder den Satz von Lagrange: Es ist jU \ N j ein Teiler von jU j und jN j,
also jU \ N j D 1 erneut wegen der Teilerfremdheit der Ordnungen von U und N . Es
folgt G D U ˝ N .
(b) Nach der Aussage in (a) gilt G D U ˝N . Es sei ' 2 Aut G. Dann gilt '.U / U ˝N .
Wegen j'.U /j D jU j gilt '.U / D U (man beachte die Teilerfremdheit der Ordnungen
von U und N ). Analog gilt '.N / D N . Wir erhalten eine Abbildung
(
Aut G ! Aut U Aut N
˚W
' 7! .'jU ; 'jN /
Die Abbildung ˚ ist offenbar ein Homomorphismus. Weiter ist ˚ injektiv, da .'jU ; 'jN /
D .IdU ; IdN / nur für ' D IdG möglich ist. Außerdem ist ˚ surjektiv, da für U 2 Aut U
und N 2 Aut N die Abbildung
(
U ˝N ! U ˝N
W .u 2 U ; v 2 N /
uv 7! U .u/ N .v/
ein Automorphismus von G D U ˝ N ist. Es folgt Aut G Š Aut U Aut N .
6.6 In Abschn. 6.3.2 (Algebrabuch) haben wir ausführlich das Vorgehen zur Lösungsfin-
dung eines solchen Kongruenzgleichungssystems beschrieben: Es ist L D k C r Z die
gesuchte Lösungsmenge, wobei r D r1 r2 r3 und k D k1 s1 a1 C k2 s2 a2 C k3 s3 a3 mit
den wie folgt gegebenen Zutaten gegeben sind:
r1 D 11, r2 D 5, r3 D 21
a1 D 7, a2 D 1, a3 D 18.
s1 D ar1 D 105, s2 D ar2 D 231, s3 D ar3 D 55.
– k1 löst s1 X 1 (mod r1 ), etwa k1 D 2,
– k2 löst s2 X 1 (mod r2 ), etwa k2 D 1,
– k3 löst s3 X 1 (mod r3 ), etwa k3 D 13.
P3
Somit gilt k D i D1 ki ai si D 7 2 105 C 1 1 231 C 18 13 55 D 14571, also
L D 14571 C 11 5 21 Z D 711 C 1155 Z :

6.2 Lösungen 49
6.7 (a) Es ist C D C n f0g bekanntlich eine (multiplikative) Gruppe. Da z 7! jzj D

p
z z ein Homomorphismus ist, es gilt nämlich jz wj D jzj jwj, ist S1 als Kern dieses
Homomorphismus eine (multiplikative) Untergruppe von C , insbesondere eine Gruppe.
Für jedes n 2 N gilt
a 2 En ) an D 1 ) jajn D 1 ) 1 D jaj D a a :
Somit ist En für jedes n 2 N in S1 enthalten.
(b) Wir benutzen Lemma 6.3 (Algebrabuch): Nach dem Teil (a) ist S1 eine Untergruppe
und als solche ein Normalteiler von C . Weiter ist auch RC ein Normalteiler von C .
Wir setzen die Darstellung komplexer Zahlen in Polarkoordinaten .r; '/ als bekannt vor-
aus: Jedes z 2 C hat die Form
z D r .cos ' C i sin '/ mit r 2 RC und cos ' C i sin ' 2 S1 :
Das zeigt bereits

C D RC S 1 :
Wegen RC \ S1 D f1g ist damit C D RC ˝ S1 begründet. Lemma 6.3 (Algebrabuch)

zeigt nun C Š RC S1 .
(c) Es ist ' W x C Z 7! e2 i x ein (wohldefinierter) Isomorphismus von R=Z auf S1 :
Wohldefiniertheit und Injektivität:
e2 i.xy/ D e2 i x e2 i.y/ D 1 , 2 i .x y/ D 2 k i für ein k 2 Z

, x y 2 Z , x CZ D y CZ:
Homomorphie: '..x C Z/ C .y C Z// D '..x C y/ C Z/ D e2 i.xCy/ D e2 i x e2 i y D

'.x C Z/ '.y C Z/.
Die Surjektivität ist klar.

S
(d) Definitionsgemäß ist E D n2N En die Menge der Elemente endlicher Ordnung aus
S1 . Aus a; b 2 E, etwa a 2 Er , b 2 Es , folgt .a b 1 /rs D .ar /s .b s /r D 1. Folglich gilt
E S1 .
Es ist n .x C Z/ D 0 C Z D Z mit n x 2 Z, d. h. x 2 n1 Z gleichwertig. Es hat also x C Z

S
genau dann endliche Ordnung, wenn x 2 n2N n1 Z, d. h. x 2 Q, d. h. x C Z 2 Q=Z
R=Z.
6.8 Zu zeigen ist:
.i/ U; H \ N E H ; .i i/ H D U .H \ N / ; .i i i/ U \ .H \ N / D feg :
Wir sammeln erstmal Informationen aus den Voraussetzungen:
G D U ˝ N , d. h. U; N E G, G D U N , U \ N D feg.
U H G.
H \ N H; N .
Zu (i): Aus U E G folgt U E H . Weiter gilt für h 2 H :
h .H \ N / h1 D h H h1 \ h N h1 D H \ N ;
sodass H \ N E H (alternativ hätten wir auch den 1. Isomorphiesatz 4.12 (Algebrabuch)

anwenden können).
Zu (ii): Da H G D U N , hat jedes a 2 H die Form a D u v mit u 2 U , v 2 N . Es
folgt wegen U H :
v D u1 a 2 U 1 H H ; d. h. v 2 H \ N :
Somit gilt H U .H \ N /. Wegen U .H \ N / H gilt H D U .H \ N /.

Zu (iii): Aus U \ N D feG g folgt U \ .H \ N / D feG g.
Damit ist alles gezeigt.
6.9 (a) Wegen G D U N hat jedes Element a 2 G die angegebene Form. Aus u v D u0 v 0
mit u; u0 2 U und v; v 0 2 N folgt: u01 u D v 0 v 1 2 U \ N . Folglich gilt u01 u D eG D
v 0 v 1 , d. h. u D u0 , v D v 0 .
Hiernach ist die Abbildung

G ! U
'W mit u 2 U ; v 2 N
uv 7! u
wohldefiniert und surjektiv. Es gilt
'.u v u0 v/ D '.u u0 u01 v u0 v/ D u u0 D '.u v/ '.u0 v 0 / ;
denn u01 v u0 v 0 2 N . Somit ist ' ein Epimorphismus. Ferner gilt:
u v 2 Kern ' , u D e , u v 2 N :
6.2 Lösungen 51
Mit dem Homomorphiesatz 4.10 (Algebrabuch) folgt U D '.G/ Š G= Kern ' D G=N .

(b) Offensichtlich sind U G und N E G. Für a0 bc 2 G gilt:

a b a 0 1 b a1
D 2 U N;
0 c 0 c 0 1
also G D U N . Offensichtlich ist U \ N D fE2 g. Also ist G semidirektes Produkt von

U mit N .
Es ist U kein Normalteiler, also G nicht direktes Produkt von U mit N , da:

1 1 1 0 1 1
62 U :
0 1 0 0 0 1
Gruppenoperationen 7
7.1 Aufgaben
7.1 Es operiere G auf der Menge X, und es sei x 2 X. Begründen Sie: Der Stabili-
sator Gx ist genau dann ein Normalteiler von G, wenn Gx D Gy für alle y 2 G x erfüllt
ist.
7.2 Es seien X D f1; 2; 3; 4g und G D V4 WD fId; 1 ; 2 ; 3 g mit

1 D 12 21 34 43 ; 2 D 13 24 31 42 ; 3 D 14 23 32 41 :
Es operiert G auf X bezüglich x WD .x/. Bestimmen Sie die Bahnen G 2 und G 4

und die Stabilisatoren G2 und G4 .
7.3 Es sei G eine nichtabelsche Gruppe mit jGj D p 3 für eine Primzahl p. Man
zeige: jZ.G/j D p. Hinweis: Benutzen Sie Aufgabe 5.6.
7.4 Es seien G eine Gruppe und U eine Untergruppe. Weiter seien L WD fa U j a 2
Gg und R WD fU a j a 2 Gg die Mengen der Links- bzw. Rechtsnebenklassen. Zeigen
Sie:
(a) G operiert transitiv auf L bzw. R durch
g .a U / D g a U bzw. g .U a/ D U a g 1
(dabei heißt eine Operation transitiv auf X, wenn es zu beliebigen x; y 2 X ein

g 2 G mit g x D y gibt). Warum ist bei der zweiten Operation eine Inversion
notwendig? Wäre auch g .U a/ WD U a g eine gültige Operation?
(b) Für a 2 G gilt für die Stabilisatoren: Ga U D a U a1 und GU a D a1 U a.
(c) Geben Sie eine Bedingung an, wann die Operationen treu sind.

54 7 Gruppenoperationen
7.5 Bestimmen Sie bis auf Isomorphie alle nichtabelschen Gruppen der Ordnung 8.
7.6 Es sei G eine p -Gruppe.
(a) Es sei U ¨ G eine echte Untergruppe von G. Zeigen Sie: U ¨ NG .U /. Hinweis:

vollständige Induktion nach jGj.
(b) Es sei U eine maximale Untergruppe von G, d. h., es ist U ¨ G eine echte Unter-
gruppe von G, und es gibt keine Untergruppe H mit U ¨ H ¨ G. Zeigen Sie, dass
U ein Normalteiler von G ist.
7.7 Zeigen Sie, dass für die multiplikative Gruppe G D .R n f0g; / durch
W G R2 ! R2 ; .t; .x; y// 7! t .x; y/ WD .tx; t 1 y/
eine Operation von G auf R2 gegeben ist. Skizzieren Sie die Bahnen dieser Operation.
7.8 Für einen Körper K und eine natürliche Zahl n wird die projektive spezielle
lineare Gruppe PSLn .K/ WD SLn .K/=Z definiert, wobei
Z WD fa En 2 K nn j a 2 K ; an D 1g:
Weiter sei
P n1 WD fhvi j v 2 K n n f0gg
die Menge aller eindimensionalen Untervektorräume von K n (man nennt P n1 den .n1/-
dimensionalen projektiven Raum über K).
(a) Bestimmen Sie die Mächtigkeiten j GLn .K/j, j SLn .K/j, j PSL2 .K/j und jP n1 j, falls
K ein endlicher Körper mit q Elementen ist.
(b) Zeigen Sie, dass
W PSLn .K/ P n1 ! P n1 ; .A Z; hvi/ 7! A Z hvi WD hA vi
mit A 2 SLn .K/, v 2 K n n f0g eine Operation von PSLn .K/ auf P n1 ist.
(c) Wir betrachten nun den Fall n D 2, K D Z3 und den durch die Operation induzierten
Homomorphismus W PSL2 .F3 / ! SP 1 . Wir setzen
( * !+ * !+ * !+ * !+)
1 0 1 1
P D p1 WD
1
; p2 WD ; p3 WD ; p4 WD
0 1 1 2
und identifizieren SP 1 mit S4 (indem wir etwa pi mit i identifizieren). Berechnen Sie

10 11 Z 2 S4 und 11 01 Z 2 S4 ;
und folgern Sie, dass W PSL2 .Z3 / ! A4 ein Isomorphismus ist.

7.2 Lösungen 55
7.2 Lösungen
7.1 Die Idee zur Lösung dieser Aufgabe ist durch Lemma 7.3 (Algebrabuch) motiviert:
Nach dem Teil (a) dieses Lemmas ist Gx eine Untergruppe von G, und nach dem Teil (b)
gilt a Gx a1 D Gax für jedes a 2 G. Damit ist Gx genau dann ein Normalteiler, wenn
Gax D Gx für alle a 2 G gilt. Nun können wir knapp die Lösung formulieren:
Gx D Gy für alle y 2 G x , Gx D Gax für alle a 2 G

, Gx D a Gx a1 für alle a 2 G
, Gx E G :
7.2 Wegen
Id.2/ D 2; 1 .2/ D 1; 2 .2/ D 4; 3 .2/ D 3
gilt G 2 D f1; 2; 3; 4g D X. Analog erhält man G 4 D X.
Da die Elemente 2 und 4 nur unter der Identität stabil bleiben, aus 2 D 2 folgt nämlich
D Id, gilt G2 D fIdg D G4 .
Bemerkung Den zweiten Teil hätten wir auch aus dem ersten Teil mit der Bahnenformel
aus Lemma 7.3 (Algebrabuch) folgern können: Da G 2 D 4, gilt ŒG W G2 D 4, also
G2 D fIdg, analog schließt man für G4 .
7.3 Man sammeln zuerst Informationen:
Z.G/ ist ein Normalteiler von G ) jZ.G/j j p 3 (siehe Lemma 4.11 (Algebrabuch)
und den Satz von Lagrange).
G ist nicht abelsch ) Z.G/ 6D G, d. h. jZ.G/j 6D p 3 .
G ist eine p-Gruppe ) Z.G/ 6D feg, d. h. jZ.G/j 6D 1 (siehe Satz 7.7 (Algebrabuch)).
G=Z.G/ zyklisch ) G abelsch (siehe Aufgabe 5.6).
Da 1; p; p 2 ; p 3 die einzigen Teiler von p 3 sind, muss nach der zweiten und dritten Be-
merkung jZ.G/j D p oder jZ.G/j D p 2 gelten.
Im Fall jZ.G/j D p 2 hätte die Gruppe G=Z.G/ die Ordnung p. Insbesondere wäre
G=Z.G/ zyklisch, nach der vierten Bemerkung also G abelsch. Somit bleibt nur die Mög-
lichkeit jZ.G/j D p.
7.4 (a) Es ist eine Operation von G auf L: Es gilt für alle a; g; h 2 G:
eG .a H / D .eG a/ U D a U und
.g h/ a U D g h a U D g .h .a U //.
Die Operation ist transitiv: Es seien a U; b U 2 L. Dann erfüllt g WD b a1 2 G:
g .a U / D g a U D b U :
Es ist eine Operation von G auf R: Es gilt für alle a; g; h 2 G:
eG .U a/ D U .a eG1 / D U a und
.g h/ U a D .U a/ .g h/1 D Ua h1 g 1 D g .U a h1 / D g .h .U a//.
Die Operation ist transitiv: Es seien U a; U b 2 R. Dann erfüllt g WD b 1 a 2 G:
g .U a/ D U a g 1 D U b :
Ohne die Inversion erhält man im Allgemeinen keine Operation von G auf R, denn es gilt
für g; h; a 2 G (wenn man die Inversion weglässt):
.g h/ .U a/ D U a g h,
g .h .U a// D g .U a h/ D U a h g,
also im Allgemeinen .g h/ .U a/ ¤ g .h .U a//. Somit ist durch g .U a/ WD U g a

im Allgemeinen keine Operation von G auf R definiert.
(b) Für jedes a 2 G gilt:
Ga U D fg 2 G j g .a U / D a U g GU a D fg 2 G j g .U a/ D U ag
D fg 2 G j g a U D a U g D fg 2 G j U a g 1 D U ag
D fg 2 G j a1 g a U D U g D fg 2 G j U a g a1 D U g
D fg 2 G j a1 g a 2 U g D fg 2 G j a g a1 2 U g
D fg 2 G j g 2 a U a1 g D fg 2 G j g 2 a1 U ag
D a U a1 D a1 U a :
(c) Wir betrachten ganz allgemein eine Operation von G auf einer Menge X und den in
Lemma 7.1 (Algebrabuch) erklärten Homomorphismus W G ! SX , a 7! a , wobei die
Bijektion a W X ! X erklärt ist durch a .x/ D a x.
7.2 Lösungen 57
Diese Operation ist genau dann treu, wenn injektiv ist, also genau dann, wenn zu jedem
a 2 G n feG g ein x 2 X existiert mit a x 6D x, da a im Fall a 6D e nicht die Identität ist.
Nun kommt der Bezug zu den Stabilisatoren ins Spiel: Es gilt Gx D fa 2 G j a x D xg,
also \
Gx D fa 2 G j a x D x für alle x 2 Xg :
x2X
Die Operation ist somit genau dann treu, wenn der Durchschnitt aller Stabilisatoren trivial
ist, d. h. wenn gilt: \
Gx D feg g :
x2X
Angewandt auf die obigen beiden Operationen erhält man:
T
G operiert genau dann treu auf L, wenn a2G a U a1 D feG g.
T
G operiert genau dann treu auf R, wenn a2G a1 U a D feG g ist.
7.5 Es sei G eine nichtabelsche Gruppe der Ordnung 8. Weil G eine 2 -Gruppe ist, hat
jedes Element die Ordnung 1, 2, 4 oder 8. Gäbe es ein Element der Ordnung 8, so wäre G
zyklisch, insbesondere abelsch. Hätten alle Elemente von G eine Ordnung kleiner gleich
2, so wäre G nach Aufgabe 3.9 abelsch. Also existiert ein Element b 2 G der Ordnung 4.
Die Untergruppe hbi ist als Untergruppe vom Index 2 ein Normalteiler in G. Die disjunkte
Linksnebenklassenzerlegung nach hbi sei:
G D hbi [ a hbi D feG ; b; b 2 ; b 3 g [ fa; a b; a b 2 ; a b 3 g ;
wobei a 2 G n hbi. Wir ermitteln b a: Angenommen, b a 2 hbi. Dann gilt auch a D

b 3 ba 2 hbi, sodass b a 62 hbi gelten muss. Weiter ist klar, dass b a 6D a, da sonst b D
eG gelten würde. Da G nicht abelsch ist, folgt auch b a 6D a b. Also bleibt nur b a 2
fa b 2 ; a b 3 g. Angenommen, b a D a b 2 . Dann gilt a D b 3 a b 2 D b b b a b 2 D b b a D
b a b 2 . Es folgt der Widerspruch b 3 a b 2 D b a b 2 (hieraus folgt nämlich b 2 D eG ). Also
gilt
b a D a b 3 D a b 1 :
1. Fall: o.a/ D 2. Wir erhalten die Relationen:
a b a1 D b 1 ; a b D b 1 a ; b a D a b 1 :
Damit ist G Š D4 , vgl. Abschn. 3.1.5 (Algebrabuch).
2. Fall: o.a/ D 4. Die Elemente von G sind feG ; b; b 2 ; b 3 g [ fa; a b; a b 2 ; a b 3 g (siehe

oben), und mit der Vertauschungsregel b a D a b 1 (siehe auch oben) erhalten wir als
Quadrate der Elemente a b; a b 2 ; a b 3 :
.a b/2 D a b a b D a a b 1 b D a2 ;
.a b 2 /2 D a b 2 a b 2 D a a b 2 b 2 D a2 ;
.a b 3 /2 D a b 3 a b 3 D a a b 3 b 3 D a2 :
Da a2 ein Element der Ordnung 2 ist, muss a2 D b 2 gelten, b 2 ist das einzige Element der
Ordnung 2.
Wir schöpfen den Verdacht, dass G bis auf Isomorphie die Quaternionengruppe Q ist, vgl.
Beispiel 2.1 (Algebrabuch) und Aufgabe 4.9. Einen Isomorphismus erhalten wir durch die
Zuordnung
b$J; a$I:
Die restlichen Elemente von G gehören dann wie folgt zu den restlichen Elementen von
Q:
e $ E ; b 2 $ E ; b 3 $ J ; a b $ K ; a b 2 $ I ; a b 3 $ K :
7.6 Zu Normalisatoren vgl. Abschn. 4.2 (Algebrabuch): Für jede Untergruppe U einer
Gruppe G ist die Untergruppe NG .U / D fa 2 G j a U D U ag von G der Normalisator
von U in G, es gilt
U NG .U / G :
Es sei G nun eine p-Gruppe mit einer Untergruppe U . Zu zeigen ist:
U ¨ G ) U ¨ NG .U / ; d. h. 9 a 2 NG .U / n U :
Es sei U ¨ G vorausgesetzt.
Fall 1. G ist abelsch. Dann gilt NG .U / D G. Also gilt U ¨ NG .U /.
Fall 2. G ist nicht abelsch. Wir sammeln vorab Informationen:
feG g ¨ Z.G/ ¨ G (siehe Satz 7.7 (Algebrabuch)).

Z.G/ NG .U /.
U NG .U /.
Damit können wir einen Unterfall schnell abhandeln:

Fall 2a. G ist nicht abelsch und es gilt Z.G/ 6 U : Dann gibt es ein a 2 Z.G/nU . Es gilt
a U D U a, also a 2 NG .U /nU , also U ¨ NG .U /.
Fall 2b. G ist nicht abelsch und es gilt Z.G/ U : Wir können in diesem Fall die Un-
tergruppe U WD U=Z.G/ der Faktorgruppe G WD G=Z.G/ betrachten. Wir sammeln
Informationen und setzen zur Vereinfachung der Schreibweise Z WD Z.G/:
7.2 Lösungen 59
G ist eine p -Gruppe, jGj < jGj.

U ¨ G.
a Z D Z a für jedes a 2 G.
Angenommen, es gilt
U ¨ NG .U / : ()
Dann existiert ein a D a Z 2 GnU mit a U D U a. Dies besagt aber wegen a U D
a Z U Z D a U und U a D U Z a Z D U a und a Z 62 U=Z:
a 2 NG .U / und a 62 U ; d. h. a 2 NG .U / n U :
Die Behauptung folgt also aus (), und () können wir als Induktionsbehauptung voraus-
setzen.
(b) Es sei U eine maximale Untergruppe von G. Da U eine echte Untergruppe von G
ist, können wir Teil (a) anwenden, es gilt somit U ¨ NG .U /. Da nun aber NG .U / eine
Untergruppe von G ist mit U ¨ NG .U / G folgt aus der Maximalität von U , dass
NG .U / D G gelten muss. Das bedeutet gerade U E G (siehe auch Lemma 4.6 (Algebra-
buch)).
7.7 Wir zeigen zunächst, dass eine Gruppenoperation ist: Für alle a; b 2 G und .x; y/ 2
R2 gilt
.ab/ .x; y/ D ..ab/x; .ab/1 y/ D a .bx; b 1 y/ D a .b .x; y// ;
und für das neutrale Element 1 2 G gilt
1 .x; y/ D .1 x; 11 y/ D .x; y/ :
Also ist tatsächlich eine Operation. Für ein .x0 ; y0 / 2 R2 ist die zugehörige Bahn
G .x0 ; y0 / D ft .x0 ; y0 / j t 2 Gg D f.tx0 ; t 1 y0 / j t 2 R n f0gg :
Im Fall x0 y0 ¤ 0 ist das die Menge f.x; y/ 2 R2 j xy D x0 y0 g. Die Bahnen (siehe

Abb. 7.1) sind also
x0 y0
im Fall x0 y0 ¤ 0 der Graph der Hyperbel R n f0g ! R; x 7! x
, welcher durch
den Punkt .x0 ; y0 / geht,
im Fall x0 D 0, y0 ¤ 0 die y-Achse ohne den Punkt .0; 0/,
im Fall x0 ¤ 0, y0 D 0 die x-Achse ohne den Punkt .0; 0/.
im Fall x0 D y0 D 0, die Menge f.0; 0/g.
Man beachte, wie man so eine Partition von R2 in die Menge aller Bahnen erhält.
10
−2
−4
−6
−8
−10
−5 −4 −3 −2 −1 0 1 2 3 4 5
Abb. 7.1 Die Zerlegung des R2 in Bahnen der Operation
7.8 (a) Es seien K ein Körper mit q Elementen und A D .a1 ; : : : ; an / 2 K nn mit Spalten
ai 2 K n für i D 1; : : : ; n. Wir überlegen uns, welche Bedingungen wir an die Spalten
stellen müssen, damit A invertierbar ist. Genau dann ist die Matrix invertierbar, wenn für
i D 1; : : : ; n jeweils ai 2 K n n ha1 ; : : : ; ai 1 iK gilt. Daher gibt es bei schon gewählten
a1 ; : : : ; ai 1 für die i-te Spalte jeweils q n q i 1 Möglichkeiten, und damit insgesamt
Y
n1
1 Y
n
j GLn .K/j D .q n q i / D q 2 n.n1/ .q i 1/
i D0 i D1
Möglichkeiten. Nun betrachten wir den Gruppenhomomorphismus det W GLn .K/ ! .K n

f0g; /. Dieser ist surjektiv und hat als Kern SLn .K/. Mit dem Homomorphiesatz und dem
Satz von Lagrange folgt also
Qn1 Y n
j GLn .K/j qi /
i D0 .q
n
1
j SLn .K/j D D D q 2 n.n1/ .q i 1/:
jK n f0gj q1 i D2
Weiter ist PSL2 .K/ D SL2 .K/=Z mit Z D fa E2 j a2 D 1g. Also ist jZj D 2 für q
ungerade und jZj D 1 für q gerade. Es folgt
j PSL2 .q/j D q .q 2 1/=2 für q ungerade

7.2 Lösungen 61
und
j PSL2 .q/j D q .q 2 1/ für q gerade :
Von den q n 1 Elementen aus K n n f0g erzeugen je q 1 den gleichen eindimensionalen

Untervektorraum. Daher ist
qn 1
jP n1 j D :
q1
(b) Zunächst zur Wohldefiniertheit: Es seien A; A0 2 SL2 .K/ und v; v 0 2 K n n f0g mit
A Z D A0 Z und hvi D hv 0 i. Dann gibt es a 2 K mit a2 D 1 und A D A0 a sowie
2 K n f0g mit v 0 D v. Es folgt
A Z hvi D hA vi D hA0 a v 0 i D hA0 v 0 i D A0 Z hv 0 i :
Damit ist wohldefiniert. Weiter gilt für A; B 2 SL2 , v 2 K n n f0g offensichtlich
En Z hvi D hEn vi D hvi
sowie
.A Z B Z/ hvi D .A B Z/ hvi D hA B vi D A Z hB vi D A Z .B Z hvi/ :
Damit ist tatsächlich eine Operation.

(c) Wir schreiben A WD 10 11 und B WD 1
1
0
1 . Wir erhalten
A Z p1 D p1 ; A Z p2 D p3 ; A Z p3 D p4 ; A Z p4 D p2 ;
und damit nach Identifikation .A Z/ D .2 3 4/ 2 S4 . Analog erhalten wir
B Z p1 D p3 ; B Z p2 D p2 ; B Z p3 D p4 ; B Z p4 D p1 ;
und damit nach Identifikation .B Z/ D .1 3 4/ 2 S4 .

Wir wollen U WD Bild./ bestimmen, das schon mal die Elemente .2 3 4/ und .1 3 4/
enthält, also ist W WD h.2 3 4/; .1 3 4/i U . In W liegen auch die Elemente
.2 3 4/ .1 3 4/ D .1 4/ .3 2/ und .1 3 4/ .2 3 4/ D .2 4/ .1 3/ :
Bekanntlich ist h.1 4/ .3 2/; .2 4/ .1 3/i eine Untergruppe der Ordnung 4 (isomorph zur
Klein’schen Vierergruppe) von W ist, also gilt 4 j jW j nach Lagrange. Weiter ist h.2 3 4/i
eine Untergruppe der Ordnung 3 von W , also 3 j jW j, und damit 12 j jW j. Da also
12 jW j jU j D j.PSL2 .Z3 //j j PSL2 .Z3 /j D 12

nach (a) gilt, muss jW j D jU j D 12 sein, und wegen W U also W D U . Da W

von zwei Dreierzyklen (2 A4 ) erzeugt wird, ist außerdem W A4 , und wieder wegen
jW j D 12 D jA4 j also W D A4 .
Dies zeigt also U D Bild./ D W D A4 . Es folgt auch, dass injektiv ist, denn
j Bild./j D 12 D j PSL2 .Z3 /j, und damit liefert W PSL2 .Z3 / ! A4 einen Isomor-
phismus.
Die Sätze von Sylow 8
8.1 Aufgaben
8.1 Es sei P eine p -Sylowgruppe der endlichen Gruppe G. Man begründe, dass p
kein Teiler von ŒNG .P / W P ist.
8.2 Für n D 3; : : : ; 7 gebe man für jeden Primteiler p von n Š ein Element 2 Sn
mit o. / D p an.
8.3 Es sei G eine Gruppe der Ordnung 12, und n2 bzw. n3 bezeichne die Anzahl
der 2 - bzw. 3 -Sylowgruppen in G.
(a) Welche Zahlen sind für n2 und n3 möglich?

(b) Man zeige, dass nicht gleichzeitig n2 D 3 und n3 D 4 vorkommen kann.
(c) Man zeige, dass im Fall n2 D n3 D 1 die Gruppe G abelsch ist und es zwei verschie-
dene Möglichkeiten für G gibt.
8.4 Man zeige, dass jede Gruppe der Ordnung 40 oder 56 einen nichttrivialen Nor-
malteiler besitzt.
8.5 Es seien p; q verschiedene Primzahlen. Zeigen Sie, dass jede Gruppe der Ord-
nung p 2 q eine invariante Sylowgruppe besitzt.
8.6 (a) Bestimmen Sie alle Sylowgruppen von S3 .
(b) Geben Sie eine 2 -Sylowgruppe und eine 3 -Sylowgruppe von S4 an.
(c) Wie viele 2 -Sylowgruppen besitzt S5 ?

64 8 Die Sätze von Sylow
8.7 Es sei G eine nichtabelsche Gruppe der Ordnung 93. Bestimmen Sie für jede
Primzahl p mit p j jGj die Anzahl ihrer p -Sylowuntergruppen.
8.8 Es sei G eine Gruppe der Ordnung jGj 2 f75; 80; 96; 105; 132; 700g. Zeigen
Sie jeweils, dass G nicht einfach ist.
8.9 Bestimmen Sie bis auf Isomorphie alle Gruppen der Ordnung 99.
8.2 Lösungen
8.1 Wir sammeln Informationen aus der Aufgabenstellung:
G ist endlich, p j jGj, es gelte jGj D p r m mit p − m.

P ist eine p -Sylowgruppe, jP j D p r .
P NG .P / G.
Denken wir nun an den Satz von Lagrange, so ist die Lösung unseres Problems ganz
naheliegend. Der Satz von Lagrange besagt für die Untergruppe P der endlichen Gruppe
NG .P /:
jNG .P /j D ŒNG .P / W P jP j :
Wäre nun p ein Teiler von ŒNG .P / W P , so wäre wegen jP j D p r die Zahl p rC1 ein Teiler
von jNG .P /j. Da aber NG .P / eine Untergruppe von G ist, wäre das ein Widerspruch zum
Satz von Lagrange. Somit kann p kein Teiler von ŒNG .P / W P sein.
Wir geben eine alternative Lösung an: Wegen jP j D p r gilt ŒG W P D m, weiter erhalten
wir wegen P NG .P / mit Satz 3.13 (Algebrabuch):
m D ŒG W P D ŒG W NG .P / ŒNG .P / W P ;
sodass ŒNG .P / W P j m. Daher kann p kein Teiler von ŒNG .P / W P sein.
8.2 Ist p ein Primteiler von nŠ, so existiert nach dem Satz 8.2 (Algebrabuch) von Cauchy
in Sn ein Element mit o. / D p.
1. Fall: n D 3. Dann gilt nŠ D 2 3, und es ist 2 bzw. 3 mit

1 2 3 1 2 3
2 WD 1 3 2 bzw. 3 WD 2 3 1
ein Element der Ordnung 2 bzw. 3 in S3 .

8.2 Lösungen 65
2. Fall: n D 4. Dann gilt nŠ D 23 3, und es ist 2 bzw. 3 mit

1 2 3 4 1 2 3 4
2 WD 1 3 2 4 bzw. 3 WD 2 3 1 4
ein Element der Ordnung 2 bzw. 3 in S4 .

3. Fall: n D 5. Dann gilt nŠ D 23 3 5, und es ist 2 bzw. 3 bzw. 5 mit

1 2 3 4 5 1 2 3 4 5
2 WD 1 3 2 4 5 bzw. 3 WD 2 3 1 4 5

1 2 3 4 5
bzw. 5 WD 2 3 4 5 1
ein Element der Ordnung 2 bzw. 3 bzw. 5 in S5 .

4. Fall: n D 6. Dann gilt nŠ D 24 32 5, und es ist 2 bzw. 3 bzw. 5 mit

1 2 3 4 5 6 1 2 3 4 5 6
2 WD 1 3 2 4 5 6 bzw. 3 WD 2 3 1 4 5 6

1 2 3 4 5 6
bzw. 5 WD 2 3 4 5 1 6
ein Element der Ordnung 2 bzw. 3 bzw. 5 in S6 .

5. Fall: n D 7. Dann gilt nŠ D 24 32 5 7, und es ist 2 bzw. 3 bzw. 5 bzw. 7 mit

1 2 3 4 5 6 7 1 2 3 4 5 6 7
2 WD 1 3 2 4 5 6 7 bzw. 3 WD 2 3 1 4 5 6 7

1 2 3 4 5 6 7 1 2 3 4 5 6 7
bzw. 5 WD 2 3 4 5 1 6 7 bzw. 7 WD 2 3 4 5 6 7 1
ein Element der Ordnung 2 bzw. 3 bzw. 5 bzw. 7 in S7 .
8.3 (a) Wegen 12 D 22 3 folgt mit den Sätzen von Sylow:
n2 D 1 C k 2 ; k 2 N0 ; und n2 j 3 ) n2 2 f1; 3g
und
n3 D 1 C k 3 ; k 2 N0 ; und n3 j 4 ) n3 2 f1; 4g :
(b) Im Fall n3 D 4 besitzt G vier zyklische Untergruppen der Ordnung 3. Diese vier
Untergruppen besitzen nur das neutrale Element eG gemeinsam. Damit erhalten wir 1 C
4 2 D 9 Elemente. Die verbleibenden drei Elemente können damit nur noch in einer
2 -Sylowgruppe liegen, der Fall n2 D 3 ist damit ausgeschlossen.
(c) Im Fall n2 D 1 und n3 D 1 sind die 2 - und 3 -Sylowgruppen Normalteiler von G und
es gilt G D U ˝ V für die einzige 2 -Sylowgruppe U und einzige 3 -Sylowgruppe V von
G (vgl. Satz 8.6 (Algebrabuch) und auch Aufgabe 6.5).
Da U und V abelsch sind (es gilt nämlich jU j D 4 und jV j D 3), ist auch G als inneres
direktes Produkt von U und V abelsch. V ist als zyklische Gruppe bis auf Isomorphie
eindeutig bestimmt, es gilt V Š Z3 ; für U gibt es bis auf Isomorphie zwei Möglichkeiten:
U Š Z4 oder U Š Z2 Z2 . Für G gibt es also die einzigen beiden Möglichkeiten:
G Š Z2 Z2 Z3 oder G Š Z4 Z3 :
8.4 Wegen 40 D 23 5 folgt mit den Sätzen von Sylow:
n2 D 1 C k 2 ; k 2 N0 ; und n2 j 5 ) n2 2 f1; 5g
und
n5 D 1 C k 5 ; k 2 N0 ; und n5 j 8 ) n5 2 f1g :
Wegen n5 D 1 ist die 5 -Sylowgruppe ein nichttrivialer Normalteiler (siehe Satz 8.6 (Al-
gebrabuch)).
Wegen 56 D 23 7 folgt mit den Sätzen von Sylow:
n2 D 1 C k 2 ; k 2 N0 ; und n2 j 7 ) n2 2 f1; 7g
und
n7 D 1 C k 7 ; k 2 N0 ; und n7 j 8 ) n7 2 f1; 8g :
Da verschiedene 7 -Sylowgruppen nur das neutrale Element gemeinsam haben, gibt es im
Fall n7 D 8 bereits 1 C 8 6 D 49 Elemente in den 7 -Sylowgruppen. Es folgt in diesem
Fall also n2 D 1. Damit ist aber die 2 -Sylowgruppe ein nichttrivialer Normalteiler. Im
Fall n7 D 1 ist die 7 -Sylowgruppe ein nichttrivialer Normalteiler.
8.5 Wir benutzen die Sylow’schen Sätze und erhalten für die Anzahl np der p - und nq
der q -Sylowgruppen der Gruppe G mit jGj D p 2 q:
np 2 f1; 1 C p; 1 C 2 p; : : :g ; np j q und nq 2 f1; 1 C q; 1 C 2 q; : : :g ; nq j p 2 :
Da q eine Primzahl ist, gilt

np D 1 oder np D q :
Im Fall np D 1 ist die eindeutig bestimmte p -Sylowgruppe P nach Satz 8.6 (Algebra-
buch) ein Normalteiler. Daher gelte np D q. Da nun außerdem q D np D 1 C k p mit
k 1 gilt, erhalten wir q > p.
Aus nq j p 2 folgt nq D 1 oder nq D p oder nq D p 2 . Da nun auch nq D 1 C kQ q für ein
kQ 2 N0 gilt, kann nq D p nicht gelten, da q > p. Es folgt
nq D 1 oder nq D p 2 :
8.2 Lösungen 67
Im Fall nq D 1 sind wir fertig, da ein nichttrivialer Normalteiler gefunden ist. Daher
nehmen wir nq D p 2 an. Es gibt nun p 2 Sylowgruppen von Primzahlordnung q in G. Da
je zwei solche Sylowgruppen nur das neutrale Element gemeinsam haben, erhalten wir
somit p 2 .q 1/ D jGj p 2 Elemente der Ordnung q in G. Daher folgt np D 1. Das ist
ein Widerspruch zu np D q. Somit kann nq D p 2 nicht gelten. Die q -Sylowgruppe ist
somit ein nichttrivialer Normalteiler.
8.6 (a) Die Untergruppen von S3 sind aus Beispiel 3.7 (Algebrabuch) bekannt.
Die p -Sylowgruppen von S3 sind:
D E D E D E
1 2 3 1 2 3 1 2 3
für p D 2 W 2 1 3 ; 3 2 1 ; 1 3 2 ,
D E
1 2 3
für p D 3 W 2 3 1 .
(b) Es gilt jS4 j D 4 Š D 23 3. Die Diedergruppe D (vgl. Aufgabe 3.11) ist eine Unter-
gruppe der Ordnung 8 von S4 , also ist D eine 2 -Sylowgruppe von S4 .
Weiterhin ist D E
1 2 3 4
U WD 2 3 1 4 S4
eine Untergruppe der Ordnung 3 von S4 , da das erzeugende Element die Ordnung 3 hat.
Somit ist U eine 3 -Sylowgruppe von S4 .
(c) Es ist jS5 j D 5Š D 23 3 5. Für die Anzahl n2 der 2 -Sylowgruppen von S5 gilt somit
nach den Sylow’schen Sätzen:
n2 1 .mod 2/ und n2 j 3 5 D 15 ; also n2 2 f1; 3; 5; 15g :
Die Elemente der 2 -Sylowgruppen sind gerade die Elemente von 2 -Potenzordnung, und
jede 2 -Sylowgruppe enthält 23 D 8 Elemente. Da es in der S5 viele Elemente von 2 -
Potenzordnung gibt (siehe unten), ist dies ein Hinweis darauf, dass n2 groß ist, also ver-
mutlich n2 D 15 gilt. Wir geben einen Überblick über die Elemente von 2 -Potenzordnung
in der S5 :
Es gibt 54 2
D 10 Transpositionen (Vertauschungen a $ b zweier verschiedener Ele-
mente a; b 2 f1; 2; 3; 4g, die anderen Elemente bleiben fest – solche Transpositionen
haben offenbar die Ordnung 2),
12 54
2
32
2
D 15 Doppeltranspositionen (Vertauschungen a $ b; c $ d verschiedener
Elemente a; b; c; d 2 f1; 2; 3; 4g – solche Doppeltranspositionen haben offenbar die
Ordnung 2),
5432
4
D 30 4-Zykel (Permutationen der Form a ! b ! c ! d ! a für verschiede-
ne a; b; c; d aus f1; 2; 3; 4g – solche haben offenbar die Ordnung 4).
Damit sind 55 C 1 D 56 Elemente in der S5 von 2 -Potenzordnung. Es ist somit ausge-

schlossen, dass n2 5 gilt. In diesem Fall besäße S5 nämlich höchstens 5 7 C 1 D 36
Elemente von 2 -Potenzordnung. Also ist n2 D 15.
8.7 Es gilt jGj D 3 31. Die beiden Sätze von Sylow liefern für die Anzahl n3 der 3-
Sylowgruppen bzw. n31 der 31-Sylowgruppen:
n3 2 f1; 4; 7 : : :g und n3 j 31, also n3 D 1 oder n3 D 31.

n31 2 f1; 32; 63 : : :g und n31 j 3, also n31 D 1.
Wir legen n3 fest: Wäre n3 D 1, so wäre nach Satz 8.6 (Algebrabuch) die Gruppe G das
direkte Produkt der eindeutig bestimmten und aufgrund ihrer Primzahlordnung zyklischen
Normalteiler der Ordnung 3 und 31. Damit wäre aber G abelsch, im Widerspruch zur
Voraussetzung. Also ist n3 D 31.
8.8 jGj D 75 D 3 52 : Mit den beiden Sylow’schen Sätzen erhalten wir:
n5 2 f1; 6; 11; : : :g und n5 j 3 ; also n5 D 1 :
Damit ist die 5-Sylowgruppe ein nichttrivialer Normalteiler und G somit nicht einfach.
jGj D 80 D 24 5: Mit den beiden Sylow’schen Sätzen erhalten wir:
n5 2 f1; 6; 11; : : :g und n5 j 16 ; also n5 D 1 oder n5 D 16 :
Im Fall n5 D 1 ist die 5-Sylowgruppe ein nichttrivialer Normalteiler und G somit nicht
einfach. Daher gelte n5 D 16. Je zwei verschiedene 5-Sylowgruppen sind vom neutralen
Element abgesehen disjunkt. Daher erhalten wir 4 16 D 64 Elemente der Ordnung 5. Es
verbleiben 80 64 D 16 Elemente für die damit einzige 2-Sylowgruppe, die damit ein
nichttrivialer Normalteiler von G ist. Damit ist auch in diesem Fall G nicht einfach.
jGj D 96 D 25 3: Mit den beiden Sylow’schen Sätzen erhalten wir:
Im Fall n2 D 1 ist die 2-Sylowgruppe ein nichttrivialer Normalteiler und G somit nicht
einfach. Daher gelte n2 D 3. Wir betrachten die folgende Operation von G auf der Menge
Syl2 der 2-Sylowgruppen von G:
W G Syl2 ! Syl2 ; .a; P / 7! a P a1 :
Diese Operation liefert nach Lemma 7.1 (Algebrabuch) einen Homomorphismus W G !

SSyl2 . Für den Kern dieses Homomorphismus gilt:
8.2 Lösungen 69
Kern 6D G, denn sonst wäre a P a1 D P für jedes a 2 G, im Widerspruch zu

n2 6D 1.
Kern 6D feg, denn sonst wäre injektiv und somit G zu einer Untergruppe von SSyl2
isomorph, im Widerspruch zu jGj D 96 − 3Š.
Damit ist der Kern von ein nichttrivialer Normalteiler von G und G daher nicht einfach.
jGj D 105 D 3 5 7: Mit den beiden Sylow’schen Sätzen erhalten wir:
n3 2 f1; 4; 7; : : :g und n3 j 35 ; also n3 D 1 oder n3 D 7 ;

n5 2 f1; 6; 11; : : :g und n5 j 21 ; also n5 D 1 oder n5 D 21 ;
Im Fall n3 D 1 oder n5 D 1 oder n7 D 1 ist jeweils ein nichttrivialer Normalteiler

gefunden und G somit nicht einfach. Daher gelte n3 D 7 und n5 D 21 und n7 D 15. Da
die p -Sylowgruppen Primzahlordnung haben sind je zwei verschiedene Sylowgruppen
vom neutralen Element abgesehen disjunkt. Daher enthält G in diesem Fall mindestens
2 7 C 4 21 C 6 16 D 188 .> 105/
Elemente der Ordnung 3 oder 5 oder 7. Das ist ein Widerspruch. Folglich ist G nicht
einfach.
n2 2 f1; 3; 5; : : :g und n2 j 33; also n2 D 1 oder n2 D 3 oder n2 D 11 oder n2 D 33;

n3 2 f1; 4; 7; : : :g und n3 j 44; also n3 D 1 oder n3 D 4 oder n3 D 22;
n11 2 f1; 12; 23; : : :g und n11 j 12; also n11 D 1 oder n11 D 12:
Im Fall n11 D 12 und n3 D 4 hat G mindestens (beachte, dass die p -Sylowgruppen

Primzahlordnung haben und daher je zwei verschiedene Sylowgruppen vom neutralen
Element abgesehen disjunkt sind)
10 12 C 2 4 D 128
Elemente der Ordnung 11 oder 3. Die verbleibenden vier Elemente müssen dann die ein-
zige 2-Sylowgruppe bilden, die damit Normalteiler ist. Folglich ist G nicht einfach.
n5 2 f1; 6; 11; : : :g und n5 j 28 also n5 D 1 :
Damit ist die 5-Sylowgruppe ein nichttrivialer Normalteiler und G somit nicht einfach.
8.9 Es ist jGj D 99 D 32 11. Es gilt
n11 1 .mod 11/ und n11 j 9 ; also n11 D 1 :
Weiter ist
n3 1 .mod 3/ und n3 j 11 ; also n3 D 1 :
Somit ist G nach Satz 8.6 (Algebrabuch) isomorph zum direkten Produkt ihrer Sylow-
gruppen, die hier von Primzahlordnung bzw. Ordnung vom Quadrat einer Primzahl, in
jedem Fall also abelsch sind. Also ist G eine abelsche Gruppe der Ordnung 99, und daher
vom Isomorphietyp Z99 oder Z3 Z33 .
Symmetrische und alternierende Gruppen 9
9.1 Aufgaben
9.1 Ist D 1 k die kanonische Zyklenzerlegung von 2 Sn mit `.1 /

`.k /, so nennt man das k-Tupel .`.1 /; : : : ; `.k // den Typ von .
(a) Zeigen Sie, dass o. / D kgV.`.1 /; : : : ; `.k //.

(b) Zeigen Sie, dass zwei Permutationen aus Sn genau dann (in Sn ) konjugiert sind, wenn
sie vom selben Typ sind.
(c) Bleibt (b) richtig, wenn Sn durch An ersetzt wird?
9.2 Ermitteln Sie die kanonischen Zyklenzerlegungen von

WD 12 24 31 43 59 67 75 88 96 ;
WD .1 2 3/.3 7 8/.4 6 7 9 8/;
; 1 ;
1 :
9.3 Zeigen Sie, dass An im Fall n 5 der einzige nichttriviale Normalteiler von Sn
ist.
9.4 Wie viele `-Zyklen (` D 1; : : : ; n) gibt es in Sn ?
9.5 Zeigen Sie:
(a) Sn wird von den speziellen Transpositionen .i ; i C 1/, i D 1; : : : ; n 1 erzeugt.

(b) Sn wird von .1 2/ und .1 2 : : : n/ erzeugt.

72 9 Symmetrische und alternierende Gruppen
9.6 Man berechne die Konjugierten 1 für
(a) D .1 2/, D .2 3/ .1 4/. (c) D .1 3/ .2 4 1/, D .1 2 3 4 5/.

(b) D .2 3/ .3 4/, D .1 2 3/. (d) D .1 2 3/, D .1 2 3 4 5/.
9.7 Man zeige, dass jede endliche Gruppe isomorph ist zu einer Untergruppe einer
einfachen Gruppe.
9.8 Zeigen Sie:
(a) Jede Untergruppe von Sn (n > 2), die eine ungerade Permutation enthält, besitzt
einen Normalteiler vom Index 2.
(b) Es sei G eine endliche Gruppe der Ordnung 2 m mit ungeradem m. Die Gruppe G
enthält einen Normalteiler der Ordnung m.
9.9 Bestimmen Sie alle Automorphismen der symmetrischen Gruppe S3 .
9.10
(a) Es sei U eine echte Untergruppe der einfachen Gruppe G; und L bezeichne die Menge
aller Linksnebenklassen von U in G. Zeigen Sie, dass G zu einer Untergruppe von
SL isomorph ist.
(b) Warum gibt es im Fall n 5 keine echte Untergruppe mit einem Index < n von An ?
9.11
(a) Begründen Sie, dass eine einfache, nichtabelsche Gruppe mit höchstens 100 Elemen-
ten eine der Ordnungen 40, 56, 60, 63, 72 oder 84 haben muss.
(b) Man zeige, dass Gruppen der Ordnungen 40, 56, 63, 72 oder 84 nicht einfach sind.
(c) Zeigen Sie: Jede einfache Gruppe der Ordnung 60 ist zu A5 isomorph.
9.12 Gibt es in der S5 bzw. A5 Elemente der Ordnung 6?

1 2 3 4 5 6 7 8 9 10 11
9.13 Was ist die Ordnung von D 3 9 8 4 5 7 11 1 2 6 10 2
S11 ?
9.14 Geben Sie eine Untergruppe U der symmetrischen Gruppe S7 mit jU j D 21

an.
9.2 Lösungen 73
9.15 Bestimmen Sie für alle n 10 die maximale Ordnung eines Elements 2 Sn .
9.16 Berechnen Sie für D .2 3 5/ .4 7 8 9 X/ 2 S10 (hierbei steht X für die Ziffer
10) das Element 1999 .
9.2 Lösungen
9.1 Wir sammeln erst mal Informationen (beachte Lemma 9.1 (Algebrabuch)):
Die Ordnung von 2 Sn ist die kleinste natürliche Zahl r mit r D Id, und es gilt
s D Id genau dann wenn r j s (siehe Satz 3.5 (Algebrabuch)).
Die Permutationen 1 ; : : : ; k der kanonischen Zyklenzerlegung D 1 k sind
disjunkt, daher gilt i j D j i und somit .i j /v D iv jv .
Die Ordnung eines Zyklus ist die Länge des Zyklus: `.i / D ri ) o.i / D ri .
Es seien .r1 ; : : : ; rk / der Typ und D 1 k die kanonische Zyklenzerlegung von

mit `.i / D ri , i D 1; : : : ; k.
(a) Wir zeigen, dass v WD kgV.r1 ; : : : ; rk / die kleinste natürliche Zahl mit v D Id ist.
Zum einen gilt (beachte obige zweite Bemerkung): v D 1v kv . Da v für jedes i ein
Vielfaches von o.i / D ri ist, gilt iv D Id und somit v D Id. Folglich ist v ein Element
mit v D Id.
Gilt nun andererseits s D Id für ein s 2 N, so folgt wie oben zuerst
1s ks D Id und damit is D Id für alle i
da is jTi D s jTi . Beachte nun obige erste Bemerkung: Es gilt: ri j s für i D 1; : : : ; k.
Folglich gilt auch v D kgV.r1 ; : : : ; rk / j s. Somit ist v s.
Da v die kleinste natürliche Zahl mit v D Id gilt, erhalten wir o. / D kgV.r1 ; : : : ; rk /.
(b) ): Wir betrachten zwei zueinander konjugierte Permutationen und

1 aus Sn ,
wobei D 1 k die kanonische Zyklenzerlegung von sei. Es gilt

1 D
.1 k /
1 D
1
1
k
1 :
Nun beachten wir, dass wegen

.a1 : : : as /
1 D .
.a1 / : : :
.as // (beachte die Aussage
(d) in Lemma 9.1 (Algebrabuch)) der Zyklus
i
1 dieselbe Länge hat wie der Zyklus
i für alle i. Somit sind und

1 vom selben Typ.
(: Es seien ;
2 Sn vom selben Typ .r1 ; : : : ; rk /. Weiter seien D 1 k ,
D
1
k die kanonischen Zyklenzerlegungen von ;
mit `.i / D ri D `.
i /, und i D
.i / .i / .i / .i / .i /
.a1 : : : ari /,
i D .b1 : : : bri / für i D 1; : : : ; k. Dann existiert 2 Sn mit .aj / D
.i /
bj für alle i; j . Mit dem Teil (d) von Lemma 9.1 (Algebrabuch) folgt:
Y Y Y .i / Y
1 D i 1 D .a1 : : : ar.ii / / 1 D
.i /
.b1 : : : br.ii / / D
i D
:
i i i i
(c) Kann man zu zwei Permutationen und Q aus An stets ein

aus An angeben mit

1 D Q ? Nach dem Teil (b) finden wir auf jeden Fall ein
in der Sn , das diese
Eigenschaft erfüllt (beachte den Teil ( in der Begründung zu (b)). Man vermutet schnell,
dass man nicht stets
2 An erwarten kann. Ein Beispiel ist D .1 2 3/ 2 A3 und
Q D .1 3 2/ 2 A3 . Dass es kein
2 A3 gibt mit

1 D Q sieht man wie folgt: Die
Gruppe A3 ist abelsch, es gilt somit

1 D 6D Q für alle
2 A3 .
9.2 Zu : Wegen 1 7! 2 7! 4 7! 3 7! 1 und 5 7! 9 7! 6 7! 7 7! 5 und 8 7! 8 gilt
D .1 2 4 3/ .5 9 6 7/ :
Zu
: Die Permutation
ist zwar als Produkt von Zyklen gegeben, diese sind aber nicht
disjunkt, daher liegt keine kanonische Zyklendarstellung vor. Wegen 1 7! 2 7! 3 7! 7 7!
9 7! 1 und 4 7! 6 7! 8 7! 4 und 5 7! 5 gilt

D .1 2 3 7 9/ .4 6 8/ :
Zu
: Wir erhalten analog

D .1 4 7 6 8 3 5 9 2/ :
Zu 1 und
1 : Die Bestimmung der Inversen erfolgt mit dem Teil (a) von Lemma 9.1
(Algebrabuch):
1 D .7 6 9 5/ .3 4 2 1/ und
1 D .8 6 4/ .9 7 3 2 1/ :
9.3 Dass An für n 2 ein nichttrivialer Normalteiler von Sn ist, sollte jedem vertraut
sein, ebenso wie eine Begründung dieser fundamentalen Aussage (An ist eine Untergrup-
pe von Sn vom Index 2 und daher Normalteiler bzw. An ist als Kern des Homomorphismus
7! sgn. / ein Normalteiler). Nicht weniger berühmt, aber deutlich schwieriger zu be-
gründen, ist die Tatsache, dass An für n 5 einfach ist und somit keine nichttrivialen
Normalteiler hat (siehe Satz 9.10 (Algebrabuch)).
Wir zeigen, dass im Fall n 5 neben An keine weiteren nichttrivialen Normalteiler in
der Sn existieren. Angenommen, N ist ein nichttrivialer Normalteiler von Sn . Wir zeigen,
9.2 Lösungen 75
dass nur N D An gelten kann. Dazu schneiden wir diesen Normalteiler N mit der An und
erhalten einen Normalteiler in der An , der wegen der Einfachheit der An nur An selbst
oder feg sein kann, präziser: Wegen des ersten Isomorphiesatzes 4.12 (Algebrabuch) gilt
An \ N E An , d. h. nach Satz 9.10 (Algebrabuch):
.i/ An \ N D An oder .ii/ An \ N D feg :
Im Fall .i/ gilt An N Sn und somit N D An , da N 6D Sn vorausgesetzt ist und An

den Index 2 in Sn hat. Dieser Fall ist damit abgehandelt.
Im Fall .ii/ beachten wir, dass An N D Sn wegen An An N Sn gilt (beachte, dass
N nichttrivial ist). Wir wenden nun den ersten Isomorphiesatz 4.12 (Algebrabuch) an und
erhalten:
Sn =N D An N=N Š An =An \ N D An =feg Š An ;
also jN j D 2, da aus Sn =N Š An folgt jAn j D jSn =N j D jSn j=jN j. Es gelte N D
fId;
g. Wir müssen begründen, dass dieser Fall nicht möglich ist und suchen daher nach
einem Widerspruch.
Da N ein Normalteiler ist, gilt
1
D
für jedes 2 Sn : ()
Aber nun lässt sich leicht ein Element a angeben, sodass

.a/ 6D 1
.a/ für ein
2 Sn : Wähle dazu ein a mit b WD
.a/ 6D a und 2 Sn mit .a/ D a, .b/ 6D b. Dann
gilt
./
b D
.a/ D 1
.a/ D 1
.a/ D 1 .b/ :
Dieser Widerspruch belegt, dass der Fall (ii) nicht eintreten kann. Es gilt N D An , womit
gezeigt ist, dass An der einzige nichttriviale Normalteiler von Sn ist.
9.4 Ein `-Zyklus 2 Sn hat die Form D .a1 a` / mit ` n und verschiedenen
a1 ; : : : ; a` 2 f1; : : : ; ng. Bekanntlich gilt:

Es gibt genau n` verschiedene `-elementige Teilmengen von f1; : : : ; ng, je zwei ver-
schiedene Teilmengen liefern verschiedene `-Zyklen.
Damit ist es aber noch nicht getan, denn z. B. sind die 3-Zyklen .1 2 3/ und .1 3 2/ ver-
schieden, obwohl ihre Träger, nämlich f1; 2; 3g gleich sind. Aber wegen
.a1 : : : a` / D .a2 : : : a` a1 / D D .a` a1 : : : a`1 /
können wir uns bei jedem gegebenen Träger T D fa1 ; : : : ; a` g auf einen Startpunkt a 2 T
festlegen. Es gilt dann:
Es gibt genau ` 1 Möglichkeiten für .a/, dann ` 2 Möglichkeiten für . .a//

usw. Folglich existieren .` 1/ Š Zyklen der Länge ` mit dem Träger T .
n
Insgesamt erhalten wir damit `
.` 1/ Š Zyklen der Länge ` in Sn .
9.5 (a) Laut Korollar 9.5 (Algebrabuch) wird Sn von den Transpositionen erzeugt. Um
nun zu zeigen, dass Sn von diesen speziellen Transpositionen erzeugt wird, reicht es aus
zu zeigen, dass jede Transposition ein Konjugiertes einer solchen speziellen Transposition
ist. Dabei können wir n 3 voraussetzen. Wir machen die folgende Beobachtung: Für
s; i 2 In WD f1; : : : ; ng mit 3 s n und 2 i < s gilt
.i 1 ; i/ .i s/ .i 1 ; i/1 D .i 1 ; s/ :
Durch wiederholte Anwendung dieser Identität erhalten wir aus .s 1 ; s/ jedes Element
.j; s/ für alle j mit 1 j < s und somit schließlich alle Transpositionen. Die Behaup-
tung folgt daher mit Korollar 9.5 (Algebrabuch).
(b) Nach dem Teil (a) reicht es aus zu zeigen, dass jede spezielle Transposition .i; i C 1/
erzeugt werden kann. Da schon mal die spezielle Transposition .1 2/ gegeben ist, hilft uns
die folgende Beobachtung weiter: Mit WD .1 2 : : : n/ gilt
.i; i C 1/ 1 D .i C 1; i C 2/ für 1 i n 2 :
Und damit erhalten wir jede Transposition der Form .j; j C 1/ mit 1 j < n. Die
Behauptung folgt daher mit (a).
9.6 Die Konjugierten erhält man mit der Rechenregel (d) aus Lemma 9.1 (Algebrabuch),
.a1 : : : a` / 1 D ..a1 / .a` // für 2 Sn ;
und der Homomorphie .

/ 1 D . 1 / .
1 /:
(a) 1 D .1 3/ .2 4/. (c) 1 D .1 3 5 3 4/.

(b) 1 D .1 3 4/. (d) 1 D .1 4 5 2 3/.
Beachte, dass der Typ von bei Konjugation erhalten bleibt.
9.7 Nach dem Satz 2.15 (Algebrabuch) von Cayley bzw. dem Korollar 2.16 (Algebra-
buch) ist jede endliche Gruppe G mit jGj D n isomorph zu einer Untergruppe von Sn .
Wir bezeichnen mit den Monomorphismus von G in Sn . Weil wir wissen, dass die alter-
nierenden Gruppen einfach sind, verlängern wir nun diesen Monomorphismus in eine
9.2 Lösungen 77
alternierende Gruppe. Gesucht ist ein Monomorphismus ' von Sn in eine einfache Grup-
pe Am , m > n, es ist dann '..G// Am isomorph zu G und eine Untergruppe der
einfachen Gruppe Am . Die Idee beruht auf der Beobachtung:
Ist
D .a1 : : : a` / ein `-Zyklus aus Sn , so ist
0 WD .a1 C n : : : a` C n/ aus S2n , und es
gilt dann

0 2 A2n , da sgn.
/ D sgn.
0 /. Wir wählen also m D 2 n. Nun können wir
eine Abbildung von Sn in die einfache Gruppe A2n angeben:
Für 2 Sn sei D 1 k die kanonische Zyklenzerlegung. Betrachte nun die Abbil-
dung
Sn ! A2n
'W :
7! 1 10 k k0
Die Abbildung ' ist ein Homomorphismus, und da i ; j0 jeweils elementfremd sind, auch
injektiv, also ein Monomorphismus.
9.8 (a) Bekanntlich ist An ein Normalteiler vom Index 2 in Sn . Mit dem ersten Isomor-
phiesatz gelingt es, diese Tatsache für die zu betrachtende Untergruppe U zu nutzen: Wir
setzen N WD U \ An und ermitteln den Index ŒU W N .
Der 1. Isomorphiesatz 4.12 (Algebrabuch) besagt U An Sn , N E U und U An =An Š
U=N . Damit gilt ŒU W N D ŒU An W An .
Nun kommt die ungerade Permutation ins Spiel, die nach Voraussetzung in U liegt:
2 U nAn . Insbesondere gilt also An ¨ U An Sn , was wegen ŒSn W An D 2 offenbar
U An D Sn zur Folge hat. Es folgt ŒU W N D ŒU An W An D ŒSn W An D 2.
(b) Nach dem Satz von Cayley bzw. Korollar 2.16 (Algebrabuch) gibt es einen Mono-
morphismus W G ! S2m . Insbesondere ist U WD .G/ S2m eine zu G isomorphe
Untergruppe von S2m . Wegen jGj D 2 m existiert nach dem Satz von Cauchy ein 2 S2m
mit o. / D 2. Es ist ein Produkt von elementfremden Transpositionen, und zwar von
genau m Stück, da nämlich keinen Fixpunkt hat. Also ist sgn. / D .1/m D 1 und
somit 2 U nA2m . Nach Teil (a) existiert also ein N E U mit ŒU W N D 2. Wegen
G Š U , besitzt also auch G einen Normalteiler vom Index 2. Das war zu zeigen.
9.9 Die Lösung dieser Aufgabe benutzt Schlüsse, die wir aus den Aufgaben zu den
Sylowsätzen gut kennen: Die S3 wird von den Transpositionen erzeugt (beachte Korol-
lar 9.5 (Algebrabuch)). Die Menge der Transpositionen bezeichnen wir mit Z, Z D
f.1 2/; .1 3/; .2 3/g. Die zu bestimmende Gruppe Aut.S3 / operiert auf Z via
W Aut.S3 / Z ! Z ; .'; .a b// 7! .'.a/ '.b// :
Nach Lemma 7.1 (Algebrabuch) liefert diese Operation einen Monomorphismus W

Aut.S3 / ! SZ (beachte, dass für ' 6D Id stets eine Transposition t existiert mit ' t 6D t,
sodass die Operation treu ist). Damit ist Aut.S3 / eine Untergruppe von SZ . Wegen
jSZ j D 3 Š D 6 gilt somit j Aut.S3 /j j 6.
Insbesondere gibt es höchstens 6 verschiedene Automorphismen von S3 .
Andererseits können wir 6 verschiedene Automorphismen von S3 angeben, nämlich die
inneren Automorphismen: Da bekanntlich das Zentrum der S3 trivial ist, Z.S3 / D fIdg,
gilt nach Lemma 4.11 (Algebrabuch) Inn.G/ Š G=Z.G/ D G=fIdg Š G. Es folgt
j Inn.G/j D jGj D 6, also Aut.G/ D Inn.G/, d. h. die Automorphismen von S3 sind
genau die inneren Automorphismen von S3 , und es gilt: Aut.S3 / Š S3 .
9.10 (a) Die Abbildung

8
< G ! SL

'W L ! L
: a 7! 'a W
x U 7! a x U
ist ein Homomorphismus. Für den Kern von ' gilt: Kern ' D G oder feG g, weil G einfach
ist. Im ersten Fall folgte U D a U D 'a .U /, d. h. a 2 U für jedes a 2 G, im Widerspruch
zu G 6D U . Daher ist ' injektiv und somit ein Monomorphismus. Die Gruppe '.G/ SL
ist zu G isomorph.
(b) Die Gruppe An ist einfach, daher können wir den Teil (a) mit G D An anwenden: Ist
U eine Untergruppe von An mit Index d > 1, so folgt mit dem Teil (a), dass G isomorph
zu einer Untergruppe von SL ist, die wiederum zu Sd isomorph ist. Wegen jAn j D 12 nŠ
und jSd j D d Š erhalten wir somit
1
2 n Š D jAn j d Š ; also n d :
Also hat jede echte Untergruppe von An einen Index n.
9.11 (a) Es sei G eine einfache nicht-abelsche Gruppe mit jGj 100. Wegen der Aussa-
gen in Satz 7.7 (Algebrabuch), Lemma 8.7 (Algebrabuch) und Aufgabe 9.8 gilt
jGj ist keine Primzahlpotenz.

jGj ist nicht Produkt zweier Primzahlen.
jGj 6 2 .mod 4/.
Es folgt
jGj 2 f12; 20; 24; 28; 36; 40; 44; 45; 48; 52; 56; 60; 63; 68; 72;
75; 76; 80; 84; 85; 92; 96; 99; 100g :
9.2 Lösungen 79
In der folgenden Tabelle sind H eine Gruppe mit einer dieser Ordnungen und d der größte
Primzahlpotenzteiler von jH j:
jH j 12 20 24 28 36 40 44 45 48 52 56 60 63 68 72
d 4 5 8 7 9 8 11 9 16 13 8 5 9 17 9
jH j
d
Š 6 24 6 24 24 120 24 120 6 24 7Š 12 Š 7Š 24 8Š
jH j 75 76 80 84 85 92 96 99 100
d 25 19 16 7 17 23 32 11 25
jH j
d
Š 6 24 120 12 Š 120 24 6 9Š 24
H besitzt nach dem Satz 8.1 (Algebrabuch) von Frobenius eine Untergruppe der Ordnung
d , also vom Index jHd j . Wenn H einfach ist, folgt mit Aufgabe 9.10:

jH j
jH j j Š:
d
Es folgt
G 2 f40; 56; 60; 63; 72; 84g :
(b) Für Gruppen der Ordnung 40 und 56 haben wir dies bereits ausführlich in Aufgabe 8.4
erledigt. Für die restlichen Zahlen erhalten wir mit der Bezeichnung np für die Anzahl
der p -Sylowgruppen von G (beachte insbesondere die Sylow’schen Sätze und Satz 8.6
(Algebrabuch)):
Zu jGj D 63: Es gilt 63 D 32 7. Wegen n7 j 9, n7 1 .mod 7/ gilt n7 D 1, damit

existiert ein nichttrivialer Normalteiler.
Zu jGj D 72: Es gilt 72 D 23 32 . Wegen n3 j 8, n3 1 .mod 3/ gilt n3 D 1 oder

n3 D 4. Wie in Aufgabe 8.8 zu jGj D 96 folgt wegen jGj − 4 Š, dass ein nichttrivialer
Normalteiler existiert.
Zu jGj D 84: Es gilt 84 D 22 3 7. Wegen n7 j 12, n7 1 .mod 7/ gilt n7 D 1, damit

existiert ein nichttrivialer Normalteiler.
(c) Es sei G einfach und von der Ordnung 60. Es gilt n5 j 12, n5 1 .mod 5/, also
n5 D 6, das liefert:
(1) G hat 24 Elemente der Ordnung 5.
Es gilt n2 j 15, also n2 2 f3; 5; 15g.
Im Fall n2 D 3 folgte ŒG W NG .P2 / D 3 für eine 2 -Sylowgruppe P2 , im Widerspruch zur

Aufgabe 9.10.
Es gelte n2 D 15: Wäre P \ Q D feG g für je zwei 2 -Sylowgrupen P; Q, so gäbe

es 46 Elemente in den 2 -Sylowgruppen im Widerspruch zu (1). Somit existieren 2 -
Sylowgruppen P; Q mit einem Element z 6D eG in P \ Q. Wegen Lemma 7.8 (Al-
gebrabuch) gilt P; Q Z WD ZG .fzg/. Es folgt 4 j jZj, jZj 6, jZj j 60, also
jZj 2 f12; 20; 60g.
Es ist jZj D 60 nicht möglich: Dann folgte z 2 Z.G/, also hzi E G.
Es ist jZj D 20 nicht möglich: Es wäre ŒG W Z D 3 entgegen Aufgabe 9.10.
Somit gilt jZj D 12, d. h. ŒG W Z D 5.
Im Fall n2 D 5 hat NG .P2 / für jede 2 -Sylowgruppe P2 den Index 5 in G.
Somit existiert U G mit ŒG W U D 5. Es folgt mit Aufgabe 9.10:
(2) G ist zu einer Untergruppe V von S5 isomorph; und ŒS5 W V D 2.
Nun folgt die Behauptung mit Aufgabe 9.3, da V als Untergruppe vom Index 2 ein Nor-
malteiler in S5 ist.
Alternativ können wir auch wie folgt schließen: Für jeden 3 -Zykel ı folgt .ı V /2 2 V ,
also ı 2 2 V , sodass ı D ı 2 2 V . Nun folgt mit Lemma 9.9 (Algebrabuch) A5 V , also
G Š V D A5 .
9.12 In der S5 gibt es Elemente der Ordnung 6: Jedes Produkt .a b/ .c d e/ disjunkter 2-

und 3-Zyklen hat die Ordnung 6, vgl. auch Aufgabe 9.1.
In der A5 gibt es keine Elemente der Ordnung 6: Ein Element der Ordnung 6 wäre nach
dem Satz 9.4 (Algebrabuch) ein Produkt D .a b/ .c d e/ disjunkter 2- und 3-Zyklen.
Jedes solche Produkt hat aber das Signum 1 und liegt somit nicht in der An .
9.13 Wir schreiben die Permutation als Produkt disjunkter Zyklen:

1 2 3 4 5 6 7 8 9 10 11
D D .1; 3; 8/ .2; 9/ .6; 7; 11; 10/ :
3 19 8 4 5 7 11 1 2 6 10
Mit Aufgabe 9.1 erhalten wir als Ordnung o. / D kgV.2; 3; 4/ D 12.
9.14 Wegen 21 D 3 7 wählen wir zwei Untergruppen U und N von S7 mit jU j D 3

und jN j D 7 (und U \ N D feg) und U N D N U . Es ist dann U N nach Lemma 4.4
(Algebrabuch) eine Untergruppe von S7 mit jU N j D 21.
Wegen der Primzahlordnungen von U und N sind beide Gruppen zyklisch, U D h i und
N D h
i; und die Bedingung U N D N U lautet dann: Zu .i; j / gibt es .r; s/ mit
i
j D
rs :
9.2 Lösungen 81
Dies folgt bereits aus

1 D
k für ein k :
Wir wählen nun
D .1 2 3 4 5 6 7/ und bestimmen so, dass
1 D
k für ein k gilt:
Wir probieren es zuerst mit

2 D .1 3 5 7 2 4 6/ :
Wegen

1 D . .1/ .2/ .3/ .4/ .5/ .6/ .7// D .1 3 5 7 2 4 6/
erhalten wir
D .2 3 5/ .4 7 6/ ;
ein Element der Ordnung 3.
Mit U D h i und N D h
i erhalten wir durch U N eine Untergruppe der S7 von der
Ordnung 21.
9.15 Wir stellen ein 2 Sn als Produkt disjunkter Zyklen dar: D 1 2 r . Dann
gilt o.i / D ni für alle i und o./ D kgV.n1 ; n2 ; : : : ; nr / (beachte die Lösung zu Aufga-
be 9.1). Weiterhin gilt n1 C n2 C C nr n.
n D 1: D .1/ hat die Ordnung 1: max.o.// D 1.

n D 2: D .1 2/ hat die Ordnung 2: max.o.// D 2.
n D 3: D .1 2 3/ hat die Ordnung 3: max.o.// D 3.
n D 4: D .1 2 3 4/ bzw. D .1 2/ .3 4/ hat die Ordnung 4: max.o.// D 4.
n D 5: D .1 2/ .3 4 5/ hat die Ordnung 6: max.o.// D 6.
n D 6: D .1 2/ .4 5 6/ hat die Ordnung 6: max.o.// D 6.
usw.
Nach Durchspielen aller möglichen Fälle für n 10 ergibt sich die folgende Tabelle:
n 1 2 3 4 5 6 7 8 9 10
max.o.// 1 2 3 4 6 6 12 15 20 30
Q
ni 1 2 3 4 23 23 34 35 45 235
9.16 Wegen .2 3 5/3 D .1/ und .4 7 8 9 X/5 D .1/ dividieren wir 1999 durch 3 bzw. durch
5 mit Rest und erhalten:
1999 D .235/1999 .4789X/1999 D .235/3666C1 .4789X/5399C4 D .235/1 .4789X/4

D .235/.4X987/ :
Der Hauptsatz über endliche abelsche Gruppen 10
10.1 Aufgaben
10.1 Bestimmen Sie bis auf Isomorphie alle endlichen abelschen Gruppen der Ord-
nung 36.
10.2 Wie viele nichtisomorphe abelsche Gruppen der Ordnung 26 34 52 gibt es?
10.3 Bestimmen Sie die Automorphismengruppe A der zyklischen Gruppe Z40

bzw. Z35 und schreiben Sie A als A Š Zd1 Zd2 : : : Zdr mit di j di C1 für
i D 1; : : : ; r 1.
10.2 Lösungen
10.1 Es gilt 36 D 22 32 . In der Primfaktorisierung der Gruppenordnung taucht also zwei-
mal der Exponent 2 auf. Wegen jP .2/j D 2 gibt es daher nach Lemma 10.5 (Algebrabuch)
bis auf Isomorphie genau 2 2 D 4 abelsche Gruppen der Ordnung 36. Es sind dies
Z4 Z9 Š Z36 ;
Z2 Z2 Z9 Š Z2 Z18 ;
Z4 Z3 Z3 Š Z3 Z12 ;
Z2 Z2 Z3 Z3 Š Z6 Z6 :
Dabei haben wir links die Zerlegung entsprechend der 1. Fassung und rechts die Zerlegung
entsprechend der 2. Fassung des Hauptsatzes angegeben.
84 10 Der Hauptsatz über endliche abelsche Gruppen
10.2 Die Exponenten der Primzahlen der (kanonischen) Primfaktorisierung sind 6, 4 und
2. Daher benötigen wir die Anzahl der Partitionen der Zahlen 6, 4 und 2; diese lauten:
6D5C1D4C2D4C1C1D3C3D3C2C1D3C1C1C1D
2 C 2 C 2 D 2 C 2 C 1 C 1 D 2 C 1 C 1 C 1 C 1 D 1 C 1 C 1 C 1 C 1 C 1 C 1.
4 D 3 C 1 D 2 C 2 D 2 C 1 C 1 D 1 C 1 C 1 C 1.
2 D 1 C 1.
Daher gilt jP .6/j D 11, jP .4/j D 5 und jP .2/j D 2. Nach Lemma 10.5 (Algebrabuch) ist
die Anzahl nichtisomorpher abelscher Gruppen der Ordnung 26 34 52 gleich dem Produkt
der Anzahl der Partitionen von 6, 4 und 2. Die gesuchte Zahl ist somit 11 5 2 D 110.
10.3 Wir bestimmen zunächst A D Aut.Z40 /. Nach Satz 5.15 (Algebrabuch) und Lemma
6.9 (Algebrabuch) gilt:
A D Aut.Z40 / Š Z
40 Š Z8 Z5 :
Da alle Elemente von Z

8 D f1; 3; 5; 7g eine Ordnung 2 haben, gilt Z8 Š Z2 Z2 .

Wegen Z5 D f1; 2; 3; 4g D h2i ist Z5 Š Z4 . Also A Š Z2 Z2 Z4 .
Wir bestimmen nun noch A D Aut.Z35 /. Wie oben erhalten wir zunächst:
A D Aut.Z35 / Š Z
35 Š Z5 Z7 :
Wegen Z
7 D h2i Š Z6 gilt:
A Š Z4 Z6 Š Z4 Z2 Z3 Š Z2 Z12 :
Auflösbare Gruppen 11
11.1 Aufgaben
11.1 Zeigen Sie: Jede abelsche Gruppe G, die eine Kompositionsreihe besitzt, ist
endlich.
11.2 Geben Sie zu den beiden Normalreihen
Z D 15 Z D 60 Z D f0g und Z D 12 Z D f0g
äquivalente Verfeinerungen und die zugehörigen Faktoren an.
11.3 Man gebe alle möglichen Kompositionsreihen der Gruppe Z24 mit den zuge-
hörigen Faktoren an.
11.4 Man gebe eine Kompositionsreihe für Zpk an (p eine Primzahl).
11.5 Man bestimme die abgeleitete Reihe
Dn.0/ D Dn.1/ D
für die Diedergruppe Dn , n 2 N. Für welche n ist die Diedergruppe Dn auflösbar?
11.6 Man bestimme die abgeleitete Reihe
Q.0/ D Q.1/ D
für die Quaternionengruppe Q (vgl. Beispiel 2.1 (Algebrabuch)). Ist die Quaternionen-
gruppe auflösbar?
86 11 Auflösbare Gruppen
11.7 Zeigen Sie, dass jede Gruppe G der Ordnung p 2 q mit Primzahlen p; q auf-
lösbar ist.
11.8 Zeigen Sie, dass jede Gruppe G der Ordnung < 60 auflösbar ist.
11.9 Zeigen Sie, dass die Gruppe S4 auflösbar ist.
11.10 Bestimmen Sie die Kommutatorgruppe G 0 für die Gruppe G der invertierba-
ren oberen .2 2/-Dreiecksmatrizen über dem Körper K D Zp , p prim:

a b
GD 2K 22
j a; c 2 K n f0g; b 2 K :
0 c
11.11 Es sei G die Gruppe der invertierbaren oberen .22/ -Dreiecksmatrizen über
einem Körper K.
(a) Begründen Sie, warum G auflösbar ist.

(b) Es sei weiter H die Untergruppe von G, die aus allen Elementen von G mit Determi-
nante 1 besteht. Ist H auflösbar?
11.12 Was können Sie über das Zentrum Z.G/ und die Kommutatorgruppe G 0 einer
einfachen Gruppe aussagen?
11.2 Lösungen
11.1 Es sei G eine abelsche Gruppe mit der Kompositionsreihe G D .G0 ; : : : ; Gr /. Wir
begründen zuerst, dass die Kompositionsfaktoren, das sind die Faktorgruppen Gi C1 =Gi ,
endlich sind: Da die Gruppe G abelsch ist, sind auch alle Faktorgruppen Gi C1 =Gi abelsch.
Es sei H eine dieser Faktorgruppen. Die Gruppe H ist einfach (und abelsch), da G eine
Kompositionsreihe ist. Daher gilt hai D H für jedes a 2 H nfeH g, insbesondere ist H zy-
klisch. Somit muss H endlich sein, da sonst H Š Z und Z ist nicht einfach (siehe Satz 5.3
(Algebrabuch)). Damit ist bereits begründet, dass sämtliche Kompositionsfaktoren einer
abelschen Gruppe endlich sind. Folglich gilt für i D 0; : : : ; r 1:
ŒGi C1 W Gi D jGi C1 =Gi j 2 N :

11.2 Lösungen 87
Wir begründen nun, dass damit auch G endlich ist: Wegen Gr D G und G0 D feg erhalten
wir nach dem Satz von Lagrange:
jGj D ŒGr W Gr1 jGr1 j

D ŒGr W Gr1 ŒGr1 W Gr2 jGr2 j D
D ŒGr W Gr1 ŒG1 W G0 jG0 j D ŒGr W Gr1 ŒG1 W G0 2 N :
Bemerkung Wir können sogar begründen, dass jeder Kompositionsfaktor H Primzahl-

ordnung hat: Als einfache und abelsche Gruppe gilt nämlich zunächst H Š Zp für ein
p 2 N (siehe Satz 5.3 (Algebrabuch)). Da H einfach ist, ist nach Lemma 5.2 (Algebra-
buch) die Zahl p prim. Damit ist jede Faktorgruppe Gi C1 =Gi isomorph zu Zpi mit einer
Primzahl pi .
11.2 Die gegebenen Reihen haben (bis auf Isomorphie) die Faktoren Z15 ; Z4 ; Z bzw.
Z12 ; Z. Als gemeinsame Faktoren bieten sich daher Z5 ; Z3 ; Z4 ; Z an. Wir verfeinern
entsprechend die erste Reihe zu
Z D 5 Z D 15 Z D 60 Z D f0g
und die zweite zu

Z D 3 Z D 12 Z D 60 Z D f0g :
Die nun äquivalenten Reihen haben die Faktoren:
Z5 ; Z3 ; Z4 ; Z und Z3 ; Z4 ; Z5 ; Z :
11.3 Die zyklische Gruppe Znm besitzt genau eine Untergruppe der Ordnung n. Diese
Untergruppe ist m Z=n m Z. Da m Z=n m Z Š Zn , schreibt man häufig einfacher Zn an-
stelle m Z=n m Z. So erhält man die viel einfachere Schreibweise Zn E Znm , wenngleich
die Menge Zn im Allgemeinen natürlich keine Teilmenge von Zmn ist. Im Folgenden wer-
den wir dennoch Gebrauch von dieser einfachen Schreibweise machen.
Wir erhalten die vier verschiedenen Kompositionsreihen für Z24
.f0g ; Z3 ; Z6 ; Z12 ; Z24 / mit den Faktoren Z3 ; Z2 ; Z2 ; Z2 ;

.f0g ; Z2 ; Z4 ; Z8 ; Z24 / mit den Faktoren Z2 ; Z2 ; Z2 ; Z3 :
11.4 Mit der Schreibweise aus der Lösung zur Aufgabe 11.3 gilt
f0g E Zp E Zp2 E; : : : ; E Zpk :
Da zudem die Faktoren Zpi C1 =Zpi Š Zp einfach sind, ist
.f0g ; Zp ; Zp2 ; : : : ; Zpk /
eine Kompositionsreihe.
11.5 Die Kommutatoren der Elemente der Diedergruppe Dn D f˛ i ˇ j j 0 i 1; 0

j n 1g haben die folgende Form (man beachte die Rechenregeln für die Elemente der
Diedergruppe in Abschn. 3.1.5 (Algebrabuch)), wobei 0 r; s n:
Œˇ r ; ˇ s D ˇ r ˇ s ˇ r ˇ s D e ;
Œ˛ ˇ r ; ˇ s D ˛ ˇ r ˇ s ˇ r ˛ ˇ s D ˛ ˇ s ˇ s ˛ D ˇ 2s ;
Œˇ r ; ˛ ˇ s D ˇ r ˛ ˇ s ˇ r ˇ s ˛ D ˛ ˇ r ˇ r ˛ D ˇ 2r ;
Œ˛ ˇ r ; ˛ ˇ s D ˛ ˇ r ˛ ˇ s ˇ r ˛ ˇ s ˛ D ˇ r ˇ s ˇ r ˇ s D ˇ 2.sr/ :
Somit gilt Dn0 D hˇ 2 i. In den Fällen n D 1 und n D 2 besagt dies Dn0 D feg. Da hˇ 2 i
abelsch ist, gilt Dn00 D feg:
Dn D hˇ 2 i D feg :
In jedem Fall ist Dn auflösbar.
11.6 In Q D f˙E; ˙I; ˙J; ˙Kg gilt A2 D E für jedes A 2 Q n f˙Eg, also A1 D
A3 D A für jedes A 2 Q n f˙Eg. Damit erhält man mit K D I J D J I und
E 2 Z.Q/ die Gleichungen
ŒI; J D I J I J D E ; ŒI; K D I K I K D E ; ŒK; J D K J K J D E :
Es folgt Q0 D f˙Eg, und weiter gilt Q00 D fEg. Folglich ist
Q D hEi D fEg
die abgeleitete Reihe. Insbesondere ist Q auflösbar. Das folgt aber auch schon aus der
Tatsache, dass Q eine 2 -Gruppe ist (beachte Lemma 11.16 (Algebrabuch)).
11.2 Lösungen 89
11.7 Nach Aufgabe 8.5 enthält G auf jeden Fall eine invariante Sylowgruppe.
1. Fall. Die p -Sylowgruppe P ist invariant: Es gilt jP j D p 2 und jG=P j D q.
2. Fall. Die q -Sylowgruppe Q ist invariant: Es gilt jQj D q und jG=Qj D p 2 .
Nun sind wir in der glücklichen Situation, dass in jedem Fall die Faktoren
P ; G=P ; Q ; G=Q
alles p - bzw. q -Gruppen sind, p, q prim. Daher können wir Lemma 11.16 (Algebra-
buch) anwenden: P; G=P; Q; G=Q sind auflösbar. Nun ist aber die Auflösbarkeit eine
Eigenschaft, die sich von den Faktoren auf das Produkt überträgt: Nach Satz 11.11 (Alge-
brabuch) ist in jedem Fall auch G auflösbar.
11.8 Es sind alle Gruppen der Ordnungen
pk ; p q ; p2 q
mit p, q prim und k 2 N auflösbar (beachte Lemmata 11.16 (Algebrabuch) und 11.17
(Algebrabuch) und Aufgabe 11.7). Die Zahlen, die kleiner als 60 sind und nicht von dieser
Form sind, sind
24 ; 30 ; 36 ; 40 ; 42 ; 48 ; 54 ; 56 :
Nun haben wir aber in der Aufgabe 8.4 gezeigt, dass jede Gruppe der Ordnung 40 und
56 eine p -Sylowgruppe P als Normalteiler hat. Wie in der Lösung zu Aufgabe 11.7 folgt
nun mit Lemma 11.16 (Algebrabuch) und Satz 11.11 (Algebrabuch), dass Gruppen dieser
Ordnungen auflösbar sind.
Es verbleiben die Zahlen
24 D 23 3 ; 30 D 2 3 5 ; 36 D 22 32 ; 42 D 2 3 7 ; 48 D 24 3 ; 56 D 23 7 :
Aber über Gruppen dieser Ordnung wissen wir nach Aufgabe 9.11, dass sie nicht einfach
sind, folglich einen nichtrivialen Normalteiler N enthalten. Nun können wir erneut jeweils
die Faktoren N und G=N betrachten und stellen fest, dass wegen jN j j jGj diese Faktoren
mit Ausnahme vom Fall 48 D 24 3 jeweils wieder Ordnungen von der Form p k oder p q
oder p 2 q mit p und q prim haben. Erneutes Anwenden der Lemmata 11.16 (Algebrabuch),
11.17 (Algebrabuch) und Satz 11.11 (Algebrabuch) liefert die Auflösbarkeit von Gruppen
G dieser Ordnungen.
Es bleibt der Fall 48 D 24 3: Falls nun tatsächlich eine Gruppe G der Ordnung 48 einen
Normalteiler N der Ordnung 2 hat, so hat die Faktorgruppe G=N die Ordnung 23 3. Diese
Zahl ist zwar nicht von der Form p k oder p q oder p 2 q, aber das ist kein Problem: Wir
wissen ja längst, dass jede Gruppe der Ordnung 24 D 23 3 auflösbar ist. Anwenden oben
genannter Ergebnisse liefert erneut die Auflösbarkeit von G.
11.9 Nach Lemma 11.12 (Algebrabuch) ist eine Gruppe genau dann auflösbar, wenn sie
eine abelsche Normalreihe besitzt. Wir betrachten die folgende Normalreihe in der S4 :
f.1/g E f.1/; .12/.34/; .13/.24/; .14/.23/g E A4 E S4 :
Da die Faktoren alle abelsch sind, ist dies eine abelsche Normalreihe, die Gruppe S4 also
auflösbar.
11.10 Bekanntlich (siehe Aufgabe 4.13) ist

a 0
U D j a; c 2 K n f0g
0 c
eine abelsche Untergruppe von G. Wir betrachten den surjektiven Homomorphismus

a b a 0
'WG!U; 7 ! :
0 c 0 c
Für den Kern von ' gilt offenbar

1 b
Kern.'/ D j b 2 K mit j Kern.'/j D jKj D p :
0 1
Laut dem Homomorphiesatz gilt nun
G= Kern.'/ Š U :
Insbesondere ist G= Kern.'/ abelsch. Nach Lemma 11.5 (Algebrabuch) gilt somit G 0
Kern.'/. Wegen j Kern.'/j D p, p prim, kommen nach dem Satz von Lagrange nur
jG 0 j D 1 oder jG 0 j D p infrage.
1. Fall: p D 2: Dann ist G abelsch (vgl. Aufgabe 4.13). Es folgt G 0 D fE2 g mit der
Einheitsmatrix E2 2 G.
2. Fall: p > 2. Dann ist G nicht abelsch. Es folgt G 0 D Kern.'/.
11.11 Die Gruppe G lautet:

a b
GD 2K 22
j a; c 6D 0 :
0 c
(a) Die Teilmenge

1 b
N D 2 K 22 j b 2 K
0 1
11.2 Lösungen 91
von G ist ein Normalteiler von G, da N der Kern des Homomorphismus

2 a b
' W G ! .K / ; 7 .a; c/
!
0 c
ist.
N ist auflösbar, da N abelsch ist: Für alle b; b 0 2 K gilt

1 b 1 b0 1 b C b0 1 b0 1 b
D D :
0 1 0 1 0 1 0 1 0 1
G=N ist auflösbar, da G=N abelsch ist: Nach dem Homomorphiesatz gilt nämlich
G=N D G= Kern.'/ Š Bild.'/ D ..K /2 ; / :
Nach Satz 11.11 (Algebrabuch) ist G auflösbar.

(b) Da H Untergruppe der auflösbaren Gruppe G ist, ist H nach Lemma 11.10 (Algebra-
buch) (a) ebenfalls auflösbar.
11.12 Das Zentrum Z.G/ und die Kommutatorgruppe G 0 einer Gruppe G sind Normal-
teiler von G. Ist G einfach, so gilt G 6D feg, und G hat keine Normalteiler ungleich feg
und G. Es gibt also nur die Möglichkeiten:
Falls G abelsch ist, so gilt Z.G/ D G und G 0 D feg.

Falls G nicht abelsch ist, so gilt Z.G/ D feg und G 0 D G.
Freie Gruppen 12
12.1 Aufgaben
12.1 Man zeige, dass die Gruppen Z Z, R , Sn mit n 2 N und Q nicht frei sind.
12.2 Begründen Sie die folgende projektive Eigenschaft freier Gruppen: Gege-
ben seien eine freie Gruppe F , zwei weitere Gruppen G; H und ein Homomorphismus
˛ W F ! H sowie ein Epimorphismus ˇ W G ! H . Dann existiert ein Homomorphismus
W F ! G mit ˛ D ˇ .
F ˇ
12.3 Die unendliche Diedergruppe. Begründen Sie, warum die Gruppe
G D Gp hx; y j x 2 D 1 ; x y x 1 D y 1 i
unendlich ist.
12.4 In dieser Aufgabe geben wir eine alternative Konstruktion der über X freien
Gruppe F an. Mit F bezeichnen wir die Menge der reduzierten Wörter über X [ X 0 . Für
jedes x 2 X und " 2 f1; 1g sei die Abbildung x " W F ! F erklärt durch
8 " "1 "
< "1 x x1 xr"r ; wenn x " 6D x1 1
1 D
6 x x "r
!
7
x W
" 1 r "2
x2 xr ;
"r wenn x D x1"1
"
:
1 7! x "
"
mit der Vereinbarung x22 xr"r D 1, wenn r D 1.
94 12 Freie Gruppen
(a) Zeigen Sie, dass die Untergruppe F WD hfx j x 2 Xgi der symmetrischen Gruppe SF
frei über X WD fx j x 2 Xg ist.
(b) Zeigen Sie, dass die Abbildung
(
F n f1g ! F n fIdF g
W und .1/ D Id
x1"1 xr"r 7! x1"1 xr"r
eine Bijektion ist.

(c) Zeigen Sie, dass .F; ı/ mit ı W F F ! F , definiert durch
v ı w WD 1 ..v/ .w// für v; w 2 F
eine über X freie Gruppe ist.

(d) Folgern Sie: Zu jeder Menge X gibt es eine über X freie Gruppe.
12.2 Lösungen
12.1 Wir beachten die Bemerkungen nach Satz 12.6 (Algebrabuch) bzw. Satz 12.7 (Al-
gebrabuch): Angenommen, die additive Gruppe Z Z ist frei. Dann wird Z Z nicht
nur von einem Element erzeugt, da jede von nur einem Element erzeugte freie Gruppe zu
Z isomorph ist. Als freie Gruppe, die von mehr als nur einem Element erzeugt wird, ist
Z Z dann aber nicht abelsch. Widerspruch, Z Z kann daher nicht frei sein. Für die
multiplikative (abelsche) Gruppe R und die additive (abelsche) Gruppe Q schließt man
analog. Die symmetrische Gruppe Sn ist endlich und kann daher schon nicht frei sein.
12.2 Es sei F frei über X. Da ˇ surjektiv ist, existiert zu jedem x 2 X ein 0 .x/ 2 G
mit ˇ 0 .x/ D ˛.x/. Die so definierte Abbildung 0 W X ! G ist fortsetzbar zu einem
Homomorphismus W F ! G. Dann gilt ˇ .x/ D ˛.x/ für alle x 2 X. Wegen F D
hXi (siehe Satz 12.1 (Algebrabuch)) folgt ˇ D ˛.
12.3 Wegen Satz 12.10 (Algebrabuch) ist jede Diedergruppe homomorphes Bild von G,
sodass jGj 2 n für jedes n 2 N. Man beachte auch Beispiel 12.5 (Algebrabuch).
12.4 (a) Man beachte zuerst, dass x " ein reduziertes Wort auf ein ebensolches abbildet,
sodass x " tatsächlich eine Abbildung von F in F ist.
Offenbar gilt x " x " D IdF D x " x " , sodass x " eine Bijektion von F in F , also eine
Permutation von F ist, d. h. x " ist ein Element der symmetrischen Gruppe SF , es gilt
außerdem
1
x " D x " :
12.2 Lösungen 95
Es ist zu begründen, dass es zu jeder Gruppe G und zu jeder Abbildung ˛ W X ! G

genau einen ˛ fortsetzenden Homomorphismus ˇ W F ! G gibt. Dazu benötigen wir die
folgende eindeutige Darstellung der Elemente aus F .
Jedes 6D IdF aus F ist nach dem Darstellungssatz 3.2 (Algebrabuch) und wegen x " D
1
x " von der Form
" "i
D x1"1 xr"r mit xi C1
i C1
6D xi für i D 1; : : : ; r 1 ; ()
" "
i C1
andernfalls kann xi i xi C1 D IdF weggelassen werden. Diese Produktdarstellung von
"
ist eindeutig, denn .1/ D x1"1 xr"r ist ein reduziertes Wort, sodass die Faktoren xi i
eindeutig bestimmt sind.
Ist nun G eine (beliebige) Gruppe und ˛ W X ! G eine (beliebige) Abbildung, so defi-
nieren wir eine Abbildung ˇ W F ! G durch
"
ˇ.IdF / D 1 und ˇ.x11 xr"r / D ˛.x1 /"1 ˛.xr /"r ;
"
wobei das Element x11 xr"r 2 F wie in () gegeben ist. Wegen der Eindeutigkeit dieser
Darstellung ist die Abbildung ˇ wohldefiniert und offenbar eine Fortsetzung von ˛. Und
1
ˇ ist wegen x " D x " auch ein Homomorphismus. Zu zeigen bleibt die Eindeutigkeit
von ˇ.
Für jeden ˛ fortsetzenden Homomorphismus ˇ 0 W F ! G gilt
ˇ 0 .x1"1 xr"r / D ˇ 0 .x1 /"1 ˇ 0 .xr /"r D ˛.x1 /"1 ˛.xr /"r ;
sodass ˇ D ˇ 0 . Damit ist bewiesen, dass F frei über X ist.

(b) Die Abbildung
(
F n f1g ! F n fIdF g
W und .1/ D Id
x1"1 xr"r 7! x1"1 xr"r
ist wegen der Eindeutigkeit der Darstellungen der Elemente x1"1 xr"r 2 F und
x1"1 xr"r 2 F eine Bijektion, und .X/ D X .
(c) Durch die Definition ı W F F ! F mit
v ı w WD 1 ..v/ .w// für v; w 2 F
wird mit 1 die Multiplikation auf F zu einer Multiplikation ı auf F übertragen: Es

wird v mit w in F multipliziert, indem man .v/ mit .w/ in F multipliziert und dann
das Ergebnis mit 1 in F überträgt.
96 12 Freie Gruppen
Wendet man die Bijektion auf v ı w an, so erhält man
.v ı w/ D .v/ .w/ für alle v; w 2 F :
Das besagt, dass ein Isomorphismus von .F; ı/ auf die Gruppe .F ; / ist. Somit ist
.F; ı/ eine Gruppe. Zu begründen bleibt, dass F frei ist über X.
Dazu betrachten wir eine (beliebige) Gruppe G und eine (beliebige) Abbildung ˛ W X !
G. Mithilfe von 1 erklären wir nun die Abbildung ˛ WD ˛ 1 jX von X in die gegebene
Gruppe G (man beachte die untenstehende Skizze).
˛
X G
1
˛
X
Da die Gruppe F frei über X ist (siehe (a)) existiert genau ein Homomorphismus ˇ W
F ! G, der ˛ fortsetzt. Dann ist ˇ WD ˇ ein Homomorphismus von F in G (man
beachte die untenstehende Skizze).
ˇ
F G

ˇ
F
Dieser Homomorphismus ˇ setzt die Abbildung ˛ W X ! G fort, da für jedes x 2 X
wegen .X/ D X gilt ˇ.x/ D ˇ .x/ D ˛ .x/ D ˛.x/. Zu begründen bleibt die
Eindeutigkeit von ˇ.
Dazu betrachten wir einen ˛ fortsetzenden Homomorphismus W F ! G. Erklärt man
hierzu die Abbildung WD 1 , so ist dies ein ˛ fortsetzender Homomorphismus von
F in G (beachte die untenstehende Skizze).

F G
1

F
Wegen der Eindeutigkeit von ˇ folgt nun D ˇ. Damit erhalten wir
D D ˇ D ˇ:
Somit ist ˇ eindeutig. Das begründet, dass F frei über X ist.

(d) Bei dieser Konstruktion war die Menge X beliebig, damit erhalten wir, dass es zu jeder
Menge X eine über X freie Gruppe F gibt.
Grundbegriffe der Ringtheorie 13
13.1 Aufgaben
13.1 Es sei V ein endlichdimensionaler Vektorraum über einem Körper K, und

R WD End.V / bezeichne den Endomorphismenring von V . Man zeige für ' 2 R:
(a) ' ist linksinvertierbar , ' ist rechtsinvertierbar , ' ist invertierbar.
(Dabei heißt ' links- bzw. rechtsinvertierbar, wenn ein 2 R mit ' D Id bzw.
' D Id existiert.)
(b) In R ist jeder Nichtnullteiler ' 6D 0 invertierbar.
13.2 Man zeige: In Zn ist jedes Element 6D 0 entweder ein Nullteiler oder invertier-
bar.
13.3 Man gebe die Charakteristiken der Ringe Z4 Z3 , Z22

6 , Z3
22
an.
13.4 Begründen Sie: In einem Integritätsbereich R der Charakteristik p 6D 0 gilt

k k k
.a C b/p D ap C b p für alle a; b 2 R und k 2 N.
13.5 Es sei R 6D f0g ein kommutativer Ring ohne Nullteiler, in dem jeder Teilring
nur endlich viele Elemente enthält. Zeigen Sie, dass R ein Körper ist.
13.6 Es sei R 6D f0g ein Ring mit der Eigenschaft a2 D a für alle a 2 R. Beweisen
Sie:
(a) In R gilt a C a D 0 für alle a 2 R.

(b) R ist kommutativ.
(c) Hat R keine Nullteiler, so gilt R Š Z2 .

98 13 Grundbegriffe der Ringtheorie
13.7 Zeigen Sie: j Aut Q j D 1 und j Aut R j D 1.
13.8 Der Quaternionenschiefkörper. Man zeige:

n o
a b
(a) H WD b j a; b 2 C ist ein Teilring von C 22 mit 1.
a

(b) Die Abbildung " W z 7! z0 z0 von C in H ist eine Einbettung.

0 1
(c) Mit den Abkürzungen j WD 1 0 und k D i j gilt H D C C C j D R C
R i CR j CR k.
(d) R D Z.H/ WD fz 2 H j x z D z x für alle x 2 Hg.
(e) Die Abbildung x D a C b i Cc j Cd k 7! x WD a b i c j d k ist ein Antiauto-
morphismus von .H; / (d. h. x y D y x statt x y D x y für alle x; y 2 H).
(f) Für alle x 2 H gilt N.x/ WD x x 2 R, S.x/ WD x C x 2 R und x 2 S.x/ x C N.x/
D 0.
(g) Mit (f) folgere man, dass H ein Schiefkörper ist.
(h) Die Gleichung X 2 C 1 D 0 hat in H unendlich viele Lösungen.
13.9 Man bestimme die Kardinalzahl der Menge aller Teilringe des Körpers Q der
rationalen Zahlen. Hinweis: Betrachten Sie für jede Menge A von Primzahlen die Menge
RA aller rationalen Zahlen nz mit z 2 Z, n 2 N und der Eigenschaft, dass alle Primteiler
von n in A liegen.
n o
a sb
13.10 Es sei K ein Körper, s 2 K und Ks WD b a j a; b 2 K . Zeigen Sie:
(a) Ks ist ein kommutativer Teilring von K 22 . Wann ist Ks ein Körper?
(b) R1 ist zu C isomorph.
(c) Für jede Primzahl p 6D 2 gibt es einen Körper mit p 2 Elementen.
13.11 Es sei d 2 Z n f1g quadratfrei (d. h.: x 2 N; x 2 j d ) x D 1) und

p p p p
ZŒ d WD fa C b d j a; b 2 Zg ; QŒ d WD fa C b d j a; b 2 Qg :
Zeigen Sie:
p p
(a) ZŒ d und QŒ d sind Teilringe
p von C. p
(b) Die Abbildung z D a C p b d 7! z WD a p b d (a; b 2 Z bzw. a; b 2 Q) ist ein
Automorphismus von ZŒ d bzw. von QŒ dp .
(c) Es ist N W z 7! zpz eine Abbildung von QŒ p d in Q, die N.zpz 0 / D N.z/ N.z 0 /
für alle z; z 2 QŒ d erfüllt; und für z 2 ZŒ d gilt: z 2 ZŒ d , N.z/ 2
0
f1; 1g.
13.2 Lösungen 99
p p
(d) QŒ d ist ein Körper, ZŒ d jedoch
p nicht.
(e) Ermitteln Sie die
p Einheiten von ZŒ
p kd , falls d < 0.
(f) Zeigen Sie, ZŒ 5 D f˙.2 C 5/ j k 2 Zg.
13.12 Es sei K WD f0; 1; a; bg eine Menge mit vier verschiedenen Elementen.

Füllen Sie die folgenden Tabellen unter der Annahme aus, dass .K; C; / ein Schiefkörper
(mit dem neutralen Element 0 bezüglich C und dem neutralen Element 1 bezüglich ) ist.
C 0 1 a b 0 1 a b
0 0
1 1
a a
b b
13.2 Lösungen
13.1 (a) Diese Aussage sollte aus der linearen Algebra bekannt sein, zumindest wird sie
dort vielfach benutzt: Nach Wahl einer Basis B kann nämlich jeder Endomorphismus ' 2
R mit seiner Darstellungsmatrix A bzgl. der Basis B identifiziert werden. Die Aussage in
(a) lautet im Matrizenkalkül dann mit der Einheitsmatrix E in etwa: Aus A B D E folgt
B A D E (und umgekehrt).
Die Endlichkeit der Dimension von V spielt eine wesentliche Rolle. Wir denken an den
wichtigen Satz der linearen Algebra: Für einen Endomorphismus eines endlichdimensio-
nalen Vektorraumes gilt: ' ist injektiv , ' ist surjektiv , ' ist bijektiv. Nun zur Lösung
der Aufgabe:
Es sei ' linksinvertierbar. Dann existiert ein 2 R mit ' D Id. Bekanntlich folgt
hieraus, dass ' injektiv ist. Als Endomorphismus eines endlichdimensionalen Vektor-
raums ist ' somit auch surjektiv bzw. bijektiv: ' ist rechtsinvertierbar und invertierbar.
Es sei ' rechtsinvertierbar. Dann existiert ein 2 R mit ' D Id. Bekanntlich folgt
hieraus, dass ' surjektiv ist. Als Endomorphismus eines endlichdimensionalen Vektor-
raums ist ' somit auch injektiv bzw. bijektiv: ' ist linksinvertierbar und invertierbar.
(b) Es sei ' 6D 0 ein Nichtnullteiler. Zu zeigen ist, dass ' invertierbar ist. Angenommen,
das ist nicht der Fall, ' ist also nicht invertierbar.
Wir geben zwei Lösungen an:
1. Lösung: Wir holen uns eine Motivation aus der linearen Algebra: Der Endomorphismus
' lässt sich nach Wahl einer Basis durch eine Matrix A darstellen. Mit ' ist auch A nicht
invertierbar, also gibt es einen Vektor v 2 K n , n D dim.V /, v 6D 0, mit A v D 0.

Nun betrachten wir die Matrix B D .v; : : : ; v/, in jeder Spalte steht v. Es gilt dann
A B D 0, sodass A wegen B 6D 0 Nullteiler ist. Nun müssen wir nur diese Formulierung
mit Matrizen in eine Formulierung mit Endomorphismen übersetzen:
Da ' nicht invertierbar ist, ist ' nach (a) nicht injektiv. Also gibt es ein v 2 V , v 6D 0, mit
'.v/ D 0. Wir betrachten zu ' den Endomorphismus W V ! V , den wir durch lineare
Fortsetzung von b1 7! v; : : : ; bn 7! v für eine beliebige Basis B D .b1 ; : : : ; bn / von V
erhalten. Offenbar gilt 6D 0, und wir erhalten ' D 0. Also ist ' ein Nullteiler, ein
Widerspruch, der belegt, dass jeder Nichtnullteiler ' invertierbar ist.
2. Lösung. Da ' nicht invertierbar ist, ist ' nach (a) nicht surjektiv. Also gilt '.V / 6D V .
Es sei U 6D f0g das Komplement von '.V / in V , also V D '.V / ˚ U . Jedes x 2 V hat
somit eine eindeutige Darstellung der Form x D v C u mit v 2 '.V / und u 2 U . Die
Projektion

'.V / ˚ U ! U
W
vCu 7! u
erfüllt: 6D 0, ' D 0, sodass ' ein Nullteiler ist.
13.2 Aus Lemma 5.13 (Algebrabuch) wissen wir längst, dass die invertierbaren Elemente
in Zn genau jene k sind mit ggT.k; n/ D 1. Ist nun k 6D 0 nicht invertierbar, so ist
d D ggT.k; n/ 6D 1. Zu zeigen ist nun, dass ein Element 0 6D l 2 Zn existiert mit
k l D 0; anders ausgedrückt: Gesucht ist ein l 2 f1; : : : ; n 1g mit k l 2 n Z. Hierfür
bietet sich l WD dn an. Es gilt nämlich:
n
k
k D n D 0;
d d
also ist k ein Nullteiler.
In Z12 gilt beispielhaft
2 6 D 0 ; 3 4 D 0 ; 8 3 D 0 ; 9 4 D 0 bzw. 5 5 D 1 ; 7 7 D 7 und 11 11 D 1 :
13.3 Zu Z4 Z3 : Es ist .1; 1/ das Einselement von Z4 Z3 . Wegen 12 .1; 1/ D .0; 0/

und k .1; 1/ 6D .0; 0/ für alle natürlichen k 11 gilt Char Z4 Z3 D 12.
Z6 D 6 und Char Z3 D 3, wobei jeweils das Einselement die .22/-

22 22
Analog gilt Char
Einheitsmatrix 10 ist.
01
13.2 Lösungen 101
13.4 Bekannt ist der Frobeniusmonomorphismus, siehe Lemma 13.5 (Algebrabuch): Für
alle a; b 2 R gilt:
.a C b/p D ap C b p :
k k
Wir benutzen diese (wahre) Aussage als Induktionsanfang. Gilt nun .a C b/p D ap C
k
b p für ein k 2 N und alle a; b 2 R, so folgt weiter für alle a; b 2 R:
kC1

k p
k
k p kC1 kC1
.a C b/p D .a C b/p D ap C b p D ap C bp :
Damit ist die Behauptung per Induktion begründet.
13.5 Man beachte die Ähnlichkeit und den Unterschied zu der Aussage in Lemma 13.6
(Algebrabuch), wonach jeder endliche nullteilerfreie Ring mit 1 ein Schiefkörper ist. In
der vorliegenden Aufgabe haben wir zusätzlich die Kommutativitität vorausgesetzt, je-
doch fehlt die Existenz eines Einselements. Nachdem aber R ein Körper sein soll, muss
die Existenz eines Einselements aus den anderen Voraussetzungen folgen. Motiviert durch
den Beweis zu Lemma 13.6 (Algebrabuch) betrachten wir die Abbildung

R ! Ra
a W
x 7 ! xa
für a 2 R n f0g. Da R nullteilerfrei ist, ist die Abbildung a injektiv. Da R a R ein

Teilring von R ist und R a somit nur endlich viele Elemente enthält, gilt also jRj D jR aj
und damit R D R a. Folglich gibt es ein Element e 2 R mit a D a e D e a. Es folgt:
.b e b/ a D b e a b a D b a b a D 0
für alle b 2 R. Damit gilt b e b D 0, d. h. b e D b für alle b 2 R, da R nullteilerfrei ist.

Somit ist e ein Einselement bzgl. der Multiplikation.
Da für jedes a 2 R n f0g mit a 6D 0 wegen R a D R ein b 2 R mit b a D e existiert, ist a
invertierbar. Damit ist begründet, dass R ein Körper ist.
13.6 (a) Für jedes a 2 R gilt:
a C a D .a C a/2 D a2 C a2 C a2 C a2 D a C a C a C a ;
also a C a D 0.
(b) Es seien a; b 2 R. Aus
a C b D .a C b/2 D a2 C b 2 C a b C b a D a C b C a b C b a
folgt: a b D b a. Nach (a) gilt x D x für alle x 2 R. Somit gilt für alle a; b 2 R:
a b D b a D b a :
(c) Es sei 0 6D e 2 R. Aus e 2 D e folgt
.b e b/ e D b e 2 b e D b e b e D 0
für alle b 2 R. Da R nullteilerfrei ist, gilt b e D b für alle b 2 R. Somit ist e Einselement
in R. Da jedes von Null verschiedene Element Einselement ist, ein solches aber eindeutig
bestimmt ist, ist e das einzige von Null verschiedene Element. Es folgt R D f0; eg. Und
als Ring ist dieser isomorph zu Z2 .
13.7 Es besagt j Aut Q j D 1 gerade, dass es genau einen Automorphismus von Q gibt.
Da die Identität IdQ ein Automorphismus von Q ist, ist somit zu zeigen: Aus
2 Aut.Q/
folgt
D IdQ . Es sei also
2 Aut Q. Bekanntlich gilt
.0/ D 0,
.1/ D 1,
.1/ D 1.
Es folgt für n 2 N:

.n/ D
.1 C C 1/ D
.1/ C C
.1/ D n ; und hieraus folgt
.n/ D n :
„ ƒ‚ … „ ƒ‚ …
n-mal n-mal
Das zeigt
.k/ D k für jedes k 2 Z, sodass
z
.z/ z

D D
n
.n/ n
für alle z 2 Z, n 2 N. Damit ist gezeigt:

D IdQ , also j Aut Q j D 1.
Wir gehen analog bei Aut.R/ vor: Wir wählen ein
2 Aut R und zeigen
D IdR . Das ist
bei R aber etwas komplizierter als bei Q. Wir nehmen an,
ist nicht die Identität. Dann
gibt es ein x 2 R mit
.x/ 6D x, sodass x <
.x/ oder x >
.x/.
Bevor wir weitermachen, tragen wir Informationen zusammen:
Für die Einschränkung

jQ gilt nach dem ersten Teil
jQ D IdQ .
Q liegt dicht in R, d. h. zu x; y 2 R, x < y, gibt es ein r 2 Q mit x < r < y.
Wegen
.x 2 / D
.x/2 ist
isoton, da für a; b 2 R mit a < b gilt:
b > a ) b a > 0 ) 9 y 2 R W b a D y2 > 0

)
.b a/ D
.y 2 / D
.y/2 > 0 )
.b/ >
.a/ :
Nun können wir fortfahren und betrachten die zwei Fälle x <
.x/ oder x >
.x/ nach-
einander:
13.2 Lösungen 103
1. Fall: x <
.x/. Dann existiert ein r 2 Q mit x < r <
.x/, und folglich gilt
.x/ <
.r/ D r <
.x/ – ein Widerspruch.
2. Fall:
.x/ < x. Dann existiert ein r 2 Q mit
.x/ < r < x, und folglich gilt
.x/ <
r D
.s/ <
.x/ – ein Widerspruch.
Damit gilt
.x/ D x für alle x 2 R, d. h.
D IdR , d. h. j Aut R j D 1.
13.8 (a) Da mit x; y 2 H auch xy und x y in H liegen, ist H ein Teilring von C 22 . Die
Einheitsmatrix E2 ist das Einselement. (Man kann direkt nachweisen, dass jedes von Null
verschiedene Element in H ein Inverses hat, H also ein Schiefkörper ist. Dieser Nachweis
ist aber mit (f) deutlich einfacher zu führen.)
(b) Eine Einbettung ist ein Ringmonomorphismus. Offenbar gilt für alle z; z 0 2 C:
0
0 z C z0 0 z 0 z 0
".z C z / D D C D ".z/ C ".z 0 / und
0 z C z0 0 z 0 z0
0 0
zz 0 z 0 z 0
".z z 0 / D D D ".z/ ".z 0 / ;
0 z z0 0 z 0 z0
sodass " ein Homomorphismus ist, der wegen

z 0 0 0
".z/ D 0 ) D ) zD0
0 z 0 0
auch injektiv ist.

Da " eine Einbettung von C in H ist, können wir also C als einen Teilkörper von H
auffassen (diese Idee steckt hinter dem Begriff der Einbettung). Das werden wir gleich in
den nächsten Aufgabenteilen nutzen.
(c) Für a; b 2 C gilt

a b
a C b j D ".a/ C ".b/ j D ;
b a
sodass H D C CC j. Da nun bekanntlich C D RCR i gilt, erhalten wir H D C CC j D

R C R i CR j CR k.
(d) Wir weisen nach, dass R das Zentrum Z.H/ von H ist. Hierbei benutzen wir die
Identifikation via " aus dem Teil (a):

a b
Z.H/ R: Aus A D 2 Z.H/ folgt
b a

b a b a
AjDjA , D :
a b a b
Es folgt a; b 2 R, und weiter folgt

a i b i ai bi
A ".i/ D ".i/ A , D :
b i a i b i a i
Dies liefert b D 0, also A D ".a/ 2 R.

1 0
Z.H/
R: Andererseits gilt ".a/ D a für a 2 R, sodass ".a/ M D M ".a/ für
0 1
jedes M 2 H, also R Z.H/.
(e) Wegen (a) ist x 7! x additiv, und es gilt offenbar
˛ x D ˛ x für ˛ 2 Z ; x 2 H :
Man rechnet nach (mit k WD i j):
i2 D 1 D j2 ; i j D j i ) k2 D i j i j D 1 ;
i k D i i j D i j i D k i; j k D j i j D i j j D k j :
Damit erhalten wir
x; y 2 fi; j; kg ; x 6D y ) x 2 D 1 ; x y D y x ; x D x : ()
Ferner gilt x x D 1 D x x, x y D .x y/ D y x D y x:
x; y 2 fi; j; kg ) x y D y x :
P3 P3
Für c0 WD 1, c1 WD i, c2 WD j, c3 WD k und x D i D0 ˛i ci , y D i D0 ˇi ci mit
˛i ; ˇi 2 R folgt
0 1 !
X 3 X
3 X
3 X 3
xy D ˛i ˇj ci cj D ˛i ˇj cj ci D @ ˇj cj A ˛i ci D y x :
i;j D0 i;j D0 j D0 i D0
(f) Man rechnet nach:

! ! !
X
3 X
3 X
3
N.x/ D N ˛0 C ˛i ci D ˛0 C ˛i ci ˛0 ˛i ci
i D1 i D1 i D1
!
X
3 X
3 X
3 X
D ˛02 C ˛0 ˛i ci ˛i ci ˛i2 ˛i ˛i .ci cj C cj ci /
i D1 i D1 i D1 1i <j 3
X
3
D ˛i2 :
i D0
13.2 Lösungen 105
Es folgt hieraus für alle x; y 2 H:
N.x y/ D .x y/ .x y/ D x y y x D x N.y/ x D x x N.y/ D N.x/ N.y/
und
x 2 C N.x/ D x .x C x/ D x S.x/ I
und S.x/ 2 R nach Definition von x.
(g) Es sei 0 6D x 2 H. Dann gilt

x x D N.x/ > 0 ) x x N.x/1 D 1 ;
d. h. x ist invertierbar, und x 1 D N.x/1 x.

(h) Es sind i; j; k nach () in (e) drei verschiedene Lösungen der Gleichung X 2 C 1 D 0.
Jetzt schöpft man schnell den Verdacht, dass auch Linearkombinationen von i, j und k
Lösungen sein können. Man testet zuerst
.i C j/2 D 1 1 C i j C j i D 2
und korrigiert dann
. p1 i C p1 j/2 D 12 1
2
C 12 i j C 12 j i D 1
2 2
und stellt dann allgemeiner fest, dass jeder Punkt der Einheitssphäre im R3 , d. h.
.˛1 ; ˛2 ; ˛3 / 2 R3 mit
˛12 C ˛22 C ˛32 D 1
eine Lösung x D ˛1 i C˛2 j C˛3 k von X 2 C 1 D 0 liefert.
13.9 Wir stellen zuerst fest, dass RA für jede Menge A P von Primzahlen ein Teilring
von Q ist: Das gilt wegen der Regeln
z z0 z n0 ˙ z 0 n z z 0 z z0
˙ 0 D 0
; 0
D :
n n nn n n n n0
Nun begründen wir, dass verschiedene Teilmengen A; B P auch zu verschiedenen
Teilringen RA ; RB führen: O. E. gelte B ª A, und p 2 B n A. Dann gilt p1 2 RB . Aus
p
1
2 RA folgt p1 D nz mit z 2 Z, n 2 N, wobei n nur Primteiler aus A besitzt. Aus p z D n
folgt aber p j n – ein Widerspruch. Somit gilt RA 6D RB .
Damit haben wir eine (große) Menge verschiedener Teilringen von Q gefunden: Es gibt
mindestens so viele verschiedene Teilringe von Q wie es verschiedene Teilmengen von
P gibt. Die Menge aller verschiedener Teilmengen von P ist die Potenzmenge P .P /. Für
die Kardinalzahl ! der Menge aller Teilringe von Q gilt also ! jP .P /j D c WD jRj.
Wegen jQj D jNj gilt aber andererseits jP .Q/j D jP .N/j D c, sodass es also auch nicht
mehr als c verschiedene Teilringe von Q geben kann. Damit gilt ! D c D jRj.
Bemerkung Für A; B P , A 6D B gilt sogar RA 6Š RB : Für einen Isomorphismus

' W RB ! RA folgte '.1/ D 1 und daher '.p/ D p für jedes p 2 B, also

1 D ' p p1 D '.p/ ' p1 D p ' p1 ;
somit RA 3 '. p1 / D p1 . Damit ist die folgende Verschärfung bewiesen: Es gibt genau c
paarweise nichtisomorphe Teilringe von Q.
13.10 (a) Für a; b; c; d 2 K gilt

a sb c sd a˙c s .b ˙ d /
˙ D 2 Ks
b a d c b˙d a˙c
und
a sb c sd ac Csbd s .b c C a d /
D 2 Ks :
b a d c bc Cad ac Csbd
Daher ist Ks ein Teilring von K 22 ; und .Ks ; / ist offenbar abelsch.
Da eine Matrix A 2 K 22 bekanntlich genau dann invertierbar ist, wenn det A 6D 0 gilt,
ist somit genau dann jedes von der Nullmatrix verschiedene Element A D ab sab aus Ks
in K 22 invertierbar, wenn det A D a2 s b 2 6D 0 für alle .a; b/ 6D .0; 0/ aus K 2 . Das
2
ist genau dann der Fall, wenn s 6D ab 2 , d. h., genau dann wenn s kein Quadrat in K ist. In
diesem Fall gilt
1
a sb 2 1 a s b
D .a s b /
2
2 Ks
b a b a
für jedes .a; b/ 6D .0; 0/ aus K 2 .
Wir fassen zusammen: Genau dann ist Ks ein Körper, wenn s kein Quadrat in K ist.
(b) In K D R ist 1 kein Quadrat, sodass wegen (a) der Ring R1 ein Körper ist. Die
Elemente von R1 haben die Form ba b a . Diese Darstellung der komplexen Zahl aCi b
als .2 2/-Matrix sollte bekannt sein, es ist

a b
7! a C i b .a; b 2 R/
b a
(bekanntlich) ein Isomorphismus von R1 auf C.
(c) Wir können zu jeder Primzahl p einen Körper mit p Elementen angeben, nämlich
K D Zp . Enthält nun K ein Element s, das kein Quadrat ist, so ist Ks ein Körper mit
ˇ ˇ
ˇ a sb ˇ
jKs j D ˇˇ j a; b 2 Zp ˇˇ D p 2
b a
Elementen.
13.2 Lösungen 107
Wegen .a/2 D a2 ist die Abbildung Quadrieren Zp ! Zp für p 6D 2 nicht injektiv

und somit auch nicht surjektiv: Somit besitzt K D Zp für jede Primzahl p 6D 2 ein
Nichtquadrat s und Ks ist ein Körper mit p 2 Elementen.
p p p
13.11p(a) Offensichtlich gilt z z 0 2 ZŒ d bzw. 2 QŒ d für alle z; z 0 2 ZŒ d bzw.
2 QŒ d . Wir begründen die Abgeschlossenheit bzgl. der komplexen Multiplikation:
Für alle x; y; x 0 ; y 0 2 Z (bzw. in Q) gilt:
p p p p p
.xCy d / .x 0 Cy 0 d / D .x x 0 Cd y y 0 /C.x y 0 Cx 0 y/ d 2 ZŒ d .bzw. 2 QŒ d /:
p p
Somit sind ZŒ d und QŒ d Teilringe von C.
p
p ist, sind 1; d linear unabhängig über Q. Also p
(b) Da d quadratfrei lässt sich jedes Ele-
ment z von QŒ d in eindeutiger Weise in der Form z D x C y d mit x; y 2 Q
schreiben. Somit ist die Abbildung z 7! z wohldefiniert. Offensichtlichp ist diese Abbil-
p
dung sogar
p ein selbstinverser
p Homomorphismus der additiven Gruppe ZŒ d ! ZŒ d
(bzw. QŒ d ! QŒ d ). Für alle x; x 0 ; y; y 0 2 Q gilt ferner:
p p p
.x C y d / .x 0 C y 0 d / D .x x 0 C d y y 0 / .x y 0 C x 0 y/ d
p p
D .x C y d / .x 0 C y 0 d / :
Also ist die Abbildung z 7! z ein Ringautomorphismus.

p p
(c) Es sei
p z D xCy d 2 QŒ d . Dann ist N.z/pD z z D x 2 d y 2 2 Q (bzw. p
2 Z, falls
z 2 ZŒ pd ). Alsopist N eine Abbildung von QŒ d in Q. Für alle z D x C y d ; z 0 D
x 0 C y 0 d 2 QŒ d gilt ferner:
N.z z 0 / D .x x 0 C d y y 0 /2 d .x y 0 C x 0 y/2 D .x 2 d y 2 / .x 02 d y 02 / D N.z/ N.z 0 / :

p

p noch die Aussage über die Einheiten. Es sei z 2 ZŒ d . Dann existiert
Wir zeigen nun
ein z 0 2 ZŒ d mit z z 0 D 1. Es gilt weiter: N.z/ N.z 0 / D N.z z 0 / D N.1/ p D 1.
Da N.z/; N.z 0 / ganzzahlig sind, folgt N.z/ D ˙1. Es p sei umgekehrt z 2 ZŒ d mit
N.z/ D ˙1. Dann gilt z z D N.z/ D ˙1, also z 2 ZŒ d .
p
(d) Wir zeigen
p zunächst, dass QŒ p d ein Körper ist. Nach Teil (a) genügt
p es p
zu zeigen,
dass 1z 2 QŒ d ist für alle z 2 QŒ d n f0g. Es sei also z D x C y d 2 QŒ d n f0g.
Dann gilt:
1 z z p
D D 2 2 QŒ d :
z N.z/ x dy 2
p p p
Also ist QŒ d ein Körper. Wegen 12 62 ZŒ d ist ZŒ d kein Körper.
p p
(e) Es sei z D x Cy d 2 ZŒ d und d < 0. Nach Teil (c) ist z genau dann eine Einheit,
wenn N.z/ D x 2 C jd j y 2 D ˙1 ist.
p
1. Fall d < 1: Es folgt y D 0 und x D ˙1. Also: ZŒ d D f1; 1g.
p
2. Fall d D 1: Es folgt .x; y/ 2 f.0; ˙1/; .˙1; 0/g, also ZŒ d D f1; 1; i; ig.
p p
(f) Es seipE D ZŒ 5 . Wegen N.2 C 5/ D 4 1p 5 D 1 und N.1/ D 1 liegen
1; 2 C 5 in E. Da E eine Gruppe ist, folgt ˙.2 C 5/k 2 E für alle k 2 Z.
p
Nun sei a 2 E, und " WD 2 C 5. Zum Nachweis von a 2 f˙"k j k 2 Zg dürfen wir
wegen ˙a; ˙a1 2 E offenbar a 1 annehmen. Wegen " > 1 existiert ein m 2 N0 mit
"m a < "mC1 . Es folgt 1 a "m < ", und b WD a "m 2 E.
Wir zeigen a "m D 1, d. h. a D "m (womit der Beweis erbracht wäre).
p
Annahme: 1 < b D x C y 5 mit x; y 2 Z.
Dann gilt p p
.i/ 1<xCy 5 < 2C 5:
Wegen b b D N.b/ D ˙1 (beachte (d)) gilt jbj < 1, d. h.
p
.i i/ 1 < x y 5 < 1:
p
Addition von .i/ und .i i/ liefert 0 < 2 x < 3 C 5 < 6, d. h. x 2 f1; 2g.
1. Fall: x D 1. Es folgt mit .i/: y D 1. Also gilt N.b/ D 4 – ein Widerspruch zu (d).
2. Fall: x D 2. Es folgt mit .i/: y D 0. Also gilt N.b/ D 4 – ein Widerspruch zu (d).
13.12
C 0 1 a b 0 1 a b
0 0 1 a b 0 0 0 0 0
1 1 0 b a 1 0 1 a b
a a b 0 1 a 0 a b 1
b b a 1 0 b 0 b 1 a
Die Tafel für die Multiplikation: a b 2 K n f0g. Aus a b D a folgte b D 1 (kann also
nicht sein). Aus a b D b folgte a D 1 (kann also auch nicht sein): Es muss also a b D 1
gelten. Damit kann aber nicht a a D 1 gelten (das Inverse zu a ist ja eindeutig bestimmt),
und weil aus a a D a die Gleichung a D 1 folgte, muss a a D b gelten. Weiter muss
auch b a D 1 gelten. Es bleibt noch b b zu bestimmen. Das ist nun aber klar: b b D 1
und b b D b sind ausgeschlossen, es muss also b b D a gelten.
Bei der Addition beachte man: 1 C a 2 f0; bg und 1 C b 2 f0; ag (man kann kürzen).
Angenommen, 1 C a D 0. Dann muss 1 C b D a, da inverse Elemente eindeutig bestimmt
sind. Es folgt dann:
b D a a D a .1 C b/ D a C a b D a C 1:
Und das ist ein Widerspruch.

13.2 Lösungen 109
Damit ist gezeigt: 1 C a D b. Ebenso gilt (vertausche die Rollen von a und b) 1 C b D a.
Es folgt weiter: 1 C 1 D 0, da ein Inverses zu 1 existieren muss, und damit gilt auch
a C a D a .1 C 1/ D 0 D b .1 C 1/ D b C b.
Bemerkung Damit ist gezeigt, dass es nur einen (Schief-)Körper mit 4 Elementen geben
kann, und dieser ist zwangsläufig kommutativ, also ein Körper. Nach einem berühmten
Satz von Wedderburn (siehe Satz 29.7 (Algebrabuch)) ist jeder endliche Schiefkörper
kommutativ, also ein Körper.
Polynomringe 14
14.1 Aufgaben
14.1 Es sei R ein kommutativer Ring mit 1. Begründen Sie, dass die Menge
RŒŒX WD fP j P W N0 ! Rg mit den Verknüpfungen C und , die für P; Q 2 RŒŒX
wie folgt erklärt sind:
X
.P C Q/.m/ WD P .m/ C Q.m/ ; .P Q/.m/ WD P .i/ Q.j / ;
i Cj Dm
ein kommutativer Erweiterungsring mit 1 von RŒX ist – der Ring der formalen Potenz-
P
reihen oder kürzer Potenzreihenring über R. Wir schreiben P D i
i 2N0 ai X oder
P1
i D0 ai X (also P .i/ D ai ) für P 2 RŒŒX und nennen die Elemente aus RŒŒX Po-
i
tenzreihen. Begründen Sie außerdem:
(a) RŒŒX ist genau dann ein Integritätsbereich, wenn R ein Integritätsbereich ist.
P
(b) Eine Potenzreihe P D i 2N0Pai X i 2 RŒŒX ist genau dann invertierbar, wenn
a0 2 R gilt, d. h. RŒŒX D f 1

i D0 ai X j a0 2 R g.
i
(c) Bestimmen Sie in RŒŒX das Inverse von 1 X und 1 X 2 .
14.2 In QŒX dividiere man mit Rest:
(a) 2 X 4 3 X 3 4 X 2 5 X C 6 durch X 2 3 X C 1.
(b) X 4 2 X 3 C 4 X 2 6 X C 8 durch X 1.
p p
14.3 Zeigen Sie, dass 2 C 3 2 algebraisch über Z ist.
14.4 Die Automorphismen von RŒX. Es seien R ein Integritätsbereich und RŒX
der Polynomring über R. Zeigen Sie:
(a) Zu a 2 R und b 2 R gibt es genau einen Automorphismus ' von RŒX mit 'jR D
IdR und '.X/ D a X C b.
112 14 Polynomringe
(b) Jeder Automorphismus ' von RŒX mit 'jR D IdR erfüllt '.X/ D a X C b mit
a 2 R und b 2 R, ist also von der in (a) angegebenen Form.
(c) Bestimmen Sie Aut.ZŒX/ und Aut.QŒX/.
14.5 Ist die Gruppe Z

54 zyklisch? Geben Sie eventuell ein erzeugendes Element an.
14.6 Prüfen Sie auf algebraische Unabhängigkeit:

p p
(a) 2 und 5 über Q.
(b) X 2 und X über R für eine Unbestimmte X über R.
14.7 Es seien R ein Integritätsbereich und P 2 RŒX. Zeigen Sie, dass die Abbil-
dung

RŒX ! RŒX
"P W
Q 7! Q.P /
genau dann ein Automorphismus von RŒX ist, wenn deg.P / D 1 gilt und der höchste
Koeffizient von P eine Einheit in R ist.
14.8 Im folgenden sind jeweils Polynome P; Q 2 RŒX über einem Ring R ge-
geben. Untersuchen Sie, ob Polynome S; T 2 RŒX mit P D S Q C T mit deg.T / <
deg.Q/ existieren, und berechnen Sie diese gegebenenfalls (bzw. begründen Sie, warum
diese nicht existieren).
(a) P D 4X N C 1, Q D 3X
N 4 C 2X N 2 X 2 Z8 ŒX.
(b) P D X C 2, Q D 3X C 1 2 QŒX.
3 2
(c) P D 3X 3 C 2X 2 , Q D 3X 2 C 1 2 ZŒX.
(d) P D 6X 4 2X 3 C 3X 2 , Q D 2X 2 C 1 2 ZŒX.
(e) P D 3X N C 1,
N 3 C 2X N Q D 6X
N 2 C X 2 Z8 ŒX.
14.2 Lösungen
14.1 Man beachte die Ähnlichkeit bzw. den Unterschied von RŒX und RŒŒX:
RŒX ist die Menge aller Folgen in R mit endlichem Träger,
RŒX D fP j P W N0 ! R ; P .i/ D 0 für fast alle i 2 N0 g ;

14.2 Lösungen 113
RŒŒX ist die Menge aller Folgen in R.
RŒŒX D fP j P W N0 ! Rg ;
Damit gilt RŒX RŒŒX. Da die Verknüpfungen C und in RŒŒX analog (bzw. ver-
allgemeinernd) zu den Verknüpfungen C und in RŒX erklärt sind, können wir auf
den Nachweis der Ringaxiome für .RŒŒX; C; / auf den entsprechenden Nachweis der
Ringaxiome für .RŒX; C; / verweisen (siehe Lemma 14.1 (Algebrabuch)). Damit ist
.RŒŒX; C; / ein kommutativer Erweiterungsring mit 1 von RŒX, das Einselement ist:
8
< N0 ! R
1W 1 ; falls n D 0 :
: n 7!
0 ; falls n 6D 0
(a) Ein Integritätsbereich ist ein nullteilerfreier, kommutativer Ring mit 1. Da sowohl R
als auch RŒŒX kommutative Ringe mit 1 sind, ist in dieser Aufgabenstellung alleine die
Nullteilerfreiheit zu betrachten:
): Ist RŒŒX ein Integritätsbereich, so ist RŒŒX nullteilerfrei. Wegen R RŒŒX (nach
Identifikation) ist dann auch R nullteilerfrei und daher ein Integritätsbereich.
(: Es sei R ein Integritätsbereich, also nullteilerfrei. Wir multiplizieren zwei Elemente
P; Q ungleich dem Nullelement aus RŒŒX und zeigen, dass auch das Produkt ungleich
P P1
0 ist: Es seien P D 1i Dm ai X , Q D
i
j Dn bj X 2 RŒŒX mit am ; bn ¤ 0. Dann ist
j
P Q D am bn X mCn C evtl. Terme höherer Potenz .
Da R nullteilerfrei ist, ist am bn ¤ 0, also P Q ¤ 0. Folglich ist RŒŒX nullteilerfrei und

somit ein Integritätsbereich.
P
(b) Wir zeigen RŒŒX D f 1
i D0 ai X j a0 2 R g:
i
P1 P
: Es sei P D i Dm ai X i 2 RŒŒX, am ¤ 0. Dann gibt es ein Q D j1Dn bj X j 2
RŒŒX, bn ¤ 0 mit P Q D 1. Wie in (a) gezeigt, gilt dann:
1 D P Q D am bn X mCn C evtl. Terme höherer Potenz .
Ein Koeffizientenvergleich liefert m D n D 0 und damit a0 b0 D 1, also a0 2 R .

P P1
: Es sei P D 1 i
i D0 ai X , a0 2 R . Wir definieren Q D j D0 bj X 2 RŒŒX rekursiv
j
durch:
b0 WD a01 und bj WD a01 .aj b0 C aj 1 b1 C C a1 bj 1 /
für j > 0. Dann gilt P Q D Q P D 1, also P 2 RŒŒX.
(c) Aus der Formel in (b) folgt
X X
.1 X/1 D X i und .1 X 2 /1 D X 2i :
i 2N0 i 2N0
114 14 Polynomringe
14.2 Die wohlbekannte Division mit Rest (siehe Lemma 14.6 (Algebrabuch)) liefert:
(a) 2 X 4 3 X 3 4 X 2 5 X C 6 D .2 X 2 C 3 X C 3/ .X 2 3 X C 1/ C .X C 3/.
(b) X 4 2 X 3 C 4 X 2 6 X C 8 D .X 3 X 2 C 3 X 3/ .X 1/ C 5.
p p
14.3 Gesucht ist ein Polynom P D an X n C a1 X C a0 2 ZŒX, das a WD 2 C 3 2
als Nullstelle hat, P .a/ D 0. Wir bestimmen ein solches Polynom P wie folgt durch
geschicktes, sukzessives Potenzieren, um die Wurzeln zu eliminieren. Es gilt:
p p
3
p
a WD 2C 2 ) .a 2/3 D 2 :
Nun schreiben wir diese dritte Potenz mit der Binomialformel aus und erhalten
p p 2 p
.a 2/3 D a3 3 2a C 3 2a 2 2 D 2:
p
Wir sortieren die Terme: Alle Terme, in denen 2 vorkommt, kommen nach rechts, der
Rest nach links: p
a3 C 6 a 2 D 2 .3 a2 C 2/ :
Nun wird quadriert:

.a3 C 6 a 2/2 D 2 .3 a2 C 2/2 :
Wir multiplizieren aus und schaffen alles nach links:
a6 C 36 a2 C 4 C 12a4 4 a3 24 a D 18 a4 C 24 a2 C 8 ,
a6 6 a4 4 a3 C 12 a2 24 a 4 D 0 :
p p
Also ist a D 2C 3
2 Nullstelle des Polynoms
P D X 6 6 X 4 4 X 3 C 12 X 2 24 X 4 2 ZŒX :
14.4 (a) Die Existenz eines eindeutig bestimmen Endomorphismus ' mit den gewünsch-
ten Eigenschaften folgt sofort aus Satz 14.3 (Algebrabuch). Dann ist aber noch zu begrün-
den, dass dieser Endomorphismus bijektiv ist. Das machen wir nach bekannter Manier,
indem wir zeigen, dass es einen Endomorphismus mit ' D IdRŒX D ' gibt, aber
eines nach dem anderen:
Nach Satz 14.3 (Algebrabuch) existiert genau ein Endomorphismus ' von RŒX mit
'jR D IdR und '.X/ D a X C b. Um das gesuchte zu bestimmen, lösen wir nach
X auf: Es gilt
X D a1 .'.X/ b/ D '.a1 X a1 b/ :
14.2 Lösungen 115
Erneut wegen Satz 14.3 (Algebrabuch) gibt es einen Endomorphismus von RŒX mit
.X/ D a1 X a1 b ; jR D IdR :
Es folgt
' jR D IdR D 'jR und ' .X/ D X
sowie
'.X/ D .a X C b/ D a .a1 X a1 b/ C b D X :
Aufgrund der Eindeutigkeitsaussage in Satz 14.3 (Algebrabuch) gilt
' D IdRŒX D ';
sodass ' 2 Aut RŒX.

P
Alternative: Wegen '.a1 X a1 b/ D X ist ' surjektiv: '. ai .a1 X a1 b/i / D
P P P
ai X i ; und ' ist injektiv: 0 D '. niD0 ai X i / mit an 6D 0, d. h. niD0 ai .a X Cb/i D 0
liefert an an D 0, somit an D 0.
P
(b) Es sei ' 2 Aut RŒX und '.X/ DW Y . Es existiert A D niD0 ai X i 2 RŒX mit
X
n
X D '.A/ D ai Y i : ()
i D0
Wegen deg Y i D i deg Y (vgl. die Gradformel in Lemma 14.4 (Algebrabuch)) folgt
deg Y D 1, also Y D a X C b mit a; b 2 R, a 6D 0, und ai D 0 für i 2 in (),
d. h. X D a0 C a1 .a X C b/. Dies hat a1 a D 1, also a 2 R zur Folge.
(c) Für ' 2 Aut ZŒX und ' 2 Aut QŒX gilt '.1/ D 1 und damit '.n/ D '.1C C1/ D
n, '.n/ D '.n/ D n für n 2 N sowie im zweiten Fall, also für ' 2 Aut QŒX,
'.z/
'. nz / D '.n/ D nz für z 2 Z, n 2 N. Das begründet:
'jZ D IdZ bzw. 'jQ D IdQ :
Jetzt können wir die Aussagen in (a) und (b) anwenden, es folgt:
Aut ZŒX D f'Y j Y D ˙X C z ; z 2 Zg ;

Aut QŒX D f'Y j Y D a X C b ; a; b 2 Q ; a 6D 0g ;
wobei
X
n X
n
'Y W ai X i 7! ai Y i :
i D0 i D0
116 14 Polynomringe
14.5 Wegen 54 D 2 33 ist Z

54 Š Z2 Z27 Š Z27 nach Korollar 14.12 (Algebrabuch)
zyklisch.
Ein erzeugendes Element haben wir bereits in der Lösung zur Aufgabe 5.3 angegeben:
Z
54 D h5i. Wegen '.54/ D '.2/ '.3 / D 18 gilt jZ54 j D 18 (hier bezeichnet ' natürlich
3
die Euler’sche '-Funktion).
Bemerkung Mit dem Korollar 14.12 (Algebrabuch) ist es einfach zu entscheiden, ob Z n

zyklisch ist oder nicht. Das Korollar liefert aber keinen (effizienten) Algorithmus, um ein
erzeugendes Element zu bestimmen. Hier ist man tatsächlich im Allgemeinen auf Probie-
ren angewiesen: Sind a1 ; a2 ; : : : die ersten Elemente von Z n , so testet man sukzessive,
ob die Elemente ai die Ordnung '.n/ haben. Ist aber erst mal ein Element a der Ord-
nung '.n/, sprich ein Erzeuger a von Z n , gefunden, so kennt man nach Korollar 5.11
(Algebrabuch) alle Erzeuger; es sind dies dann fak j ggT.'.n/; k/ D 1g.
p p
14.6 (a) Die Frage ist, ob es ein Polynom 0 6D P 2 QŒX1 ; X2 gibtpmit P . 2;
p 5/ D 0.
p man schnell die (polynomiale) Relation . 2/ 5 . 5/ D2 0.
2 2 2
Durch Probieren
p findet
Damit sind 2 und 5 über Q algebraisch p pabhängig: Es ist nämlich 0 6D P WD X1
2
X
5 2
2
2 QŒX 1 ; X 2 ein Polynom mit P . 2; 5/ D 0.
(b) Wie im Teil (a) findet man durch Probieren, dass X 2 und X über R algebraisch abhän-
gig sind: Es ist 0 6D P D X1 X22 2 RŒX1 ; X2 ein Polynom mit P .X 2 ; X/ D 0.
14.7 Bei der Abbildung "P wird in das Polynom Q 2 RŒX das Polynom P eingesetzt.
Daher betrachten wir den Satz 14.5 (Algebrabuch) zum Einsetzhomomorphismus: Nach
P
diesem Satz ist "P mit mit R0 D RŒX ein Ringendomorphismus. Es sei P D niD0 ai X i ,
deg P D n. Zu zeigen ist nun:
"P ist genau dann bijektiv, wenn n D 1 und an D a1 2 R .
)W Es sei "P bijektiv. Dann muss es ja auch ein Polynom Q geben mit Q.P / D X.
Hier bietet es sich an, den Grad links und rechts zu vergleichen: Rechts ist der Grad 1,
also muss er das links auch sein, somit haben P und Q den Grad 1, genauer: Es existiert
P
Q D kiD0 bi X i mit deg Q D k in RŒX, sodass
X
k
bi P i D Q.P / D X :
i D0
Wegen deg P i D i n (beachte die Gradformel in Lemma 14.4 (Algebrabuch)) folgt n D

1 D k, d. h.
P D a0 C a1 X ; Q D b0 C b1 X ; Q.P / D b0 C b1 .a0 C a1 X/ D X :
14.2 Lösungen 117
Nun liefert ein Koeffizientenvergleich b1 a1 D 1, also a1 2 R , und b1 D a11 , sowie

b0 C b1 a0 D 0, d. h. b0 D a0 a11 , d. h. Q D a11 a0 C a11 X.
Insbesondere gilt n D 1 und an D a1 2 R .
(W Es gelte n D 1 und an D a1 2 R , d. h. P D a0 C a1 X mit a1 2 R . Für
Q WD a11 a0 C a11 X folgt
./ Q.P / D X und ./ P .Q/ D X :
Behauptung: "P "Q D IdRŒX D "Q "P (womit die Bijektivität von "P bewiesen ist).
Begründung: Offenbar gilt "P "Q jR D IdR D "Q "P jR . Wegen ./, ./ folgt die Behaup-
tung mit Satz 14.3 (Algebrabuch).
Bemerkung Den zweiten Teil hätten wir mit einem Hinweis auf die Lösung zu Aufga-
be 14.4 wesentlich verkürzen können.
14.8 Wir führen (mit Ausnahme bei (e)) jeweils eine Polynomdivision durch:
(a) Der Leitkoeffizient von Q ist invertierbar, sodass Polynomdivision in jedem Fall
klappt. Wir erhalten
N 2 C 4X
S D 4X N C 4;
N N C 1N :
T D 6X
(b) Auch hier ist der Leitkoeffizient (in Q) invertierbar, und es ist
1 1
SD X ; T D X C2:
3 3
(c) Wir ignorieren vorläufig die Tatsache, dass wir eine Division mit Rest über Z durch-
zuführen haben, und führen eine solche über Q durch: Wir erhalten
2 2
SQ D X C 2 QŒX und TQ D X 2 QŒX :
3 3
Angenommen, es gibt auch S; T 2 ZŒX mit P D S Q C T und deg.T / < deg.Q/.
Da ZŒX QŒX und die Elemente S und T , die man bei der Division mit Rest erhält,
offenbar eindeutig bestimmt sind, gälte also S D SQ und T D TQ . Damit existieren also
keine S; T 2 ZŒX mit den genannten Eigenschaften.
(d) Eine Polynomdivision über Q liefert S D 3X 2 X; T D X 2 ZŒX.
(e) Aus Gradgründen gilt S D a X C b und T D c X C d mit a; b; c; d 2 Z8 , woraus
durch einen Koeffizientenvergleich 3N D 6N a folgt. Diese Gleichung ist aber in Z8 nicht
lösbar, sodass es keine Polynome S; T 2 Z8 ŒX mit den gewünschten Eigenschaften
gibt.
Ideale 15
15.1 Aufgaben
15.1 Bestimmen Sie für die folgenden Ideale A von R ein Element a 2 R mit
A D .a/:
(a) R D Z, A D .3; 8; 9/. (b) R D Z18 , A D .3; 8; 9/.
15.2 Zeigen Sie: Für eine nichtleere Teilmenge M eines Ringes R besteht .M / aus
allen endlichen Summen von Elementen der Form n a, r a, a s, r a s mit a 2 M , r; s 2 R
und n 2 Z. Folgern Sie:
(a) Besitzt R ein Einselement, so gilt

( n )
X
.M / D ri ai si j ri ; si 2 R; ai 2 M; n 2 N :
i D1
(b) Ist R kommutativ, so gilt

( n )
X
.M / D ri ai C ni bi j ri 2 R; ai ; bi 2 M; ni 2 Z; n 2 N :
i D1
15.3 Lokalisierung. Es sei R ein Integritätsbereich mit dem Primideal P . Zeigen

Sie:
(a) S WD R n P ist eine Unterhalbgruppe von .R; /.

(b) M WD f ps j p 2 P; s 2 Sg ist die Menge der Nichteinheiten des Ringes RS WD
f as j a 2 R; s 2 Sg.
(c) M ist ein Ideal von RS , das alle Ideale 6D RS von RS umfasst.
(d) Im Fall R WD Z; P WD p Z für eine Primzahl p, gilt RS =M Š Zp .

120 15 Ideale
p
15.4 Es sei R ein kommutativer Ring mit dem Ideal A. Man nennt A WD fa p2
R j an 2 A für ein n 2 Ng das Radikal von A. Man nennt A reduziert, wenn A D A
gilt. Zeigen Sie:
p
(a) A ist ein Ideal in R.
(b) A ist genau dann reduziert, wenn R=A keine nilpotenten Elemente 6D 0 besitzt. Dabei
heißt ein Element a eines Ringes nilpotent, wenn an D 0 für ein n 2 N.
(c) Primideale sind reduziert. p
(d) Bestimmen Sie das sogenannte Nilradikal N WD .0/ in Zn sowie Zn =N .
15.5 Es seien R ein kommutativer Ring mit 1, H eine Unterhalbgruppe von .R; /
mit 0 62 H und A ein Ideal von R mit A \ H D ;. Man zeige:
(a) Die Menge X aller A umfassenden, zu H disjunkten Ideale von R besitzt bzgl.
maximale Elemente. Hinweis: Zorn’sches Lemma.
(b) Die maximalen Elemente von X sind Primideale.
15.6 Führen Sie einen direkten Beweis von Lemma 15.18 (Algebrabuch): Jedes
maximale Ideal eines kommutativen Ringes R mit 1 ist ein Primideal.
15.7 Geben Sie einen weiteren Beweis von Korollar 15.17 (Algebrabuch) an: Ein
Ideal M 6D R eines kommutativen Ringes R mit 1 ist genau dann maximal, wenn R=M
ein Körper ist.
15.8 Begründen Sie: Ein kommutativer Ring R mit 1 ist genau dann ein lokaler
Ring, wenn die Menge R n R der Nichteinheiten ein Ideal in R ist.
15.9 Zeigen Sie: Jede Untergruppe der additiven Gruppe Z=nZ (n 2 N) ist ein
Ideal des Ringes Z=nZ. Bestimmen Sie die maximalen Ideale von Z=nZ.
p
15.10 In jedem kommutativen Ring ist das Nilradikal N WD .0/ der Durchschnitt
D aller Primideale. Hinweis: Verwenden Sie Aufgabe 15.5.
p
15.11 Verifizieren Sie die folgenden Gleichungen für Idealprodukte in ZŒ 5:
p p
(a) .2; 1 C p 5/ .2; 1 p 5/ D .2/. p
(b) .2; 1 5/ .3; 1 5/ D .1 5/.
15.1 Aufgaben 121
15.12 Beweisen Sie die folgende Verallgemeinerung des chinesischen Restsat-
zes 6.8 (Algebrabuch): Es sei R ein Ring mit 1, und es seien A1 ; : : : ; An Ideale von R mit
Ai C Aj D R für alle i 6D j (paarweise Teilerfremdheit) . Dann ist die Abbildung

R=.A1 \ \ An / ! R=A1 R=An
W
a C A1 \ \ An 7! .a C A1 ; : : : ; a C An /
ein Ringisomorphismus.
15.13 Wir betrachten den Ring R D ZŒX und die Ideale
I WD ff 2 R j f .1/ 0 .mod 3/g, L WD f3 p C .X 1/ q j p; q 2 Rg,

J WD .3/, M WD .10; X/.
K WD .X 1/,
(a) Zeigen Sie, dass I und L tatsächlich Ideale von R sind.

(b) Zeigen Sie: J 6 K, K 6 J , J; K L I .
(c) Geben Sie ein Element in .J \ K/ n f0g an.
(d) Bestimmen Sie ein Erzeugendensystem von L M .
(e) Geben Sie einen surjektiven Ringhomomorphismus W R ! Z an mit Kern D K.
Wie lautet der Homomorphiesatz? Ist K Primideal bzw. maximales Ideal?
(f) Geben Sie einen surjektiven Ringhomomorphismus W R ! Z3 ŒX an mit
Kern D J . Wie lautet der Homomorphiesatz? Ist J Primideal bzw. maximales
Ideal?
(g) Geben Sie einen surjektiven Ringhomomorphismus W R ! Z3 an mit Kern D I .
Wie lautet der Homomorphiesatz? Ist I Primideal bzw. maximales Ideal?
(h) Zeigen Sie I D L.
(i) Zu welchem bekannten Ring ist R=M isomorph? Ist M Primideal bzw. maximales
Ideal?
15.14 Im Folgenden ist im kommutativen Ring R D ZŒX jeweils ein Ideal I gege-
ben. Untersuchen Sie, ob I prim, maximal, oder keines von beiden ist. Geben Sie jeweils
eine kurze Begründung an.
(a) I D .3; X C 3/. (c) I D .2X C 3; X C 1/. (e) I D .X 2/.

(b) I D .8; X C 1/. (d) I D .X 5 /. (f) I D .21; 28/.
15.15 Es sei D der Ring der differenzierbaren Funktionen f W R ! R, mit punkt-

weise definierter Addition und Multiplikation.
(a) Zeigen Sie, dass die Menge I WD ff 2 D j f .0/ D f 0 .0/ D 0g ein Ideal in D ist.
122 15 Ideale
(b) Wir betrachten nun den Polynomring RŒX und das von X 2 erzeugte Ideal .X 2 / D
fp X 2 j p 2 RŒXg in RŒX. Geben Sie einen surjektiven Ringhomomorphismus W
RŒX ! D=I an, und folgern Sie RŒX=.X 2 / Š D=I mit dem Homomorphiesatz.
15.16 Es sei R ein kommutativer Ring. Wir betrachten die Teilmenge
( )
X
n
A WD ai X i 2 RŒX j n 2 N; ai 2 R; a1 D 0 RŒX
i D0
des Polynomrings über R in der Variablen X.
(a) Zeigen Sie: A ist ein Teilring von RŒX.

(b) Es sei weiter RŒX1 ; X2 der Polynomring über R in den beiden Variablen X1 und X2 .
Zeigen Sie, dass durch
W RŒX1 ; X2 ! A; f .X1 ; X2 / 7! f .X 2 ; X 3 /
ein surjektiver Ringhomomorphismus gegeben ist.

(c) Folgern Sie A Š RŒX1 ; X2 =.X13 X22 / mit dem Homomorphiesatz.
15.2 Lösungen
15.1 (a) Wegen 9; 8 2 A gilt auch 9 8 D 1 2 A. Somit gilt A D Z, genauer A D .1/ D

Z.
(b) Analog zu (a) erhalten wir A D .1/ D Z18 .
15.2 Ist A ein Ideal, das M enthält, dann enthält es mit a 2 M per Definition eines
Ideals auch alle Vielfachen n a mit n 2 Z und r a, a s, r a s mit r; s 2 R; dann auch alle
endlichen Summen von solchen Elementen. Andererseits ist aber die Menge
(
X X X X
SD ri ai si C ri0 ai0 C ai00 si00 C ni ai000 j
endl. endl. endl. endl.
)
ri ; si ; ri0 ; si0 2 R; ai ; ai0 ; ai00 ; ai000 2 M; ni 2 Z
ein Ideal in R, denn die Differenz zweier Elemente aus S ist wieder eine Summe der
angegebenen Art, und offensichtlich ist S auch invariant unter Links- und Rechtsmultipli-
kationen. Damit ist S das kleinste Ideal, das M enthält, d. h. .M / D S.
15.2 Lösungen 123
(a) Hat R ein Einselement, dann kann man r a D r a 1, a r D 1 a r und für n 2 Z

ebenfalls n a D n .1 a/ D .n 1/ a 1 setzen. Wir sehen, dass die Summen aus .M / D S
P
sich alle in der Form ri ai si , ai 2 M , ri ; si 2 R schreiben lassen.
endl.
(b) Ist R kommutativ, dann sind wegen r a s D .r s/ a und a r D r a die Summen aus S
P P
alle von der Form i ri ai C i ni ai0 .
15.3 (a) Zu zeigen ist die Abgeschlossenheit der Multiplikation, d. h. a; b 2 S ) a b 2

S. Angenommen, a b 62 S für a; b 2 S. Dann gilt aber a b 2 P . Da P aber ein Primideal
ist, folgt a 2 P oder b 2 P ; das widerspricht a; b 2 S D R n P .
(b) Offenbar ist RS WD f as j a 2 R; s 2 Sg mit C und (die wie üblich erklärte Addition
bzw. Multiplikation von Brüchen) ein Ring, da S nach (a) multiplikativ abgeschlossen ist.
Zu zeigen ist:
M D RS n RS :
: Es sei p
s
2 M . Dann gilt p
s
2 RS . Angenommen, p
s
2 RS . Dann existieren b 2 R; t 2
S mit
1 p b pb
D D ; d. h. p b D s t 2 S ;
1 s t st
sodass s t 2 P , also s 2 P oder t 2 P gilt. Dieser Widerspruch belegt: p
s 2 RS n RS .
: Es sei a
s 2 RS n RS . Angenommen, a
s 62 M . Dann gilt a 62 P und daher s
a 2 RS . Es
folgt
a s as 1
D D ;
s a sa 1
sodass a
s
2 RS . Dieser Widerspruch zeigt as 2 M .
p0
(c) Für ps ; s0 2 M und a
t 2 RS mit p; p 0 2 P , a 2 R, s; s 0 2 S gilt
p p0 ps 0 sp 0 a p ap
0 D 2 M und D 2M;
s s ss 0 t s ts
weil p s s p 0 2 P und a p 2 P . Somit ist M ein Ideal in RS .

Ein Ideal A 6D RS von RS enthält nach Lemma 15.4 (Algebrabuch) keine Einheit. Mit
dem Teil (b) folgt A M .
(d) Gesucht ist ein Isomorphismus zwischen Zp und RS =M . Bei der Suche nach Isomor-
phismen eines Faktorringes in einen Ring ist oftmals der Homomorphiesatz nützlich. Nach
dem Homomorphiesatz 15.12 (Algebrabuch) erhalten wir einen solchen Isomorphismus
aus einem Epimorphismus W Z ! RS =M mit Kern p Z. Wir betrachten die Abbildung

Z ! RS =M
W :
z 7! z
1
CM
124 15 Ideale
Die Abbildung ist offenbar ein Ringhomomorphismus.

Wir bestimmen den Kern von : Es gilt
z z
CM DM , 2 M , z 2 pZ:
1 1
Damit ist p Z der Kern von .

Die Abbildung ist surjektiv: Zu zeigen ist hierzu, dass zu a
s
2 RS , d. h. a 2 R; s 2 S,
ein z 2 Z existiert mit
a z a zs a z
C M D C M ; d. h. D 2M:
s 1 s s 1
Wir haben damit die Surjektivität von gezeigt, wenn wir nur nachweisen können,
dass zu a 2 Z und s 2 S D Z n p Z ein z 2 Z existiert mit a z s 2 p Z, d. h. a D
z s C p k für ein k 2 Z. An dieser letzten Gleichung erkennt man nun leicht, wie man
vorgehen kann: Nach Korollar 5.5 (Algebrabuch) existieren wegen der Teilerfremdheit
von s und p ganze Zahlen x; y 2 Z mit x sCy p D 1. Multiplikation dieser Gleichung
mit a liefert
a .a x/ s D .a y/ p 2 p Z D P :
Mit der Wahl z D a x folgt die Surjektivität von .
Damit liefert der Homomorphiesatz die zu zeigende Isomorphie Zp Š ZZnpZ =M .
p
15.4
p (a) Wir gehen p wie folgt vor:pWir wählen x; y 2 A und z 2 R und zeigen x C y 2
A und x z 2 A. Dann ist A ein Ideal. p Da derpRing R kommutativ ist und ein
Einselement hat, ist dann nämlich auch x 2 A, also A eine Untergruppe von .R; C/:
p
Zu x; y 2 A existieren r; s 2 N mit x r ; y s 2 A. Es folgt
rCs
X
r Cs
.x C y/rCs D x i y rCsi 2 A ;
i
i D0
p
also x C y 2 A, denn
falls i r W x i y rCsi D x r .x i r y rCsi / 2 A ;

falls i r W r C s i s ) x i y rCsi D .x i y rCsi s / y s 2 A :
p
Und .x z/r D x r z r 2 A, d. h. x z 2 A.
p
(b) ): Es sei A reduziert, also A D A. Angenommen, es gibt in R=A ein nilpotentes
Element x C A ungleich 0, d. h. x C A 6D A und .x C A/n D x n C A D A. Dann gilt
15.2 Lösungen 125
p
aber x 62 A und x n 2 A, sodass x 2 A n A. Dieser Widerspruch belegt, dass R=A kein
nilpotentes Element 6D 0 enthält.
(: R=A enthalte keinpnilpotentes Element 6D 0. Angenommen, A ist nicht reduziert.

Dann existiert ein x 2 A n A. Es folgt x n 2 A für ein n 2 N und x 62 A. Damit ist aber
das Element x C A ungleich 0 und nilpotent. Dieser Widerspruch zeigt, dass A reduziert
ist.
Man beachte, dass man die Behauptung auch kurz und bündig wie folgt begründen kann:
p
x C A 6D A nilpotent , x 62 A und x n C A D .x C A/n D A , x 2 A n A:
(c) Zum Nachweis bietet sich die Aussage in (b) an, da der Faktorring R=A nach einem
Primideal A nach Lemma 15.15 (Algebrabuch) nullteilerfrei ist, insbesondere gilt x n 6D 0
für alle x 6D 0. Folglich enthält R=A keine nilpotenten Elemente 6D 0. Nach (b) ist A
somit reduziert.
(d) Für x 2 Z existiert genau dann k 2 N mit x k 2 n Z, d. h. n j x k , wenn jeder Primteiler

ein Teiler von x ist. Wenn p1 ; : : : ; pr die verschiedenen
von n p p Primteiler von n sind, gilt
somit .0/ D fx C n Z j p1 pr j xg. Beispielsweise gilt .0/ D f0; 10g in Z20 .
p pp p
Wegen N D N (allgemeiner gilt offenbar A D A) ist N reduziert. Nach (b)
enthält Zn =N daher keine nilpotenten Elemente 6D 0. Da das Nilradikal von Zn =N aber
gerade die Menge aller nilpotenten Elemente von Zn =N ist, ist somit dieses Nilradikal
gerade f0g, sprich fN g.
15.5 Wir benutzen das Zorn’sche Lemma und gehen analog vor wie im Beweis zum Satz
von Krull, siehe Satz 15.19 (Algebrabuch):
Die Menge X aller A umfassenden, zu H disjunkten Ideale von R ist nicht leer, X 6D ;,
weil A 2 X und bzgl. der Inklusion eine geordnete Menge.
(a) Es sei K 6D ; eine Kette in X, d. h.:
C ; C 0 2 K ) C C 0 oder C 0 C :
S
Wir zeigen, dass B WD C 2K C ein Ideal von R ist: Zu x; y 2 B existieren C; C 0 2 K
mit x 2 C , y 2 C 0 und o. E. C C 0 , sodass x r 2 C B für jedes r 2 R und
x y 2 C 0 B.
Weiter ist B zu H disjunkt: Wegen C \ H D ; für jedes C 2 K gilt nämlich auch

B \ H D ;.
Damit ist also B ein zu H disjunktes Ideal von R und somit ein Element von X, B 2 X.
126 15 Ideale
Weiterhin ist B offensichtlich eine obere Schranke von K in .X; /. Somit ist .X; /
induktiv geordnet und besitzt nach dem Lemma von Zorn ein maximales Element.
(b) Es sei M 2 X maximal in .X; /. Wir begründen, dass M ein Primideal ist: Ange-
nommen, es gilt a b 2 M , aber a 62 M; b 62 M . Dann gilt M ¨ .a/ C M , M ¨ .b/ C M ,
also wegen der Maximalität von M notwendig ..a/ C M / \ H 6D ;, ..b/ C M / \ H 6D ;,
etwa h D r a C m 2 H , h0 D r 0 b C m0 2 H mit r; r 0 2 R und m; m0 2 M . Es folgt
H 3 h h0 D .r a C m/ .r 0 b C m0 / D r r 0 a C r a m0 C r 0 b m C m m0 2 M
im Widerspruch zu H \ M D ;. Dieser Widerspruch belegt, dass M ein Primideal ist.
15.6 Es sei M ein maximales Ideal von R. Für a; b 2 R gelte a b 2 M . Es sei o. E.

a 62 M . Dann gilt wegen der Maximalität von M (beachte Lemma 15.8 (Algebrabuch)
(a)):
.a/ C M D R a C M D R :
Es existiert also ein r 2 R und m 2 M mit
1 D r a C m ; also b D r a b C m b :
Wegen r a b 2 M und m b 2 M gilt b 2 M . Folglich ist M ein Primideal.
15.7 (: Es sei R=M ein Körper. Dann gilt M 6D R, da R=M als Körper mindestens
zwei Elemente enthält. Es sei A ein Ideal, das M enthält, M A R. Wir zeigen
A D M oder A D R, dann ist M maximal.
Es ist A=M ein Ideal des Körpers R=M . Da ein Körper aber nur die trivialen Ideale .0/
und .1/ enthält, gilt A=M D .0/ oder A=M D R=M , d. h. A D M oder A D R. Damit
ist diese Richtung bewiesen.
): Es sei M ein maximales Ideal. Zu zeigen ist, dass R=M ein Körper ist. Dazu reicht
es aus zu zeigen, dass jedes 0 6D a C M 2 R=M invertierbar ist: Es sei a C M 6D 0,
d. h. a 2 R n M . Wegen der Maximalität von M ist nun .a/ C M ein Ideal, das M echt
umfasst, also .a/ C M D R. Folglich existieren m 2 M und r 2 R mit
1 D r a C m:
Aber das bedeutet gerade
.r C M / .a C M / D 1 C M :
Somit ist a C M invertierbar (das Inverse ist r C M ).

15.2 Lösungen 127
15.8 (: Ist die Menge M D R n R ein Ideal des kommutativen Ringes R mit 1, so ist
dieses Ideal M
maximal, da jedes Ideal A mit M ¨ A R nämlich eine Einheit enthält und somit
A D R erfüllt (beachte Lemma 15.4 (Algebrabuch)), und
das einzige maximale Ideal von R, da jedes (maximale) Ideal A ¨ R keine Einheiten
enthält und somit A M erfüllt.
Somit ist R ein ein lokaler Ring.

): Der kommutative Ring R mit 1 sei ein lokaler Ring mit einzigem maximalen Ideal
M . Wir zeigen die Gleichheit M D R n R :
M R n R : Da M ein maximales Ideal in R ist, gilt M ¨ R. Somit enthält M keine
Einheiten von R, es gilt also M R n R .
R n R M : Für jede Nichteinheit a 2 R n R ist .a/ D R a ein von R verschiedenes
Ideal. Nach dem Satz 15.19 (Algebrabuch) von Krull liegt .a/ in einem maximalen Ideal,
das nur M sein kann: .a/ M . Wegen a 2 .a/ gilt a 2 M , d. h. R n R M .
15.9 Wir sammeln erst mal Informationen:
Die additive Gruppe Zn ist zyklisch, Zn D h1i D f0; 1; : : : ; n 1g.

Jede Untergruppe U der zyklischen Gruppe Zn ist zyklisch, U D hd i (siehe Lem-
ma 5.1 (Algebrabuch)).
Eine endliche zyklische Gruppe hat zu jedem Teiler d der Gruppenordnung n genau
eine Untergruppe der Ordnung d (siehe Lemma 5.2 (Algebrabuch)).
Ist nun U eine Untergruppe der additiven Gruppe Zn , so gilt U D hd i für einen Teiler d
von n. Für jedes u 2 U und a 2 Zn gilt u D k d C n Z mit k 2 Z und a D a C n Z und
daher a u 2 U . Somit ist U ein Ideal.
Damit sind die Ideale von Z=nZ genau die Untergruppen von .Z=nZ; C/. Die maximalen
Ideale finden wir nun als die maximalen Untergruppen, und das sind offenbar genau jene
Untergruppen vom Primzahlindex. Sind also p1 ; : : : ; pr die Primteiler von n, so sind die
maximalen Ideale von Z=nZ genau die Gruppen bzw. Ideale:
hp i i D .p i / ; i D 1; 2; : : : ; r :
15.10 Wir beachten die Definition aus Aufgabe 15.4 und zeigen D D N , wobei
p
N D .0/ D fa 2 R j an D 0 für ein n 2 Ng.
T
D D P R P der Durchschnitt aller Primideale P von R.
128 15 Ideale
D N : Es sei a 2 D. Angenommen, a 62 N , d. h. an 6D 0 für alle n 2 N. Dann

ist die Menge H WD fa; a2 ; a3 ; : : :g eine Unterhalbgruppe von .R; / mit 0 62 H . Nach
Aufgabe 15.5 existiert ein Primideal P von R mit P \H D ;. Da a 2 H , gilt also a 62 P ,
folglich a 62 D. Dieser Widerspruch belegt a 2 N , d. h. D N .
N D: Es sei a 2 N . Dann existiert ein n 2 N mit an D 0. Da für jedes Primideal P

natürlich 0 2 P gilt, erhalten wir also an 2 P für jedes Primideal P . Es folgt a 2 P oder
an1 2 P , also a 2 P oder an2 2 P , : : : schließlich folgt a 2 P für jedes Primideal P
von R. Dies impliziert a 2 D, d. h. N D.
15.11 Wir nutzen im Folgenden den Darstellungssatz 15.3 (Algebrabuch) und Lem-
ma 15.9 (Algebrabuch), wonach
.a; b/ D .a/ C .b/ :
Außerdem beachten wir Lemmata 15.8 (Algebrabuch) und 15.9 (Algebrabuch), wonach:
Œ.a/C.b/Œ.c/C.d / D .a/ .c/C.b/ .c/C.a/ .d /C.b/ .d / D .a c/C.b c/C.a d /C.b d / :
(a) Es gilt:
p p p p
.2; 1 C 5/ .2; 1 5/ D Œ.2/ C .1 C 5/ Œ.2/ C .1 5/
p p
D .2/ .2/ C .2/ .1 C 5/ C .2/ .1 5/
p p
C .1 C 5/ .1 5/
p p
D .4/ C .6/ C .2 .1 C 5// C .2 .1 5// D .2/ :
Zur Begründung des letzten Gleichheitszeichens beachte man, dass die Inklusion offen-
sichtlich ist und die Inklusion
wegen 2 D 6 4 gilt.
(b) Es gilt:
p p p p p
.2; 1 5/ .3; 1 5/ D .6/ C ..1 5/2 / C .2 .1 5// C .3 .1 5//
p p p

Sprache

Algebra (Kurt M.) - Solutions

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Algebra (Kurt M.) - Solutions

Hochgeladen von

Copyright:

Verfügbare Formate

Christian Karpfinger

ISBN 978-3-662-45980-5 ISBN 978-3-662-45981-2 (eBook)

Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie;

Planung: Dr. Andreas Rüdinger

Gedruckt auf säurefreiem und chlorfrei gebleichtem Papier.

München, im November 2014 Christian Karpfinger

4 Normalteiler und Faktorgruppen . . . . . . . . . . . . . . . . . . . . . . . . . . 27

8 Die Sätze von Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

9 Symmetrische und alternierende Gruppen . . . . . . . . . . . . . . . . . . . . 71

10 Der Hauptsatz über endliche abelsche Gruppen . . . . . . . . . . . . . . . . . 83

13 Grundbegriffe der Ringtheorie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97

16 Teilbarkeit in Integritätsbereichen . . . . . . . . . . . . . . . . . . . . . . . . . . 135

17 Faktorielle Ringe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137

18 Hauptidealringe. Euklidische Ringe . . . . . . . . . . . . . . . . . . . . . . . . . 145

19 Zerlegbarkeit in Polynomringen und noethersche Ringe . . . . . . . . . . . 157

20 Grundlagen der Körpertheorie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167

21 Einfache und algebraische Körpererweiterungen . . . . . . . . . . . . . . . . 181

22 Konstruktionen mit Zirkel und Lineal . . . . . . . . . . . . . . . . . . . . . . . 193

23 Transzendente Körpererweiterungen . . . . . . . . . . . . . . . . . . . . . . . . 197

24 Algebraischer Abschluss. Zerfällungskörper . . . . . . . . . . . . . . . . . . . 199

25 Separable Körpererweiterungen . . . . . . . . . . . . . . . . . . . . . . . . . . . 213

26 Endliche Körper . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225

27 Die Galoiskorrespondenz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239

28 Der Zwischenkörperverband einer Galoiserweiterung . . . . . . . . . . . . . 249

30 Auflösung algebraischer Gleichungen durch Radikale . . . . . . . . . . . . . 277

31 Die allgemeine Gleichung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283

1.1 Untersuchen Sie die folgenden inneren Verknüpfungen N N ! N auf Asso-

(a) .m; n/ 7! mn . (c) .m; n/ 7! ggT.m; n/.

1.2 Untersuchen Sie die folgenden inneren Verknüpfungen R R ! R auf Asso-

1.3 Mit welcher der folgenden inneren Verknüpfungen ı W Z Z ! Z ist .Z; ı/

(a) x ı y D x. (c) x ı y D .x C y/2 .

© Springer-Verlag Berlin Heidelberg 2015 1

1.7 Man zeige, dass die Teilmenge ZCZ i D fa Cb i j a; b 2 Zg von C, versehen

1.8 Es seien die Abbildungen f1 ; : : : ; f6 W R n f0; 1g ! R n f0; 1g definiert durch:

Offenbar gilt also m ı .n ı k/ D .m ı n/ ı k, sodass die Verknüpfung assoziativ ist. Sie

1.2 Wir schreiben ı für die jeweilige Verknüpfung.

d. h. x ı .y ı z/ D .x ı y/ ı z. Wegen x ı y D x C y x y D y ı x für alle x; y 2 R ist die

gilt. Die Verknüpfung ist auch nicht kommutativ, da

(b) Mit dieser Verknüpfung ist Z eine Halbgruppe, da ı assoziativ ist:

P .a1 ; : : : ; an / D .a1    ai / .ai C1    an / D .a1    ai / ..ai C1    an1 / an /

a .1/    a .n/ D .a .1/    a .k1/ / .an a .kC1/    a .n/ /

2. Fall: k D n. Dann gilt a .1/    a .n/ D .a .1/    a .n1/ / an D a1    an .

1.7 Für H WD Z C Z i und a1 ; a2 ; b1 ; b2 2 Z gilt

.a1 C b1 i/ .a2 C b2 i/ D .a1 a2 b1 b2 / C .a1 b2 C b1 a2 / i 2 H ;

denn a1 a2 b1 b2 ; a1 b2 Cb1 a2 2 Z. Damit ist H eine Unterhalbgruppe von C, insbeson-

.a; b/ 2 f.1; 0/; .1; 0/; .0; 1/; .0; 1/g ;

d. h. x 2 f1; 1; i; ig. Wegen 1  1 D 1, .1/  .1/ D 1, i . i/ D 1 folgt H D

2.1 Sudoku für Mathematiker.

2.2 Begründen Sie: .Z; C/ Š .n Z; C/ für jedes n 2 N.

2.3 Es sei G eine Gruppe. Man zeige:

(a) Ist Aut G D fIdg, so ist G abelsch.

2.4 Man bestimme alle Automorphismen der Klein’schen Vierergruppe V .

(a) G D fe; ag,

2.10 Begründen Sie:

2.13 Zeigen Sie für n 2 N und jeden Körper K:

(a) Die Menge O.n; K/ D fA 2 K nn j A A> D En g der orthogonalen n n-Matrizen

2.1 Um die unvollständige Gruppentafel zu vervollständigen, können folgende Argumen-

'n ist ein Homomorphismus: Für alle z; z 0 2 Z gilt nämlich:

'n .z C z 0 / D n .z C z 0 / D n z C n z 0 D 'n .z/ C 'n .z 0 / :

'n ist surjektiv: Für n z 2 n Z gilt 'n .z/ D n z.

Somit ist 'n für jedes n 2 N ein Isomorphismus, d. h. n Z Š Z.

2.5 Es seien k; l 2 Z. Dann gilt

'.k C l/ D "nkCl D "kn "ln D '.k/ '.l/ :

P .a1 ; : : : ; an / D .a1 ai / .ai C1 an / D .a1 ai / ..ai C1 an1 / an /

a .1/ a .n/ D .a .1/ a .k1/ / .an a .kC1/ a .n/ /

2. Fall: k D n. Dann gilt a .1/ a .n/ D .a .1/ a .n1/ / an D a1 an .

d. h. x 2 f1; 1; i; ig. Wegen 1 1 D 1, .1/ .1/ D 1, i . i/ D 1 folgt H D

Œ.an /n C .bn /n C .cn /n D .an C bn /n C .cn /n D .an C bn C cn /n und

u '.e/ D '.x/ '.e/ D '.x ı e/ D '.x/ D u

und analog '.e/ u D u. Also ist e 0 WD '.e/ neutrales Element von H .

u '.x 1 / D '.x/ '.x 1 / D '.x ı x 1 / D '.e/ D e 0

und analog '.x 1 / u D e 0 , d. h. '.x 1 / ist ein Inverses zu u.

Da der Index ŒG W H einer Untergruppe H G die Anzahl der verschiedenen Linksne-

jLj jL1 j jLn j :

a U D b U , b 1 a 2 U , b 1 a 2 Ui für alle i , a Ui D b Ui für alle i : ()

O. E. sei i D 1, i D 0. Dann gilt

also .r; s/ D .r 0 ; s 0 /. Das begründet mit ():

Daher gilt jGj D 2 2 3 D 12 und jH j D 2 2 D 4.

Damit gilt ŒG W H D 3 und somit 12 D jGj D ŒG W H jH j D 3 4.

(a) GL.n; K/= SL.n; K/ Š .K ; / für jeden Körper K.