Einf Uhrung in Die Algebra: Vorlesung Im Wintersemester 1991/92 Heinrich-Heine-Universit at D Usseldorf
Einf Uhrung in Die Algebra: Vorlesung Im Wintersemester 1991/92 Heinrich-Heine-Universit at D Usseldorf
in die
Algebra
Vorlesung im
Wintersemester 1991/92
Heinrich-Heine-Universität Düsseldorf
gehalten von
Prof. Dr. M. Pohst
Inhaltsverzeichnis
0 Vorbemerkungen 1
1 Gruppen 2
1.1 Definition — Halbgruppe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Definition — Monoid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Definition — Gruppe (Linksinverses, Rechtsinverses) . . . . . . . . . . . . . . . . . 4
1.4 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4.1 Eigenschaften von Gruppen . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5 Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.6 Definition — Untergruppe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.7 Kriterium . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.8 Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.9 Satz — Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.10 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.11 Definition — zyklische Gruppe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.12 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.13 Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.14 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.15 Definition — Normalteiler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.16 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.17 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.18 Homomorphiesatz (für Gruppen) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.19 Satz — Verallgemeinerung von (1.18) . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.20 Satz — 1. Isomorphisatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.21 Satz — 2. Isomorphiesatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.22 Definition — äußere direkte Produkt, äußere direkte Summe . . . . . . . . . . . . . 18
1.22.1 Bemerkungen und Eigenschaften von direkten Produkten von Gruppen . . 19
1.23 Definition — direktes inneres Produkt, direkte innere Summe . . . . . . . . . . . . 20
1.24 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.25 Anwendungen — Hauptsatz über endliche abelsche Gruppen . . . . . . . . . . . . 22
Operation von Gruppen und Mengen . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.26 Definition — Menge auf Gruppe operiert . . . . . . . . . . . . . . . . . . . . . . . . 23
1.27 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.28 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.29 Definition — Bahnen, Orbits, transitiv, Stabilisator . . . . . . . . . . . . . . . . . . 25
1.30 Klassengleichung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.31 Definition — p-Gruppe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.32 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.33 Definition — p-Untergruppe, p-Sylow-Untergruppe . . . . . . . . . . . . . . . . . . 29
1.34 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.35 1. Sylowscher Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.36 Korollar (Cauchy) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.37 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.38 Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.39 2. Sylowscher Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.40 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
ii Inhaltsverzeichnis
1.41 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.42 Definition — Zykel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.43 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.44 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.45 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.46 Definition — elementfremd . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.47 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.48 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.49 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.50 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.51 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
1.52 Definition — auflösbar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.53 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.54 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2 Ringe 43
2.1 Definition — Ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.1.1 Rechenregeln für Ringe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.2 Definition — Teilring (Unterring), Oberring (Erweiterungsring) . . . . . . . . . . . 44
2.3 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.4 Definition — Linksideal, Rechtsideal, Ideal . . . . . . . . . . . . . . . . . . . . . . . 45
2.5 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.6 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.7 Definition — Hauptideal, endlich erzeugbar . . . . . . . . . . . . . . . . . . . . . . 46
2.8 Definition — Summe von zwei Ideal . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.9 Definition — Produkt zweier Ideale . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.10 Satz — Faktorring R/a, Restklassenring R modulo a . . . . . . . . . . . . . . . . . 47
2.11 Definition — Ringhomomorphismus . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.12 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.13 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.14 Satz — Homomorphiesatz, erster und zweiter Isomorphisatz . . . . . . . . . . . . . 48
2.15 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.16 Definition — linker (rechter) Nullteiler, nilpotent, Einheit . . . . . . . . . . . . . . 49
2.17 Definition — Schiefkörper, Körper . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.18 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.19 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.20 Definition — Charakteristik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.21 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.22 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.23 Definition — Halbordnung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.24 Definition — Ordnung, Kette . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.25 Definition — obere Schranke, maximales Element, induktiv geordnet . . . . . . . . 53
2.26 Zornsches Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.27 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.28 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.29 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.30 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.31 Definition — lokaler Ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.32 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Quotientenbildung bei kommutativen Ringen R . . . . . . . . . . . . . . . . . . . . 55
2.33 Definition — Primideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.34 Satz — Charakterisierung von Primidealen . . . . . . . . . . . . . . . . . . . . . . 57
2.35 Definition — noetherscher Ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.36 Satz — Charakterisierung noetherscher Ringe . . . . . . . . . . . . . . . . . . . . . 58
2.37 Hilbertscher Basissatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.38 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.39 Chinesischer Restsatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Inhaltsverzeichnis iii
Teilbarkeit in Ringen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.40 Definition — Integritätring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.41 Defintion — Teiler, assoziiert, ggT, teilerfremd, kgV, Primelement, irreduziebel . . 62
2.42 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.43 Definition — Hauptidealring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.44 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.45 Definition — ZPE-Ring, faktorieller Ring, Ring mit eindeutiger Primelementzerlegung 64
2.46 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.47 Definition — euklidischer Ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.48 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Polynomringe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Gruppenringe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.49 Definition — Halbgruppenring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Polynomringe in mehreren Variablen . . . . . . . . . . . . . . . . . . . . . . 69
2.50 Definition — Monome, Grad eines Monoms, ij0 Grad, Leitkoeffizient, normiert . . 69
2.51 Hilfssatz — R-Homomorphismus . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.52 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.53 [Link] — algebraisch, transzendent . . . . . . . . . . . . . . . . . . . . . . . . 71
2.54 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
2.55 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
2.56 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.57 Satz — Gauß . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.58 1. Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.59 Definition — Inhalt, primitiv . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.60 2. Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.61 Lemma — Gauß . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.62 Satz — Irreduzibilitätskriterium von Eisenstein . . . . . . . . . . . . . . . . . . . . 74
2.63 Satz — Reduktion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.64 Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
2.65 Korollar — Zerfällungsring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.66 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.67 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.68 Definition — symmetrisch, elementarsymmetrische Funktionen . . . . . . . . . . . 79
2.69 Satz — Hauptsatz über elementarsymmetrische Funktionen . . . . . . . . . . . . . 80
2.70 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
2.71 Definition — Diskriminante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.72 Hifssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.73 Satz — Fundamentalsatz der Algebra . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.74 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
2.75 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
2.76 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
2.77 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
2.78 Definition — Derivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
iv Inhaltsverzeichnis
3 Körper 87
3.1 Definition — Grad einer Körpererweiterung (endlich, unendlich) . . . . . . . . . . 87
3.2 Gradsatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.3 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.4 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.5 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.6 Definition — transzendent, algebraisch . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.7 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.8 Definition — endlich erzeugt, einfach, primitiv . . . . . . . . . . . . . . . . . . . . 89
3.9 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
3.10 Definition — Minimalpolynom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
3.11 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.12 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.13 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.14 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
3.15 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
3.16 Definition — Zerfällungskörper . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
3.17 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
3.18 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
3.19 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
3.20 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
3.21 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
3.22 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
3.23 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
3.24 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.25 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.26 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.27 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.28 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
3.29 Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
3.30 Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
3.31 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
3.32 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
3.33 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3.34 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3.35 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3.36 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3.37 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
3.38 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
3.39 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
3.40 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
3.41 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
3.42 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
3.43 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
3.44 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
3.45 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
3.46 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
3.47 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
3.48 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
3.49 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
3.50 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
3.51 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
3.52 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
3.53 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
3.54 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
Inhaltsverzeichnis v
4 Galoistheorie 109
4.1 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.2 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.3 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
4.4 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.5 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.6 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.7 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
4.8 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
4.9 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
4.10 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
4.11 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.12 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.13 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
4.14 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
4.15 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
4.16 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.17 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.18 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
4.19 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
4.20 Korollar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
5 Kohomologiegruppen 121
5.1 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
5.2 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
5.3 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
5.4 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
5.5 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
5.6 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
5.7 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
5.8 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
5.9 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
5.10 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
5.11 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
5.12 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
5.13 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
5.14 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
5.15 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
5.16 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
5.17 Hilfssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
5.18 Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
Literaturverzeichnis 135
Stichwortverzeichnis 136
Kapitel 0: Vorbemerkungen
Herkunft:
aljahr (arabisch) bedeutet Ergänzung, Ausgleich.
⇒ Lösung von Gleichungen
Grundproblem: Gegeben Körper K oder Ring R (kommutativ mit Eins) und Polynom f (t) ∈
R[t].
Frage: Existiert x ∈ R mit f (x) = 0 (Berechnung!) bzw. Problem der Konstruktion eines Er-
weiterungskörpers bzw. Oberrings, in dem f eine Nullstelle besitzt.
Beispiel:
Problem:
Darstellung der Nullstellen durch Wurzelausdrücke. Dies geht für Polynome vom Grad ≤ 4, bei
Polynomen höheren Grades dagegen i.a. nicht mehr. (Sn ist für n ≥ 5 nicht auflösbar!)
Galoistheorie:
Gewisse Erweiterungskörper lassen sich gruppentheoretisch beschreiben.
f : M × M → M, g : N ×M →M
Abbildungen. f heißt (binäre) innere, g äußere Verknüpfung, N der Operatorbreich von g. Eine
Menge mit einer oder mehereren Verknüpfungen heißt algebraische Struktur.
Statt f (m1 , m2 ) schreibt man kurz: m1 m2 , m1 ◦ m2 , m1 · m2 bzw. m1 2 m2 .
Eine innere Verknüpfung heißt kommutativ, falls
m1 ◦ m2 = m2 ◦ m1 ∀m1 , m2 ∈ M,
assoziativ, falls
(m1 ◦ m2 ) ◦ m3 = m1 ◦ (m2 ◦ m3 ) ∀m1 , m2 m3 ∈ M
gilt.
Bemerkung:
Ohne Assoziativität sind (m1 ◦ m2 ) ◦ m3 und m1 ◦ (m2 ◦ m3 ) i.a. verschieden. Für die Verknüpfung
von 4 Elementen ergeben sich bereits 5 Möglichkeiten für das Resultat.
1.1 Definition
Eine nicht leere Menge M mit einer (binären) assoziativen inneren Verknüpfung heißt Halbgruppe.
Beispiele:
(i) (ZZ, +), (ZZ, ·), (ZZ/mZZ, +), (ZZ/mZZ, ·), n × n-Matrizen bzgl. Addition und Multiplikation.
Gegenbeispiel: x = y = 1, z = 2.
Ein Element e ∈ M heißt Linkseins (Rechtseins), falls e ◦ x = x (x ◦ e = x) für alle x ∈ M gilt. Ist
e sowohl Linkseins als auch Rechtseins, so heißt e Einselement von M .
Bemerkung:
(i) Ein Einselement ist stets eindeutig bestimmt. Sind etwa e, ẽ Einselemente, so gilt
(ii) Linkseinsen hängen natürlich (bei fester Menge) von der Verknüpfung ab:
In (ZZ, +) ist 0 Einselement, in (ZZ, ·) ist dies 1.
(iii) In einer Halbgruppe besitzt ein Produkt von n ∈ ZZ≥2 Faktoren bei jeder Beklammerung
denselben Wert (Beweis mittels Induktion über n), Klammern können folglich weggelassen
werden.
1.2 Definition
Eine Halbgruppe M mit Einselement e heißt Monoid.
Beispiel: (2ZZ, +) ist Monoid, (2ZZ, ·) nicht.
◦ -
X ×X X
f ×f /// f
? ?
2 -
Y ×Y Y
1.3 Definition
Es sei M ein Monoid, in dem zu a ∈ M stets b ∈ M mit b ◦ a = e existiert. Dann heißt M eine
Gruppe. b heißt Linksinverses zu a, analog: Rechtsinverses.
1.4 Satz
Es sei G eine Halbgruppe mit den Eigenschaften
(i) ∃e ∈ G ∀a ∈ G : e ◦ a = a;
(ii) ∀a ∈ G ∃b ∈ G : b ◦ a = e.
a◦b = e ◦ (a ◦ b)
(ii)
= (c ◦ b) ◦ (a ◦ b) = c ◦ (b ◦ a) ◦ b
= (c ◦ e) ◦ b = c ◦ (e ◦ b)
= c◦b
= e.
a◦e = a ◦ (b ◦ a)
= e◦a
= a,
d.h. e ist Rechtseins. Also ist e Einselement, G Monoid und nach (1.3) eine Gruppe.
y ◦ a = b und a ◦ x = b.
(y = b ◦ a−1 ) (x = a−1 ◦ b)
a◦c=b◦c ⇒ a = b,
d◦a=d◦b ⇒ a = b.
a◦b=b◦a ∀a, b ∈ G
gilt. In diesem Fall schreibt man ◦ zumeist als Addition. Ansonsten ◦ als Produkt:
a ◦ b =: a b.
1.5 Lemma 5
1.5 Lemma
Eine Halbgruppe G ist genau dann eine Gruppe, falls zu a, b ∈ G stets x, y ∈ G mit a ◦ x = b und
y ◦ a = b existieren.
Beweis:
⇒ klar,
⇐ Für a ∈ G existiert stets e mit e ◦ a = a.
Zu zeigen: e ◦ b = b für alle b ∈ G (⇒ e Linkseins).
Zunächst existiert x ∈ G mit a ◦ x = b, und damit wird
e ◦ b = e ◦ (a ◦ x) = (e ◦ a) ◦ x = a ◦ x = b.
Damit ist (i) von (1.4) erfüllt. Zum Nachweis von (ii) wende man die Voraussetzung für y auf das
Paar (a, e) an, also gilt die Behauptung nach (1.4).
1.6 Definition
Eine Teilmenge U einer Gruppe G heißt Untergruppe, falls U mit der Verknüpfung von G für sich
bereits eine Gruppe bildet.
(Speziell folgt e ∈ U !)
1.7 Kriterium
Es sei G eine Gruppe und ∅ 6= U ⊂ G. Dann sind äquivalent:
I U Untergruppe
II (i) ∀a, b ∈ U : a b ∈ U
(Schreibweise: U U ⊆ U )
(ii) ∀a ∈ U ∃b ∈ U : b a = e.
Beweis:
I ⇒ II: per Definition (1.6);
II ⇒ III:
∀b ∈ U ∃b−1 ∈ U wegen (ii) und der Eindeutigkeit des Inversen in G, dann folgt die Behauptung
mittels (i);
III ⇒ I:
Für a = b ∈ U (6= ∅!) ist aa−1 = e ∈ U . Für e, b ∈ U ist eb−1 = b−1 ∈ U . Für a, b ∈ U ist
a, b−1 ∈ U und damit a (b−1 )−1 = ab ∈ U . Das Assoziativgesetz gilt in U wegen U ⊆ G.
Bemerkung:
Der Durchschnitt von Untergruppen einer Gruppe G ist wieder eine Untergruppe von G. Zu ∅ ⊂
M ⊆ G existiert folglich eine kleinste Untergruppe U von G mit M ⊆ G, nämlich der Durchschnitt
von allen Untergruppen von G, die M enthalten. Diese heißt das Erzeugnis < M > von M in G.
Speziell heißt G endlich erzeugt, falls eine endliche Teilmenge M von G mit G =< M > existiert.
6 Kapitel 1 — Gruppen
Offenbar gilt:
(i) M ⊆< M >, < M > ist Teilmenge jeder Untergruppe, die M enthält.
(ii) Definiere < ∅ >=< e >.
(iii) < M >= M ⇔ M Untergruppe.
Beispiel:
G = (ZZ, +) =< 1 >;
(Q[t], +) ist dagegen nicht endlich erzeugt.
1.8 Lemma
Es sei G eine Gruppe und ∅ 6= M ⊆ G. Dann besteht < M > aus allen endlichen Produkten von
Elementen aus M ∪ M −1 (M −1 := {a−1 | a ∈ M }).
Beweis:
Als Untergruppe enthält < M > alle Elemente aus M ∪ M −1 und damit auch alle endlichen
Produkten von solchen Elementen, da < M > bzgl. der Produktbildung abgeschlossen ist. Es
bleibt zu zeigen, daß die Menge aller solchen Produkte bereits eine Untergruppe bildet.
Die Assoziativität überträgt sich von G.
Die Abgeschlossenheit ist klar, e = aa−1 für a ∈ M , und zu a1 , . . . , an ∈ M ∪ M −1 ist
mit a−1 −1
1 , . . . , an ∈ M ∪ M
−1
.
Problem:
Bestimme kleinstes Erzeugendensystem für eine Gruppe. Ein solches existiert i.a. nicht, falls es
existiert, ist es nicht eindeutig.
Beispiel:
Im folgenden sei G eine Gruppe und U eine Untergruppe von G. Dann wird mittels
a∼b :⇔ ab−1 ∈ U
a∼b ⇔ ab−1 ∈ U
⇒ (ab−1 )−1 ∈ U
⇒ ba−1 ∈ U
⇔ b∼a ∀a, b ∈ G.
1.9 Satz — Lagrange 7
(iii)
ua ∈ U a ⇒ a (ua)−1 = a (a−1 u) = u ∈ U.
Die Mächtigkeit (Anzahl der Elemente) einer Nebenklasse ist gleich der Mächtigkeit (Elementzahl,
Ordnung) von U . Bezeichnung: |U | = (U : 1).
Denn für a ∈ G ist
ϕa : U → U a : u 7→ ua
(analog: ψa : U → aU : u 7→ au)
bijektiv. Die Surjektivität ist klar, die Injektivität folgt aus den Kürzungsregeln für G:
ua = ũa ⇒ u = ũ,
au = aũ ⇒ u = ũ.
(Folgerung: U a = U ⇔ a ∈ U.)
Bemerkung:
Die Mengen der Linksnebenklassen und die der Rechtsnebenklassen von U in G sind gleichmächtig.
Dazu betrachte die Abbildung (!)
U a 7→ a−1 U.
Diese ist offensichtlich surjektiv. Zur Injektivität:
(G : 1) = (G : U ) (U : 1)
k
]G
k
|G|
8 Kapitel 1 — Gruppen
1.10 Satz
Es sei G eine Gruppe mit Untergruppen U ⊆ V . Dann gilt:
(G : U ) = (G : V ) (V : U ).
Beweis:
Für |G| < ∞ ist dies direkte Folge aus (1.9):
(G : 1) (G : V )(V : 1)
(G : U ) = =
(U : 1) (U : 1)
(G : V )(V : U )(U : 1)
= = (G : V )(V : U ).
(U : 1)
Sonst seien
.
[ .
[
G= aα V, V = bβ U
α∈I β∈J
Zerlegung von G in Linksnebenklassen nach U ist. Es bleibt zu zeigen, daß diese Zerlegung disjunkt
ist.
Für
aα̃ bβ̃ U = aα bβ U
k k
{aα̃ bβ̃ ũ | ũ ∈ U } {aα bβ u | u ∈ U }
ist
aα̃ bβ̃ U = aα bβ U ⇒ aα̃ = aα
|{z} |{z}
=V =V
und weiter
bβ̃ U = bβ U ⇒ bβ̃ = bβ .
Also gilt:
(G : V ) = |I|, (G : U ) = |I| |J|, (V : U ) = |J|.
Die in gewisser Hinsicht einfachsten Gruppen sind die, die von einem einzigen Element erzeugt
werden:
G = {ak | k ∈ ZZ}.
1.11 Definition
Eine Gruppe G heißt zyklisch, falls sie von einem Element erzeugt wird.
1.12 Satz 9
1.12 Satz
Es sei G =< a > eine zyklische Gruppe. Für |G| = (G : 1) = ∞ ist dann G ∼
= ZZ, für |G| = (G :
1) = m < ∞ ist G ∼
= (ZZ/mZ Z, +).
(Triviale Bemerkung: G zyklisch ⇒ G abelsch)
Beweis:
Im Fall |G| = 1 besteht G nur aus dem Einselement e. Die Abbildung
G → (ZZ/ZZ, +) : e 7→ ZZ
ϕ : (ZZ, +) → G : k 7→ ak .
Ist ϕ nicht injektiv, so existieren m, n ∈ ZZ, o.B.d.A. m > n, mit am = an bzw. am−n = e. Also
existiert eine kleinste Zahl f ∈ IN (!) mit af = e. Wir zeigen: G = {e, a, . . . , af −1 }. Ist m ∈ ZZ
beliebig, so liefert Division mit Rest m = Q(m, f )f + R(m, f ) mit 0 ≤ R(m, f ) < f.
Es folgt
Die Elemente e, a, . . . , af −1 sind aber wegen der Minimalität von f paarweise verschieden!
Ist ϕ dagegen injektiv, so sind alle Potenzen am (m ∈ ZZ) verschieden, es ist also |G| = ∞.
Die behaupteten Isomorphien folgen nun aus dem Isomorphiesatz für abelsche Gruppen (vgl. Lin-
eare Algebra I), wenn man kerϕ = f ZZ für ϕ nicht injektiv bzw. kerϕ = {0} für ϕ injektiv
beachtet.
Bemerkungen:
(i) Jede Untergruppe U einer zyklischen Gruppe G ist zyklisch. Dazu betrachte man für
G =< a > und U 6=< e > die kleinste Potenz ak (k ∈ IN), die in U enthalten ist.
Für U =< e > setze k = 0. Offenbar ist U =< ak >.
∼ (2ZZ, +).
(ii) (ZZ, +) =
Für beliebige Gruppen G definiert man für a ∈ G die Ordnung ord (a) mittels ord (a) = (< a >: 1).
Nach dem Satz von Lagrange ist ord (a) ein Teiler der Gruppenordnung. k ∈ IN heißt Exponent zu
a ∈ G, falls ak = e ist. Offenbar gilt, daß ord (a) jeden Exponenten von a teilt. Dagegen braucht
ein Exponent nicht notwendig Teiler der Gruppenordnung zu sein. (G : 1) ist für endliche Gruppen
G stets Exponent:
a(G:1) = e ∀ a ∈ G.
Gemäß Definition ist ord (a) entweder ∞ oder gleich der kleinsten natürlichen Zahl k mit ak = e.
Im letzten Fall ist
< a >= {am | 0 ≤ m < k}.
1.13 Lemma
Es sei a ∈ G mit ord (a) = k und m ∈ ZZ. Dann gilt
k
ord (am ) = .
ggT (m, k)
Beweis:
Es sei d = ggT (m, k). Es folgt
e = (am )j ,
Folgerungen:
Es sei G =< a > eine zyklische Gruppe der Ordnung k.
(i) Es ist G =< am > dann und nur dann, wenn ggT (k, m) = 1 ist.
(ii) G besitzt genau ϕ (k) erzeugenden Elemente. Hierbei bezeichnet ϕ die Eulersche Funktion,
die für k ∈ IN die Anzahl der zu k teilerfremden Zahlen innerhalb {1, 2, . . . , k} angibt. Man
beachte:
k 1 2 3 4 5 6
,
ϕ (k) 1 1 2 2 4 2
1.14 Satz
Es sei G =< a > mit (G : 1) = k. Dann gibt es zu jedem d ∈ IN mit d|k genau eine Untergruppe
Ud von G der Ordnung d.
Beweis:
Für d|k setze Ud =< ak/d >. Gemäß (1.13) ist dies eine Untergruppe von G der Ordnung d. Sei
Ũ =< am > (m < k) eine weitere Untergruppe von G der Ordnung d. D.h. es ist
k
d = ord (am ) = ,
ggT (k, m)
also
k k
ggT (k, m) = , m= m̃
d d
mit m̃ < d, d.h. am ∈ Ud . Also folgt U ⊆ Ud und wegen (Ũ : 1) = (Ud : 1) damit Ũ = Ud .
2
1.14 Satz 11
Bemerkung:
Es sei G =< a > unendlich. Dann gilt
< ak >=< al > (k, l ∈ ZZ)
genau dann, wenn k = ±l ist. Speziell besitzt G genau die beiden Erzeuger a, a−1 .
Beweis:
Es existieren µ, ν ∈ ZZ mit
ak = al µ , al = ak ν ,
d.h.
ak = ak µ ν ⇒ µν = 1 ⇒ k = ±l.
2
Beispiel:
Eine wichtige Gruppe mit 2 Erzeugern ist die Diedergruppe:
G =< a, b | a2 = e, bn = e, aba = b−1 > (n ∈ IN, ]G = 2n).
2
Es sei IR die reelle Ebene, n ∈ IN.
d : IR2 → IR2
bezeichne die Drehung um den Ursprung um den Winkel 2π
n , s die Spiegelung an der y-Achse.
Setze Dn :=< d, s >.
Matrixschreibweise: !
2π
cos 2π
n − sin n −1 0
d= , s= .
sin 2π
n cos 2π
n
0 1
Relationen zwischen den Erzeugern:
dn = e = id, s2 = e, dsd = s bzw. sds = d−1 .
Also läßt sich jedes Element von Dn (beachte (1.8)) in der Form si dj mit 0 ≤ i ≤ 1, 0 ≤ j < n
darstellen,
Dn = {e, d, d2 , . . . , dn−1 , s, sd, . . . , sdn−1 }.
Diese Elemente sind alle verschieden (dk = sdl impliziert dk−l = s, was unmöglich ist), also gilt
(Dn : 1) = 2n.
Die Automorphismen von G bilden (bzgl. Hintereinanderausführung) eine Gruppe Aut (G). Die
inneren Automorphismen bilden hiervon eine Untergruppe I (G) gemäß:
ϕx , ϕy innere Automorphismen, dann auch
ϕx (ϕy )−1 = ϕxy−1 .
I (G) ist trivial, falls G abelsch ist.
Für Untergruppen U von G gilt i.a. nicht xU x−1 = U für alle x ∈ G (Gegenbeispiel: 2-elementige
Untergruppen von S3 ). Untergruppen, die unter allen inneren Automorphismen invariant sind,
spielen eine ausgezeichnete Rolle.
12 Kapitel 1 — Gruppen
1.15 Definition
Eine Untergruppe U von G heißt Normalteiler von G; falls xU x−1 = U für alle x ∈ G ist.
Bemerkungen:
(ii) xU x−1 = U ⇔ xU = U x.
ker ϕ := {x ∈ G | ϕ (x) = eH }
(v) < e >, G sind stets Normalteiler von G. G heißt einfach, falls es die einzigen sind.
(vi) Es seien U ⊆ V ⊆ W Untergruppen von G; ist dann U Normalteiler in V , so ist U i.a. nicht
Normalteiler in W .
]G G
1 {e}
2 < x > mit x2 = e
3 < x > mit x3 = e
4 < x > mit x4 = e sowie D2 .
In D2 haben alle Elemente die Ordnung 2 .
D2 ist die sog. Kleinsche Vierergruppe {e, a, b, c}mit
a2 = b2 = c2 = e, ab = c, ac = b, bc = a,
D2 ∼= ZZ/2ZZ ⊕ ZZ/2ZZ
5 < x > mit x5 = e
6 < x > mit x6 = e sowie
D3 = {aν bµ | ν ∈ {0, 1}, µ ∈ {0, 1, 2}, a2 = b3 = e, aba = b−1 },
D3 ist die kleinste nicht kommutative Gruppe
S3 :
1 2 3 1 2 3 2 1 2 3
e= b= b =
1 2 3 2 3 1 3 1 2
1 2 3 1 2 3 2 1 2 3
a= ba = b a= ,
2 1 3 3 2 1 1 3 2
mit a2 = e = b3 .
1.16 Hilfssatz
(i) Der Durchschnitt von Normalteilern von G ist Normalteiler von G,
(iii) ϕ : G → H Homomorphismus,
(iv) ϕ : G → H Epimorphismus,
U <G ⇒ ϕ (U ) < H,
U G ⇒ ϕ (U ) H.
Beweis:
\
(i) {Ni }i∈I sei eine Familie von Normalteilern von G ⇒ N := Ni ist Untergruppe, ferner ist
i∈I
für x ∈ G und y ∈ N
xyx−1 ∈ Ni (i ∈ I) ⇒ xyx−1 ∈ N,
also xN x−1 ⊆ N .
14 Kapitel 1 — Gruppen
(ii) Normalteilereigenschaft:
⇒ N1 N2 Untergruppe.
Sei x ∈ G:
ϕ (x ϕ−1 (V ) x−1 ) = ϕ (x) V ϕ (x)−1 = V,
also ist
x ϕ−1 (V ) x−1 ⊆ ϕ−1 (V ).
Beweis:
Es seien ϕ ∈ Aut (G), ϕy ∈ I (G) und x ∈ G. Dann gilt:
2
1.17 Satz 15
1.17 Satz
Es sei G eine Gruppe mit Normalteiler N . Dann läßt sich
G/N := {gN | g ∈ G}
zu einer Gruppe machen, der sogenannten Faktorgruppe. Ihre Ordnung ist (G/N : 1) = (G : N ).
Beweis:
N Normalteiler ⇒
(gN )(hN ) = g (N h) N
= g (hN ) N
= gh (N N )
= ghN,
also ist die Verknüpfung wohldefiniert; das Assoziativgesetz überträgt sich von G; Einselement ist
N = eN ; Inverses zu gN ist g −1 N . Die Elemente von G/N sind gerade die Linksnebenklassen von
N in G.
Bemerkung:
p : G → G/N : g 7→ gN
Beweis:
p ist Homomorphismus gemäß Definition der Verknüpfung, p surjektiv ist klar,
(ii) ∅ 6= U ⊆ G ist dann und nur dann Normalteiler von G, falls U Kern eines Gruppenhomo-
morphismus G → H ist.
(
U G ⇒ U = ker (p) für p : G → G/N ;
(iii) Gruppenhomomorphismen von einfachen Gruppen sind trivial oder injektiv. (ker (ϕ) G;
ker (ϕ) = G (⇒ ϕ trivial) oder ker (ϕ) = e (⇒ ϕ injektiv).)
e → N → G → G/N → 1.
16 Kapitel 1 — Gruppen
Beispiel:
In der Topologie und Homologie spielen exakte Sequenzen eine wichtige Rolle. Eine Folge (Sequenz)
von Gruppenhomomorphismen
ϕ1 ϕ2 ϕ3 ϕn−1
G1 −→ G2 −→ G3 −→ . . . −→ Gn
exakt, falls
ι : N → G : x 7→ x
(ι = idG | N ) die Insertion (Einbettung) von N in G ist. Eine Folge von Gruppenhomomorphismen
ι ϕ1 ϕ2 ϕ3
e −→ G1 −→ G2 −→ G3 −→ e
ist genau dann exakt, falls ϕ1 injektiv, ϕ1 (G) = ker (ϕ2 ) und ϕ2 surjektiv ist.
G/ ker (ϕ) ∼
= ϕ (G).
ψ injektiv:
1.19 Satz
Es seien ϕ : G → H ein Gruppenhomomorphismus und N ein Normalteiler von G mit N ⊆ ker ϕ.
Dann existiert ein eindeutig bestimmter Homomorphismus ψ : G/N → H mit
p
G - G/N
HH
HH /// ψ
ϕ HH
j ?
H
H
Beweis:
Definiere
ψ : G/N → H : gN 7→ ϕ (g).
ψ ist Homomorphismus:
ψ (gN hN ) = ψ (ghN )
= ϕ (gh)
= ϕ (g) ϕ (h)
= ψ (gN ) ψ (hN ).
Beweis:
N Normalteiler ⇒ U N Untergruppe von G, die U, N umfaßt. N ist Normalteiler in U N < G.
Betrachte
ϕ : U → U N/N : u 7→ uN
U N/N = {unN | u ∈ U, n ∈ N }
= {uN | u ∈ U }
ker ϕ = {x ∈ U | xN = N }
= {x ∈ U | x ∈ N }
= U ∩ N.
2
18 Kapitel 1 — Gruppen
∼ G/V.
(G/U ) / (V /U ) =
Beweis:
Betrachte
ψ : G/U → G/V : gU 7→ gV.
Beispiel:
Es seien m, n ∈ IN mit n|m. Dann ist
(ZZ/mZZ) / (nZZ/mZZ) ∼
= ZZ/nZZ.
Konstruktion von Gruppen aus Gruppen bzw. Zerlegung von Gruppen in Untergruppen führt zum
Konzept des direkten Produkts von Gruppen.
1.22 Definition
Es seien G1 , . . . , Gn Gruppen. Dann heißt
n
G := G1 × . . . × Gn = X Gi
i=1
zu einer Gruppe.
Bei additiver Schreibweise:
n
M
G1 ⊕ . . . ⊕ Gn = Gi ,
i=1
ZG := {g ∈ G | gx = xg ∀x ∈ G}.
n
(iii) G = X Gi abelsch ⇔
i=1
G1 , . . . , Gn abelsch.
n n
∼
(iv) π ∈ Sn ⇒ X
i=1
Gi = X Gπ(i) mittels (g1, . . . , gn) 7→ (gπ(1), . . . , gπ(n)).
i=1
! !
n m m
∼
(v) X Gi
i=1
× X Gj
j=n+1
= X Gi mittels ((g1, . . . , gn), (gn+1 , . . . , gm)) 7→ (g1, . . . , gm).
i=1
Homomorphismus
Isomorphismus
(vi) ϕi : Gi → Hi ⇒
Epimorphismus
Monomorphismus
n
Y n n
ϕ :=
i=1
ϕi : X Gi → i=1
i=1
X Hi : (g1 , . . . , gn ) 7→ (ϕ (g1 ), . . . , ϕ (gn ))
Homomorphismus
Isomorphismus
ist wieder .
Epimorphismus
Monomorphismus
n
(vii) εi : Gi → X Gi
i=1
: gi 7→ (e1 , . . . , ei−1 , gi , ei+1 , . . . , en ) ist eine Einbettung (Monomorphis-
mus). Es gilt
n
εi (Gi ) X Gj wegen
j=1
n
(viii) πj : X Gi
i=1
→ Gj : (g1 , . . . , gn ) 7→ gj ist eine ”Projektion” (Gruppenepimorphismus)
(1 ≤ j ≤ n).
n n
(ix) Für G̃i := X Gj ist ϕi
j=1
: X Gj → G̃i
j=1
: (g1 , . . . , gn ) 7→ (g1 , . . . , gi−1 , gi+1 , . . . , gn ) ein
j6=i
X εi (Gi ) ∼
= G̃i ,
j=1
n
∼
G̃i × Gi = X Gj .
i=1
20 Kapitel 1 — Gruppen
(x) Verallgemeinerung auf unendliche Produkte ist möglich, falls man fordert, daß fast alle Kom-
ponenten das Einselement der betreffenden Gruppe bilden.
1.23 Definition
Es G eine Gruppe
sei Q mit Normalteilern N1 , . . . , Nn . G heißt direktes inneres Produkt von N1 , . . . , Nn
. n
G = i=1 Ni , wenn
(i) G = N1 · . . . · Nn und
+ 0 1
0 0 1
1 1 0
.
G1 G2
z }| { z }| {
Es ist G = ZZ/2ZZ ⊕ ZZ/2ZZ eine additive Gruppe mit Verknüpfungstabelle (Gruppentabelle):
+ n b c d
n = ( 0, 0) = 0 ⊕ 0
n n b c d
b = ( 1, 0) = 1 ⊕ 0
b b n d c für die Elemente .
c = ( 0, 1) = 0 ⊕ 1
c c d n b
d = ( 1, 1) = 1 ⊕ 1
d d c b n
Also ist G vom Typ V4 (Kleinsche Vierergruppe). Die einzigen Untergruppen von G sind
1.24 Satz
Es sei G eine Gruppe mit Untergruppen N1 , . . . , Nn . Hierfür sind äquivalent:
(i) gi gj = gj gi ∀gi ∈ Ni , gj ∈ Nj (1 ≤ i < j ≤ n), und jedes g ∈ G läßt sich eindeutig in der
Form g = g1 · . . . · gn mit gi ∈ Ni schreiben.
Beweis:
(ii) ⇒ (i):
Die Normalteilereigenschaft von Ni , Nj liefert:
für i =
6 j ist demnach
gi gj gi−1 gj−1 ∈ Nj Nj ∩ Ni Ni = {e},
also
gi gj = gj gi .
g1 · . . . · gn = h1 · . . . · hn
bzw.
g1−1 h1 = g2 · . . . · gn · h−1 −1 −1
n · hn−1 · . . . · h2
= g2 h−1 −1
2 · . . . · gn hn ∈ Ũ1
⇒ h−1
1 g1 = e bzw. g1 = h1 .
Bemerkung:
Wie im obigen Beispiel gilt für das innere direkte Produkt
n
.
Y
G= Ni ,
i=1
auch
n
∼
G= X Ni.
i=1
ϕ ist Homomorphismus wegen der Vorbeizieheigenschaft, ϕ surjektiv ist klar, ϕ injektiv gilt wegen
der eindeutigen Darstellung von e ∈ G als e · . . . · e.
22 Kapitel 1 — Gruppen
(iii) Jede endliche abelsche Gruppe ist direktes Produkt zyklischer Gruppen.
Beweis:
(i) Es sei G = Z1 × Z2 mit Z1 =< a >, Z2 =< b >, |Z1 | = m, |Z2 | = n und ggT (m, n) = 1.
Offenbar gilt
Für jeden Exponent k von (a, b) muß auch ak = e, bk = e gelten, d.h. m|k und n|k, folglich
mn|k.
(ii) Für G1 = ZZ/mZZ, G2 = ZZ/nZZ ist G1 × G2 zyklisch von der Ordnung m n. Also sind sowohl
G als auch G1 × G2 isomorph zu ZZ/m nZZ und damit untereinander isomorph.
Beispiele:
ZZ/6ZZ ∼
= ZZ/2ZZ × ZZ/3ZZ;
ZZ/4ZZ ∼ < e > ×ZZ/4ZZ;
=
ZZ/2ZZ × V4 ∼
= ZZ/2ZZ × ZZ/2ZZ × ZZ/2ZZ;
ZZ/8ZZ 6∼ ZZ/2ZZ × ZZ/4ZZ
=
∼ ZZ/2ZZ × V4 ,
6=
denn nur ZZ/8ZZ enthält ein Element der Ordnung 8, die letzte Gruppe keins der Ordnung 4.
(iii) Es sei a1 , . . . , ar ein Erzeugendensystem für die endliche abelsche Gruppe G, d.h. G =<
a1 , . . . , ar >. Der Beweis wird mittels Induktion über r geführt.
r = 1: G ist selbst zyklisch, und es ist nichts zu beweisen.
r ≥ 2:
Man bilde
M = { m ∈ (ZZ≥0 )r | am mr
1 · . . . · ar
1
= e und o ≤ mi < (G : 1), 1 ≤ i ≤ r}.
Für M = { 0 } ist G das direkte Produkt von den < ai > (1 ≤ i ≤ r), denn die Schnittbe-
dingung Ni ∩ Ñi = {e} ist erfüllt!
Sei also M 6= { 0 }. Wähle n ∈ M, welches die kleinste positive Koordinate aller m ∈ M
enthält. O.B.d.A. (evtl. umnummerieren) sei diese n1 . Für n1 = 1 ist
r
Y
a1 = a−n
i
i
∈< a1 , . . . , ar >,
i=2
1.26 Definition — Menge auf Gruppe operiert 23
und wegen der Minimalität von n, damit R (m1 , n1 ) = 0, d.h. wir können M ersetzen durch
die Teilmenge M bestehend aus 0 , n und allen m ∈ M mit erster Koordinate 0.
Nunmehr setzen wir
r
Y Q(ni ,n1 )
x1 := a1 ai
i=2
und erhalten
Hierin gilt 0 ≤ R (ni , n1 ) < n1 (2 ≤ i ≤ r). Wir wiederholen folglich diesen Prozeß mit
x1 , a2 , . . . , ar an Stelle von a1 , . . . , ar . Nach höchstens r-maliger Anwendung führt dies (im
ungünstigsten Fall) auf ein Erzeugendensystem z1 , . . . , zr mit
r
Y R(ki ,k1 )
z1k1 zi =e und R (ki , k1 ) = 0 (1 ≤ i ≤ r).
i=2
Hierfür ist dann G =< z1 > × < z2 , . . . , zr >, und wir können wieder die Induktionsvor-
raussetzung anwenden.
1.26 Definition
Es sei G eine Gruppe und S eine nicht leere Menge. Man sagt, daß G auf S operiert (S eine G-Menge
ist), falls eine äußere Verknüpfung
G × S → S : (g, s) 7→ g ◦ s
besteht mit
(i) (g h) ◦ s = g ◦ (h ◦ s) ∀g, h ∈ G, ∀s ∈ S,
Beispiele:
(b) S = M ≤ G und
G × M → M : (g, m) 7→ gm.
24 Kapitel 1 — Gruppen
1.27 Satz
Jede endliche Gruppe G ist isomorph zu einer Permutationsgruppe.
Insbesondere: Ist |G| = n, dann ist G isomorph zu einer Untergruppe von Sn .
Beweis:
S(G) bezeichne die Gruppe der bijektiven Abbildungen von G (als Menge) bzgl. Hintereinander-
ausführung (sog. symmetrische Gruppe, Permutationsgruppe von G). (Für |G| = n ∈ IN schreibt
man kurz Sn .)
Bilde ab:
ϕ : G → S(G) : g 7→ S = g◦,
denn
S : G → G : x 7→ gx
ist bijektive Abbildung von G. ϕ ist Homomorphismus:
gh 7→ gh◦ = g ◦ h◦,
ϕ ist injektiv
ϕ (g) = id ⇒ gx = x für alle x ∈ G ⇒ g = e,
also gilt mit (1.18):
G∼
= ϕ (G) < S(G).
Bemerkung:
S G-Menge ⇔ es existiert ein Homomorphismus ϕ : G → S(S).
Beweis:
“⇒”:
Definiere
ϕ : G → S(S) : g 7→ g ◦ .
Es ist zu zeigen:
g◦ : S → S : x 7→ gx ist Bijektion von S.
g◦ ist surjektiv: Urbild von x ∈ S ist g −1 x (wegen e x = x).
g◦ ist injektiv: gx = gy ⇒ e x = e y ⇒ x = y.
ϕ ist Homomorphismus wegen 1.26(i).
“⇐”:
Es sei ein Homomorphismus
ϕ : G → S(S) : g 7→ ψg
gegeben. Definiere äußere Verküpfung
G × S → S : (g, s) 7→ ψg (s) =: g ◦ s.
ϕ Homomorphismus ⇒
ψ Homomorphismus ⇒
ψgh = ϕ (gh)
= ϕ (g) ϕ (h)
= ψg ψh ,
also
1.28 Hilfssatz
Es sei S eine G-Menge. Dann ist
x∼y :⇔ ∃g ∈ G : g ◦ s = y
g◦x=y ⇒ x = e ◦ x = g −1 ◦ (g ◦ x) = g −1 ◦ y
⇒ y ∼ x;
∼ transitiv:
g ◦ x = y und h ◦ y = z ⇒ z = h ◦ (g ◦ x) = (hg) ◦ x.
Bemerkung:
x ∈ S so ist die durch x bestimmte Äquvalenzklasse
G · x = {g · x | g ∈ G}.
1.29 Definition
Die Äquvialenzklassen in (1.28) heißen Bahnen (Orbits) von S. G heißt transitiv (über S), falls es
genau eine Bahn in S gibt. Für s ∈ S heißt
Stab(s) = Gs := {g ∈ G | g ◦ s = s}
Stabilisator von s.
Beispiel:
G = (IR, +), X = IRn , g · x = X für x ∈ X, g ∈ G.
Stabilisator von x ∈ X : Gx = {g ∈ G | gx = x}.
Bemerkungen:
26 Kapitel 1 — Gruppen
Beweis:
e ∈ Gs , also Gs 6= ∅. Sind g, h ∈ Gs , so ist h−1 ∈ Gs wegen
und folglich
(gh−1 ) ◦ s = g ◦ (h−1 ◦ s) = g ◦ s = s,
ϕ : G ◦ s → {g Gs | g ∈ G} : g ◦ s 7→ g Gs .
g Gs = h Gs ⇔ h−1 g ∈ Gs ⇔ h−1 g ◦ s = s ⇔ g ◦ s = h ◦ s.
(iii) s, s̃ Elemente derselben Bahn, dann gehen ihre Stabilisatoren durch einen inneren Automor-
phismus auseinander hervor. (Solche Untergruppen heißen konjugiert.)
Beweis:
Sei g ∈ G mit s̃ = g ◦ s. Dann ist
Gs̃ = {h ∈ G | h ◦ s̃ = s̃}
= {h ∈ G | h g ◦ s = g ◦ s}
= {h ∈ G | (g −1 hg) ◦ s = s}
= {ghg −1 ∈ G | h ◦ s = s}
= g {h ∈ G | h ◦ s = s} g −1
= g Gs g −1 .
sog. Vertretersystem für die Bahnen. Ein Vertretersystem ist also durch folgende beiden Eigen-
schaften gekennzeichnet:
(i) ∀x ∈ S ∃v ∈ V : G ◦ v = G ◦ x,
1.30 Klassengleichung 27
(ii) ∀u, v ∈ V : u =
6 v ⇒ G ◦ u ∩ G ◦ v = ∅.
(Beachte: G ◦ u ∩ G ◦ v ist entweder leer oder ganz G ◦ u entsprechend der Eigenschaft
von Äquivalenzklassen. Ein Element s ∈ S heißt Fixpunkt, falls G ◦ s = {s} ist. Dies ist
gleichbedeutend damit, daß s in jedem Vertretersystem V vorkommt bzw. mit Gs = G.)
Die Menge aller Fixpunkte von S schreiben wir F (S) und erhalten
X
|S| = |F (S)| + (G : Gs ).
s∈V
(G:Gs )>1
sowie
|S| = h p + R (|S|, p) mit 0 ≤ R (|S|, p) ≤ p − 1.
Offenbar operiert G transitiv auf S, es gibt nur eine Bahn, nämlich S selber.
1. Behauptung: GT = NT
Beweis:
NT = {g ∈ G | gT g −1 = T } = GT .
Also ist |S| = (G : NT ). Insbesondere für T = U < G gibt es genau (G : NU ) verschiedene
konjugierte von U .
2. Behauptung: Für U < G ist
|{gU g −1 | g ∈ G}| = (G : NU ).
Man kann G auch direkt auf den Elementen von G operieren lassen mittels sog. Konjugation:
G × G → G : (h, g) 7→ hgh−1 .
Die diesbezüglichen Bahnen heißen Klassen konjugierter Elemente. Hier ist offensichtlich Gx =
Nx ∀x ∈ G. Überdies gilt:
1.30 Klassengleichung
X
|G| = |Z(G)| + (G : Nx )
x∈V
(G:Nx )>1
1.31 Definition
Eine endliche Gruppe G heißt p-Gruppe, falls (G : 1) = pr mit einer Primzahl p und r ∈ IN gilt.
1.32 Satz
(i) Das Zentrum einer p-Gruppe ist nicht trivial.
(ii) Ist G eine p-Gruppe mit |G| = p2 , so ist G zyklisch oder das direkte Produkt zweier zyklischen
Gruppen der Ordnung p.
G ∼ = ZZ/p2 ZZ
G ∼ = ZZ/pZZ × ZZ/pZZ
Beweis:
(i) Gemäß (1.30) und dem Satz von Lagrange ist |Z(G)| = pk für ein k mit 1 ≤ k ≤ r.
r
X
|G| = pr = |Z(G)| + pri mit 1 ≤ ri
i=1
Indirekt!
Es sei
•
[ •
[
G/Z(G) = (a Z(G))ν = aν Z(G).
ν∈ZZ ν∈ZZ
Dann existieren für g1 , g2 ∈ G Elemente νi ∈ ZZ, bi ∈ Z(G) mit gi = aνi bi (i = 1, 2). Also
gilt
g1 g2 = aν1 b1 aν2 b2
= aν1 +ν2 b1 b2
= aν2 aν1 b2 b1
= aν2 b2 aν1 b1
= g2 g1 ,
Nach (i) ist demnach G mit |G| = p2 abelsch, denn die einzige Möglichkeit |Z(G)| = p liefert
|G/Z(G)| = p, d.h. G/Z(G) ist zyklisch. Wende (1.25)(iii) an!
Beispiel: Es gibt als Gruppen der Ordnung 4 die zyklische Gruppe und die V4 .
Im folgenden wird die Existenz von gewissen Untergruppen bei endlichen Gruppen mit Hilfe der
Sylowschen Sätze bewiesen.
1.33 Definition — p-Untergruppe, p-Sylow-Untergruppe 29
1.33 Definition
Es sei G eine endliche Gruppe. Eine Untergruppe H von G heißt p-Untergruppe von G, falls H
eine p-Gruppe ist. H heißt p-Sylow-Untergruppe von G, falls (H : 1) = pl (l ∈ IN, p ∈ IP) mit
pl | |G| mit pl+1 - |G| gilt.
(Schreibweise: pl k |G| )
Zum Nachweis der Existenz von Untergruppen im Fall p|(G : 1) benötigen wir eine Hilfsaussage
aus der elementaren Zahlentheotrie:
1.34 Hilfssatz
Es seien p eine Primzahl, l, n ∈ IN mit pl kn. Für n = pl m ist dann
n
= pl−α mx (α ∈ ZZ≥0 , α ≤ l, x ∈ IN) mit x ≡ 1 mod p.
pα
Beweis:
n n (n − 1) · . . . · (n − (pα − 1))
= = pl−α m x
pα pα (pα − 1) · . . . · (pα − (pα − 1))
mit
α
pY −1
pl m − i n−1
x= = .
pα − i pα − 1
i=1
Wir erhalten daher nach Kürzen von pmi für jeden Faktor
für den Zähler:
α
pY −1
l−mi
p m − xi = λ p + a (λ, a ∈ ZZ, p - a),
i=1
λp + a
also x = oder
µp + a
a x ≡ a mod p ⇒ x ≡ 1 mod p.
2
30 Kapitel 1 — Gruppen
G × M → M : (g, T ) 7→ gT.
Dabei zerfällt M in Bahnen. Wäre jede Bahnlänge durch pl−α+1 teilbar, so auch ]M im Wider-
spruch zu (1.34). Also existiert Bahn
G ◦ T1 mit |G ◦ T1 | = (G : GT1 ) ≤ pl−α m.
Wegen
m pl = (G : 1) = (G : GT1 ) (GT1 : 1) ≤ pl−α m (GT1 : 1)
folgt (GT! : 1) ≥ pα . Andererseits gilt für a ∈ T1 : GT1 a ⊆ T1 und wegen |GT1 | = |GT1 a| auch
|GT1 | ≤ |T1 | = pα . Also ist GT1 die gesuchte Untergruppe.
2
Bemerkungen:
O(T ) bezeichnet im folgenden die Bahn (“orbit”) von T .
Nicht alle Bahnlängen sind durch pl−α+1 teilbar!
(i) pl−α+1 - |O(T )| ⇒ (GT : 1) = pα
Denn (G : GT ) ≤ pl−α ⇒ (GT : 1) ≥ pα .
Andererseits ist für x ∈ T dann GT x ⊆ T
(GT : 1) = |GT | = |GT x| ≤ |T | = pα ,
also Gleichheit.
(ii) pl−α+1 - |O(T )| ⇔ T = Ug mit U ⊂ G, |U | = pα und passendes g ∈ G.
”⇒”:
GT T = T , d.h. für beliebiges x ∈ T ist GT x ⊆ T bzw. GT x = T (wegen Elementanzahl)
(|GT | = pα nach (i)).
”⇐”:
Gegeben U < G mit ]U = pα , g ∈ G, setze T = UG ∈ M.
O(Ug ) = {hUg | h ∈ G} = {h̃ g −1 Ug | h̃ ∈ G} = O(Ũ )
| {z }
Ũ
|{H̃g −1 Ug | h̃ ∈ G}| = (G : GŨ ) = (G : U ) = pl−α m.
1.37 Korollar
Eine endliche Gruppe G ist genau dann eine p-Gruppe, wenn für jedes a ∈ G die Ordnung ord(a)
eine p-Potenz ist.
1.38 Lemma
Es sei G eine endliche Gruppe der Ordnung n = pl m mit einer Primzahl p, die m nicht teilt. Dann
ist die Anzahl N (α) aller Untergruppen U der Ordung pα von G (0 ≤ α ≤ k fest) kongruent 1
modulo p.
Beweis:
Np (α) = N (α) = |{U < G | |U | = pα }| ≡ 1 mod p.
Dazu betrachte T ⊆ G mit |T | = pα und pl−α+1 - |O(T )|. Sei etwa T1 = U1 g1 , T2 = U2 g2 , T1 = T2 ?
T1 = T2 bewirkt: g1 ∈ U2 g2 , d.h. g1 = u2 g2 mit u2 ∈ U2 , also U1 u2 g2 = U2 g2 , also U1 = U2 u−1
2 =
U2 .
Anzahl
n der Elemente in M, deren Bahnen durch pl−α+1 teilbar sind:
l−α
pα − H(α) p m, da alle Bahnen durch pl−α+1 teilbar sind, auch dir Elementzahl selbst.
pl−α+1 teilt pl−α m (x − N (α)) ⇒ p|m (x − N (α))
⇒ p| (x − N (α))
⇒ N (α) ≡ 1 mod p.
2
Bemerkung:
Für p-Sylow-Untergruppen P von G gilt:
P G ⇔ N (l) = 1.
Beweis:
(i) Jede p-Untergruppe ist in passender p-Sylow-Untergruppe enthalten.
Betrachte N = {U < G | |U | = pl }, lasse G auf N operieren.
Durch ”Konjugation”: g × N → N : (g, U ) 7→ g −1 U g
Festes P ∈ N hat dabei Bahnlänge (G : Gp ) 6≡ 0 mod p (Normalisator Gp ⊇ P ).
Sei nun H < G mit ]H = pα .
H operiert auf den Elementen der Bahn von P unter Konjugation.
P̃ / H P̃ (Übungsaufgabe)
2. Isomorphiesatz
⇒ H P̃ /P̃ ∼
= H/h ∩ P̃ ⇒ |H P̃ | ist p-Potenz
⇒ ]H P̃ (≥ ]P̃ ) = pl , also H P̃ = P̃ ⇒ H ⊆ P̃ .
(ii) ]H = pl ⇒ es gibt nur eine Bahn von p-Sylow-Untergruppe, d.h. alle p-Sylow-Untergruppe
sind untereinander konjugiert.
sowie p - N (l).
Beispiel:
Bestimmung aller nicht abelschen Gruppen der Ordnung 8. Zunächst gilt allgemein für |G| = 8 =
23 · 1:
N (1) ∈ {1, 3, 5, 7}, N (2) ungerade gemäß (1.38). Ist G nicht abelsch (also erst recht nicht
zyklisch), so enthält G kein Element der Ordnung. 8, aber notwendig eins — etwa b — der Ordnung
4. Also ist U =< b > Normalteiler und G = U ∪ U a. Ferner ist a2 ∈ / U a und damit a2 = e oder
a2 = b2 .
Wegen aU = U a ist jedenfalls aba−1 ∈ U . aba−1 = b scheidet aus, da G nicht abelsch sein soll.
aba−1 = e ist wegen der Kürzungsregel unmöglich.
ebenfalls im Widerspruch zur Kürzungsregel. Also muß notwendig aba−1 = b−1 gelten.
1. Fall: a2 = e: G ∼
= D4 .
∼ Q8 .
2. Fall: a2 = b2 : G =
(Etwa für b = i, a = j; dann wird k = ba, −1 = b2 mit den üblichen Relationen.)
n=8
Typ Z2 × Z2 × Z 2 Z4 × Z2 Z8 D4 Q8
N (1) 7 3 1 5 1
N (2) 7 3 1 3 3
Zu Z23 :
Es existieren
7 Elemente der Ordnung 2 und ebensoviele Untergruppen der Ordnung 2. Also
exitiert 72 · 31 Untergruppen der Ordnung 4.
Zu Z4 × Z2 :
Untergruppen der Ordnung 2: < b2 >, < a >, < b2 a > für G =< b, a > mit b4 = a2 = 1.
Untergruppen der Ordnung 4: < b >, < ba >, < b2 , a >.
Zu Z8 :
Untergruppen der Ordnung 2: < b4 >,
Untergruppen der Ordnung 4: < b2 > für G = {bν | 0 ≤ ν ≤ 7}.
Zu D4 :
Untergruppen der Ordnung 2: < b2 >, < a >, < ab >, < ab2 >, < ab3 >.
Untergruppen der Ordnung 4: < b >, < b2 , a >, < b2 , ab >.
Zu Q8 :
Untergruppen der Ordnung 2: < b2 >,
Untergruppen der Ordnung 4: < b >, < a >, < ab >.
1.40 Hilfssatz 33
1.40 Hilfssatz
Es sei G eine p-Gruppe der Ordnung pl (l ∈ IN) und es sei α ∈ ZZ, 0 ≤ α ≤ l. Dann ist die Anzahl
der Normalteiler von G von der Ordnung pα kongruent 1 modulo p. (Es gibt also stets welche!)
Beweis:
Es sei
M := {U | u < G, ]U = pα }.
Wegen (1.38) gilt |M| ≡ 1 mod p. Lasse G auf M mittels Konjugation operieren. Es folgt
X X
]M = (G : GPi ) = pσi ,
i i
und mindestens ein σi muß hierin verschwinden. Für dieses i gilt GPi = NPi = G, d.h. Pi ist
Normalteiler in G.
1.41 Satz
G sei eine endliche abelsche Gruppe.
Beweis:
(i) Es sei
|G| = n = pk11 · . . . · pkr r
. .
teilt. Also gilt notwendig Gi ∩ G̃i = {e}. Damit ist G1 + . . . + Gr direkte Summe, also
. .
G1 + . . . + Gr Untergruppe von G mit
r
Y
. . k
|G1 + . . . + Gr | = pj j = |G|,
j=1
. .
also G = G1 + . . . + Gr . (Vergleiche (1.25)(iii))
34 Kapitel 1 — Gruppen
. .
(ii) Beschränkung
auf U =< x >, ord (x) = m, V =< y >, ord (y) = n und G = U + V = Ũ + Ṽ
mit |Ũ ||Ṽ |, ggT (m, n) = c, kgV (m, n) = mn
c .
Erzeuger: (x, y)
m 0
Relationsmatrix:
0 n
Beispiele: ZZ/3ZZ ⊕ ZZ/4ZZ ∼
= ZZ/2ZZ ⊕ ZZ/6ZZ, ZZ/3ZZ ⊕ ZZ/2ZZ ∼
= ZZ/6ZZ.
In ZZ existieren u, v mit c = um + vn.
m 0
0 n
1 0
y
v 1
m 0
nv n
1 0 1 0
−u 1 u 1
m 0
(x − uy, y)
um + nv n
0 1
1 0
..
.
c n
(y, x − uy)
m 0
1 − nc
0 1
c 0
m − mn
c
1 0 1 0
m
c 1 −mc 1
m
c 0
y+ (x − uy), x − uy
c 0 − mn
c
1 0
0 −1
m mn
c 0
c x+ 1− c y, x − uy
0 mn
c
vn
c
n n
ũ =< c x+ c vy > von der Ordnung c,
mn
ṽ =< x − uy > von der Ordnung c .
sign : Sn → Z2
1.42 Definition — Zykel 35
ist Gruppenhomomorphismus, der für n ≥ 2 surjektiv ist; An ist Untergruppe der geraden Permu-
tationen,
n!
]A = für n ≥ 2,
2
1.42 Definition
π ∈ Sn heißt r-Zykel, falls es eine Teilmenge {i1 , . . . , ir } von r Elementen von {1, . . . , n} mit
gibt.
Schreibweise:
1 ... n
π = (i1 , . . . , ir ) = .
π (1) ... π (n)
Vereinbarung: id = (1) ist einziger 1-Zykel.
Bemerkungen:
Transpositionen sind 2-Zykel (i, j);
V4 ∼
= {(1), (1 2) (3 4), (1 3) (2 4), (1 4) (2 3)}
als Untergruppe von A4 .
1.43 Hilfssatz
(i) Zykel entsprechen Bahnen unter der Operation
Tetraedergruppe: (∼
= A4 )
D
A
B
Drehungen um Achse durch Eckpunkt und Mittelpunkt der gegenüberliegenden Fläche eines Tetraed-
ers
um A : (B C D), (B D C)
um B : (A C D), (A D C)
um C : (A B D), (A B D)
um D : (A B C), (A C B)
Und deren Kombinationen: Drehungen um Achsen die durch die Mittelpunkte von gegenüberligenden
Seiten gehen:
D
A
B
A ↔ C, B ↔ D (A C) (B D)
A ↔ D, B ↔ C (A D) (B C)
A ↔ B, C ↔ D (A B) (C D)
sowie die Identität.
1.44 Hilfssatz
Für n ∈ IN ist Sn+1 disjunkte Zerlegung von n + 1 (Links-)Nebenklassen nach Sn .
1 2 ... n 1 ... n n+1
ι : Sn → Sn+1 : 7→
π (1) π (2) . . . π (n) π (1) . . . π (n) π (n + 1)
Beweis:
1.45 Hilfssatz 37
n+1
[
Sn+1 = π ν Sn .
ν=1
Sei dazu τ ∈ Sn+1 mit τ (n+1) = j. Für j = n+1 gilt τ ∈ πn+1 Sn . Andernfalls bildet (j, n +1) τ
das Element n + 1 auf sich ab, also ist
Wir zeigen noch, daß die Zerlegung disjunkt ist, obwohl dies bereits aus den Elementanzahlen folgt.
πν Sn = πµ Sn ⇔ πµ πν Sn = Sn
⇒ πµ πν (n + 1) = n + 1
⇒ πν (n + 1) = πµ (n + 1)
⇔ ν = µ.
1.45 Hilfssatz
Beweis:
Bekanntlich ist jede Permutation Produkt von (höchstens n) Transpositionen der Form (i, j) (1 ≤
i < j ≤ n). Ferner gilt:
(i, j) = (1, i) (1, j) (1, i)
für 1 ≤ i < j ≤ n.
1.46 Definition
Zwei Zykel (i1 , . . . , ir ), (j1 , . . . , js ) heißen elementfremd, falls
{i1 , . . . , ir } ∩ {j1 , . . . , js } = ∅
ist.
38 Kapitel 1 — Gruppen
1.47 Hilfssatz
Elementfremde Zykeln sind vertauschbar.
Beweis:
Es seien I = {i1 , . . . , ir }, J = {j1 , . . . , js } und INn = {1, . . . , n}, K = (INn \I)\J, I ∩ J = ∅. Dann
gilt
ν
für ν ∈ K
jl+1 für ν = jl (1 ≤ l < s)
(i1 , . . . , ir ) (j1 , . . . , js ) (ν) = j1 für ν = js
il+1 für ν = il (1 ≤ l < r)
i1 für ν = ir
= (j1 , . . . , js ) (i1 , . . . , ir ) (ν).
1.48 Satz
Jede Permutation π ∈ Sn , π =
6 id, läßt sich eindeutig als Produkt elementfremder Zykeln
darstellen.
Beweis:
π operiert auf INn bzgl. (π, ν) 7→ π (ν). INn zerfällt diesbezüglich in Bahnen B1 , . . . , Bk̃ . Nach
Weglassen der einelementigen Bahnen verbleiben etwa B1 , . . . , Bk (bei passender Numerierung)
mit
. .
B1 ∪ . . . ∪ Bk = Mk , Bi = (νi , π (νi ), . . . , π ri −1 (νi )) und π ri (νi ) = νi .
Dabei liege
ν1 := min Mk in B1 ,
ν2 := min Mk \B1 in B2 ,
..
.
. .
νk−1 := min Mk \(B1 ∪ . . . ∪ Bk−2 ) in Bk−1 .
Diese Darstellung ist auch eindeutig, da jedes ν ∈ INn durch π entweder invariant gelassen wird,
oder es wird auf ein Element der gleichen Bahn abgebildet, d.h. für π (ν) 6= ν tritt stets der Zykel
ν, π (ν), . . . , π lν −1 (ν) auf π lν (ν) = ν .
Beispiel:
Für
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
π=
2 4 6 8 10 12 14 1 3 5 7 9 11 13 15
ist
π = (1, 2, 4, 8) (3, 6, 12, 9) (5, 10) (7, 14, 13, 11).
1.49 Satz 39
1.49 Satz
Für n ≥ 3 wird die alternierende Gruppe von 3-Zykeln erzeugt.
Speziell gilt:
An =< (1, 2, i) | 3 ≤ i ≤ n > .
Beweis:
An besteht aus geraden Permutationen, ihre Elemente sind also Produkte jeweils einer geraden
Anzahl von Transpositionen. Also gilt:
An =< (i j) (k l) | 1 ≤ i < j ≤ n, 1 ≤ k < l ≤ n > .
Die erzeugenden Elemente hierin sind nun Produkte von 3-Zyklen:
(i) ]{i, j, k, l} = 2 ⇒ (eventuelles Umnumerieren) k = i, l = j, also
(i, j) (i, j) = id = (1, 2, 3)3 ;
(ii) ]{i, j, k, l} = 3 ⇒ j = k, i 6= l :
(i, j) (j, l) = (i, j, l),
(iii) ]{i, j, k, l} = 4:
(i, j) (k, l) = ((i, j) (j, k)) ((j, k) (k, l))
= (i, j, k) (j, k, l),
wie in (ii).
Schließlich:
(i, j, k) = (2, k, i) (2, i, j)
und
(2, i, j) = (1, 2, j)2 (1, 2, i)
= (1, j, 2) (1, 2, i).
2
Beispiel:
A3 = {(1, 2, 3)k | k = 0, 1, 2}, A2 = {id}.
1.50 Hilfssatz
Für n ≥ 5 sind alle 3-Zyklen von An konjugiert.
Beweis:
Wir zeigen: Zu (i, j, k) und (1, 2, 3) existiert π ∈ An mit
π (1, 2, 3) π −1 = (i, j, k).
Wegen n ≥ 5 existieren l, m ∈ INn mit ]{i, j, k, l, m} = 5. Entweder
1 2 3 4 5 ... n
τ= oder (l, m) τ
i j k l m ...
liegen in A5 . Nach (1.45)(vi) gilt nun
(1.45)(vi)
τ (1, 2, 3) = (τ (1), τ (2), τ (3))
= (i, j, k)
(1.45)(vi)
= (l, m) τ (1, 2, 3) τ −1 (l, m).
2
40 Kapitel 1 — Gruppen
1.51 Satz
Für n ≥ 5 ist An einfach.
Bemerkung:
Dies hat weitreichende Konsequenzen. Speziell gilt für
n!
p (n ≥ 5)
2
Beweis:
Es sei N 6=< id > Normalteiler von An und n ≥ 5. Gemäß (1.50) und (1.51) genügt es zu zeigen,
daß N einen 3-Zykel enthält, da dann bereits N = An folgt.
Dazu sei π ∈ N, π 6= id, in eindeutiger Darstellung als Produkt elementfremder Zykeln gemäß
(1.49) gegeben.
1. Fall:
Es tritt ein r-Zykel (i, j, k, l, . . .) mit r ≥ 4 auf. Für τ = (i, j, k) liegt dann π (τ π −1 τ −1 ) ebenfalls
in N .
π (τ π −1 τ −1 ) hat keinen Effekt außerhalb des r-Zykels (i, j, k, l, . . .), und dort bewirkt es:
2. Fall:
In der Faktorisierung von π tritt mindestens ein 3-Zykel auf. Bei mehreren Faktoren gilt also
π = (i, j, k) (l, m, ?) . . . .
π (τ π −1 τ −1 ) = (π τ π −1 |, τ −1 )
= (j, l, π (m)) (m, k, i).
π (τ π −1 τ −1 ) = (i, j, l, m, k),
2
1.52 Definition — auflösbar 41
1.52 Definition
Eine endliche Gruppe G heißt auflösbar, falls eine Kette von Untergruppen
G = G0 ⊃ G1 ⊃ G2 ⊃ . . . ⊃ Gn = {e}
existiert, so daß Gi+1 Gi gilt und Gi /Gi+1 abelsch ist (1 ≤ i < n).
Bemerkung:
(i) Existiert eine Kette von Untergruppen
G = G0 ⊇ G1 ⊇ G2 ⊇ . . . ⊇ Gn = {e}
mit Gi+1 Gi und Gi /Gi+1 abelsch (0 ≤ i < n), dann ist G auflösbar.
(ii) Eine solche Untergruppenkette heißt Normalreihe.
Beispiel:
S3 = G0 ⊃ G1 = A3 ⊃ {e} = G2 ;
Dn = G0 ⊃ G1 =< b >⊃ {e} = G2 ;
G abelsch G = G0 ⊃ G1 = {e};
S4 = G0 ⊃ G1 = A4 ⊃ G2 = V4 ⊃ {e} = G3 .
1.53 Hilfssatz
(i) Jede endliche abelsche Gruppe ist auflösbar mit zyklischen Faktorgruppen.
(ii) Eine endliche Gruppe ist genau dann auflösbar, falls eine Untergruppenkette
G = G0 ⊃ G1 ⊃ . . . ⊃ Gn = {e} mit Gi+1 Gi
Beweis:
(i) Induktion über m = (G : 1). m = 1 ist trivial. Sei also m > 1. Ist G selbst zyklisch, so
ist nichts zu zeigen. Andernfalls sei H =< x > zyklische Untergruppe von G mit x 6= {e}.
Nach Induktionsvoraussetzung ist dann G/H auflösbar mit zyklischen Faktorgruppen, d.h. es
existierten Untergruppe Gi /H (0 ≤ i ≤ r), G0 = G, Gr = H mit
Gi /H Gi+1 /H ∼
= Gi /Gi+1
1.54 Hilfssatz
Es sei G eine endliche Gruppe mit Untergruppe H.
(i) Ist G auflösbar, so auch H und im Fall H G und H auflösbar ist auch G/H auflösbar.
(ii) Ist H Normalteiler und sind H sowie G/H auflösbar, dann ist auch G auflösbar.
Beweis:
(i) Es sei
G = G0 ⊃ G1 ⊃ G2 ⊃ . . . ⊃ Gn = {e}
(Normalreihe von G) mit Gi+1 Gi , Gi /Gi+1 abelsch. Bilde
Hi := Gi ∩ H (0 ≤ i ≤ n).
von G mit
(1.21)
(Gi /H) (Gi+1 /H) ∼= Gi /Gi+1
abelsch. Also ist
G = G0 ⊃ G1 ⊃ . . . ⊃ Gs = H = H0 ⊃ H1 ⊃ . . . ⊃ Hr = {e},
d.h. G auflösbar.
2
Bemerkung: Für n ≥ 5 ist Sn nicht auflösbar, da An für n ≥ 5 nach (1.53) nicht auflösbar ist.
Kapitel 2: Ringe
2.1 Definition
Eine nicht leere Menge R mit zwei inneren Verknüpfungen + (Addition), · (Multiplikation) heißt
Ring (R, +, ·), falls folgende drei Bedingungen erfüllt sind.
x · (y + z) = (x · y) + (y · z),
(x + y) · z = (x · z) + (y · z) ∀x, y, z ∈ R.
Überdies heißt R kommutativ, falls x · y = y · x ∀x, y ∈ R gilt. R heißt Ring mit Eins, falls (R, ·)
Monoid ist.
Bemerkung:
Statt (R, x, ·) schreibt man oft kürzer R, statt x · y einfach x y. Vereinbarungsgemäß geht ”Punkt-
rechnung vor Strichrechnung”. Das neutrale Element bzgl. + wird als 0 geschrieben. Ein Einsele-
ment ist, falls es existiert, stets eindeutig bestimmt.
Beispiel:
(i) (ZZ, +, ·), (Q, +, ·), (IR, +, ·), (C, +, ·) sind kommutative Ringe mit Eins, jedoch auch R =
{0} (pathologischer Ring).
(iii) Die Endomorphismen eines Vektorraums V bilden einen Ring mit Einselement id. Dieser ist
für dim V ≥ 2 nicht kommutativ.
(i) 0 x = x 0 = 0,
2.2 Definition
Eine Teilmenge S von (R, +, ·) heißt Teilring (Unterring) von R, falls (S, +, ·) selbst Ring ist. In
diesem Fall heißt R Oberring (Erweiterungsring) von S.
2.3 Hilfssatz
R sei Ring und ∅ 6= S ⊆ R. Dann sind äquivalent:
(i) S Teilring von R,
(ii) SS ⊆ S und S + (−S) ⊆ S.
Beweis:
(i) ⇒ (ii): Klar. Beachte
SS = {xy | x ∈ S, y ∈ S},
S + (−S) = {x − y | x, y ∈ S}.
(ii) ⇒ (i):
S + (−S) ⊆ S ⇒ (S, +) Gruppe,
SS ⊆ S ⇒ (S, ·) Halbgruppe,
Beispiele:
(i) Für n ∈ IN ist nZZ Unterring von ZZ.
(ii) Die Diagonalmatrizen bilden einen Unterring von Rn×n .
Wichtiger als Teilringe sind jedoch Ideale, die in gewisser Weise den Normalteilern in der Grup-
pentheorie entsprechen!
2.4 Definition — Linksideal, Rechtsideal, Ideal 45
2.4 Definition
Es sei R ein Ring. a ⊆ R heißt Linksideal (bzw. Rechtsideal) von R, falls gilt:
Bemerkung:
(i) {0}, R sind stets Ideale von R; Ideale sind Teilringe (Umkehrung i.a. falsch: ZZ ⊂ Q) für
R 3 1 und 1 ∈ a für ein Links- oder Rechtsideal a von R folgt sofort a = R.
(ii) Der Durchschnitt von (Links- bzw. Rechts-) Idealen ist wieder eins. Zu A ⊆ R existiert
folglich ein kleinstes Ideal, welches A umfaßt, das sogenannte von A erzeugte Ideal (A).
Beispiel:
Es sei a ein Ideal von ZZ. Wegen a =6 ∅ und (−a) ⊆ a gilt entweder a = {0}, oder a enthält eine
kleinste natürliche Zahl m. Gemäß Division mit Rest gilt, daß m alle Zahlen von a teilt. Also ist
a = ZZm = mZZ.
2.5 Hilfssatz
Es sei ∅ 6= A ⊆ R, R Ring. Dann besteht (A) aus allen endlichen Summen von Elementen der
Form
n a, x a, a y, x a y mit a ∈ A, x, y ∈ R, n ∈ ZZ.
Beweis:
(ii) Die Menge der in (2.5) angegebenen Elemente ist ein Ideal.
2.6 Korollar
Es sei R ein Ring und ∅ 6= A ⊆ R. Dann gilt:
( )
X
(i) (A) = xi · ai · yi xi , yi ∈ R, ai ∈ A für R 3 1;
endl.
( )
X X
(ii) (A) = xi · ai + mj · bj xi ∈ R, mj ∈ ZZ, ai , bj ∈ A für R kommutativ;
endl. endl.
( )
X
(iii) (A) = xi · ai xi ∈ R, ai ∈ A für R kommutativ mit Eins.
endl.
2.7 Definition
Ein Ideal a eines Ringes R heißt Hauptideal, falls a = (a) für a ∈ R gilt. a heißt endlich erzeugbar,
falls a = (A) mit ]A < ∞ gilt.
Beispiel:
Alle Ideale in ZZ sind Hauptideale.
Bemerkungen:
(i) R kommutativ ⇒ (a) = Ra + ZZa;
(ii) R kommutativ mit Eins ⇒ (a) = Ra;
(iii) R kommutativ ohne Eins: In R = 2ZZ ist (2) = 4ZZ + ZZ2 = 2ZZ von 2R = 4ZZ verschieden;
(iv) R 3 1 ⇒ (1) = R.
a1 + a2 = {a1 + a2 | a1 ∈ a1 , a2 ∈ a2 }.
Bemerkung:
Die Summe endlich vieler (Links- bzw. Rechts-) Ideale ist wieder eins.
Der Durchschnitt von Idealen ist wieder ein Ideal. Es gelten:
2.9 Definition
Das Produkt zweier (Links- bzw. Rechts-) Ideale a1 , a2 ist definiert durch:
( )
X
a1 · a2 = a1i a2i | a1i ∈ a1 , a2i ∈ a2 .
endl.
Bemerkung:
Das Produkt endlich vieler (Links- bzw. Rechts-) Ideale ist wieder eins. Es gelten die Rechenregeln:
Beispiel:
R = ZZ:
Ra + Rb = {xa + yb | x, y ∈ ZZ} = cZZ mit c = ggT (a, b),
Ra ∩ Rb = dZZ mit d = kgV (a, b).
2.10 Satz — Faktorring R/a, Restklassenring R modulo a 47
Beweis:
(i) klar.
(ii) klar.
(iii) x ∈ a ∩ b, y ∈ a ∩ c ⇒ x + y ∈ a, x + y ∈ b + c.
(iv) Es ist
(a + b) (a ∩ b) = a (a ∩ b) + b (a ∩ b) ⊆ ab
⊆ a ∩ b,
2.10 Satz
Es sei R ein Ring mit Ideal a. Dann läßt sich R/a mittels
(x + a) + (y + a) =: (x + y) + a, (x + a) (y + a) := xy + a ∀x, y ∈ R
Beweis:
Zunächst ist (a, +) additive Untergruppe von (R, +), also R/a eine additive Gruppe (vergleiche
(1.17)). Wir zeigen: (R/a, ·) ist Halbgruppe. Zunächst ist · innnere Verknüpfung. Dazu ist die
Wohldefiniertheit nachzuweisen. Für
x + a = x̃ + a, y + a = ỹ + a folgt x − x̃, y − ỹ ∈ a
und somit
xy − x̃ỹ = (x − x̃) y + x̃ (y − ỹ) ∈ a,
da a zweiseitiges Ideal ist. Also folgt xy + a = x̃ỹ + a. Das Assoziativgesetz bzgl. · überträgt sich
von R. Das gleiche gilt für die die Distributivgesetze, da ja vertreterweise mit den Idealklassen
gerechnet wird.
Bemerkungen:
(ii) Für x − y ∈ a schreibt man x ≡ y modulo a (”kongruent”). Hierfür gelten die Regeln:
x ≡ y modulo a + +
⇒ x u ≡ y v modulo a.
u ≡ v modulo a • •
Für R = ZZ bedeutet die alte Schreibweise x ≡ y mod n gerade x ≡ y modulo nZZ, denn
sämtliche Ideale von ZZ waren ja als Hauptideale nachgewiesen. Die spezielle Äquivalenzrela-
tion ≡ heißt Kongruenzrelation.
48 Kapitel 2 — Ringe
2.11 Definition
Es seien R, S zwei Ringe. Unter einem Ringhomorphismus von R nach S versteht man eine
Abbildung f : R → S mit
f (x + y) = f (x) + f (y), f (x · y) = f (x) · f (y) ∀x, y ∈ R.
Bemerkungen:
(i) Für Ringhomomorphismen f : R → S ist Im f = f (R) Untering von S, ker f = f −1 (0)
Ideal in R.
(ii) Ist R ein Ring mit Ideal a, so ist p : R → R/a : x 7→ x + a ein Ringepimorphismus, der
sog. kanonische Epimorphismus. Es ist ker p = a.
2.12 Hilfssatz
Eine Teilmenge a eines Ringes R ist genau dann ein Ideal, wenn a Kern eines Ringhomomorphismus
ist.
2.13 Hilfssatz
Es seien R, S Ringe und f : R → S ein Ringhomomorphismus. Dann gilt:
(i) Ist b ein Ideal in S, so ist f −1 (b) Ideal in R, f −1 (b) ⊇ ker f .
(ii) Ist a Ideal in R und f surjektiv, so ist f (a) Ideal in S.
Beweis:
Gemäß (1.16) gelten die Aussagen bzgl. +.
(i) Es sei s = f (r) ∈ b und x ∈ R. Dann ist
f (xr) = f (x) f (r) ∈ b,
2.14 Satz
Es seien R, S zwei Ringe.
(i) (Homomorphiesatz)
Ist f : R → S ein Ringhomomorphismus, dann gilt
R/ ker ϕ ∼
= ϕ (R).
(ii) (Erster Isomorphiesatz)
Ist U Unterring und a Ideal von R, so gilt
(U + a)/a ∼
= U/U ∩ a.
(iii) (Zweiter Isomorphiesatz)
Für Ideale a, b von R mit a ⊆ b ist b/a Ideal von R/a, und es gilt
(R/a)/(b/a) ∼= R/b.
2.15 Hilfssatz
Es sei a ein Ideal des Ringes R. Die Mengen
und
J(a) := { b | b Ideal von R\a}
Beweis:
Nach (2.14)(iii) ist ψ eine Abbildung von I(a) in J(a). Für
also ist ψ injektiv. Ist schließlich b Ideal von J(a), so ist p−1 ( b) ein Ideal von R, welches a umfaßt,
also in I(a) liegt. Hierfür gilt ψ (p−1 ( b)) = b nach Konstruktion.
2.16 Definition
Es sei R ein Ring. 0 = 6 a ∈ R heißt linker (rechter) Nullteiler, falls b ∈ R mit a b = 0 (b a = 0)
6 b ∈ R existiert. x ∈ R heißt nilpotent, falls m ∈ IN mit xm = 0 existiert. Für 1 ∈ R
für ein 0 =
heißt e ∈ R Einheit (invertierbar), falls e in R ein Linksinverses und ein Rechtsinverses besitzt.
U (R) = R× bezeichnet die Menge der Einheiten von R.
Bemerkungen:
a = a · 1 = a (eb) = (ae) b = 1 · b = b.
(Vergleiche Gruppentheorie)
(ii) Die Elemente von R, welche keine Nullteiler sind, bilden eine Halbgruppe. Es seien a, b keine
Nullteiler; ist dann x ∈ R mit abx = 0 so folgt
a (bx) = 0 ⇒ bx = 0 ⇒ x = 0.
(iii) Einheiten sind keine Nullteiler und bilden folglich eine multiplikative Untergruppe von R.
e ∈ R× , x ∈ R : ex = 0 ⇒ e−1 ex = 0 ⇒ 1 · x = x = 0.
Beispiele:
Bestimme Einheiten, Nullteiler und nilpotente Elemente in
ZZ/6ZZ, ZZ, K n×m , R = {0}.
(iii) R = ZZ
Nilpotente Elemente: 0,
Nullteiler: keine,
Einheiten: ±1.
(iv) K n×n
Nilpotente Elemente sind z.B. alle oberen 4-Matrizen mit 0-Diagonale,
Nullteiler: alle singulären Matrizen,
Einheiten: GL (n, K).
2.17 Definition
Ein Ring R mit 1 6= 0 heißt Schiefkörper, falls R× = R\{0} ist. Ist R kommutativ, so heißt R
Körper.
2.18 Hilfssatz
Ein Ring R ist genau dann ein Schiefkörper, wenn (R\{0}, ·) Gruppe ist.
Beweis:
⇒: per Definition
⇐:
R\{0} enthält Eins e mit 0e = e0 = 0. Also ist R× = R\{0}.
Beispiele:
Bemerkungen:
(i) R Ring mit Eins, a Ideal von R mit a ∩ R× 6= ∅. Dann ist a = R; denn zu a ∈ a ∩ R× existiert
a−1 ∈ R und a−1 a ∈ Ra = a, also 1 ∈ a und R = R 1 ⊆ a.
2.19 Hilfssatz
(i) Es sei R ein Ring. Ist a ∈ R kein Nullteiler, a 6= 0, so gilt:
ax = ay ⇒ x = y; xa = ya ⇒ x = y ∀x, y ∈ R.
Beweis:
(i) a (x − y) = 0 ⇒ x − y = 0 ⇒ x = y; (x − y) a = 0 ⇒ x − y = 0 ⇒ x = y.
Für x ∈ R, x 6= 0, betrachte ϕx : R\{0} → R\{0} : a 7→ xa. ϕx ist injektiv (nach (i)), also
wegen R endlich auch surjektiv. Dasselbe gilt für ψx : a 7→ ax. Zu a, b ∈ R\{0} existieren
folglich eindeutig x, y ∈ R\{0} mit b = ax = ya. Gemäß (1.5) ist R× = R\{0} Gruppe.
2.20 Definition
Es sei R ein Ring mit 1 6= 0. Existiert dann eine kleinste natürliche Zahl n mit n 1 = 0, so heißt n
die Charakteristik χ (R) von R. Existiert kein solches n, setzt man die Charakteristik χ (R) zu 0
fest.
Beispiele:
χ (ZZ) = 0, χ (ZZ/nZZ) = n.
2.21 Satz
Die Charakteristik eines nullteilerfreien unitären (R 3 1 =
6 0) Rings R ist 0 oder eine Primzahl p.
Im letzten Fall gilt px = 0 ∀x ∈ R, sowie kx = R (k, x) x.
Beweis:
Es sei R Ring mit χ (R) =6 0 und n ∈ IN die kleinste natürliche Zahl mit n1 = 0, also speziell
n ≥ 2. Ist n keine Primzahl, so gilt n = pq mit p, q ∈ ZZ≥1 , p < n, q < n und somit
nx = n (1x) = (n1) x = 0x = 0 ∀x ∈ R.
Bemerkung:
Der Durchschnitt von Schiefkörpern ist wieder einer. Also enthält jeder Schiefkörper einen kleinsten
Teilkörper, den sogenannten Primkörper.
52 Kapitel 2 — Ringe
2.22 Satz
Der Primkörper eines Schiefkörper K ist isomorph zu Q (für χ (K) = 0) oder zu ZZ/nZZ für eine
Primzahl p (für χ (K) = p).
Beweis:
In K gilt 1 6= 0. Der Primkörper von K umfaßt daher alle Elemente der Form m1 (m ∈ ZZ). Für
χ (K) = 0 sind diese alle ungleich 0 für m 6= 0. Also existiert (m1)−1 und damit (m1) (n1)−1 im
Primkörper. Setze
P := {(m1) (n1)−1 | m ∈ ZZ, n ∈ ZZ, n 6= 0}.
Es gilt:
Also ist P Körper, der im Primkörper enthalten ist, folglich gleich dem Primkörper.
m
ϕ : Q→P : 7→ (m1) (n1)−1
n
ist dann ein Ringisomomorphismus.
Für χ (K) = p, p Primzahl, ist p1 = 0. Für x = k1 (1 ≤ k < p) existiert (Euklidischer Algorithmus
in ZZ) ein l ∈ ZZ mit k · l ≡ 1 mod p, also (k1) (l1) = 1 in K. Setze
ϕ : (ZZ/pZZ) → P : k + pZZ 7→ k1
Wie bei Gruppen kann man für Ringe äußere Produkte (Summen) erklären.
n
Y
Sind R1 , . . . , Rn Ringe, so wird R1 × . . . × Rn =: Ri = R zu einem Ring mittels
i=1
(Vergleiche Eigenschaften bei Gruppen, speziell ist εi (Ri ) = (0, . . . , 0, Ri , 0, . . . , 0) Ideal von R.
Schreibweise: R1 ⊕ . . . ⊕ Rn .)
Ist andererseits R ein Ring mit Idealen a1 , . . . , an , so heißt R (innere) direkte Summe von a1 , . . . , an ,
falls
X n
R = a1 + . . . + an und Rai ∩ aj = {0}
j=1
j6=i
. .
ist (vgl. (1.23)). (Schreibweise: R = a1 + . . . + an )
Ein Element e ∈ R mit e 6= 0 und e2 = e heißt Idempotente von R. Zwei Idempotente e, f heißen
orthogonal, falls ef = f e = 0 ist.
Beispiel: .
R = ZZ/6ZZ. Es gilt: R =< 3 + 6ZZ > + < 4 + 6ZZ >.
Hierin sind e1 = 3 + 6ZZ und e2 = 4 + 6ZZ [Link] haben hier eine Zerlegung der Eins in
orthogonale Idempotente: 1 + 6ZZ = (3 + 6ZZ) + (4 + 6ZZ).
Bemerkung:
2.23 Definition — Halbordnung 53
Ringe R mit 1 ∈ R haben mit einer Idempotenten e 6= 1 stets eine weitere: 1 − e. Es gilt
1 = e + (1 − e),
(1 − e)2 = 12 − 1 · e − 1 · e + e2
= 1−e−e+e
= 1 − e.
e (1 − e) = e − e2 = 0 = (1 − e) e.
Somit gilt
R = R 1 = R (e + (1 − e)) = R e+̇R (1 − e).
2.23 Definition
Es sei M eine nicht leere Menge. Eine Relation ≤ auf M heißt Halbordnung, falls die Bedingungen
(i) x ≤ x
(ii) x ≤ y ∧ y ≤ x ⇒ x = y
(iii) x ≤ y ∧ y ≤ z ⇒ x ≤ z
(iii) P (M ) mit ⊆:
M = {1, 2} hat P (M ) = {∅, {1}, {2}, M }.
∅ ⊆ {1} ⊆ M, ∅ ⊆ {2} ⊆ M . {1} ist in {2} nicht enthalten.
2.24 Definition
Es sei M eine nicht leere Menge. Eine Halbordung ≤ auf M heißt Ordnung, falls für alle x, y ∈ M
stets x ≤ y oder y ≤ x gilt. In diesem Fall heißt M Kette.
Beispiel:
(IR, ≥), nicht aber (C, | |).
2.25 Definition
Es sei M = 6 ∅ und ≤ eine Halbordnung auf M . Für A ⊆ M heißt s(A) ∈ M obere Schranke von
A, falls x ≤ s(A) ∀a ∈ A gilt. Für A ⊆ M heißt m(A) ∈ A maximales Element von A, falls aus
a ∈ A und m(A) ≤ a stets a = m(A) folgt. Eine Teilmenge X von M heißt induktiv geordnet,
falls jede Kette in X eine obere Schranke in X (!) besitzt.
Beispiel:
A = {{1}, {2}, ∅} ⊆ P ({1, 2});
Es ist s(A) = {1, 2}; sowohl {1} als auch {2} sind maximale Elemente von A.
54 Kapitel 2 — Ringe
2.27 Definition
Es sei R Ring mit Ideal a. a heißt maximal, falls es kein Ideal b mit a ⊂ b ⊂ R gibt.
2.28 Satz
Es sei V ein Vektorraum über dem Körper K und M ⊆ V linear unabhängig. Dann existiert eine
Basis B von V mit M ⊆ B.
Beweis:
Es bestehe Q ⊆ P (V ) aus allen linear unabhängigen Teilmengen von V , die M enthalten. Wegen
M ∈ Q folgt Q =
6 ∅. Ist K eine Kette in Q, so gilt
[
m(K) := N ∈ Q.
N ∈K
Denn sind x1 , . . . , xn ∈ m(K), d.h. xi ∈ Ni (1 ≤ i ≤ n), so existiert ein maximaler Index j, mit
xi ∈ Nj (1 ≤ i ≤ n), also sind x1 , . . . , xn linear unabhängig.
Nach dem Zornschen Lemma existiert in Q ein maximales Element B. Nach Voraussetzung ist B
linear unabhängig. Es bleibt [B] = V zu zeigen.
Ist x ∈ V \[B], so gilt speziell x 6= 0, und B̃ := B ∪ {x} ist linear abhängig. Also existieren
x1 , . . . , xr ∈ B und λ1 , . . . , λr , λ ∈ K mit
r
X
λi xi + λ x = 0.
i=1
Bemerkungen:
Also folgt die Behauptung. Für M = ∅ liefert dies die Existenz einer Basis von V .
2.29 Satz
Es sei R ein Ring mit 1 6= 0 und a 6= R ein Ideal von R. Dann ist a in einem maximalen Ideal m
von R enthalten.
Bemerkung:
Für a = {0} liefert dies die Existenz maximaler Ideale (in Ringen R mit Eins).
Beweis:
Es sei M die Menge aller Ideale b von R mit R ⊃ b ⊇ a, dann ist M 6= ∅ induktiv geordnet bzgl.
⊆.
Nach dem Zornschen Lemma existiert ein maximales Element m aus M. Wegen 1 ∈ / m ist m
maximales Ideal.
Bemerkungen:
(i) In ZZ sind pZZ, p Primzahl, genau die maximalen Ideale.
(ii) Ist R Körper, so ist {0} einziges maximales Ideal.
2.30 Satz 55
2.30 Satz
Es sei R ein Ring mit Ideal m. Dann gilt:
(i) m 6= R ist maximal ⇔ R/m enthält nur die Ideale m und R/m.
(ii) Ist R kommutativ mit 1 6= 0, so ist m genau dann maximal, falls R/m Körper ist.
Beweis:
(i) Gemäß (2.15).
(ii)
2.31 Definition
Ein kommutativer Ring R mit Eins heißt lokaler Ring, falls R genau ein maximales Ideal besitzt.
2.32 Hilfssatz
R kommutativ mit 1. R lokaler Ring ⇔ R\R× ist Ideal in R.
Beweis:
”⇐”:
Jedes Ideal a in R mit a 6= R beteht aus Nichteinheiten.
”⇒”:
Für x ∈ R, x ∈/ U (R), folgt Rx = (x) ⊆ m für ein passendes maximales Ideal m von R.
Beispiel:
ZZ nr o pZZ
= ∈ Q r ∈ ZZ, p - s ist lokaler Ring mit m = .
ZZ\pZZ s ZZ\pZZ
Quotientenbildung bei kommutativen Ringen R
Es sei R ein kommutativer Ring und S ⊆ R eine multiplikative Halbgruppe. Als ”Brüche” (mit
Nennern in S) definiert man die Menge R×S der geordneten Paare (r, s). Wie bei der Konstruktion
der rationalen aus den ganzen Zahlen bildet man auf R × S eine Äquivalenzrelation, deren Klassen
dann die gewünschten Brüche bilden. Wegen der möglichen Existenz von Nullteilern muß man
allgemeiner
(r, s) ∼ (r̃, s̃) :⇔ ∃t ∈ S : t (rs̃ − r̃s) = 0 definieren.
Dies ist tatsächlich eine Äquivalenzrelation, denn Reflexivität und Symmetrie sind klar und bzgl.
der Transitivität bemerken wir:
(r1 , s1 ) ∼ (r2 , s2 ) ∧ (r2 , s2 ) ∼ (r3 , s3 )
⇔ ∃t1 , t2 ∈ S : t1 (r1 s2 − r2 s1 ) = 0 = t2 (r2 s3 − r3 s2 )
⇒ ∃t1 , t2 ∈ S : 0 = t1 t2 s3 (r1 s2 − r2 s1 ) + t1 t2 s1 (r2 s3 − r3 s2 )
= t1 t2 s2 (s3 r1 − s1 r3 )
= t (s3 r1 − s1 r3 ) für t = t1 t2 s2
56 Kapitel 2 — Ringe
⇒ ∃t ∈ S : t (s3 r1 − s1 r3 ) = 0
⇔ (r1 , s1 ) ∼ (r3 , s3 ).
Die Äquivalenzklassen bilden Brüche:
r
Kr,s := {(r̃, s̃) ∈ R × S | (r, s) ∼ (r̃, s̃)} =: .
s
Setze
(Für die Äquivalenzklassen sr11 , sr22 von (r1 , s1 ), (r2 , s2 ) ∈ R × S definieren wir eine Addition und
eine Multiplikation über die Vertreter:
r1 r2 r1 s2 + r2 s1 r1 r2 r1 r2
+ := , · := .)
s1 s2 s1 s2 s1 s2 s1 s2
Zur Multiplikation: Sind auch (r̃1 , s̃1 ) ∈ sr11 , (r̃2 , s̃2 ) ∈ sr22 , so ist (r1 r2 , s1 s2 ) ∼ (r̃1 r̃2 , s̃1 s̃2 ) wegen
(r1 , s1 ) ∼ (r̃1 , s̃1 ) ∧ (r2 , s2 ) ∼ (r̃2 , s̃2 )
⇔ ∃t1 , t2 ∈ S : t1 (r1 s̃1 − r̃1 s1 ) = 0 = t2 (r2 s̃2 − s2 r̃2 )
⇒ ∃t1 , t2 ∈ S : 0 = t1 t2 (r1 r2 s̃1 s̃2 − r̃1 r2 s1 s̃2 ) + t1 t2 (r̃1 r2 s1 s̃2 − r̃1 r̃2 s1 s2 )
⇒ ∃t1 t2 ∈ S : 0 = t1 t2 (r1 r2 s̃1 s̃2 − r̃1 r̃2 s1 s2 )
⇔ (r1 r2 , s1 s2 ) ∼ (r̃1 r̃2 , s̃1 s̃2 );
für die Addition folgert man aus
∃t1 , t2 ∈ S : 0 = t1 (r1 s̃1 − r̃1 s1 ) = t2 (r2 s̃2 − s2 r̃2 )
⇒ ∃t1 , t2 ∈ S : 0 = t1 t2 (r1 s̃1 s2 s̃2 − r̃1 s1 s2 s̃2 + r2 s̃2 s1 s̃1 − s2 r̃2 s1 s̃1 )
⇒ ∃t1 , t2 ∈ S : 0 = t1 t2 ((r1 s2 + r2 s1 ) s̃1 s̃2 − (r̃1 s̃2 + r̃2 s̃1 ) s1 s2 )
⇔ (r1 s2 + r2 s1 , s1 s2 ) ∼ (r̃1 s̃2 + r̃2 s̃1 , s̃1 s̃2 ).
Die Rechengesetze von R übertragen sich über die Vertreter auf
nr o r
RS := | r ∈ R, s ∈ S für = Kr,s ,
s s
s
welches folglich einen kommutativen Ring mit Einselement s bildet:
r s r r
· = ∀ ∈ RS .
s s s s
R läßt sich homomorph in RS abbilden mittels
rs
ι : R → RS : r 7→
s
für ein beliebiges s ∈ S.
Im Fall, daß S = 6 0 keine Nullteiler enthält, ist ι sogar Monomorphismus, also Einbettung, d.h. RS
läßt sich als Ringerweiterung von R auffassen.
Spezialfälle:
(i) S 3 0 ⇒ RS ist trivial.
(ii) ∅ 6= S besteht aus allen Nicht-Nullteilern 6= 0 von R. In diesem Fall heißt RS der (vollständige)
Quotientenring Q (R) von R. Sind speziell alle Elemente 6= 0 keine Nullteiler, so ist Q (R)
ein Körper.
Beispiel:
(i) R = ZZ, S = ZZ\{0} ⇒ RS ∼
= Q.
(ii) R = ZZ, S = {2ν | ν ∈ ZZ≥0 } ⇒ RS = { 2aν | ν ∈ ZZ≥0 }.
(iii) R = ZZ, S = ZZ\pZZ (p ∈ IP) ⇒ RS = ZZ(p) (“p-Lokalisierung von ZZ”).
2.33 Definition — Primideal 57
2.33 Definition
Es sei R ein kommutativer Ring. Ein Ideal R % p von R heißt Primideal, falls für a, b ∈ R mit
ab ∈ p stets a ∈ p oder b ∈ p folgt.
Beispiele:
(i) R = ZZ, alle Primideale sind von der Form pZZ mit p Primzahl.
(i) a Primideal,
Beweis:
(i) ⇒ (ii): nach Definition;
(ii) ⇒ (iii): trivial;
(iii) ⇒ (iv):
für a + a, b + a, beide ungleich a, folgt a, b ∈ R\a, damit ab ∈ R\a und
(a + a) (b + a) = ab + a 6= a;
(iv) ⇒ (i):
es seien a, b ∈ R mit ab ∈ a, also
a = ab + a = (a + a) (b + a)
Bemerkung:
(i) In einem kommutativen Ring mit 1 ist jedes maximale Ideal ein Primideal, also ist jedes Ideal
a ⊂ R von R in einem Primideal enthalten.
(ii) In einem kommutativen Ring R mit Primideal p bildet R\p eine multiplikative Halbgruppe
S. Dann heißt
R
RS = RR\p = =: Rp
R\p
Lokalisierung von R bei p. Rp ist ein lokaler Ring (siehe Übungsblatt 7).
R r
(Falls R 3 1 : R → R\p : r 7→ 1 ist Ringhomomorphismus.)
Speziell: R = ZZ, p = pZZ für p ∈ IP :
nm o
R(p) = m ∈ ZZ, n ∈ ZZ mit p - n .
n
Beispiele:
na o
(i) p = 2ZZ ⇒ Rp = a, b ∈ ZZ, 2 - b .
b
(ii) R = 2ZZ, a = 4ZZ :
2 · 2 ∈ a, also ist a kein Primideal. a ist maximal, denn x ∈ R\a hat die Gestalt 2 (2m + 1),
(a, x) 3 x − 4m = 2.
2.35 Definition
Ein Ring R, in dem jedes Ideal endlich erzeugt ist, heißt noetherscher Ring.
Beispiel: R = ZZ, dort ist jedes Ideal Hauptideal.
Beweis:
(i) ⇒ (ii):
Für eine vorgelegte Kette von Idealen ist deren Vereinigung a wieder ein Ideal(!), welches etwa
durch a1 , . . . , am erzeugt wird. Für ai ∈ aji (1 ≤ i ≤ m) gilt dann also aj0 ⊇ (a1 , . . . , am ) ⊇ aj0 ,
ai ∈ aj0 (1 ≤ i ≤ m) mit j0 := max {j1 , . . . , jm }, und wir erhalten etwa n = j0 , d.h. die Kette wird
ab aj0 stationär.
(ii) ⇒ (iii):
Es sei M 6= ∅ eine Menge von Idealen. Wähle a1 ∈ M. Ist a1 maximal, so sind wir fertig. Ist
a1 nicht maximal, so exitiert a2 ∈ M, a2 ⊃ a1 . Man erhält so eine aufsteigende Kette, die nach
Voraussetzung stationär werden muß. Das diesbezügliche an ist dann in M maximal.
(iii) ⇒ (i):
Es sei a ein Ideal von R. Bilde
Wegen {0} ∈ M ist M 6= ∅. Sei m maximales Element von M, etwa m =< a1 , . . . , ak >. Für
beliebiges a ∈ a ist m̃ := (a1 , . . . , ak , a) in M, also gleich m, also folgt a = m.
Bemerkung:
Es sei R ein noetherscher Ring und f : R → S ein Ringepimorphismus. Dann ist S noethersch.
(Speziell: Ist a ein Ideal von R, so ist R/a noethersch.)
Beweis:
Es sei a ein Ideal von S, dann ist etwa f −1 (a) =< a1 , . . . , ak >, und es folgt a = (f (a1 ), . . . , f (ak )).
2
2.37 Hilbertscher Basissatz 59
Beweis:
Es sei Q ein Ideal in R[t]. Betrachte hierzu Polynome vom Grad i ∈ ZZ≥0 , setze
(i) für f, g ∈ Q mit deg (f ) = deg(g) = i ⇒ entweder l(f ± g) = l(f ) ± l(g) mit deg (f ± g) =
deg (f ) = i oder deg (f ± g) < i mit l(f ) ± l(g) = 0;
(ii) für a = l(f ) ∈ ai , r ∈ R ⇒ ra = 0 oder rf ∈ Q mit deg (rf ) = i und l(rf ) = r l(f ).
Da man Elemente von Q mit t multiplizieren kann und dabei in Q bleibt, folgt unmittelbar
a0 ⊆ a1 ⊆ a2 ⊆ . . . ⊆ ar ⊆ . . . .
Da R noethersch ist, wird diese Kette stationär. Es sei r ∈ ZZ≥0 minimal mit ar = ar+k ∀k ∈ IN.
Dann existieren erzeugende Elemente ai1 , . . . , aini (ni ∈ IN) für ai (0 ≤ i ≤ r). Für 0 ≤ i ≤ r, 1 ≤
j ≤ ni sei fij ∈ Q mit l(fij ) = aij .
Wir zeigen nun, daß diese fij das Ideal Q erzeugen.
Es sei f ∈ Q mit deg (f ) = d. Wir führen Induktion nach d durch. Der Fall d = 0 ist klar, da
dann f in a0 liegt. Sei also d > 0. Für d > r gilt
und das Differenzpolynom liegt wiederum in Q. Für d ≤ r erhalten wir analog ein Polynom
also auch f selbst. Damit gilt Q = F, jedes Ideal von R[t] ist endlich erzeugt, damit ist R[t]
noethersch.
Es sei R ein kommutativer Ring mit 1 6= 0. Zwei Ideale a, b von R mit a+b = R heißen komaximal.
Speziell existieren e ∈ a, f ∈ b mit e+f = 1. (Allerdings wird nicht gefordert, daß e, f orthogonale
Idempotente sind.)
2.38 Hilfssatz
Es sei R ein kommutativer Ring mit 1 6= 0. Dann gilt für Ideale a, a1 , . . . , an , b1 , . . . , bn mit
ai + aj = R(ai , aj komaxial)(1 ≤ i < j ≤ n), a + bi = R (1 ≤ i ≤ n):
(i) a + b1 · . . . · bn = R,
(ii) a1 · . . . · an = a1 ∩ . . . ∩ an .
Beweis:
(i)
R = Rn
Yn
= (a + bi ) (wegen 1 ∈ R)
i=1
= a (an−1 + . . .) + b1 · . . . · bn (R kommutativ)
⊆ a + b1 · . . . · bn
⊆ R,
x ≡ 2 mod 5, a1 = 5ZZ
x ≡ 4 mod 11, a2 = 11ZZ
x ≡ 7 mod 12, a3 = 12ZZ
n n
X
Ist dann (x1 + a1 , . . . , xn + an ) ∈ X
i=1
R/ai vorgelegt, so ist dies Bild von x =
i=1
xi ẽi . Denn für ẽi
Bemerkung:
Der Satz sagt aus, daß sich simultane Kongruenzen nach komaximalen Idealen stets lösen lassen.
Er beschreibt die Lösungsmenge und gibt sogar ein (konstruktives) Verfahren zu ihrer Bestimmung
an.
Beispiel:
Löse x ≡ 2 mod 5, x ≡ 4 mod 11, x ≡ 7 mod 12.
1. Lösungmöglichkeit: Raten.
2. Lösungmöglichkeit: per (2.38)!
a1 = 5ZZ, a2 = 11ZZ, a3 = 12ZZ, R = ZZ.
ai + aj = R, eij + fij = 1 mit eij ∈ ai und fij ∈ aj .
i 1 1 2 2 3 3
ẽ1 = f12 f13 = −264
j 2 3 1 3 1 2
, ẽ2 = f21 f23 = −120 .
eij −10 25 11 −11 −24 12
ẽ3 = f31 f32 = −75
fij 11 −24 −10 12 25 −11
das Ergebnis ist modulo 5 · 11 · 12 = 660 eindeutig, also ist die kleinste positive Lösung 367, die
betraglich kleinste Lösung −293.
Gesamtlösung ist 367 + 660ZZ.
Generell:
Y
ei = fij ∈ aν für 1 ≤ ν ≤ n, ν 6= i (fij ∈ aν ) und ei ≡ 0 mod aν .
j=1
j6=i
Teilbarkeit in Ringen
Sinnvollerweise sind Nullteiler auszuschließen!
Ferner: R 3 1 =
6 0 und R sollte kommutativ sein.
62 Kapitel 2 — Ringe
2.40 Definition
Ein nullteilerfreier, kommutativer Ring R 6= {0} heißt Integritätsring.
Bemerkungen:
In Integritätsringen gilt die Kürzungsregel (2.19)(i), endliche Integritätsringe sind Körper (2.19)(ii).
R kommuativer Ring, a ⊂ R Ideal: a Primideal ⇔ R/a Integritätsring nach (2.33).
Beispiel: Alle Ideale =
6 {0} in ZZ und Körper sind Integritätsringe.
2.41 Defintion
Es seien R ein Integritätsring mit 1 und a, b ∈ R.
a heißt Teiler von b (a teilt b, b ist Vielfaches von a, a|b), falls c ∈ R mit b = ac existiert.
a heißt assoziiert zu b (a ∼ b), falls a|b und b|a gilt.
c ∈ R heißt größter gemeinsamer Teiler (ggT) von a, b, falls c|a und c|b und für alle d ∈ R mit
d|a, d|b auch d|c gilt.
a, b heißen teilerfremd, falls ggT (a, b) ∈ U (R) ist.
c ∈ R heißt kleinstes gemeinsames Vielfaches (kgV) von a, b, falls a|c, b|c und für alle d ∈ R mit
a|d, b|d auch c|d gilt.
Ein Element p ∈ R\U (R), p 6= 0, heißt Primelement von R, wenn für alle a, b ∈ R mit p|ab stets
p|a oder p|b folgt.
Ein Element a ∈ R\U (R), q 6= 0 heißt irreduzibel (unzerlegbar), wenn für alle a, b ∈ R mit ab = q
stets a ∈ U (R) oder b ∈ U (R) folgt.
Beispiele:
(i) Übliche Definitionen in ZZ; die zu a ∈ ZZ assoziierten Elemente sind ±a (U (R) = {±1}), die
Primzahlen sind die Primelemente und stimmen mit den irreduziblen Elemente überein.
√ √
(ii) Es sei R = Z√ Z[ 2] = {a + b 2 | a, b ∈ ZZ}. Es gibt unendlich viele assoziierte Elemente
a (−1)h (1 + 2)k (h ∈ {0, 1}, k ∈ ZZ).
√ √ √ √
√ (1 + 2) (1 − 2) −1 (1 − √ 2)−1 = −(1 + √ 2),
1+ 2= √ = √ ⇒
1− 2 1− 2 (1 + 2)−1 = −(1 − 2)
√
((1 + 2)k (k ∈ ZZ) sind alle verschieden!)
√
2 ist irreduzibel (und sogar Primelement!).
√
(Denn für S := ZZ[ m] (m ∈ ZZ, 6 ∃a ∈ ZZ≥2 : a2 |m) ist
√ √
N : ZZ[ m] → ZZ : a + b m 7→ a2 − mb2
√ √ √
eine multiplikativer Homomorphismus. Wäre nun 2 = xy in ZZ[ 2], so folgte N ( 2) =
−2 = N (x)
√N (y) in ZZ, also N
√(x) = ±1 √
oder N (y) = ±1. Ist o.B.d.A. N (x) = ±1, so gilt für
x = u + v 2 : ±1 = (u + v 2) (u − v 2), d.h. x ∈ U (R).)
Der Primelementnachweis verläuft ähnlich.
√
(iii) Es sei R = ZZ[ −5]. Hierin ist U (R) = {±1} (= U (ZZ)), wegen
√
N (a + b −5) = a2 + 5b2 = 1 ⇔ b = 0, a = ±1.
√ √ √ √
Ferner ist 21 = 3 · 7 = (4 + −5) (4 − −5) = (1 + 2 −5) (1 − 2 −5).
Hierin sind die beteiligten Elemente offenbar (!) keine Primelemente, jedoch irreduzibel.
Beweis:
Es
√ ist N (3) = 9, für 3 = xy mit x, y ∈
/ {±1} folgt N (x) = N (y) = 3, jedoch ist N (u +
v −5) = u2 + 5v 2 = 3 unlösbar in ZZ. Also ist 3 irreduzibel. Der Nachweis für die anderen
Elemente geht analog.
2.42 Hilfssatz 63
Bemerkungen:
Jede Einheit teilt alle Elemente aus R; x|x und x|0 für alle x ∈ R; a ∈ R mit a|1 ⇒ a ist Einheit
(a ∈ U (R)); a, b, x ∈ R und a|b ⇒ ax|bx; a, ri , xi ∈ R (1 ≤ i ≤ n) und a|xi (1 ≤ i ≤ n) ⇒
n
X
a ri xi ; a, b, c ∈ R und a|b, b|c ⇒ a|c; a, b ∈ R : a|b ⇔ b ∈ Ra ⇔ Rb ⊆ Ra; a, b ∈ R :
i=1
a ∼ b ⇔ ∃e ∈ U (R) : b = ae ⇔ Ra = Rb.
Jedes Primelement ist irreduzibel; dies ist eine Konsequenz des folgenden Hilfssatzes.
2.42 Hilfssatz
Es sei R ein Integritätsring mit 1 und a ∈ R\U (R), a =
6 0. Dann gilt:
Beweis:
(i)
(ii)
2.43 Definition
Ein Integritätring mit 1, in dem jedes Ideal Hauptideal ist, heißt Hauptidealring.
Bemerkungen:
Merke:
√ In Hauptidealringen stimmen irreduzible und Primelemente überein. Speziell ist also
ZZ[ −5] kein Hauptidealring.
64 Kapitel 2 — Ringe
n
X
Dies bedeutet, daß ein größter gemeinsamer Teiler von a1 , . . . , an sich als d = ri ai (ri ∈
i=1
R) darstellen läßt.
Beweis:
Für jeden gemeinsamen Teiler d˜ von a1 , . . . , an gilt:
ai = bi d˜ ⇔ ˜
(a1 , . . . , an ) ⊆ Rd.
Ferner ist (a1 , . . . , an ) ein Hauptideal Rd, für das dann notwendig d = ggT (a1 , . . . , an ) gelten
muß.
2.44 Satz
In einem Hauptidealring R läßt sich jedes x ∈ R\U (R), a 6= 0, als Produkt von Primelementen
darstellen.
Beweis:
Gemäß der vorrangehenden Bemerkung (iii) genügt es, eine Darstellung von x als Produkt irre-
duzibler Elemente nachzuweisen.
Ist x irreduzibel, sind wir fertig. Ansonsten existieren x1 , x2 ∈ R\U (R) mit x = x1 x2 , und es
ist (x) $ (xi ) (1 ≤ i ≤ 2). Analog versuchen wir x1 , x2 zu faktorisieren und erhalten so nach n
Schritten x als Produkt von y1 , . . . , yn ∈ R\U (R). Dabei werden die faktoren so angeordnet, daß
im Falle nicht irreduzibler Faktoren diese die höchsten Indizes bekommen. Wegen
muß dieser Prozeß abbrechen (R ist als Hauptidealring noethersch), d.h. nach endlich vielen Schrit-
ten wird x ein Produkt irreduzibler Elemente.
2.45 Definition
Ein Integritätsring mit 1 heißt ZPE-Ring (Ring mit eindeutiger Primelementzerlegung, faktorieller
Ring), falls sich jedes x ∈ R\U (R), x 6= 0, bis auf Einheiten eindeutig als Produkt irreduzibler
Elemente darstellen läßt.
(Aus x = ε q1 · . . . · qr = ε̃ q̃1 · . . . · q̃s mit ε, ε̃ ∈ U (R), qi , q̃j irreduzibel folgt r = s und nach
eventueller Umnumerierung qi ∼ q̃i (1 ≤ i ≤ r).)
2.46 Satz
Für Integritätsringe R mit 1 sind äquivalent:
(ii) jedes x ∈ R\U (R), x 6= 0, ist Produkt irreduzibler Elemente, und jedes irreduzible Element
von R ist Primelement;
Beweis:
(i) ⇒ (ii):
Es bleibt zu zeigen, daß jedes irreduzible Element von R ein Primelement ist. Es seien dazu
a, b ∈ R und π ∈ R irreduzibel mit π | ab. Da a, b sich eindeutig als Produkte irreduzibler
Elemente schreiben lassen, ergibt sich die Zerlegung von ab in irreduzible Elemente aus der von a
bzw. b. Nach Voraussetzung muß also ein zu π assoziiertes Element in der Faktorisierung von a
oder b auftreten, es folgt π|a oder π|b.
(ii) ⇒ (iii): Trivial.
(iii) ⇒ (ii):
Ist π irreduzibel, so besitzt π eine Darstellung als Produkt von Primelementen. Diese besteht dann
notwendig aus nur einem Faktor.
(ii) ⇒ (i):
Es seien
x = ε q1 · . . . · qr = ε̃ q̃1 · . . . · q̃s
mit ε̃, ε ∈ U (R) und qi , q̃j irreduzibel (1 ≤ i ≤ r, 1 ≤ j ≤ s). Da qr Primelement ist, muß qr
eins der q̃j teilen, also zu ihm assoziiert sein. Wir ordnen nun gegebenenfalls um, so daß qr |q̃s gilt.
Daraus folgt
ε q1 · . . . · qr−1 = ε̂ q̃1 · . . . · q̃s−1
mit ε̂ ∈ U (R). Nach r-maliger Anwendung folgt so r = s und bei passender Numerierung qi ∼
q̃i (1 ≤ i ≤ r).
Bemerkung:
(i) Als direkte Konseqenz von (2.43) folgt, daß jeder Hauptidealring auch ZPE-Ring ist.
(ii) Wählt man aus jeder Klasse assoziierter Primelemente einen Vertreter aus und bezeichnet
die Menge dieser Vertreter mit P so läßt sich in ZPE-Ringen jedes x ∈ R, x 6= 0, eindeutig
als
Y Y
x=ε pνp (x) , y = η pνp (y)
p∈P p∈P
(νp (x) ∈ ZZ≥0 , ε, η ∈ U (R), nur endlich viele νp (x) ungleich Null, νp (x) ist der genaue
Exponent, mit dem p gerade x teilt) schreiben. Für x, y ∈ R\{0} folgt dann insbesondere:
Y
xy = εη pνp (x)+νp (y) ,
p∈P
Y
ggT (x, y) = pmin {νp (x), νp (y) ,
p∈P
Y
kgV (x, y) = pmax {νp (x), νp (y) ,
p∈P
x|y ⇔ νp (x) ≤ νp (y) ∀p ∈ P.
Ohne Euklidischen Algorithmus ist es i.a. ein schwieriges Problem, wie man in Hauptidealringen
ein erzeugendes Element eines Ideals, etwa von (a1 , . . . , an ), findet, d.h. einen ggT berechnet. Eine
Faktorisierung in Primelemente ist meist zu aufwendig, etwa schon bei großen Zahlen in |Z.
66 Kapitel 2 — Ringe
2.47 Definition
Ein Integritätsring R heißt euklidischer Ring, wenn es eine Abbildung v : R\{0} → ZZ≥0 gibt,
derart daß für beliebige a, b ∈ R, b 6= 0, zwei Elemente Q(a, b), R(a, b) ∈ R mit
gibt.
Bemerkung:
(ii) ZZ mit v = | | (Betragsfunktion) und K[t] mit v = deg ( ) sind euklidische Ringe, es existiert
der euklidische Algorithmus, der zur Berechnung eines ggT zweier Ringelemente dient. Jeder
Körper ist ein euklidischer Ring.
Beispiel: (Übung)
√
R = ZZ[−1] (Gaußsche ganze Zahlen) mit v : a + b −1 7→ a2 + b2 .
2.48 Satz
Jeder euklidische Ring R ist Hauptidealring.
Beweis:
6 {0} ein Ideal von R. Ferner sei a ∈ a mit v(a) = min {v(x) | x ∈ a, x 6= 0}. Für x ∈ a
Es sei a =
gilt dann x = Q(x, a) a, da notwendig R(x, a) verschwinden muß. Also gilt Ra ⊆ a ⊆ Ra.
2.49 Definition
Es sei S ein Halbgruppe und R ein Ring. Dann definert man den sogenannten Halbgruppenring
Wir rechnen hier nur das Assoziativgesetz bezüglich der Multiplikation nach:
2.49 Definition — Halbgruppenring 67
n
r + r̃ für s = e
fr+r̃ (s) =
n0 sonst n
r für s = e r̃ für s = e
= +
0 sonst 0 sonst
= fr (s) + fr̃ (s),
n
rr̃ für s = e
frr̃ (s) =
0 sonst
X n r für t = e n r̃ für t = e
1 2
=
t t =s
0 sonst 0 sonst
1 2
= fr fr̃ (s).
Beispiele:
(i) S = {tν | ν ∈ ZZ≥0 } ∼
= ZZ≥0 , R kommutativer Ring mit 1.
(∞ )
X
ν
R[S] = aν t aν ∈ R, aν 6= 0 nut für endlich viele ν =: R[t]
ν=0
R kommutativer Ring mit 1. Die Elemente von S lassen sich als tν := t1ν1 · . . . · tνnn mit
ν ∈ (ZZ≥0 )n schreiben. Es ist
X
R[S] = aν tν aν ∈ R, aν 6= 0 nur für endlich viele aν =: R[t1 , . . . , tn ]
≥0 n
ν∈(ZZ )
2.50 Definition — Monome, Grad eines Monoms, ij0 Grad, Leitkoeffizient, normiert 69
als direkte Konsequenz der entsprechenden Aussagen über direkte Produkte von (Halb-)Gruppen.
Für Elemente des Monoids in (ii) läßt sich eine Ordnung definieren mittels:
t ν ≥ tµ ⇔ ν≥ µ
(etwa lexikographisch).
2.50 Definition
Es sei X
f ( t) = a ν tν
ν∈(ZZ≥0 )n
ein Element des Polynomrings R[t1 , . . . , tn ]. Hierbei heißen die Summanden aν tν Monome. Unter
dem Grad eines Monoms = 6 0 versteht man die Summe der Exponenten ν1 + . . . + νn . Als Grad
von f 6= 0 bezeichnet man das Maximum der Grade seiner Monome (Bezeichnung: deg (f )). Ist
auf den Potenzen tν eine Ordnung gegeben, so heißt aν mit ν maximal Leitkoeffizient von f und
aν tν heißt Leitmonom. (I.a. setzt man
n
X n
X
ν µ
ν≥ µ ⇔ t ≥ t :⇔ νi ≥ µi
i=1 i=1
und im Falle der Gleichheit ν ≥ µ lexikographisch.) Ferner setzt man deg (0) = −∞. Im Fall
l(f ) = 1 heißt f normiert.
Beispiele für Anordnungen auf (ZZ≥0 )n : !
Xn n
X
ν ≥ µ :⇔ νi ≥ µi und für Gleichheit ν ≥ µ lexikographisch ,
i=1 i=1
ν ≥ µ lexikographisch :⇔ νi = µi , 1 ≤ i < i0 und νi0 > µi0 für ein i0 ∈ {1, . . . , n}.
Bemerkungen:
Bei der Multiplikation gilt Gleichheit, falls l(f ), l(g) keine Nullteiler sind, also etwa für
Integritätsringe R.
70 Kapitel 2 — Ringe
2.51 Hilfssatz
Ist Λ ein unitärer Oberring von R (d.h. 1Λ = 1R ), so ist für x ∈ Λn die Abbildung
ein Ringhomomorphismus mit Φx |R = idR . Dieser läßt die Elemente aus R invariant, ist also ein
sogenannter R-Homomorphismus.
Beweis: Durch Nachrechnen!
Bemerkung:
x ∈ Λn heißt Nullstelle von f ∈ R[t], falls Φx (f ) = 0 bzw. f (x) = 0 ist.
Jetzt sei n = 1.
2.52 Hilfssatz
Es sei R ein Integritätsring mit 1. Ein R-Homomorphismus ϕ : R[t] → R[t] ist genau dann ein
Isomorphismus, wenn
ϕ (t) = at + b mit a ∈ U (R), b ∈ R
gilt.
Beachte:
Für R-Homomorphismen ϕ : R[t] → Λ ist ϕ durch ϕ (t) eindeutig festgelegt wegen
n
! n
X X
i
ϕ ai t = ϕ (ai ti )
i=0 i=0
n
X
= ϕ (ai ) ϕ (t)i .
| {z }
i=0
=ai
Beweis:
Für ϕ (t) = at + b mit a ∈ U (R), b ∈ R folgt ϕ−1 (t) = a−1 (t − b), also ϕ ◦ ϕ−1 = idR[t] . Ist
andererseits ϕ Isomorphismus, so gilt ϕ (t) = g(t) ∈ R[t], t = ϕ (f (t)) mit
Also muß deg (f ) = deg (g) = 1 sein, d.h. g(t) = at + b, f (t) = ct + d (a, b, c, d ∈ R). Aus
t = f (g(t))
= c (at + b) + d
= cat + bc + d ⇒ 1 = ac ∧ 0 = bc + d
2
2.53 [Link] — algebraisch, transzendent 71
2.53 Definition
Es sei Λ ein unitärer Oberring des Ringes R. Ein Element x ∈ Λ heißt algebraisch über R, falls die
Abbildung ϕx : R[t] → Λ nicht injektiv ist, d.h. es existiert ein Polynom f (t) ∈ R[t] mit f (x) = 0.
Andernfalls heißt x ∈ Λ transzendent über R.
Bemerkung:
x algebraisch ⇔ x Nullstelle eines Polynoms aus R[t].
Beispiele:
√
2 ∈ IR ist algebraisch über ZZ als Nullstelle von f (x) = x2 − 2.
e, π ∈ IR sind transzendent über ZZ bzw. Q (ohne Beweis).
2.54 Hilfssatz
Es seien R ein kommutativer Ring mit 1, f (t) ∈ R[t] mit deg (f ) ≥ 1 und Λ ein unitärer Oberring
von R. x ∈ Λ ist genau dann Nullstelle von f (t), wenn (t − x) das Polynom f (t) in Λ[t] teilt.
Beweis:
Division mit Rest ist in Λ[t] durchführbar, da l(t − x) Einheit in Λ ist! Also folgt
mit deg (R(f, t − x)) < deg (t − x) = 1, also ist R(f, t − x) ∈ Λ konstant.
Nun spezialisieren wir t 7→ x:
x Nullstelle ⇔ 0 = f (x)
⇔ R(f, t − x) (x) = 0
⇔ R(f, t − x) = 0.
Zur Division mit Rest in beliebigen Polynomringen (Pseudodivision) vgl. Übungen, Blatt 9.
Beispiel:
Für R = ZZ ist die Division (t3 − 2) : (2t − 1) in R[t] nicht durchführbar.
Jedoch gilt:
23 (t3 − 2) = (4t2 + 2t + 1) (2t − 1) + −15 in ZZ[t].
2.55 Satz
Der Polynomring K[t] über einem Körper K ist ein euklidischer Ring.
Beweis:
Mittels euklidischem Algorithmus mit v = deg.
Speziell ist K[t] also Hauptidealring und ZPE-Ring, und für ein irreduzibles Polynom f (t) aus K[t]
ist K[t]/f (t)K[t] wieder ein Körper. In K[t] ist die Anzahl der Wurzeln eines Polynoms — der
Vielfachheit entsprechend gezählt — kleiner gleich dem Grad. Dasselbe gilt über Integritätsringen,
sonst ist diese Aussage i.a. falsch: t2 − 1 hat in ZZ/8ZZ[t] Nullstellen 1, 3, 5, 7, also t2 − 1 =
(t − 1) (t − 7) = (t − 3) (t − 5).
72 Kapitel 2 — Ringe
2.56 Hilfssatz
Es sei R kommutativer Ring mit 1. Dann gilt:
Bemerkung;
Polynomringe in mehr als einer Variablen sind folglich keine Hauptidealringe. Dagegen vererben
sich die Eigenschaften “noethersch” und “faktoriell” von R auf R[t]. Die letzte Aussage eine
Konsequenz von (2.56).
2.58 1. Hilfssatz
Es sei R ein kommutativer Ring mit 1. Ist a ein (Prim-)Ideal von R, so ist a[t] (Prim-)Ideal in
R[t].
Beweis:
Idealeigenschaft
Pn von a[t] istPunmittelbar einsichtig. Es sei nun a ein Primideal von R. Sind dann
m
f (t) = i=0 ai ti , g(t) = j=0 bj tj ∈ R[t]\a[t], so haben f, g Koeffizienten ai , bj ∈ / a; hierbei
wählen wir Indizes i, j [Link]̈r den Koeffizienten von ti+j in f · g erhalten wir dann:
i+j
X
ci+j := ak bi+j−k ≡ ai bj mod a,
k=0
also ci+j ∈
/ a, also f · g ∈
/ a[t].
2.59 Definition
Es sei R ein ZPE-Ring und f (t) ∈ R[t] mit deg (f ) ≥ 0.
n
X
I(f ) := ggT (a0 , . . . , an ) heißt für f (t) = ai ti
i=0
2.60 2. Hilfssatz
Über einem ZPE-Ring R ist das Produkt zweier primitiver Polynome primitiv.
Beweis:
Es seien f (t), g(t) ∈ R[t] primitiv und h = f g. Für I(h) ∈
/ U (R) existiert ein Primelement π ∈ R,
welches sämtliche Koeffizienten von h teilt. Hierfür ist Rπ ein Primideal (wegen (2.41)), also auch
Rπ[t] gemäß (2.57). Wegen f g ∈ Rπ[t] ist entweder f (t) oder g(t) in Rπ[t] enthalten, d.h. sämtliche
Koeffizienten von f oder g sind durch π teilbar im Widerspruch zu I(f ) = I(g) = 1.
Bemerkung:
Für beliebige Polynome f, g über einem ZPE-Ring R ist der Inhalt ihres Produkts gleich dem
Produkt von I(f ) und I(g), d.h. I(f g) = I(f ) I(g). Dies folgt unmittelbar aus dem letzten Hilfssat
und der Bermerkung davor.
Beweis:
Es sei λi kgV der Nenner der Koeffizienten von fi (i = 1, 2), sowie µi := I(λi fi ). Also erhalten
wir für die primitiven Anteile gi := (λi fi )p
λ1 λ2 h = µ1 µ2 g1 g2 .
Bemerkungen:
(ii) Sind f, g ∈ R[t], f 6= 0, g primitiv mit g|f in K[t], so gilt g|f bereits in R[t]. (f = h · g in
(2.60)
K[t] ⇒ f = c · h, c ∈ R, h ∈ R[t] ⇒ Behauptung.)
(iii) Zwei primitive Polynome f, g ∈ R[t] sind genau dann in K[t] assoziiert, falls sie es in R[t]
sind. (f = c · g ⇔ f = c̃ĉ g, c̃ĉ ∈ U (R).)
Beweis zu (2.57):
Die irreduziblen Elemente von R[t] sind von zweierlei Gestalt:
R[t] ist Integritätsring mit 1, da R es ist. Sei nun f (t) ∈ R[t] vorgelegt. O.B.d.A. können wir
deg (f ) > 0 annehmen. Dann existiert im ZPE-Ring K[t] mit K = Q(R) eine Faktorisierung von
f in irreduzible Elemente: f = q̃1 · . . . · q̃r mit q̃i ∈ K[t]. Mittels (2.61) erhalten wir hieraus eine
Faktorisierung
f = c q1 · . . . · qr mit qi = αi q̃i (1 ≤ i ≤ r)
aus R[t] primitiv und irreduzibel, c ∈ R. c besitzt jedoch nach Voraussetzung eine Zerlegung in
irreduzible Elemente in R.
Hat f in R[t] nun zwei solche Zerlegungen
dann sind qi , pj auch in K[t] irreduzibel, also gilt r = s und — bei passender Numerierung —
qi = αi pi (αi ∈ K, 1 ≤ i ≤ r). Damit sind die qi und pi in R[t] assoziiert, und es folgt c ∼ c̃ und
— wegen R ZPE-Ring — die Behauptung.
Als Bausteine sind die irreduziblen Polynome in ZPE-Ringen R[t] von Interesse.
n
!
X
n−i
Bemerkung: (at + b) | ai t ⇒ a|a0 , b|an .
i=0
Beispiel:
Für welche a ∈ ZZ ist f (t) = t5 + at + 1 in Q[t] irreduzibel?
Die Entscheidung fällt bereits in ZZ[t]!
n f oist primitiv!
Existenz von Nullstellen: f (±1) = 2+a −a , also ist f reduzibel für a ∈ {0, −2}.
Quadratische Faktoren:
t5 + at + 1 = (t2 + α t + β) (t3 + γ t2 + δ t + ε)
⇒ α + γ = 0, δ + α γ + β = 0, ε + α δ + β γ = 0, α ε + β δ = a, β ε = 1
⇒ γ = −α, δ = α2 − β, ε = α (2β − α2 ),
Damit: β = ε = 1 ⇒ a = 1 (α = 1, γ = −1, δ = 0)
β = ε = −1 ⇒ keine Lösung (−1 = −α (2 + α2 ) ⇒ 1 = α (2 + α2 ) Widerspruch).
mit deg (f ) ≥ 1. Gibt es dann ein Primelement π ∈ R mit π|ai (0 ≤ i < n), π 2 - a0 und π - an , so
ist f (t) in Q(R)[t] irreduzibel.
Beweis: Indirekt!
Ist f (t) in Q(R)[t] echt zerlegbar, dann auch nach (2.60) in R[t] . Wir nehmen daher in R[t] an:
f (t) = g(t) h(t) mit deg (g) · deg (h) > 0, etwa
d
X m
X
i
g(t) = bi t , h(t) = cj tj .
i=0 j=0
i
X i−1
X
ai = bk ci−k = bk ci−k + bi c0 ≡ 0 mod π
k=0 k=0
i−k≤m i−k≤m
nach Induktionsannahme, also π|bi c0 und wegen π - c0 folglich π|bi . Für i = d folgt π|bd cn = an .
Widerspruch!
Beispiel:
√
(i) tn − a (a ∈ ZZ, ∃ Primzahl p mit p|a, p2 - a) ist in Q[t] (und ZZ[t]) irreduzibel. ( n a ist in
diesem Fall irrational!)
f1 (t) = 2 t5 − 15 (p = 5),
f2 (t) = 2 t10 − 21 (p = 3, 7),
f3 (t) = 5 t5 − 12 t4 + 24 t3 + 2 t2 − 4 t + 34 (p = 2).
Hierbei sind allerdings nur die beiden letzten Polynome f2 , f3 auch in ZZ[t] irreduzibel
(f1 (t) = 3 (t5 − 5), 3 ∈
/ U (ZZ)).
(iii) p-te Einheitswurzeln sind Nullstellen von tp −1, sie bilden eine zyklische Gruppe der Ordnung
p. tp − 1 ist reduzibel (t − 1) | (tp − 1).
p−1
tp − 1 X i
= t =: Φp (t)
t−1 i=0
Es gilt
(t + 1)p − 1
Φp (t + 1) =
t
Xp
p i
t −1
i=0
i
=
t
p−1
X p
= tp−1 + ti−1 ,
i=1
i
p
und für ai−1 := i , a0 = p erhalten wir p|a0 , p2 - a0 ,
p p · (p − 1) · . . . · (p − i + 1)
= ≡ 0 mod p (1 ≤ i ≤ p − 1), also folgt
i i · ... · i
p pi = ai−1 (1 ≤ i ≤ p − 1), p - ap−1 = 1 ⇒ Φp (t) irreduzibel.
76 Kapitel 2 — Ringe
Beweis:
(i)
n
X n
X
Φ : R[t] → S[t] : ai ti 7→ ϕ (ai ) ti
i=0 i=0
(ii) Ist f = g h eine echte Zerlegung, d.h. (deg(g) deg(h) > 0) in R[t], so ist Φ(f ) = Φ(g) Φ(h)
und deg (Φ (g)) ≤ deg (g), deg (Φ (h)) ≤ deg (h). Wegen deg (Φ (f )) = deg (f ) und S In-
tegritätsring liefert ein Gradvergleich, daß Φ (g) Φ (h) echte Zerlegung von Φ (f ) ist. Wider-
spruch.
Anwendung:
Bei Irreduzibilitätstests in ZZ[t]!
R = ZZ, S = ZZ/pZZ, p Primzahl mit p - l(f ).
Beispiele:
Problem:
Bestimme x ∈ R oder aus einem unitären Oberring Λ von R mit f (x) = 0. Ist a0 kein Nullteiler,
dann liefert Multiplikation mit an−1
o :
2.64 Lemma
Es sei R ein kommutativer Ring mit 1 und f (t(∈ R[t] normiert mit deg (f ) ≥ 1. Dann ist Λ :=
R[t]/(f ) ein Ring, in dem f eine Nullstelle besitzt. Außerdem läßt sich R in Λ einbetten.
Beweis:
Λ besitzt über R eine Basis tν /(f ) (0 ≤ ν < deg (f )), da sich jedes Polynom g ∈ R[t] in der From
g = Q(g, f ) f + R(g, f ) mit deg (R(g, f )) < deg (f )
schreiben läßt. Also existiert in Λ ein Repräsentantensystem, das aus jeder Restklasse ein Polynom
vom Grad < deg (f ) enthält, was sich also aus den tν (0 ≤ ν < deg (f )) linear (mit Koeffizienten
aus R) kombinieren läßt. Eine solche Darstellung ist überdies eindeutig, da die Differenz zweier
ungleicher Polynome vom Grad < deg (f ) ein Polynom vom Grad ≥ 0 und < deg (f ) ergibt, welches
folglich nicht die Nullrestklasse repräsentiert. Überdies gilt offenbar f (x) = 0 für x = t/(f ). Eine
Einbettung von R in Λ erfolgt mittels
τ : R → Λ : 7→ a/(f ).
2
Bemerkung:
Der Ring Λ = R[t]/(f ) hat die folgenden 3 Eigenschaften:
(i) Λ ist unitärer Oberring von R.
(ii) Λ wird über R durch eine Wurzel x = t/(f ) (d.h. x ∈ Λ) von f generiert.
(iii) Für jeden Lösungsring S mit Nullstelle y von f in S existiert ein Ringhomomorphimus
ϕ : Λ → S : x 7→ y (ϕ (x) = y, ϕ (1) = 1).
Ein Ring mit diesen drei Eigenschaften wird Ring der Gleichung f (x) = 0 genannt.
Beispiele:
(i) E seien R = ZZ/8ZZ = {0, . . . , 7} und f (t) = t2 − 1 ∈ R[t]. Λ = R[t]/(f ) besitzt als R-
Basis 1/(f ), t/(f ) =: x. Anderseits ist S = ZZ/8ZZ selbst Lösungsring, folglich existiert ein
Ringhomomorphismus ϕ : Λ → R mittels t/(f ) 7→ α, α ∈ {1, 3, 5, 7}
a 1/(f ) + b t(f ) 7→ a + αb
(a 1(f ) + b t/(f )) (c 1/(f ) + d t/(f )) 7→ (a + α b) (c + α d)
k k
(ac + bd) 1/(f ) + (ad + bc) t/(f ) (ac + α2 bd) + α (ad + bc)
k k
(ac + bd) 1/(f ) + (ad + bc) t/(f ) (ac + bd) + α (ad + bc).
⇒ r = −x (x (x + p) + q) in R[t]/(f ).
(iii) t2 + m sei irreduzibel über R (etwa m = 1, R = IR oder m = −2, R = ZZ/5ZZ). R[t]/(f ) hat
Basis 1, t. Es ist
R[t]/(f ) ∼
= R × R.
Wie sieht die Ringstruktur auf R × R aus?
(a + tb) · (c + td) = ac − mbd + t (bc + da),
(a, b) · (c, d) = (ac − mbd, bc + da),
f ((0, 1)) = (0, 1)2 + (m, 0) = (−m + m, 0) = 0.
78 Kapitel 2 — Ringe
2.65 Korollar
Durch iterierte Anwendung der Konstruktion aus (2.63) erhält man S(f, R), den sogenannten
Zerfällungsring von f über R, mit n! Basiselementen über R, n = deg (f ).
2.66 Hilfssatz
Es sei K ein Körper und f ∈ K[t], deg (f ) > 0. Dann exitiert ein Erweiterungskörper L von K,
in dem f eine Nullstelle besitzt.
Beweis:
Es sei g ∈ K[t] ein irreduzibler Faktor von f mit deg (g) ≥ 1, d.h. f = p · g, p ∈ K[t]. Da K[t]
Hauptidealring ist, ist g Primideal und (g) maximales Ideal. Folglich ist L := K[t]/(g) ein Körper,
in dem g (und damit f ) eine Nullstelle besitzt, d.h. die Restklasse von t, t + (g), ist Nullstelle von
f in L wegen f = p · g ∈ (g).
2.67 Satz
Es seien K ein Körper und f (t) ∈ K[t] mit deg (f ) = n > 0. Dann exitiert ein Erweiterungskörper
L von K, in dem f Produkt von l(f ) und n normierten Polynomen ersten Grades ist:
n
Y
f (t) = l(t) (t − xi ) in L[t], xi ∈ L.
i=1
und es folgt
n+1
Y n+1
Y
f = (t − x1 ) · l(g) · (t − xi ) = l(f ) · (t − xi ) ∈ L[t].
i=2 i=1
Beispiel:
Es sei f ∈ K[t], f normiert, f zerfällt in L mit xi ∈ L wie folgt:
n
Y
f = (t − xi )
i=1
= (t − x1 ) (t − x2 ) . . . (t − xn )
Xn X
= tn − tn−1 xi + tn−2 xi xj
i=1 i<j
X
n−k k
+ . . . + (−1) t xi1 · . . . · xin−k + . . . + (−1)n x1 · . . . · xn .
1≤i1 <i2 <...<ik ≤n
2.68 Definition — symmetrisch, elementarsymmetrische Funktionen 79
2.68 Definition
Es sei R ein kommutativer Ring mit 1. Ein Polynom
σ0 (t) := 1
X
σj (t) := ti1 · . . . · tij (1 ≤ j ≤ n)
1≤i1 <i2 <...<ij ≤n
(n)
elementarsymmetrische Funktionen in t1 , . . . , tn (σj = σj ).
Beispiele:
(i)
σ 1 = t1 + . . . + tn ,
σ2 (t1 , t2 , t3 ) = t1 t2 + t1 t3 + t2 t3 ,
σn (t1 , . . . , tn ) = t1 . . . tn .
(ii) Potenzsummen:
n
X
Sk (t) := tkj (Potenzsummen), (k ∈ ZZ≥0 ),
j=1
(iii) Zusammenhang:
S2 = σ12 − 2σ2
= σ1 S1 − 2σ2 ,
also für n = 2:
(iv)
n
Y
f (t1 , . . . , tn , t) := (t − ti )
i=1
Xn
= (−1)n−j σn−j (t) tj ,
j=0
n
X
(−1)i σi (t) tn−i .
i=0
80 Kapitel 2 — Ringe
fA = det (t − Jc )
Yn
= t − λi )
i=1
Xn
= (−1)j σj (λ1 . . . λn ) tn−j
j=0
(vi)
(n) n+m)
σk (t1 . . . tn ) = σk . . 0}).
(t1 . . . tn , 0| .{z
m
Bemerkung:
Die symmetrischen Polynome bilden einen Unterring von R[t1 . . . tn ]. Der Einsetzungshomomor-
phismus
Φ(σ1 ...σn ) : R[t1 . . . tn ] → R[t1 . . . tn ]
Φ (f ) = f (σ1 , . . . , σn ) ist symmetrisch.
Das Gewicht eines Polynoms f ∈ R[t] wird dann als Maximum der Gewichte seiner Monome fest-
gelegt, d.h. X
f= ai1 ...in ti11 . . . tinn , w(f ) = max {w(t1i1 . . . tinn ).
(i) Wir zeigen: Zu f ∈ R[t] symmetrisch vom Grad d existiert g ∈ R[t] mit w(g) ≤ d und
f (t1 , . . . , tn ) = g(σ1 , . . . , σn ).
Der Beweis erfolgt mittels Induktion nach n.
Für n = 1 ist f = g und σ1 = t1 .
n − 1 ⇒ n: Beweis per Induktion nach d = deg (f ).
Für d ≤ 0 ist f konstant und g = f tut’s.
Sei also d > 0.
d − 1 ⇒ d: Dann ist
f (n−1) (t1 , . . . , tn−1 ) := f (t1 , . . . , tn−1 , 0)
2.69 Satz — Hauptsatz über elementarsymmetrische Funktionen 81
(n−1)
wobei σi = σi (t1 , . . . , tn−1 , 0) gesetzt wurde.
Hiernach ist
h(t) := f (t) − g1 (σ1 , . . . , σn−1 )
ebenfalls symmetrisch vom Grad ≤ d. Wegen h(t) symmetrisch und h(t1 , . . . , tn−1 , 0) = 0
folgt σn |h, bzw. h = σn h1 , deg (h1 ) = deg (h) − n. Wiederum ist h1 symmetrisch vom Grad
d − n < d. Nach Induktionsannahme existiert daher g2 ∈ R[t1 , . . . , tn ] vom Gewicht ≤ d − n
mit
h1 (t1 , . . . , tn ) = g2 (σ1 , . . . , σn ),
das Verlangte.
(ii) Eindeutigkeit:
Dazu zeigen wir: Für f ∈ R[t1 , . . . , tn ] mit f (σ1 , . . . , σn ) = 0 gilt f = 0.
Der Beweis erfolgt per Induktion über n.
Für n = 1 ist die Aussage wegen σ1 = t1 trivial.
Sei also n > 1 und f 6= 0 von minimalem Grad > 0 mit f (σ1 , . . . , σn ) = 0. Aus dem Ansatz
l
X
f (t1 , . . . , tn ) = fi (t1 , . . . , tn−1 ) tin
i=0
Beispiel:
Für
f (t1 , t2 , t3 ) = (t1 − t2 )2 (t1 − t3 )2 (t2 − t3 )2
ist
2.70 Satz
Für die Potenzsummen Sk (t) und die elementarsymmetrischen Funktionen σj (t) gelten die ”New-
tonschen Relationen”:
(i)
k−1
X
(−1)i σi (t) Sk−i (t) + k (−1)k σk (t) = 0 (0 ≤ k ≤ n),
i=0
(ii)
n
X
(−1)i σi (t) Sk−i (t) = 0 (k ≥ n).
i=0
Beweis:
Für
n
X n
Y
f (t1 , . . . , tn , t) = (−1)j σj (t) tn−j = (t − tj )
j=0 j=1
gilt:
n
X
0= (−1)j σj (t) tn−j
i (1 ≤ i ≤ n)
j=0
bzw.
n
X
0= (−1)j σj (t) tk−j
i (1 ≤ i ≤ n, k ≥ n).
j=0
also (ii) bzw. (i) für k = n. Der Rest von (i) wird bei festem k mittels Induktion nach n bewiesen:
Beispiel:
S1 (t) = σ1 (t),
S2 (t) = σ1 (t) S1 (t) − 2 σ2 (t)
= σ12 (t) − 2 σ2 (t),
S3 (t) = σ1 (t) S2 (t) − σ2 (t) S1 (t) + 2 σ3 (t)
= σ13 (t) − 3 σ1 (t) σ2 (t) + 3 σ3 (t),
usw. Sind die natürlichen Zahlen in R keine Nullteiler, so gilt in Q(R) auch:
σ1 (t) = S1 (t),
1
σ2 (t) = (S1 (t)2 − S2 (t)),
2
1 3 1 2
σ3 (t) = S2 (t) − S1 (t) + 3 S1 (t) (S1 (t) − S2 (t))
3 2
1
= (2 S3 (t) + S1 (t)3 − 3 S1 (t) S2 (t)),
6
usw.
2.71 Definition
In R[t] heißt
Y
D(t) = (ti − tj )2
1≤i<j≤n
Diskriminante von t.
Beispiel:
r
2 a a2 − 4b a2 − 4b
t + at + b, x1,2 =− ± , = (x1 − x2 )2 .
2 4 4
2.72 Hifssatz
In R[t] gilt:
D(t) = det ((Si+j−2 (t)1≤i,j≤n ) .
Beweis:
84 Kapitel 2 — Ringe
(i) Wir führen den Beweis auf die gleiche Aussage für Polynome aus IR[t] zurück.
Für f ∈ C bilden wir
g(t) := f (t) f (t) ∈ IR[t].
Hier ist mit cj auch cj Nullstelle von g (!) und wir bekommen
deg (f )
Y
f (t) = l(f ) (t − cji ) (1 ≤ j1 < j2 < . . . < jdeg (f ) ≤ 2 deg (f )).
i=1
in K[t]. Wir bilden nun für jede reelle Zahl r das Polynom
Y
Lr (t) := (t − xµ − xν − r xµ xν ) ∈ K[t]
1≤µ<ν≤n
(Laplace) (Koeffizenten von Lr (t) sind symmetrisch in den Wurzeln). Hierbei ist Lr eine
symmetrische Funktion in x1 , . . . , xn , also sind die Koeffizienten reelle Polynome in den
elementarsymmetrischen Funktionen σj (x) = (−1)j aj , d.h. es gilt Lr (t) ∈ IR[t]. Wegen
n
deg (Lr ) = (n − 1) = 2k−1 q (2k q − 1) = 2k−1 q̃,
2
q̃ ungerade, besitzt Lr für jedes r ∈ IR eine Nullstelle in C. Für jedes r ∈ IR existieren also
Indizes µ, ν mit
zr := xµ + xν + r xµ xν ∈ C.
Da die Anzahl der Indexpaare µ, ν endlich, die der r ∈ IR unendlich ist, existieren r 6= r̃ in
IR, 1 ≤ µ < ν ≤ n mit
xµ + xν + r xµ xν , xµ + xν + r̃ xµ xν ∈ C.
also xµ , xν ∈ C.
⇒ alle zugehörigen Wurzeln in C (in C lassen sich Wurzeln ziehen).
2
2.74 Korollar 85
2.74 Korollar
Jedes Polynom f ∈ IR[t] mit deg (f ) ≥ 1 besitzt eine — bis auf Reihenfolge der Faktoren —
eindeutige Darstellung
k
Y l
Y
f (t) = l(f ) (t − ci ) qj (t)
i=1 j=1
2
(ci ∈ IR, qj (t) = t + uj t + vj ∈ IR[t] irreduzibel (1 ≤ j ≤ l)).
Beweis:
Es seien c1 , . . . , ck alle reellen Nullstellen von f , und es sei g durch
k
Y
f (t) = l(f ) (t − ci ) g(t)
i=1
für
m
X
g(t) = gν tν
ν=0
auch x Nullstelle ist, ist deg (g) gerade! Es seien z1 , . . . , zl , z 1 , . . . , z l alle Nullstellen von g in C.
Dann setzen wir
qj (t) = t2 − (zj + z j ) t + zj z j ∈ IR[t] (1 ≤ j ≤ l).
Eindeutigkeit:
Ist xj ∈ IR Nullstelle von f so gilt (t − xj ) | f (t). Ist zj ∈ C\IR Nullstelle von f , dann auch z j ,
und es gilt
IR[t] 3 (t2 − (zj + z j ) t + zj z j ) | f (t).
2.75 Korollar
Die irreduziblen Elemente von C[t] sind die Polynome ersten Grades aus C[t]. Die irreduziblen
Elemente von IR[t] sind die Polynome ersten Grades und diejenigen Polynome c (t2 +ut+v) zweiten
Grades mit u2 − 4v < 0.
2.76 Satz
Es sei K ein unitärer nullteilerfreier kommutativer Oberring von IR, in dem jedes Element alge-
braisch über IR ist. Dann ist K isomorph zu IR oder C.
Beweis:
Es sei K 6= IR. Für x ∈ K\IR ist V := IR1 + IRx ein zweidimensionaler IR-Vektorraum. Ferner
existiert 0 6= f ∈ IR[t], deg (f ) ≥ 1, mit f (x) = 0. Da K nullteilerfrei ist, folgt bereits, daß x
Nullstelle eines normierten Polynoms zweiten Grades ist: g(x) = 0 für
Also gilt: x2 = −ux − v in K. Damit läßt sich V zu einem Ring machen mittels
Also ist V ein kommutativer nullteilerfreier unitärer Oberring von IR mit 2-elementiger Basis. V
ist zu C isomorph durch dem IR-Isomorphismus
b p
a + bx 7→ a + (−u + iD) für D = 4v − u2 .
2
Dies ist zunächst eine surjektive und injektive Abbildung. Zur Homomorphie:
b d
(a + bx) (c + dx) 7→ a + (−u + iD) c + (−u + iD)
2 2
k k
ad bc bd 2
(ac − bdv) + x (bc + ad − ubd) ac + (−u + iD) + (−u + iD) + (u + 2uDi − D2 )
2 2 4
↓– k
1 ! u i
ac − bdv + (bc + ad − ubd) (−u + iD) = ac − (ad + bc − bdu) − bdv + D (ad + bc − bdu)
2 2 2
Es bleibt K = V zu zeigen. Es seien dazu y ∈ K\IR beliebig, f ∈ IR[t] mit f (y) = 0. Über V ∼
=C
zerfällt f in Linearfaktoren t − λ (λ ∈ V ), also folgt y = λ für passende Wahl von λ.
2.77 Satz
Jede endliche Untergruppe G der multiplikativen Gruppe K × eines Körpers K ist zyklisch.
Beweis:
Es sei |G| = n und m ∈ IN minimal mit xm = 1 ∀x ∈ G. Dann existiert hierzu ein Element
a ∈ G mit ord (a) = m (vergleiche Übungen, Blatt 3, Aufgabe 1). Wegen m|n ist sicherlich m ≤ n.
Andererseits sind alle x ∈ G Nullstellen von tm − 1, woraus m ≥ n folgt. Insgesamt gilt daher
m = n und G =< a >.
2.78 Definition
Es sei R (kommutativer) Ring mit 1. D : R → R heißt Derivation, falls
gilt.
Beispiel: D : R[t] → R[t] : f 7→ f 0 .
lar
Kapitel 3: Körper
3.1 Definition
Als Grad einer Körpererweiterung L über K definiert man [L : K] := dimK L. L über K heißt
endlich für (L : K) < ∞, andernfalls unendlich.
Beispiele:
√
(i) [C : IR] = 2, [IR : Q] = ∞, [Q( 3 2) : Q] = 3 (vergleiche Bemerkung nach (3.2)).
(iii) [L : K] = 1 ⇔ K = L.
[M : K] = [M : L] [L : K].
Beweis:
Ist {αi }i∈I eine Basis von M über L und {βj }j∈J eine Basis von L über K, so ist {αi βj }i∈I,j∈J
eine Basis von M über K (vergleiche Übungen, Aufgabe 1, Blatt 10).
Bemerkung:
Ist L eine Zwischenkörper der endlichen Körpererweiterung M über K, so teilen [L : K] und
[M : L] beide [M : K]. Ist speziell [M : K] Primzahl, so folgt L = K oder L = M .
3.3 Definition
Es seien L über K eine Körpererweiterung und A eine nicht leere Teilmenge von L. Dann
bezeichnet K(A) den kleinsten Teilkörper von L, der K und A enthält. (Schreibweise: K(a) statt
K({a}).)
88 Kapitel 3 — Körper
3.4 Hilfssatz
Es seien K ⊆ L zwei Körper und ∅ 6= A ⊆ L. Dann gilt:
f (u1 , . . . , ur )
K(A) = ∈ L f, g ∈ K[t1 , . . . , tr ], ui ∈ A (1 ≤ i ≤ r), r ∈ IN, g(u1 , . . . , ur ) 6= 0 .
g(u1 , . . . , ur )
Bemerkung:
Analog definiert man K[A] als kleinsten Ring in L, der sowohl K als auch A enthält. K[A] ist
∼ 1 gewählt wird. Etwa: K(t) = Q(K[t]).
diejenige Teilmenge von K(A), bei der stets g =
Beweis:
K(A) ist sicherlich Teilmenge aller Körper, die K und A umfassen. Ferner ist K(A) selbst Körper.
2
3.5 Hilfssatz
Es sei K ein Körper, I ein Integritätsring mit I ⊇ K. Ist dann I ein endlich dimensionaler
K-Vektorraum, so ist I bereits ein Körper.
Beweis: Übungen.
Bemerkung:
Besitzt K[A] über K endliche Dimension, so gilt K[A] = K(A).
3.6 Definition
Eine Körpererweiterung L über K (Schreibweise: L/K) heißt algebraisch (L algebraisch über K),
falls jedes x ∈ L algebraisch über K ist. Andernfalls heißt L/K transzendent.
3.7 Hilfssatz
Ist x über dem Körper K transzendent, so gilt:
(i) (K(x) : K) = ∞,
(ii) xk (k ∈ IN) ist transzendent über K mit K(xk ) $ K(xl ) für l|k, l < k, l ∈ IN.
Beweis:
(i) Die Potenzen xk (k ∈ ZZ≥0 ) sind linear unabhängig über K.
(ii) xk transzendent folgt direkt aus (i); für k = ml (m ∈ ZZ≥2 ) gilt offenbar xk = (xl )m , also
K(xk ) ⊆ K(xl ). Bei Gleichheit existieren f, g ∈ K[t] mit g(xk ) 6= 0 und
Widerspruch!
2
Bemerkung:
(i) Ist x über K transzendent, so besitzt K(x) über K unendlich viele Zwischenkörper.
(ii) Jede endliche Erweiterung L/K ist algebraisch.
3.8 Definition — endlich erzeugt, einfach, primitiv 89
3.8 Definition
Eine Erweiterung L/K heißt endlich erzeugbar, falls in L Elemente α1 , . . . , αr existieren mit L =
K(α1 , . . . , αr ). L/K heißt einfach, falls L = K(α) mit α ∈ L gilt. In diesem Fall heißt α primitiv.
Beispiel:
C/IR ist einfach mit primitivem Element i,
K(t)/K ist einfach mit primitivem Element t,
L = K(α) ⇒ mit α ist auch kα primitives Element für alle k ∈ K \ {0}.
Einfache transzendente Erweiterungskörper über K sind isomorph zu K(t).
3.9 Hilfssatz
(i) Jede endliche Untergruppe G von K × ist zyklisch.
Beweis:
(i) Es sei |G| = n und m minimaler Exponent für alle x ∈ G. Hierzu existiert a ∈ G mit
ord (a) = m (Übungen). Wegen m|n folgt m ≤ n. Alle x ∈ G sind Nullstellen von tm − 1 ⇒
m ≥ n. Also gilt m = n, G =< a >.
Ist x algebraisch über K, so bilden alle Polynome f ∈ K[t] mit f (x) = 0 ein Ideal a in K[t].
Dieses ist dann Hauptideal, wird also von einem Element m erzeugt, welches o.B.d.A. als normiert
angenommen wird. Dann ist m irreduzibel und teilt alle f ∈ a. Ist andererseits f ∈ a normiert
und irreduzibel, so gilt f = m.
3.10 Definition
Ist α algebraisch über K, so heißt das normierte irreduzible Polynom mα (t) ∈ K[t] mit mα (α) = 0
Minimalpolynom von α über K.
Beispiel:
3.11 Hilfssatz
Es sei α algebraisch über K. Dann gilt:
Beweis:
Der Einsetzungshomomorphismus K[t] → K[α] : f (t) 7→ f (α) ist hier surjektiv, gemäß (2.14)(i)
gilt also
K[α] ∼
= K[t]/(mα ).
Da K[t]/(mα ) Körper ist (mα irreduzibel ⇒ (mα ) maximal), ist auch K[α] Körper, also gilt
K[α] = K(α). Teil (ii) und (iii) folgen dann daraus, daß 1, x, . . . , xdeg (mα )−1 für x = t/(mα ) eine
Basis von K[t]/(mα ) bilden, und bei besagtem Isomorphismus wird α auf x abgebildet.
Konstruktiver Aspekt: Ist fg(α)
(α)
∈ K(α), so ist g(α) 6= 0 und damit g(t) in K[t] zu mα (t) teilerfremd.
Mit dem Euklidischen Algorithmus konstruiert man u, v ∈ K[t] mit 1 = ug + vmα und erhält
1 = u(α) g(α) oder 1/g(α) = u(α) ∈ K[α].
Bemerkung:
[K(α) : K] < ∞ ⇔ α algebraisch über K.
3.12 Hilfssatz
Eine Körpererweiterung L/K ist genau dann endlich, wenn L = K(α1 , . . . , αr ) mit über K alge-
braischen Elementen αi (1 ≤ i ≤ r; r ∈ IN) ist.
Beweis:
”⇒” Es ist L = Kw1 + . . . + Kwr = K(w1 , . . . , wr ) für jede K-Basis w1 , . . . , wr von L. Hierbei
sind dann alle wi über K algebraisch gemäß der voranstehenden Bemerkung.
”⇐” Wegen K(α1 , . . . , αi ) = K(α1 , . . . , αi−1 ) (αi ) und (3.11), (3.2) folgt die Behauptung:
r
Y
[L : K] = [K(α1 , . . . , αi ) : K(α1 , . . . , αi−1 )].
i=1
3.13 Hilfssatz
Sind K ⊆ L ⊆ M drei Körper und M/L sowie L/K algebraisch, so ist auch M/K algebraisch.
Beweis:
Es sei α ∈ M algebraisch über L mit Minimalpolynom
2
3.14 Korollar 91
3.14 Korollar
Es sei L/K eine Körpererweiterung und A(L) die Menge aller über K algebraischen Elemente aus
L. Dann ist A(L) ein algebraischer Erweiterungskörper von K.
Beweis:
Es bleibt “A(L) ist Körper” zu zeigen. Sind aber a, b ∈ A(L), so ist K(a, b) algebraisch über K,
also gilt K(a, b) ⊆ A(L), d.h. a ± b, ab, ab−1 = ab (für b 6= 0) sind über K algebraisch (gehören zu
L), damit gehören sie zu A(L).
(i) Es sei L = K(α). Wir zeigen, daß es eine surjektive Abbildung auf die Zwischenkörper
von L/K von den Teilern des Minimalpolynoms mα = mα/K (in L[t]) gibt. Ist etw K1 ein
Zwischenkörper von L/K, so ist das Minimalpolynom mα/K1 (von α über K1 ) ein Teiler von
mα/K in L[t]. Sind a1 , . . . , am (über K algebraisch) die Koeffizienten von mα/K1 ∈ K1 [t], so
gilt K̃1 := K(a1 , . . . , am ) ⊆ K1 ⊂ L und
(wegen (3.11)(ii)), und damit gilt: K1 = K̃1 . Da L[t] euklidischer Ring und folglich ZPE-
Ring ist, besitzt mα/K in L[t] nur endlich viele Teiler. Also können für L/K nur endlich viele
Zwischenkörper existieren.
(ii) L/K muß algebraisch sein gemäß (3.7) (vgl. daran anschließende Bemerkung). Ferner ist L
über K endlich erzeugbar, da man sonst eine nicht abbrechende Kette
K $ K(α1 ) $ K(α1 , α2 ) $ . . .
In (2.66) haben wir gezeigt, daß zu einem Körper K und einem Polynom f ∈ K[t] mit deg (f ) > 0
stets ein Erweiterungskörper L von K existiert, über dem L in Linearfaktoren zerfällt.
92 Kapitel 3 — Körper
3.16 Definition
Es sei K ein Körper und f ∈ K[t] mit deg (f ) > 0. Ein Erweiterungskörper L von K heißt
Zerfällungskörper von f , falls
deg (f )
Y
f (t) = l(f ) (t − xi ) in L[t]
i=1
(ii) Ist K ⊂ L ⊂ M und M Zerfällungskörper von f ∈ K[t], so ist M auch Zerfällungskörper von
f ∈ L[t].
√
3
√3 2πi √3 4πi
(iii) t3 − 2 ∈ Q[t] hat Wurzeln 2, 2 e 3
|{z} , 2 e 3
|{z} ((t3 − 1) : (t − 1) = t2 + t + 1).
√ √
−1+ −3 −1− −3
= 2 = 2
picture !!!!
√
Q( 3 2) ist kein Zerfällungskörper von t3 − 2 ∈ Q[t], wohl aber
√ √ √
√
3
√3 −1 + −3 √ 3 −1 − −3 √3 1 + −3
Q 2, 2 , 2 =Q 2, .
2 2 2
√
(iv) Q( m) ist Zerfällungskörper von t2 − m ∈ Q[t].
Bemerkung:
Der Beweis zu (2.66) lehrt, daß für einen Zerfällungskörper L von f ∈ K[t] stets [L : K] ≤ deg (f )!
gilt. Hierbei kann < gelten, vergleiche Aufgabe 3, Blatt 10, wenn man dort f ∈ Q[t] statt ZZ[t]
nimmt.
Wir zeigen im folgenden, daß Zerfällungskörper bis auf Isomorphie eindeutig bestimmt sind.
3.17 Hilfssatz
Es seien K, K 0 zwei Körper und ϕ : K → K 0 ein Isomorphismus. Ferner sei f ∈ K[t] irreduzibel
und f 0 := ϕ (f ). Sind dann α, α0 Wurzeln von f bzw. f 0 in Erweiterungskörpern L bzw. L0 , so
läßt sich ϕ fortsetzen zu einem Isomorphismus
r
X r
X i
Φ : K(α) → K 0 (α0 ) : ki αi 7→ ϕ(ki ) α0 .
i=0 i=0
n
! m
X X
= ϕ̃ ai ti ϕ̃ bj tj .
i=0 j=0
Φ ist zudem Homomorphismus, wie man leicht durch Nachrechnen erhält, da ϕ̃ Homomorphismus
ist.
3.18 Korollar
Es seien f ∈ K[t] irreduzibel und α, β Nullstellen von f in einem Erweiterungskörper L von K.
Dann existiert ein K-Isomorphismus K(α) → K(β) mittels α 7→ β und k 7→ k ∀k ∈ K.
Beweis: Wende (3.17) an mit ϕ = idK , α0 = β.
3.19 Satz
Es seien ϕ : K → K 0 ein Körperisomorphismus und f ∈ K[t] mit deg (f ) ≥ 1. Ist dann L ein
Zerfällungskörper von f über K, L0 ein Zerfällungskörper von f 0 = ϕ (f ) über K 0 , so läßt sich ϕ
zu einem Isomorphismus Φ von L auf L0 fortsetzen.
Beweis: Per Induktion über n = deg (f ).
94 Kapitel 3 — Körper
n = 1: Φ = ϕ tut’s wegen L = K, L0 = K 0 .
n − 1 ⇒ n:
Es sei g ein irreduzibler Faktor von f in K[t] mit deg (f ) ≥ 2. Dann ist g 0 := ϕ (g) irreduzibler
Faktor von f 0 = ϕ (f ) in K 0 [t]. Ist L Zerfällungskörper von f über K, so besitzt g eine Wurzel
α in L; das gleiche gilt für ϕ (g) (mit α0 ∈ L0 ). Gemäß (3.17) existiert ein Isomorphismus Φ1 von
K(α) auf K 0 (α0 ) mit Φ1 |K = ϕ und Φ1 (α) = α0 .
Nach Induktionsvoraussetzung läßt sich daher Φ1 wegen
[L : K] n
[L : K(α)] = = <n
[K(α) : K] deg(g)
zu einem Homomorphismus Φ von L auf L0 fortsetzen. (Falls kein solches g existiert, ist L = K
und die Beh. trivial.)
3.20 Korollar
Es sei f ∈ K[t] mit deg(f ) ≥ 1. Sind dann L, L0 zwei Zerfällungskörper von f über K, so sind sie
K-isomorph.
Beispiel:
Es sei f (t) = t4 + t2 + 1 = (t2 + t + 1)(t 2
√ − t + 1) ∈ Q[t].
−1 + −3 2
Dies hat in C die Wurzeln ξ = , ξ , −ξ, −ξ 2 .
2
Also ist L = Q(ξ) Zerfällungskörper von f über Q mit [L : Q] = 2, und es gilt
mξ/Q (t) = t2 + t + 1.
3.21 Definition
Es sei f ∈ K[t] mit deg(f ) ≥ 1. Ist dann α eine Wurzel von f (in einem Erweiterungskörper L von
K), so heißt k : = k(α) die Vielfachheit von α, falls (t − α)k | f (t) in L[t] und (t − α)k+1 - f (t) in
L[t] gilt.
Bemerkungen:
(i) f ∈ K[t] mit deg(f ) ≥ 1 besitzt genau dann mehrfache Wurzeln (in einem Erweiterungskörper
L), wenn ggT (f, f 0 ) positiven Grad besitzt.
Beweis:
“⇒” klar,
“⇐” Es sei h(t) ∈ K[t] mit deg(h) > 0 und h | f, h | f 0 gegeben. Ferner sei α Nullstelle von
h in einem Erweiterungskörper L/K.
Dann ist f (t) = (t − α)f1 (t) in L[t] sowie f 0 (t) = f1 (t) + (t − α)f10 (t).
Wegen f 0 (α) = 0 folgt f1 (α) = 0, d.h. (t − α) | f1 (t), also f (t) = (t − α)2 f1 (t) in L[t].
(ii) Ist χ(k) = p und f ∈ k[t] irreduzibel mit mehrfachen Wurzeln, so gilt f (t) = g(tp ) mit
g ∈ K[t].
Beweis:
Wegen ggT (f, f 0 ) 6= 1 muß notwendig ggT (f, f 0 ) = f gelten, also wegen deg(f 0 ) < deg(f )
dann f 0 = 0 sein.
n
X
Für f (t) = ai ti bedingt dies iai = 0 (0 ≤ i ≤ n), d.h. ai 6= 0 höchstens für p | i.
i=0
[n/p]
X
Also gilt f (t) = aip (tp )i = : g(tp ).
i=0
3.22 Satz 95
3.22 Satz
(i) Der Zerfällungskörper von tq − t ∈ IFp [t] besitzt pn Elemente.
(ii) Ist K ein Körper mit pn Elementen, so ist K Zerfällungskörper von tq − t ∈ P (K)[t].
(iii) Je zwei Körper mit pn Elementen sind isomorph.
Beweis:
(i) Es sei L Zerfällungskörper von tq − t ∈ IFp [t]. Dieser enthält alle Wurzeln von tq − t. Wir
zeigen, daß L gerade aus allen solchen Wurzeln besteht. Zunächst gilt für x ∈ IFp stets
n
xp = x und damit xpν = x ∀ν ∈ IN, also xp = x. Sind ferner x, y Wurzeln des besagten
Polynoms, so gilt:
Also bilden die Wurzeln einen Teilkörper von L, der IFp enthält. Dieser muß folglich gleich
L sein.
Besagtes Polynom besitzt aber in seinem Zerfällungskörper q = pn Wurzeln, die alle ver-
schieden sind, da ja ggT (tq − t, qtq−1 − 1) = ggT (tq − t, −1) = 1 ist.
(ii) Für x ∈ IFq gilt xq = x, also ist x Nullstelle von tq − t ∈ IFp [t]. Besagtes Polynom zerfällt
also in IFq in Linearfaktoren. IFq ist also der kleinste Erweiterungskörper, der alle Nullstellen
des Polynoms enthält.
(iii) Per (3.19), da die Primkörper jeweils isomorph zu ZZ/pZZ sind.
3.23 Satz
In IFq gibt es zu jedem Teiler m von n genau einen Unterkörper mit pm Elementen, und alle
Teilkörper von IFq sind von dieser Gestalt.
Beweis:
(i) Ist K ein Teilkörper von IFq , so ist [K : IFp ] Teiler von [IFq : IFp ] = n. Also gilt #K = pm
m
mit m | n. K besteht dann aus allen Elementen y ∈ IFq mit y p = y und ist hierdurch
eindeutig bestimmt.
m n m
(ii) Für m | n folgt (tp − t) | (tp − t), und die Wurzeln von tp − t (aus IFq ) bilden einen
Unterkörper von IFq mit pm Elementen.
2
96 Kapitel 3 — Körper
3.24 Definition
Es sei L/K eine Körpererweiterung. Ein Polynom f ∈ K[t] heißt separabel, falls für jeden irre-
duziblen Faktor g von f der ggT von g und g 0 Eins ist. Ein über K algebraisches Element x ∈ L
heißt separabel über K, falls sein Minimalpolynom mx/K separabel ist. Schließlich heißt L/K
separabel, falls L/K algebraisch und jedes x ∈ L separabel über K ist. Ist L/K algebraisch und
nicht separabel, heißt L/K inseparabel. Ein Körper K heißt vollkommen, falls er keine insepara-
blen Erweiterungskörper besitzt.
3.25 Satz
Genau die Körper K mit χ(K) = p und K p = K und die Körper der Charakteristik 0 sind
vollkommen.
Beweis:
Es sei χ(K) = 0 und L eine algebraische Erweiterung von K.
Ist dann x ∈ L, so folgt ggT (mx , mx0 ) = 1, also m0x (x) 6= 0, x ist über K separabel.
Andererseits sei χ(K) = p. Wir unterscheiden zwei Fälle.
(i) K p : = {xp | x ∈ K} = K.
Xn
Wir nehmen an, daß x ∈ L inseparabel über K ist. Dann folgt mx0 = 0 und mx (t) = ai tpi .
!p i=0
Xn Xn
p i p
Wegen ai = ãi (0 ≤ i ≤ n) folgt mx (t) = ãi t = ãi ti im Widerspruch zur
i=0 i=0
Irreduzibilität von mx .
- Also ist in diesem Fall L/K separabel.
3.26 Korollar
Alle endlichen Körper sind vollkommen.
Beweis:
Die Fobenius-Abbildung x 7→ xp ist dort wegen der Endlichkeit notwendig surjektiv.
2
p
f (t)
Beispiel eines nicht vollkommenen Körpers: IFq (t), t 6= g(t) .
Bemerkung:
Algebraische Erweiterungen vollkommener Körper sind separabel.
3.27 Definition
Eine Körpererweiterung L/K heißt normal, falls L/K algebraisch ist und jedes irreduzible Polynom
f ∈ K[t], welches in L eine Wurzel besitzt, in L[t] in Linearfaktoren zerfällt.
3.28 Satz 97
3.28 Satz
Es sei L/K endlich. Dann sind äquivalent:
Beweis:
(i) ⇒ (ii)
Es sei L = K(α1 , . . . , αn ) und fi = mαi ∈ K[t] (1 ≤ i ≤ n).
n
Y
Da L/K normal ist, zerfällt jedes Minimalpolynom mαi in L[t]. Also zerfällt auch f : = fi in
i=1
L[t] in Linearfaktoren, und L ist dann definitionsgemäß Zerfällungskörper von f über K.
(ii) ⇒ (i)
Es seien α1 , . . . , αn die Wurzeln von f , d.h. L = K(α1 , . . . , αn ). Ferner sei g ∈ K[t] irreduzibel
mit g(β) = 0, β ∈ L. Es sei M Zerfällungskörper von g über K und γ eine Wurzel von g in M .
Gemäß (3.17) existiert dann ein K-Isomorphismus φ von K(β) auf K(γ) mit σ(β) = γ.
Nun ist L = L(β) ein Zerfällungskörper von f ∈ K(β)[t] und L(γ) : = K(α1 , . . . , αn , γ) ein
Zerfällungskörper von φ f = f über k(γ)[t].
Nach (3.19) existiert dann ein K-Isomorphismus Φ von L auf L(γ), der φ fortsetzt. Wegen L ⊆ L(γ)
und dimK L = dimK L(γ) (Φ Isom.!) folgt also L = L(γ), d.h. γ ∈ L. Also zerfällt g in L[t] in
Linearfactoren. Ferner war [L : K] < ∞, damit L/K normal.
Beispiele:
Kreiskörper, quadratische Körpererweiterungen.
3.29 Lemma
Es sei L/K eine endliche normale Erweiterung.
Ferner seien E, F k-isomorphe Zwischenkörper dieser Erweiterung. Ist dann φ : E → F ein K-
Isomorphismus, so läßt er sich zu einem K-Automorphismus von L fortsetzen.
Beweis:
Es sei L Zerfällungskörper von f ∈ K[t].
Dann ist L auch Zerfällungskörper für f ∈ E[t] bzw. f ∈ F [t], und die Behauptung folgt wie im
Beweis von (3.19).
Ist L/K eine endliche normale Erweiterung, so bilden die K-Automorphismen von L bezüglich
Hintereinanderausführung eine Gruppe G = G(L/K). Diese Gruppe ist endlich. Denn ist etwa
L Zerfällungskörper von f ∈ K[t], so permutiert jedes φ ∈ G die Wurzeln von f , man erhält
unmittelbar #G ≤ deg(f )!
98 Kapitel 3 — Körper
3.30 Lemma
Es sei L/K eine endliche Körpererweiterung. Dann existiert hierzu eine minimale normale (endliche)
Erweiterung M/K mit M ⊇ L, d.h. ist E eine normale Erweiterung über K, die L enthält, so
existiert ein K-Monomorphismus von M in E.
Beweis:
n
Y
Es sei L = K(α1 , . . . , αn ) und f = mαi .
i=1
Es sei M der Zerfällungskörper von f über K. M ist dann gemäß (3.28) normal über K.
Ist dann E ⊇ L eine normale Erweiterung über K, so zerfällt fi in E[t] in Linearfaktoren, d.h. E
enthält einen Zerfällungskörper von f als Teilkörper E1 .
Gemäß (3.19) existiert ein K-Isomorphismus zwischen M und E1 .
3.31 Satz
Es sei L eine endliche separable Erweiterung über K und M/K normal mit K ⊆ L ⊆ M .
Dann existieren genau n : = [L : K] verschiedene K- Isomorphismen von L auf Teilkörper von M .
Beweis:
Wegen (3.30) können wir auch [M : K] < ∞ annehmen.
Der Beweis erfolgt mittels Induktion über n.
n = 1 : L = K, die Identität ist die einzig mögliche Abbildung.
n > 1 : Sei zunächst L/K einfach, d.h. L = K(α) und n = deg(mα ).
Wegen L/K separabel besitzt mα gerade n verschiedene Nullstellen. Jeder K-Isomorphismus φ
von L bildet notwendig α auf eine der Nullstellen von mα ab, und φ ist durch φ(α) eindeutig
bestimmt. Also existieren genau n = [L : K] Isomorphismen.
Man beachte, daß alle Nullstellen von mα in M liegen!
Ist schließlich L = K(α1 , . . . , αn ), so bilden wir L1 : = K(α1 ), und L ist über L1 separabel mit
K ⊂ L1 ⊂ L. Ferner ist M normal über L1 . Wegen [L : L1 ] < [L : K] existieren genau
m = [L : L1 ] L1 -Isomorphismen von L auf Teilkörper von M , die sich zu L1 -Automorphismen
σ1 , . . . , σm von M fortsetzen lassen. Ferner existieren genau r = [L1 : K] K-Isomorphismen von
L1 auf Teilkörper von M .
Diese lassen sich ebenfalls zu K-Isomorphismen φ1 , . . . , φr von M fortsetzen.
Setze τij : = φj σi (1 ≤ i ≤ m, 1 ≤ j ≤ r).
Ist nun ρ ein K-Isomorphismus von L, so gilt ρ | L1 = φν |L1 mit ν = ν(ρ) ∈ {1, . . . , r} und φν−1 ρ
läßt L1 invariant, also ist φ−1
ν ρ |L gleich einem σµ |L mit µ = µ(ρ, ν) ∈ {1, . . . , m}. Es bleibt zu
zeigen, daß alle τij |L verschieden sind. Wäre etwa τij |L = τµν |L , also φj σi |L = φν σµ |L , so folgte
φj |L1 = φν |L1 , also ν = j und damit σi |L = σµ |L .
3.32 Satz
(2. Satz vom primitiven Element) Jede endliche separable Erweierung L/K besitzt ein primitives
Element.
Beweis:
Gemäß (3.15) genügt es zu zeigen, daß nur endlich viele Zwischenkörper existieren. Gemäß (3.30)
sei M/K eine minimale normale K-Erweiterung, die L enthält. Diese ist dann über K separabel!
Die Gruppe G(M/K) ist endlich von der Ordnung n = [M : K]. Ist nun E ein Zwischenkörper
K ⊂ E ⊂ M , so ist M/E normal und separabel, und die Gruppe G(M/E) ist eine Untergruppe
von G(M/K).
3.33 Definition 99
3.33 Definition
a ∈ L heißt rein inseparabel über K, falls ma (t) = (t − a)m für ein m ∈ IN gilt.
3.34 Satz
Es sei a ∈ L rein inseparabel über K. Dann gilt:
(i)
deg(ma ) = pe für passendes e ∈ ZZ≥0 .
(ii)
e f
deg(ma ) = pe ⇒ ap ∈ K ∧ ap ∈
/ K für 0 ≤ f < e.
Beweis:
3.35 Definition
L/K heißt rein inseparabel, falls L/K algebraisch und jedes Element aus L rein inseparabel über
K ist.
3.36 Korollar
Ist L/K endlich und L/K rein inseparabel ⇒ [L : K] ist p-Potenz.
Beweis:
L/K endlich ⇒ L = K(α1 , . . . , αr ) mit algebraischen Elementen αi .
Setze Ki : = K(α1 , . . . , αi ), K0 = K, Kr = L.
α1 rein inseparabel über K ⇒ [K1 : K0 ] = deg(mα1 ) = pe1 .
ei
Ist αi rein inseparabel über K, so folgt mαi (t) = (t − αi )p ∈ K[t], also ist das Minimalpolynom
von αi /Ki−1 eine Potenz von t − αi , αi /Ki−1 rein inseparabel, [Ki : Ki−1 ] ist p-Potenz.
Also folgt die Behauptung nach dem Gradsatz.
2
100 Kapitel 3 — Körper
3.37 Satz
e
a ∈ K\K p ⇒ tp − a ∈ K[t] irreduzibel für e ∈ ZZ≥0 .
Beweis:
e
Es sei g(t) ein irreduzibler Teiler von tp − a in K[t].
Dann gibt es dazu eine Erweiterung L/K vom Grad deg(g), in der g(t) eine Nullstelle β besitzt.
e e e
Also ist auch β p = a, tp − a = (t − β)p in L[t]. Folglich ist β rein inseparabel über K, also
f
g(t) = (t − β)p für ein f ∈ ZZ≥0 , 0 ≤ f ≤ e.
e f e−f e−f f
Ferner ist a = β p = β p p = cp für c = β p ∈ K.
Nach Voraussetzung muß also e = f gelten.
3.38 Hilfssatz
e
a ∈ L mit ap ∈ K für ein e ∈ ZZ≥0 ⇒ a rein inseparabel über K.
Beweis:
e e e e
Setze b = ap . Dann ist a Nullstelle von tp − b ∈ K[t], also tp − b = (t − a)p in L[t].
Das Minimalpolynom von a ist demnach eine Potenz von t − a und demnach a über K inseparabel.
3.39 Hilfssatz
a ∈ L separabel und rein inseparabel über K ⇒ a ∈ K.
Beweis:
e
a ∈ L rein inseparabel über K ⇒ ma (t) = tp − b für passendes b ∈ K und ein e ∈ ZZ≥0 .
a separabel impliziert m0a (t) 6= 0, also e = 0 und somit a = b.
3.40 Satz
L/K separabel ⇒ KLp = L.
L/K endlich mit KLp = L ⇒ L/K separabel.
Beweis:
Zunächst sei L/K separabel.
Wegen Lp ⊆ KLp ⊆ L ist αp ∈ KLp für alle α ∈ L, also ist jedes solche α nach (3.38) rein
inseparabel über KLp .
Ist andererseits mα (t) ∈ K[t] Minimalpolynom von α/K (L/K separabel!), so besitzt mα (t) in
keinem Erweiterungskörper mehrfache Nullstellen.
Dies gilt dann natürlich auch für mα/KLP (t) ∈ KLp [t], welches ja mα (t) in KLp [t] teilt.
Also ist α/KLp (und damit L/KLp ) separabel.
Nach (3.39) ist damit α ∈ KLp und die behauptete Gleichheit folgt.
Es sei nunmehr L/K endlich mit L = KLp .
Wir nehmen an, daß α ∈ L mit mα (t) ∈ K[t] existiert, welches über K nicht separabel ist.
m
X
Es muß notwendig mα (t) = aip tip (amp = 1) gelten!
i=0
β = b1 ω1 + . . . + bn ωn ∈ Kω1 + . . . + Kωn = L,
βp = b1p ω1p + . . . + bnp ωnp ,
also ist ω1p , . . . , ωnp ein Erzeugendensystem von Lp /K p .
Nach Voraussetzung gilt:
3.41 Korollar
(i) Die folgenden Aussagen für α ∈ L/K algebraisch sind äquivalent:
Beweis:
(ii) Wir haben LM p = M, KLp = L, folglich KM p = KLp M p = LM p = M und M/K ist nach
(3.40) separabel.
m
X
(iv) Es sei α ∈ M . α/L ist separabel mit Minimalpolynom mα/L (t) = a i ti .
i=0
Hierbei sind a0 , . . . , am über K separabel.
Also ist L̂ : = K(a0 , . . . , am ) über K nach (iii) separabel.
Ferner ist mα/L̂ (t) = mα/L (t) wegen L̂ ⊆ L, also α/L̂ separabel.
Demnach ist nach (i) L̂(α)/L̂ und somit L̂(α) nach (iii) über K separabel, also ist α/K
separabel.
(v) Sind α, β ∈ L über K separabel, so ist K(α, β)/K separabel nach (iii), also sind α ±
• β, α β
−1
(für β =
6 0) separabel über K.
Lsep ist somit Körper. K ⊆ Lsep folgt nach (3.39).
Bemerkungen:
Lsep = Lsep/K heißt separabler Abschluß (separable Hülle) von K in L.
3.42 Satz
Es sei L/K algebraisch. Dann ist L/Lsep rein inseparabel.
Beweis:
Es sei α ∈ L über K inseparabel mit mα (t) ∈ K[t]. Es folgt mα (t) = f1 (tp ) mit f1 (t) ∈ K[t].
Hierbei ist f1 (t) natürlich irreduzibel, es ist f1 (t) = mαp (t).
Ist αp nicht separabel über K, folgt f1 (t) = f1 (tp ) mit f1 (t) ∈ K[t], f1 (t) = mαp2 (t).
e
Nach endlich vielen Schritten (deg(mα ) < ∞) erhalten wir fe (t) = mαpe (t) ∈ K[t] mit αp /K
e
separabel. Also ist αp ∈ Lsep (und pe ist der minimale Exponent mit dieser Eigenschaft). Also
ist α/Lsep rein inseparabel nach (3.38).
Bemerkungen:
[Lsep : K] heißt Separabilitätsgrad von L/K = : [L : K]sep ,
[L : Lsep ] heißt Inseparabilitätsgrad von L/K = : [L : K]i .
Ist [L : K]i < ∞, so ist es nach (3.36) Potenz der Charakteristik.
Ist χ(K) = 0, so kann man alles ähnlich formulieren, nur ist stets Lsep = L, [L : K]i = 1.
x 7→ xp ist kein Isomorphismus.
3.43 Satz
L/K endlich, p - [L : K] ⇒ L/K separabel.
Beweis:
Ist α ∈ L\K über K inseparabel, so ist [K(α) : K] = deg(mα ) ein p-Vielfaches, das [L : K] teilt.
3.44 Satz
Es sei f (t) ∈ K[t] irreduzibel mit n = n0 pe und L = K(α) für eine Wurzel α von f (t).
Dann gilt: [L : K]sep = n0 , [L : K]i = pe .
Beweis:
e
Es ist αp /K separabel mit deg(mαpe ) = n0 .
e
Also ist für K1 = K(αp ) : [K1 : K] = n0 , [L : K1 ] = pe und K1 ⊆ Lsep .
Es bleibt Gleichheit zu zeigen. Sei also β ∈ Lsep . Dann ist β über K und somit über K1 separabel.
Ferner ist L/K1 rein inseparabel (Übungen), also β/K1 rein inseparabel. Folglich ist β ∈ K1 .
Übung:
e
α/K rein inseparabel ⇒ [K(α) : K] rein inseparabel. Denn sei αp ∈ K.
m
X m
X pe
e e
Ist γ ∈ K(α), also γ = ci αi , so ist γ p = ci (αp )i aus K. Also ist mγ (t) ein Teiler von
i=0 i=0
e e e
tp − γ p = (t − γ)p (in L[t]), γ daher rein inseparabel über K.
3.45 Korollar
Es sei L/K algebraisch. L/K ist sogar normal, falls jedes Element von L in einem Zerfällungskörper
M eines Polynoms aus K[t] enthalten ist, für den M ⊆ L gilt.
Beweis:
Es sei α ∈ L mit mα (t) ∈ K[t].
Dann ist α im Zerfällungskörper von mα (t) ∈ K[t], etwa M , enthalten, und es gilt M ⊆ L.
M ist über K normal, also zerfällt mα (t) in M (und damit in L) in Linearfaktoren.
(Beachte, jedes irreduzible Polynom aus K[t], welches in L eine Wurzel besitzt, ist - nach Normierung
- Minimalpolynom von einem α ∈ L.)
Bemerkung:
M/K normal, K ⊂ L ⊂ M ⇒ L/M normal (Beweis in den Übungen).
3.46 Satz
Es seien L/K endlich, M/K normal mit L ⊆ M .
Es sei n0 = [L : k]sep . Dann gibt es genau n0 verschiedene K-Isomorphismen von L auf Teilkörper
von M .
Beweis:
Gemäß (3.29) können wir [M : K] < ∞ wählen, da die möglichen Bilder von Elementen aus L
bereits in der minimalen normalen Erweiterung M/K liegen!
Wir beweisen den Satz mittels Induktion über n0 .
n0 = 1 : L/K ist rein inseparabel.
χ(K) = 0 ⇒ L = K, die Identität ist die einzig mögliche Abbildung.
e
χ(K) = p : Für α ∈ L ist αp ∈ K bei passendem e ∈ ZZ≥0 , jeder K-Isomorphismus σ leistet
pe pe e
σ(α) = σ(α ), also (σ(α) − α)p = 0 und σ(α) = α.
Also gibt es auch hier nur die Möglichkeit σ = idL .
n0
Y n0
Y
pe e
mα (t) = (t − α̃j ), in Lsep mα (t) = (t − αj )p .
j=1 j=1
Hierbei sind die αj paarweise verschieden. Ein K-Isomorphismus σ von L kann demnach α nur
auf ein αj abbilden (“Konjugierte” von α), und σ ist durch die Vorgabe des Bildes σ(α) bereits
eindeutig festgelegt. Also gibt es genau n0 verschiedene K-Isomorphismen von L in M :
σj : K(α) → K(αj ) : α 7→ αj .
Schließlich sei n0 > 1 und der Satz für [L : K]sep < n0 bereits bewiesen.
Nach Voraussetzung existieren in L über K separable Elemente, die nicht selbst in K liegen.
Wähle ein solches α ∈ Lsep/K : K ⊂ K(α) ⊆ Lsep/K ⊆ L ⊆ M.
Nun ist M auch über K(α) normal, und es ist [L : K(α)]sep = r < n0 .
Nach Induktionsannahme existieren gerade r K(α)-Isomorphismen τ1 , . . . , τr von L in M .
Ferner existieren gerade s : = [K(α) : K] K-Isomorphismen σi von K(α) in M , und wir haben
n0 = [L : K]sep = [Lsep : K(α)] [K(α) : K] = rs.
P
Nach Satz (1.43) kann jedes σi (1 ≤ i ≤ s) zu einem K-Automorphismus i von M fortgesetzt
werden.
P P
Man beachte, daß wir i zwar fest wählen können, i jedoch i.a. nicht eindeutig ist.
Wir erhalten somit n0 = rs K-Isomorphismen von L in M mittels:
X
σij : = τj (1 ≤ i ≤ s, 1 ≤ j ≤ r)
i
.
Ist nun φ irgendein K-Isomorphismus von L in M , so ist φ | K(α) = σi0 für ein i0 ∈ {1, . . . , s}.
P−1 P−1
Also läßt i0 φ : L → M gerade K(α) fest, d.h. i0 φ = τj0 für ein j0 ∈ {1, . . . , r}.
P
Also ist insgesamt φ = i0 τj0 .
Wir haben noch σij 6= σkl für i, j 6= (k, l) zu zeigen.
P P P−1 P
Sei also σij = σkl , also i τj = k τl bzw. i τj = τl .
P−1 P k P P
Die Einschränkung auf K(α) liefert P kP i K(α) | = id bzw. σi = i | k(α) = k | K(α) = σk ,
also i = k. Danach ist dann auch i = k und τj = τl , folglich j = l.
Bemerkungen:
(ii) Ist M/K eine endliche normale Erweiterung, so ist #G(M/K) = [M : K]sep .
3.47 Satz
Es sei M/K endlich und normal.
Ist für α ∈ M : σ(α) = α ∀ α ∈ G(M/K), dann ist α über K rein inseparabel.
Beweis:
Das Minimalpolynom von α kann nur eine Wurzel haben.
2
3.48 Definition 105
Bemerkungen:
Ist L/K endlich und normal, so ist F : = {α ∈ L | σ(α) = α ∀ σ ∈ G(L/K)} ein Körper(!),
der K enthält.
Nach (3.47) ist F/K rein inseparabel. Ferner ist L/F separabel, wie wir im Rahmen der Galois-
theorie bald zeigen werden.
Normen und Spuren
Im folgenden sei L/K endlich mit [L : K]sep = n0 und Γ/K endlich und normal. Gemäß (3.46)
existieren gerade n0 K-Isomorphismen σ1 , . . . , σn0 von L auf Teilkörper von Γ, die K enthalten.
3.48 Definition
Für Elemente α ∈ L definieren
wir
[L:K]i
Yn 0
3.49 Hilfssatz
Ist mα/K (t) = tr + c1 tr−1 + . . . + cr ∈ K[t], so gilt
[L:K(α)]
NL/K (α) = (−1)r cr ,
T rL/K (α) = −[L : K(α)]c1 .
Beweis:
Es sei m0 = [K(α) : K]sep . Also existieren gerade τ1 , . . . , τm0 K- Isomorphismen von K(α) in
Teilkörper von F . Deren Fortsetzungen (fixiert!) zu Γ-Automorphismen seien T1 , . . . , Tm0 . Ist
r0 = [L : K(α)]sep , so existieren genau r0 K(α)-Isomorphismen κj von L auf Teilkörper von Γ,
und wie im Beweis zu (3.46) sind dann ρij : = Ti κj alle K-Isomorphismen von L. Also erhalten
wir:
[L:K]i r0 [L:K]i
m0 Y
Y r0 m0
Y
NL/K (α) = Ti κj (α) = τj (α) ,
i=1 j=1 j=1
Xm0 X
r0 m0
X
T rL/K (α) = [L : K]i Ti κj (α) = r0 [L : K]i τi (α)
i=1 j=1 i=1 Pm0
= [L : K(α)]sep [L : K(α)]i [K(α) : K]i i=1 τi (α).
Andererseits ist in Γ[t] :
m0
![K(α):K]i
Y
mα/K (t) = t − τi (α) , also
i=1
m0
!![K(α):K]i m0
Y X
m0
cr = (−1) τi (α) , c1 = − [K(α) : K]i τi (α),
i=1 i=1
m0
![K(α):K]i
Y
r
(−1) cr = τi (α) .
i=1
2
106 Kapitel 3 — Körper
Bemerkungen:
(b) Norm und Spur sind unabhängig von der Wahl von Γ.
3.50 Hilfssatz
Es seien M/L/K endlich, a ∈ K, α, β ∈ L, x ∈ M .
Dann gilt:
(i) NL/K (α β) = NL/K (α) NL/K (β), T rL/K (α + β) = T rL/K (α) + T rL/K (β);
Beweis: Übungen.
3.51 Satz
d(L/K) = 0 ⇔ T rL/K (α) = 0 ∀ α ∈ L.
Beweis: “ ⇐ ” trivial.
“ ⇒ ” Die Spalten der Matrix T rL/K (αi αj ) sind linear abhängig.
Also existieren b1 , . . . , bn ∈ K, nicht alle gleich 0, mit
X
bj T rL/K (αi αj ) = 0 (1 ≤ i ≤ n).
j=1
n
X n
X
Folglich ist β : = bj αj 6= 0. Für α ∈ L existiert demnach γ = ci αi ∈ L mit α = β γ.
j=1 j=1
Es folgt:
Xn n
X n
X Xn
T rL/K (α) = T rL/K ci αi bj αj = ci T rL/K bj αi αj = 0.
i=1 j=1 i=1 j=1
2
3.52 Satz 107
3.52 Satz
d(L/K) 6= 0 ⇔ L/K ist separabel.
Beweis:
Beispiel: √
K = Q, L = Q( √m), [L : K] = 2, L/K separabel.
Eine Basis ist √
1, m.
Für α = a + b m ist
2 2
T r(α) = N (α)
2a, = a
− mb
T r(1) T r(α) 2 2a
d(1, α) = =
T r(α) T r(α2 ) 2a 2(a2 + mb2 )
2
= 4m b .
t − a für b = 0
Es ist mα/Q (t) =
t2 − T r(α)t + N (α) sonst.
3.53 Definition
Ein Körper K heißt algebraisch abgeschlossen, falls für jede algebraische Erweiterung L/K
bereits L = K gilt. K̄ heißt algebraischer Abschluß des Körpers K, falls K̄/K algebraisch und K̄
algebraisch abgeschlossen ist.
3.54 Satz
Ein Körper K besitzt einen algebraischen Abschluß K̄, und je zwei algebraische Abschlüsse von K
sind K-isomorph.
Beweis:
(i) Existenz
Betrachte die Menge M aller geordneten Paare (f (t), n) ∈ K[t] × IN.
Identifiziere K mit den Paaren (t − a, 1) für a ∈ K.
Folglich existiert eine nicht leere Famile F von Teilmengen A von K[t] × IN mit den Eigen-
schaften
Für Elemente A, B von F schreiben wir A ≤ B, falls B Oberkörper von A ist. Damit wird F
partiell geordnet, und jede Kette in F besitzt darin eine obere Schranke (Vereinigungsmenge!).
Folglich enthält F ein bzgl. ≤ maximales Element Γ. Gemäß (ii) ist Γ/K algebraisch.
Annahme, Γ ist nicht algebraisch abgeschlossen. Dann existiert eine echte algebraische Er-
weiterung 4 von Γ. Jedes α ∈ 4 ist hierbei über K algebraisch.
Es sei f (t) = mα/K (t). f (t) habe in Γ Wurzeln α1 , . . . , αr sowie in 4 \ Γ die Wurzeln
αr+1 , . . . , αm .
108 Kapitel 3 — Körper
2
Kapitel 4: Galoistheorie
4.1 Satz
Es seien K, L zwei Körper und σi : K → L (1 ≤ i ≤ n) verschiedene Isomorphismen.
Dann sind σ1 , . . . , σn im folgenden Sinn linear unabhängig:
Xn
αi σi (β) = 0 für feste α1 , . . . , αn ∈ L und alle β ∈ K impliziert αi = 0 (1 ≤ i ≤ n).
i=1
Beweis:
Mittels Induktion über n!
n = 1 : trivial (speziell ist σ1 (1) = 1!).
X n
n − 1 ⇒ n : Es sei αi σi (β) = 0 ∀β ∈ K vorgegeben.
i=1
Es sind σ1 und σn verschieden, also existiert γ ∈ K\{0, 1} mit σ1 (γ) =
6 σn (γ).
n
X
Hierfür gilt: σn (γ −1 ) αi σi (γβ) = 0 ∀β ∈ K,
i=1
n
X
und wir subtrahieren hiervon αi σi (β) = 0 ∀β ∈ K.
i=1
n−1
X
Dies liefert αi (σn (γ −1 ) σi (γ) − 1) σi (β) = 0 ∀β ∈ K.
i=1
Nach Induktionsannahme gilt dann αi (σn (γ −1 ) σi (γ) − 1) = 0 (1 ≤ i ≤ n − 1),
also α1 = 0.
Wiederum nach Induktionsannahme folgt dann auch α2 = . . . = αn = 0.
4.2 Hilfssatz
Es seien K, L zwei Körper und σi : K → L (1 ≤ i ≤ n) verschiedene Isomorphismen.
Dann ist F : = {α ∈ K | σ1 (α) = . . . = σn (α)} ein Unterkörper von K mit [K : F ] ≥ n.
Beweis:
F Teilkörper ist klar, es bleibt die Gradaussage zu zeigen. Indirekt!
Wir nehmen [K : F ] = r < n an. Dann existiert eine F -Basis ω1 , . . . , ωr von K/F .
Xn
Danach hat das lineare Gleichungssystem σj (ωi )Xj = 0 (1 ≤ i ≤ r)
j=1
eine nicht triviale Lösung X1 , . . . , Xn in L.
r
X
Für beliebiges α ∈ K, α = αi ωi (αi ∈ F, 1 ≤ i ≤ r),
i=1
n
X
liefert dies σj (αi ωi )Xj = 0 (1 ≤ i ≤ r)
j=1
(mittels Multiplikation der i -ten Gleichung mit σ1 (αi ) = σ2 (αi ) = . . . = σn (αi )).
Xn
Addition aller Gleichungen ergibt σj (α)Xj = 0 ∀α ∈ K, Widerspruch!
j=1
110 Kapitel 4 — Galoistheorie
Anwendung:
Es sei L eine endliche K-Erweiterung, G(L/K) bezeichne die Gruppe aller K -Automorphismen
von L.
Ferner sei H eine Untergruppe von G(L/K) und F (H) : = {α ∈ L | σ(α) = α ∀σ ∈ H}.
Dann ist F (H) ein Teilkörper von L, der K enthält, und es gilt [L : F (H)] ≥ (H : 1).
F (H) heißt Fixkörper bzgl. H (Bezeichnung: F ix (H)).
Beispiel:
Es sei L = K(t).
L besitzt u.a. folgende 6 Automorphismen σi ,
1 1 1 t
welche durch σ1 (t) = t, σ2 (t) = 1 − t, σ3 (t) = , σ4 (t) = 1 − , σ5 (t) = , σ6 (t) =
t t 1−t 1−t
festgelegt sind.
Es sei F derjenige Teilkörper von L, der von allen 6 Automorphismen elementweise invariant
gelassen wird.
Hierfür gilt [L : F ] ≥ 6.
(t2 − t + 1)3
Es steht sogar das Gleichheitszeichen: Denn g(t) : = 2 liegt in F .
t (t − 1)2
Also ist F1 : = K(g(t)) ein Teilkörper von F , d.h. [L : F1 ] ≥ 6.
Wegen (t2 − t + 1)3 − g(t)t2 (t − 1)2 = 0 in F1 [t] ist t Wurzel eines Polynoms vom Grad 6 aus F1 [t],
also [F1 [t] : F1 ] ≤ 6 und damit F = K(g(t)).
4.3 Satz
Es sei G eine endliche Gruppe von Automorphismen
eines Körpers L und F = {α ∈ L | σ(α) = α ∀α ∈ G}.
Dann ist F ein Körper, sog. Fixkörper F (G), und es gilt: [L : F ] = (G : 1).
Beweis:
Gemäß (4.2) ist F Teilkörper von L mit [L : F ] ≥ (G : 1) =: n.
Wir nehmen an, daß L über F n + 1 linear unabhängige Elemente ω1 , . . . , ωn+1 enthält.
Für G = {σ1 , . . . , σn } betrachten wir das homogene lineare Gleichungssystem
n+1
X
σi (ωj )Xj = 0 (1 ≤ i ≤ n).
j=1
r
X
σh (Xj )σh σi (ωj ) = 0 (1 ≤ i ≤ n), also
j=1
r
X
σh (Xj )σk (ωj ) = 0 (1 ≤ k ≤ n).
j=1
4.4 Definition 111
r−1
X
σk (ωj )(Xj − σh (Xj )) = 0 (1 ≤ k ≤ n).
j=1
Wegen X1 =
6 σh (X1 ) steht dies jedoch im Widerspruch zur Minimalität von r.
Es sei Γ/K normal, endlich, und F sei der Fixkörper von G(Γ/K).
Wir haben gesehen, daß F/K rein inseparabel ist (3.47).
Offenbar ist G(Γ/F ) = G(Γ/K), also nach (4.3):
4.4 Definition
Eine algebraische Erweiterung L/K heißt Galoiserweiterung, falls K der Fixkörper von G(L/K)
ist. In diesem Fall heißt G = G(L/K) Galoisgruppe von L/K.
4.5 Satz
L/K endlich: L/K galoissch ⇔ L/K normal und separabel.
Beweis:
“ ⇐00 Es sei F = F ix (G(L/K)) der Fixkörper zu G(L/K).
Hierfür ist [F : K] = [L : K]i = 1, also F = K.
“ ⇒00 Es sei α ∈ L.
Betrachte αj : = σj (α) für G(L/K) = {σ1 , . . . , σn }, hierunter seien - evtl. Umnummerieren -
α1 , . . . , αr paarweise verschieden. G permutiert {α1 , . . . , αr }.
Alle symmetrischen Funktionen in α1 , . . . , αr bleiben demnach G-invariant,
Q
r
speziell ist gα (t) : = (t − αi ) demnach aus K = F ix (G).
i=1
Ein irreduzibler Teiler g̃(t) von g(t) in K[t] hat dann mit einer Nullstelle αj alle αi als Nullstellen,
also ist gα (t) = mα (t).
Bemerkug:
L/K galoissch und K ⊂ E ⊂ L → L/E goloissch.
4.6 Satz
(Hauptsatz der Galoistheorie)
Es sei L/K eine endliche Galoiserweiterung.
Dann gibt es eine Bijektion zwischen den Zwischenkörpern K ⊂ F ⊂ L und den Untergruppen
von G(L/K) mittels F ←→ G(L/F ).
Dabei ist F/K genau dann galoissch, wenn G(L/F ) Normalteiler in G(L/K) ist, und in diesem
Fall gilt:
G(F/K) ∼ = G(L/K) / G(L/F ).
112 Kapitel 4 — Galoistheorie
Beweis:
(i) Zunächst ist F → G(L/F ) eine injektive Abbildung (vgl. Beweis zu (3.32)).
Es bleibt die Surjektivität zu zeigen.
Dazu sei H eine Untergruppe von G(L/K) und F (H) der zugehörige Fixkörper. Dann ist
L/F (H) normal und separabel, also galoissch mit Galoisgruppe G(L/F (H)).
Also gilt H < G(L/F (H)).
Gemäß (4.3) ist [L : F (H)] = (H : 1) und nach (3.31) [L : F (H)] = (G(L/F (H)) : 1),
also H = G(L/F (H)).
(ii) Sei nun K ⊂ E ⊂ L.
Wir nehmen zunächst E/K als galoissch, d.h. normal und separabel, an.
Ferner seien σ ∈ G(L/K) und τ ∈ G(L/E).
Für α ∈ E ist σ(α) ∈ E, also σ −1 τ σ(α) = σ −1 σ(α) = α, und damit σ −1 τ σ ∈ G(L/E).
Damit ist G(L/E) Normalteiler.
Umgekehrt sei G(L/E) / G(L/K).
Trivialerweise ist E/K separabel, es bleibt E/K normal zu zeigen.
Dazu sei f ∈ K[t] irreduzibel mit Nullstelle α ∈ E.
In L[t] zerfällt f in Linearfaktoren,
alle Nullstellen sind dabei von der Form σ(α) (σ ∈ G(L/K)).
Für alle τ ∈ G(L/E) existiert nun ρ ∈ G(L/E) mit τ = σρσ −1 , d.h. τ (σ(α)) = σρσ −1 (σ(α)) =
σρ(α) = σ(α),
d.h. σ(α) ∈ F (G(L/E)) = E.
Also zerfällt f bereits in E[t] in Linearfaktoren, und E/K ist normal.
(iii) Definiere φ : G(L/K) → G(E/K) : σ 7→ σ |E .
φ ist Homomorphismus wegen σ |E Automorphismus und gemäß (3.29) surjektiv.
Ker φ = {σ ∈ G(L/K) | σ |E = idE } = G(L/E).
Damit folgt die behauptete Isomorphie aus dem Homorphiesatz für Gruppen.
2
4.7 Korollar
Es sei L/K galoissch, E, F seien Zwischenkörper. Dann gilt: E ⊆ F ⇐⇒ G(L/E) ⊇ G(L/F ).
4.8 Satz
Es sei L/K eine Körpererweiterung mit Zwischenkörpern E, F . Ist dann E/K eine endliche
Galoiserweiterung, so ist EF eine Galoiserweiterung von F mit G(EF/F ) ∼ = G(E/E ∩ F ).
EF
E
F
E∩F
K
4.9 Definition 113
Beweis:
E/K ist Zerfällungskörper eines Polynoms f ∈ K[t], dessen Faktoren lauter einfache Nullstellen
besitzen.
Dann ist auch EF Zerfällungskörper von F ∈ F [t], d.h. EF/F ist normal und separabel, also
galoissch.
Es seien nun σ ∈ G(EF/F ) und α1 , . . . , αn die verschiedenen Nullstellen von f . Dann induziert
σ eine Permutation dieser Nullstellen, die einem Element σ̃ ∈ G(E/K) entspricht. Verschiedene
σ induzieren so verschiedene σ̃, die Zuordnung σ 7→ σ̃ liefert einen Isomorphismus von G(EF/F )
auf eine Untergruppe von G(E/K). σ (und damit σ̃) läßt jedes Element von F ∩ E invariant, d.
h. σ̃ ∈ G(E/E ∩ F ).
Jedes Element σ̃ ∈ G(E/E ∩ F ) permutiert α1 , . . . , αn und ist daher als Bild eines σ ∈ G(EF/F )
erhältlich.
Also folgt die behauptete Isomorphie.
4.9 Definition
Es sei L/K galoissch.
Ist dann G(L/K) abelsch, zyklisch etc., so heißt auch die Erweiterung L/K abelsch, zyklisch etc..
Beispiel:
√ √
Für f (t) = t3 − 2 ∈ Q[t] ist der Zerfällungskörper K = Q( 3 2, −3).
Demnach ist [K : Q] = 6 und K/Q normal und separabel, also galoissch.
√ √
Alle 6 Q -Automorphismen von K sind durch ihre Wirkung auf 3 2 und −3 eindeutig bestimmt.
√
−1 + −3
Wir setzen ξ : = und
2
√ √ √ √
(ξ 7→ ξ 2 ),
3 3
σ : K → K mittels2 7→ 2, −3 7→ − −3
√
3
√3
√ √
τ : K → K mittels 2 7→ ξ 2, −3 7→ + −3 (ξ 7→ ξ)
2 2
√ id
√ τ
√ τ√ σ
√ στ
√ στ
√
3 3 3 2 3 3 2
√ 2 √ 2 √ 2
ξ ξ√ 2 √2 ξ √3 2 3
ξ√ 2
−3 −3 −3 −3 − −3 − −3 − −3
∼ S3 sind:
Die Untergruppen von G(K/Q) =
L1
L2
L3
L4
Q
Beispiel:
Gleichungen dritten Grades und ihre Diskriminanten.
Es sei f [t] ∈ ZZ[t] mit deg (f ) = 3 irreduzibel.
Dann hat der Zerfällungskörper von f über Q genau dann den Grad 3, falls die Diskriminante der
Nullstellen von f ein Quadrat in ZZ ist.
Dazu seien ρ1 , ρ2 , ρ3 die Nullstellen
Y von f in C.
Dann ist D(ρ1 , ρ2 , ρ3 ) = (ρ1 − ρj )2 ,
1≤i<j≤3
also D(ρ1 , ρ2 , ρ3 ) ∈ ZZ wegen D(ρ1 , ρ2 , ρ3 ) = det (Si+j−2 (ρ1 , ρ2 , ρ3 )) ∈ ZZ.
Für Zerfällungskörper M von f über Q gibt es nun genau zwei Möglichkeiten:
√
(i) [M : Q] = 3 ⇒ M = Q(ρ1 ) ⇒ G(M/Q) ∼ = C3 ⇒ D̃ = D invariant unter G(M/Q)
⇒ D̃ ∈ F ix(G(M/Q)) = Q;
(ii) [M : Q] = 6 ⇒ G(M/Q) = ∼ S3 ⇒ G(M/Q) enthält Transposition, etwa (23),
√
d.h. σ(D̃) = −D̃ für ein σ ∈ G(M/Q) ⇒ D̃ = D ∈ / F ix(G(M/Q)) = Q wegen D̃ 6= 0.
4.10 Satz
Es sei K eine endliche Erweiterung von IFp vom Grad n.
Dann ist K/IFp galoissch mit G(K/IFp ) = hσi,
wobei σ der Frobenius-Automorphismus von K ist, ]hσi = n.
Ist L eine Erweiterung von K vom Grad m, so ist auch L/K galoissch
n
mit Galoisgruppe G(L/K) = hψi, wobei ψ durch x 7→ xp gegeben ist, ]hψi = m.
Beweis:
n
(i) Die Erweiterung K/IFp ist normal als Zerfällungskörper von tp − t;
sie ist separabel, weil IFp vollkommen ist.
Die Abbildung σ : K → K : x 7→ xp ist - wie früher gezeigt - ein Monomorphismus, der
wegen ]K < ∞ surjektiv ist.
Da für x ∈ IFp zudem xp = x gilt, ist σ ∈ G(K/IFp ).
Wir betrachten die zyklische Untergruppe hσi =: U von G = G(K/IFp ).
v
Es gilt: σ v : K → K : x 7→ xp , d.h. σ v = idk erstmalig für υ = n.
Also ist ]U = n = ]G und damit U = G.
(ii) L/K ist galoissch (vgl. (i)).
Wegen (4.3) gilt: ]G(L/K) = m.
Als Untergruppe von G(L/IFp ) ist G(L/K) zyklisch.
n
Die Gruppe wird erzeugt durch ψ : L → L : x 7→ xp .
4.11 Definition 115
4.11 Definition
Es sei K ein Primkörper.
Jede Wurzel des Polynoms tn − 1 ∈ K[t] heißt n-te Einheitswurzel über K.
Der Zerfällungskörper Kn von tn − 1 heißt n-ter Kreisteilungskörper über K.
4.12 Satz
Es sei tn − 1 ∈ K[t], K Primkörper.
Im Zerfällungskörper Kn von tn − 1 bezeichne En die Nullstellenmenge von tn − 1 (]En ≤ n).
Dann gilt:
Beweis:
(iii) tn − 1 besitzt n Nullstellen in Kn , die wegen ggT (tn − 1, (tn − 1)0 ) = ggT (tn − 1, ntn−1 ) = 1
alle verschieden sind. (Beachte: n 6= 0 in Kn ).
4.13 Hilfssatz
(i) Für m 6= n, m, n ∈ IN ist Fm ∩ Fn = ∅.
Ṡ
(ii) En = Fd .
d|n
P
(iii) n = ϕ(d).
d|n
Beweis:
(i) Trivial.
S
(ii) Klar ist zunächst En ⊇ Fd .
d|n
4.14 Definition
Y
Φn (t) := (t − ξ) ∈ Kn [t] heißt n-tes Kreisteilungspolynom über K.
ξ∈Fn
Bemerkungen:
Offensichtlich ist deg(Φn ) = ϕ(n).
n
Y
Ist ξ irgendeine primitive n − te Einheitswurzel, so gilt Φn (t) = (t − ξ i ).
i=1
n
Q ggT (i,n)=1
4.15 Satz
Es ist Φn (t) ∈ K[t]; speziell für K = Q gilt sogar Φn (t) ∈ ZZ[t].
Beweis:
Mittels Induktion nach n!
n = 1 : Φ1 (t) = t − 1
1, . . . , n − 1 → n :
Wegen Y Y
tn − 1 = Φd (t) ist Φn (t) = (tn − 1)/ ( (Φd (t)) in Kn (t)
d|n d|n
d<n
| {z }
=:gn (t)∈K[t] bzw. ZZ[t]
nach Induktionsannahme.
Also existieren Polynome hn (t), rn (t) aus K[t] bzw. ZZ[t] mit tn − 1 = hn (t)gn (t) + rn (t)
und deg(rn ) < n − ϕ(n).
Da diese Zerlegung auch in Kn (t) Gültigkeit besitzt, folgt rn (t) = 0 und hn (t) = Φn (t).
2
4.16 Satz 117
4.16 Satz
Es gilt [Kn : K] = ϕ(n) für K = Q; speziell ist Φn (t) in ZZ[t] irreduzibel, Kn /Q galoissch.
Beweis:
Offenbar ist [Kn : K] ≤ ϕ(n), da Φn (t) in Kn in Linearfaktoren zerfällt und
Kn = K(ξ) mit ξ Nullstelle von Φn ist. Wir zeigen also noch [Kn : K] ≥ ϕ(n).
Dazu sei ξ eine Nullstelle von Φn (t) mit Minimalpolynom mξ (t) ∈ K[t].
Hierfür gilt mξ (t)|Φn (t), d.h. es existiert h(t) ∈ K[t] (nominiert!) mit Φn = mξ h.
Wir zeigen: Ist nun x Nullstelle von mξ , so auch xp für alle Primzahlen p, die n nicht teilen.
Daraus folgt dann sofort, daß jede primitive n − te Einheitswurzel Nullstelle von mξ ist, also
mξ (t) = Φn (t) gilt.
Annahme: xp ist keine Nullstelle von mξ . Dies bedeutet wegen Φn (xp ) = 0 jedoch h(xp ) = 0,
d.h. x Nullstelle von h(tp ) bzw. mξ (t)|h(tp ) oder h(tp ) = mξ (t)g(T ) in ZZ[t].
Also folgt wegen h(tp ) ≡ h(t)p mod pZZ[t] auch h(t)p ≡ mξ (t)g(t) mod pZZ[t],
d.h. in Fp [t] gilt: ggT (h̄, m̄ξ ) 6= 1,
was dann bedingt, daß tn − 1 mehrfache Nullstellen in Fp [t] besitzt.
Dies ist jedoch ein Widerspruch zu p 6 | n.
Beispiel:
Über F5 gilt:
Φ12 (t) = t4 − t2 + 1 = (t2 − 2t − 1)(t2 + 2t − 1) = (t − ξ)(t − ξ 5 ) · (t − ξ 7 )(t − ξ 11 )
(4.16) wird falsch!
Bemerkung:
Über Fp mit p 6 |n ist [Kn : K] = min{m ∈ IN|pm − 1 ≡ 0 mod n}.
4.17 Satz
Für n ∈ IN ist G(Kn /Q) ∼
= U (ZZ/nZZ).
Beweis:
Es seien ξ eine (feste) primitive n − te Einheitswurzel,
Kn = Q(ξ), und h ∈ IN mit 1 ≤ h ≤ n, ggT (h, n) = 1.
Dann sind ξ und ξ h beide Nullstellen des irreduziblen Polynoms Φn (t) ∈ ZZ[t],
welches in Kn [t] in Linearfaktoren zerfällt, und es gilt Kn (ξ) = Kn (ξ h ).
Wir definieren ϕ : U (ZZ/nZZ) → G(Kn /Q) : h + n ZZ 7→ σh ,
wobei σh : Kn → Kn mittels ξ 7→ ξ h gegeben ist.
Offensichtlich ist σh ein Element aus G(Kn /Q), vgl. (3.17).
ϕ ist wohldefiniert wegen ξ n = 1, injektiv (und damit surjektiv).
Zur Homomorphie: ϕ(hk + n ZZ) = σhk = σh σk = ϕ(h + n ZZ)ϕ(k + n ZZ).
2
118 Kapitel 4 — Galoistheorie
4.18 Korollar
Der n-te Kreiskörper Kn ist abelsch über Q.
Alle Zwischenkörper F mit Q ⊂ F ⊂ Kn sind über Q galoissch.
√
x
x 1
b u/v
1 1
0
a ab v u
Also gilt: Q ⊂ L ⊂ IR, L Körper.
y − y1 (y2 − y1 ) y − v1 v2 − v1
= =: r1 , = =: r2 , r1 6= r2 ,
x − x1 (x2 − x1 ) x − u1 u2 − u1
x1 r1 − y1 − u1 r2 + v1
y = r1 x −x1 r1 + y1 = r2 x − u1 r2 + v1 , x= , (x, y) ∈ K.
| {z } r1 − r2
s1
(iii) Schneide Kreis um (u1 , v1 ) vom Radius r1 , mit dem um (u2 , v2 ) vom Radius r2 .
(x − u1 )2 + (y − v1 )2 = r1 2 , (x − u2 )2 + (y − v2 )2 = r2 2 ,
(x − u2 )2 = (x − u1 )2 − 2u1 x + δ 2 (δ = u2 − u1 ),
(y − v2 )2 = (y − v1 )2 − 2v1 y + γ 2 (γ = v2 − v1 ),
r2 2 = r1 2 − 2u1 x − 2v1 y + γ 2 + δ 2 usw.
⇒ x genügt quadratischer Gleichung, fahre fort wie in (ii).
4.19 Satz
x ∈ IR ist genau dann konstruierbar, wenn es einen endlichen Körperturm
Q = K 0 ⊂ K1 ⊂ K 2 √ ⊂ . . . ⊂ Kn ⊂ IR mit x ∈ Kn √gibt,
wo stets K√i = K √ βi ) mit βi ∈ Ki−1 , βi > 0, βi ∈
i−1 ( / Ki−1 (1 ≤ i ≤ n) gilt.
Kn = Q( β1 . . . , βn ).
Beweis:
x konstruierbar ⇒ x liegt in solchem Kn . √
Jede Zahl aus Kn ist konstruierbar: x ∈ Kn ⇒ x = a + b βn mit a, b, βn ∈ Kn−1 ,
dann wende Induktion über n an und beachte Konstruktionsregeln II und III.
4.20 Korollar
(i) x ∈ IR konstruierbar ⇒ x liegt in Körper K mit Q ⊂ K ⊂ IR und [K : Q] = 2n (n ∈ ZZ≥0 ).
(iii) x ∈ IR algebraisch über Q mit [Q(x) : Q] = n und n keine Potenz von 2 ist nicht konstruierbar.
Anwendungen:
li 0 1 2 3 4
pi 3 5 17 257 65537
5.1 Satz
Die Abbildung
n
X
2
δ (f ) = δ(σ1 f (σ2 , . . . , σn+1 ) + (−1)i f (σ1 , . . . , σi σi+1 , . . . , σn+1 )
i=1
+(−1)n+1 f (σ1 , . . . , σn )
P
n+1
Schreibe gj (σ1 , . . . , σn+1 ) = δf (σ1 , . . . , σn+1 ),
j=0
P
n+1 P
n+2
sowie δ 2 f = (δgj )(σ1 , . . . , σn+2 ), δgj (σ1 , . . . , σn+2 ) = gji (σ1 , . . . , σn+2 ).
j=0 i=0
für i = j + 1 :
f (σ1 , . . . , σi−1 σi σi+1 , σi+2 , . . . , σn+2 ) − f (σ1 , . . . , σi−1 σi σi+1 , . . . , σ n+2 ) = 0,
für j = 0 :
g0 (σ1 , . . . , σi σi+1 , σn+2 ) − σ1 f (σ2 , . . . , σ1 σi+1 , . . . , σn+2 )
= σ1 f (σ2 , . . . , σi σi+1 , . . . , σn+2 ) − σ1 f (σ2 , . . . , σi σi+1 , . . . , σn+2 ) = 0
Behauptung:
i≥j+1:
(−1)i+j gj (σ1 , . . . , σi σi+1 , . . . , σn+2 )
+ (−1)i−1+j gi−1 (σ1 , . . . , σj σj+1 , . . . , σn+2 ) = 0
Beweis:
gi−1 (τ1 , . . . , τn+1 ) = f (τ1 , . . . , τi−1 τi , . . . , τn+1 )
gj (τ1 , . . . , τn+1 ) = f
(τ1 , . . . , τj τj+1 , . . . , τn+1 ).
Damit ist
n die Behauptung äquivalent zu o
(−1)i+j f (σ1 , . . . , σj σj+1 , . . . , σi σi+1 , . . . , σn+2 ) − f (σ1 , . . . , σj σj+1 , . . . , σi σi+1 , . . . , σn+2 ) = 0.
Letztere Gleichung sieht man durch Nachrechnen ein.
Von besonderer Bedeutung sind nun die beiden folgenden Untergruppen von C n (G, A) :
Z n (G, A) : = Ker(δ|C n (G,A) ) Cozyklen, B n (G, A) : = δ(C n−1 (G, A)) Coränder.
Beides sind offenbar Untergruppen von C n (G, A), und die zweite ist wiederum Untergruppe der
ersten.
5.2 Definition
= H n (G, A) : = Z n (G, A)/B n (G, A) heißt n − te Kohomologiegruppe von G über A.
Für die Anwendungen in der Körpertheorie ist H 1 (G, A) von besonderem Interesse.
Ist f ∈ Z 1 (G, A), so gilt für alle (σ, τ ) ∈ G2 : (δf )(σ, τ ) = σf (τ ) − f (στ ) + f (σ) = 0,
also f (στ ) = σf (τ ) + f (σ) (f ist gekreuzter Homomorphismus).
Ist g ∈ B 1 (G, A), so ist g = δh für ein h ∈ C 0 (G, A), h also eine Konstante a.
Für σ ∈ G beliebig folgt g(σ) = (δh)(σ) = σ(a) − a.
5.3 Satz
Es sei L/K endlich und galoissch mit Galoisgruppe G = G(L/K).
Dann gilt: H 1 (G, L× ) = 1, H 1 (G, L+ ) = 0.
Beweis:
In beiden Fällen ist demnach B 1 = Z 1 zu zeigen.
X
0 6= T rL/K (β) = τ (β) = a ∈ K, folglich
τ ∈G
X 1
τ (β̃) = 1 für β̃ = β ∈ L.
a
τ ∈G
P
Wir setzen α = f (τ )τ (β̃).
τ ∈G
P P
Hierfür wird σ(α) = σf (τ )στ (β̃) = (f στ )στ (β̃) − f (σ)στ (β̃)) = α − f (σ),
τ ∈G τ ∈G
5.4 Satz
(Hilbert 90) L/K sei zyklisch mit G(L/K) =< σ > von der Ordnung n.
Die Elemente α ∈ L mit NL/K (α) = 1 sind von der Form σ(β)
β ,
die Elemente α ∈ L mit T rL/K (α) = 0 sind von der Form σ(β) − β,
jeweils für passendes β ∈ L.
Beweis:
Hierfür ist
f ∈ Z 1 (G, L× ) : (δf )(ρ, τ ) = ρf (τ ) − f (ρτ ) + f (ρ),
ρ = σ i , τ = σ j , σ i f (σ j ) · f (σ i+j )−1 · f (σ i ) =
σ i+j−1 (α) . . . σ i+1 (α) σ i (α) · (σ i+j−1 (α) . . . σ(α) α)−1 (σ i (α) . . . α) = 1.
Nach (3.2) ist dann f ∈ B 1 (G1 , L× ),
σ(β)
also exististiert β ∈ L× mit f (σ) = β = α.
Im folgenden sollen die zyklischen Erweiterungen eines Körpers genauer untersucht werden. Bei
einer zyklischen Gruppe existiert zu jedem Teiler der Gruppenordnung genau eine Untergruppe.
Deren Fixkörper ist dann wiederum zyklisch. Das heißt, der Oberkörper läßt sich vom Grundkörper
aus durch einen Körperturm erreichen, bei dem jeder Teilschritt zyklisch von Primzahlordnung ist.
Wir betrachten im folgenden zwei Fälle:
124 Kapitel 5 — Kohomologiegruppen
5.5 Satz
Der Körper K enthalte eine primitive n − te Einheitswurzel, und es gelte χ(K) 6 | n.
Eine Erweiterung L/K ist genau dann zyklisch vom Grad n,
wenn L der Zerfällungskörper
√ eines irreduziblen Polynoms der Form tn − a ∈ K[t] ist.
(In diesem Fall ist L = K( a).)
n
Beweis:
” ⇒ ” Es sei G(L/K) = < σ >.
Wegen ζ ∈ K ist NL/K (ζ) = ξ n = 1,
und gemäß (3.4) exististiert β ∈ L× mit ζ = σ(β) β bzw. σ(β) = ζβ.
Es folgt σ i (β) = ζ i β (1 ≤ i ≤ n).
Demgemäß sind alle diese Elemente verschieden.
Außerdem ist β n = ζ n β n = σ(β)n = σ(β n ), also β n = b ∈ K.
In L[t] gilt demnach
n
Y
n
t −b= (t − ζ i β).
i=1
5.6 Satz
Es sei χ(K) = p.
Dann ist eine Erweiterung L/K genau dann zyklisch vom Grad p,
wenn L der Zerfällungskörper eines irreduziblen Polynoms tp − t − b ∈ K[t] ist.
(In diesem Fall ist L = K(β) für eine Wurzel β von tp − t − b.)
Beweis:
”⇒” Wiederum sei G(L/K) = < σ >.
Wegen T rL/K (1) = p · 1 = 0 existiert nach (3.4) ein β ∈ L mit σ(β) = β + 1.
Setze ℘(t) = tp − t.
p
Dann wird σ(℘(β)) = σ(β p − β) = (β + 1)p − (β + 1) = β−β = ℘(β),
also ist ℘(β) = b ∈ K und β eine Wurzel von tp − t − b.
5.7 Satz 125
5.7 Satz
Es sei G eine endliche abelsche Gruppe vom Exponenten n.
Ferner sei ζ eine primitive n − te Einheitswurzel.
Dann gilt: G ∼= Hom (G, < ζ >)
(”Gruppe der abelschen Charaktere”, Kurzbezeichnung G*).
Beweis:
Gruppenhomomorphismen ϕ, ψ ∈ Hom (G, < ζ >) werden dabei mittels (ϕψ)(g) = ϕ(g)ψ(g)
verknüpft.
Nach dem Basissatz für endliche abelsche Gruppen ist G direktes Produkt endlich vieler zyklischer
Gruppen:
r
Y
G= < gi > mit # < gi >= ni .
i=1
Q
r
also ist χ = χxi i , wobei die Exponenten modulo ni eindeutig bestimmt sind.
i=1
Die Abbildung
f : G → Hom (G, < ζ >) mittels gi 7→ χi
ist demnach ein surjektiver Gruppenhomorphismus, der trivialen Kern hat.
Also gilt die behauptete Isomorphie.
2
126 Kapitel 5 — Kohomologiegruppen
5.8 Satz
Es sei A × Ã → C eine bilineare Abbildung zweier abelscher Gruppen
in eine zyklische Gruppe der Ordnung m.
Es seien B, B̃ die linken bzw. rechten Kerne dieser Abbildung.
Ist dann Ã/B̃ endlich, so ist Ã/B̃ isomorph zur dualen Gruppe (A/B)∗ von A/B.
Beweis:
Die Injektivität der Abbildung von A/B in Hom (Ã/B̃, C) lehrt, daß A/B endlich ist.
Außerdem erhalten wir die Ungleichungen
5.9 Satz
Der Körper K enthalte eine primitive n − te Einheitswurzel (χ(K) 6 | n).
Dann besteht eine Bijektion zwischen den Untergruppen H von K × mit H ⊇ K ×n ,
[H : K ×n ] < ∞, und den endlichen abelschen Erweiterungen vom Exponenten n von K in K̄.
(n ist Exponent von der Galoisgruppe).
Die Zuordnung geschieht dabei gemäß H ↔ LH = K(H 1/m ).
Ferner gilt: G(LL /K) ∼
= H/K ×n und speziell [LL : K] = [H : K ×n ].
Beweis:
Der Beweis erfolgt in mehreren Schritten. Fixiere K̄.
5.9 Satz 127
α α σ(α) α α
∀σ, τ ∈ G : χ(στ ) = = = σ
στ (α) σ(α) στ (α) σ(α) τ (α)
= χ(σ)σ(χ(τ )) = χ(σ)χ(τ ),
α
φ : A × G → E n : (α, σ) 7→ .
σ(α)
Sie leistet
αβ α β
φ(αβ, σ) = = = φ(α, σ)φ(β, σ),
σ(αβ) σ(α) σ(β)
α
α α α
φ(α, στ ) = = ·σ = φ(α, σ)φ ,
στ (α) σ(α) τ (α) τ
G/G̃ ∼
= A/Ã.
Ferner gilt:
α
à = {α ∈ A | = 1 ∀σ ∈ G} = {α ∈ A | σ(α) = α ∀σ ∈ G} = A ∩ K × = K × .
σ(α)
Nach dem ersten Schritt ist σ genau dann in G̃, wenn χ(σ) = 1 für alle χ ∈ G ist.
Nach (3.7) geht dies nur trivial, d. h. G̃ = 1 und G ∼
= A/K × .
128 Kapitel 5 — Kohomologiegruppen
7. Φ ist injektiv.
Es seien H1 6= H2 zwei solche Untergruppen von K × . Dann ist auch H = H1 H2 eine.
LH ist über K endlich abelsch vom Exponenten n.
Alle Zwischenkörper korrespondieren zu Untergruppen der Galoisgruppe.
LH = LH impliziert H1 /K ×n = ∼ H2 /K ×n .
1 2
Im folgenden sei K ein Körper der Charakteristik p, K̄ der algebraische Abschluß von K.
Für Untergruppen B von (K, +) setzen wir ℘(B) = {℘(b) | b ∈ B}.
Da ℘ ein Homomorphismus ist, ist ℘(B) wieder eine Untergruppe.
Für S ⊆ K setzen wir ℘−1 (S) = {α ∈ K | ℘(α) ∈ S}.
Für a ∈ K ist demnach ℘−1 (a) = {α ∈ K | αp − α − a = 0}.
5.10 Satz
Es sei K ein Körper der Charakteristik p mit algebraischem Abschluß K̄.
Dann besteht eine Bijektion zwischen den endlichen abelschen Erweiterungen L vom Exponenten
p von K in K̄ und den Untergruppen H von (K, +), die ℘(K) enthalten und für die der Index
(H : ℘(K)) endlich ist: H ↔ LH = K(℘1 (H)).
Es gilt dann: G(L/K) ∼ = H/℘(K).
Beweis:
Es sei zunächst L eine solche Erweiterung, sowie G = G(L/K).
Setze A = AL = {α ∈ L | ℘(α) ∈ K}.
Für α, β ∈ A ist ℘(α − β) = ℘(α) − ℘(β) ∈ K, folglich ist A < (L, +).
Es sei χ ein Homorphismus von G in (IFq p, +), also ein Charakter von G.
Es gilt: χ(στ ) = χ(σ) + χ(τ ) = χ(σ) + σ(χ(τ )), also χ ∈ Z 1 (G, (L, +)).
Folglich exististiert α ∈ L mit χ(σ) = α − σ(α) ∀σ ∈ G.
Wir zeigen: α ∈ A. Es gilt nämlich:
Zyklische Erweiterungen
130 Kapitel 5 — Kohomologiegruppen
5.11 Satz
Es sei K ein Körper, n ∈ IN mit χ(K) |6 n, K enthalte eine primitive n − te Einheitswurzel ζ.
(i) Ist α Nullstelle von tn − a ∈ K[t], so ist K(α) zyklisch über K.
(ii) Ist L/K zyklisch vom Grad n, so ist L Zerfällungskörper eines Polynoms tn − a ∈ K[t].
Beweis:
also ist G(K(α)/K) isomorph zu einer Faktorgruppe von (ZZ/nZZ, +), also zyklisch.
(ii) Gemäß (...Nr.?) sind die Automorphismen σi : = σ i (0 ≤ i < n) für G(L/K) = < σ >
linear unabhängig.
Mit ζ ∈ K bilden wir µ : = σ0 + ζσ1 + . . . + ζ n−1 σn−1 .
P i
n−1
Hierzu exististiert dann γ ∈ L mit 0 6= β : = µ(γ) = ζ σi (γ).
i=0
P
n
Also gilt auch 0 =
6 σ(β) = ζ i−1 σi (γ) = ζ −1 µ(γ), sowie σ(β n ) = β n ,
i=1
und damit a : = β n ∈ K = F (G(L/K)) = F (< σ >).
Folglich ist β ∈ L Nullstelle von tn − a ∈ K[t].
Mit β sind auch σ −i (β) = βζ i (0 ≤ i < n) Nullstellen von mβ (t) ∈ K[t],
diese sind jedoch paarweise verschieden, also folgt deg(mβ ) ≥ n.
Wegen mβ (t)|(tn − a) folgt hier Gleichheit
und wegen G(L/K) = n = [L : K] = [K(β) : K] dann auch L = K(β).
5.12 Hilfssatz
Es sei K ein Körper mit χ(K) = p. Dann gilt:
Beweis:
(ii) Nach Voraussetzung ist α auch separabel über K(αp ) und dort Nullstelle von tp − αp ∈
K(αp )[t].
mα/K(αp ) (t) ist also eine Potenz (t − α)l (1 ≤ l ≤ p),
wegen α separabel folgt l = 1,
d.h. α ∈ K(αp ) und K(α) = K(αp ).
Nunmehr folgt K K(α)pBeweis(i) = K K p (αp ) = K(αp ) = K(α)
und mit (i) ergibt sich die Behauptung.
(Bei Adjunktion mehrerer algebraischer Elemente erhält man das Ergebnis entsprechend per
Induktion über deren Anzahl r.)
5.13 Definition
Eine Körpererweiterung L/K heißt Radikalerweiterung,
wenn es einen Körperturm K = K0 ⊂ K1 ⊂ . . . ⊂ Km = L gibt,
bei dem Ki aus Ki−1 durch Adjunktion einer Wurzel von tni − ai ∈ Ki−1 [t] entsteht.
Eine Gleichung f (x) = 0 mit f (t) ∈ K[t] heißt durch Radikale auflösbar,
falls es eine Radikalerweiterung L/K gibt, die einen Zerfällungskörper von f als Teilkörper enthält.
5.14 Satz
Zu jeder Radikalerweiterung L/K existiert eine Radikalerweiterung M/K mit M ⊇ L,
M/K galoissch.
Beweis:
Mittels Induktion nach r = [L : K].
r = 1.
Es ist L = K, also nichts zu zeigen.
Sei also r > 1 und L/K Radikalerweiterung mit Körperturm K = K0 ⊂ K1 ⊂ K2 ⊂ . . . ⊂ Km = L.
132 Kapitel 5 — Kohomologiegruppen
1. Fall: m = 1.
Dann ist L = K(α) mit αn = a ∈ K.
Ist dann ζ eine primitive n − te Einheitswurzel, so setze M = L(ζ) :
K ⊆ L ⊆ M ist ebenfalls Radikalerweiterung.
Hierin ist nun M als Zerfällungskörper von (tn − a)(tn − 1) galoissch über K.
2. Fall: m ≥ 2.
Dann ist Km−1 Radikalerweiterung von K mit [Km−1 : K] = [L : K] / [L : Km−1 ] < [L : K] = r.
Nach Induktionsvoraussetzung exisitiert eine galoissche Radikalerweiterung N über K,
die Km−1 umfaßt.
Wegen (...Nr.?) ist N Zerfällungskörper eines Polynoms g ∈ K[t].
n
Nach Voraussetzung gilt L = Km−1 (γ) mit Q γ ∈ Km−1n. P i
Hiermit bilden wir das Polynom f (t) : = σ∈G(N/K) (t − σ(γ n )) = ai t in N [t].
Nach Konstruktion ist f invariant unter allen σ ∈ G(N/K),
d.h. σ(ai ) = ai ∀i , also ai ∈ F (G(N/K)) = K.
Es sei M der Zerfällungskörper von f über N .
Nach Konstruktion von f ist M Radikalerweiterung von N , also auch von K.
Wegen f (γ) = 0 gilt γ ∈ M , also L ⊆ M .
Es bleibt zu zeigen, daß M/K galoissch ist.
Offenbar ist M Zerfällungskörper von gf über K (beachte f ∈ K[t]!),
also ist M/K normal (...Nr.?) und separabel (χ(K) = 0).
5.15 Definition
Eine endliche Gruppe G heißt auflösbar,
falls eine Kette von Untergruppen G = G0 ⊃ G1 ⊃ G2 ⊃ . . . ⊂ Gn = 1 existiert,
so daß Gi+1 / Gi gilt und Gi /Gi+1 abelsch ist (0 ≤ i < n)
5.16 Hilfssatz
(i) Jede endliche abelsche Gruppe ist auflösbar mit zyklischen Faktorgruppen.
Beweis:
2
5.17 Hilfssatz 133
5.17 Hilfssatz
Es sei G eine endliche Gruppe mit Untergruppe H.
(i) Ist G auflösbar, so auch H und im Fall H / G ist auch G/H auflösbar.
(ii) Ist H Normalteiler und sind H sowie G/H auflösbar, dann ist auch G auflösbar.
Beweis:
(ii) H auflösbar:
H = H0 ⊃ H1 ⊃ . . . ⊃ Hr = 1 und Hi /Hi+1 abelsch.
G/H auflösbar:
(1.21)
Existiert Untergruppe G0 = G ⊃ G, ⊃ . . . ⊃ Gs = H von G mit (Gi /H)/(Gi+1 /H) ∼
=
Gi /Gi+1 abelsch.
Also ist G = G0 ⊃ G1 ⊃ . . . ⊃ Gs = H = H0 ⊃ H1 ⊃ . . . ⊃ Hr = 1, d.h. G auflösbar.
5.18 Satz
Es sei f ∈ K[t] mit deg(f ) ≥ 1.
Dann ist f(x) = 0 genau dann durch Radikale auflösbar, wenn für einen Zerfällungskörper L von
f über K die Galoisgruppe G(L/K) (Galoisgruppe von f ) auflösbar ist.
Beweis:
2
Literaturverzeichnis
abelsch, 4 Rechts–, 4
alternierende, 35 invertierbar, 49
Dieder, 11 irreduzibel, 62
Eigenschaften, 4 Irreduzibilitätskriterium, 74
endlich erzeugt, 5 isomorph, 3
Faktor–, 15 Isomorphismus, 3
Halb–, 2
isomorph zu Permutationsgruppe, 24 kanonische Epimorphismus, 48
Kleinsche Vierer–, 12, 20 Kette, 53
kommutativ, 4 kgV, 62
operiert auf Menge, 23 Klasse konjugierter Elemente, 27
p-Gruppe, 28 Klassengleichung, 27
p-Unter–, 29 Kleinsche Vierergruppe, 12, 20
Permutations–, 24, 34 kleinstes gemeinsame Vielfaches, siehe kgV
Sylow-Unter–, 29 Körpererweiterung
symmetrische, 24, 36 einfach, 89
Tetraeder–, 36 endlich erzeugt, 89
transitiv, 25 Körper, 50
Unter–, 5, 12, 29 Erweiterungs-, 1
–kette, 41 Prim–, 51
konjungiert, 26 Zerfällungs-, 92
zyklisch, 8 Körpererweiterung
Gruppenring, 66, 69 Grad, 87
komaximal, 59
Halbgruppe, siehe Gruppe kommutativ, 4
Halbgruppenring, 66 Verknüpfung, 2
Halbordnung, 53 kongruent, 47
Hauptideal, siehe Ideal Kongruenzrelation, 47
Hauptidealring, siehe Ring Konjugation, 27
Hauptsatz der Algebra, 1 Kreisteilungspolynom, 75
Herkunft, 1
Higman, 69 Leitkoeffizient, 69
Hilbertscher Basissatz, 59 Leitmonom, siehe Monom
Hintereinanderausführung, 3 linker Nullteiler, siehe Nullteiler
Homomorphismus, 3, 70 Linkseins, 2
Linksinverses, siehe Inverses
Ideal Linksnebenklasse, siehe Nebenklasse
endlich erzeugbar, 46 Lösungsring, 76
Hauptideal, 46 lokaler Ring, siehe Ring
maximales, 57 Lokalisierung, 57
Prim-, 57
Charakterisierung, 57 Mächtigkeit, 7
Summe, 46 maximales Element, siehe Element
Idempotent, 52 Minimalpolynom, 89
Idempotente, 53 modulo, 47
Index, 7 Monoid, 3
induktiv geordnet, 53 Monom, 69
Inhalt, 72 Gewicht, 80
injektiv, 3 Grad, 69
innere Summe, 52 Leit-, 69
innerer Automorphismus, siehe Automorphis- Monomorphismus, 3
mus
Insertion, 16 Nebenklasse
Integritätring, siehe Ring Links–, 7
invariant, 11 Rechts–, 7
Inverses Newtonsche Retation, 82
Links–, 4 nilpotent, 49
138 Stichwortverzeichnis