Sie sind auf Seite 1von 15

4 Galois-Theorie

4.1 Der Hauptsatz


Denition + Proposition 4.1.1
Sei L/K algebraische Krpererweiterung,

K ein algebraischer Abschluss von L.
(a) L/K heit normal, wenn es eine Familie F K[X] gibt, so dass L Zerfllungskrper
von F ist.
(b) Ist L/K normal, so ist Hom
K
(L,

K) = Aut
K
(L)
Beweis: gilt immer. : Sei L = Z(F), f F, L Nullstelle von f
Fr Hom
K
(L,

K) ist () auch Nullstelle von f . Sei f (X) =
n

i =0
a
i
X
i
0 =
(f ()) =
n

i =0
(a
i
)
. .
=a
i
(
i
) = f (()) () L (L) L. ist surjektiv,
da L von den Nullstellen der f F erzeugt wird und jedes f F endlich viele
Nullstellen hat, die durch permutiert werden.
(c) L/K heit galoissch, wenn L/K normal und separabel ist.
(d) Ist L/K galoissch, so heit Gal(L/K) := Aut
K
(L) die Galoisgruppe von L/K.
(e) Eine endliche Erweiterung L/K ist genau dann galoissch, wenn |Aut
K
(L)| = [L : K]
Beweis: Aus (b) folgt
|Aut
K
(L)| = |Hom
K
(L,

K)| = [L : K]
s
3.4.5
= [L : K]()
In () gilt stets |Aut
K
(L)| |Hom
K
(L,

K)| = [L : K]
s
[L : K]. Aus
|Aut
K
(L)| = [L : K] folgt also [L : K]
s
= [L : K] L/K separabel
12
L = K()
fr ein L; Sei f K[X] das Minimalpolynom von . Sei

K Nullstelle
von f . Nach 3.3.1 gibt es Hom
K
(L,

K) mit () = . Wegen () ist
Aut
K
(L) L L = Z(f ).
77
4 Galois-Theorie
Beispiel: Sei K Krper mit Charakteristik nicht 2, d K

\(K

)
2
. Dann ist K

d/K eine
Galois-Erweiterung, denn X
2
d ist irreduzibel und separabel und zerfllt in K(

d)[X]
in (X

d)(X +

d).
Bemerkung 4.1.2 (a) Ist L/K galoissch und E ein Zwischenkrper, so ist L/E ga-
loissch und Gal(L/E) Gal(L/K).
Beweis: L/E normal, da Zerfllungskrper von F K[X] E[X]. L/E separabel,
da L/K separabel und das Minimalpolynomm von L ber E in E[X] Teiler des
Minimalpolynoms ber K ist.
(b) Ist in (a) zustzlich auch E/K galoissch, so ist
1 Gal(L/E) Gal(L/K)

Gal(E/K)

|E
1
exakt.
Beweis: Fr Gal(L/K) = Aut
K
(L) ist
|E
: E L, also Hom
K
(E, L)
Hom
K
(E,

K) = Aut
K
(E), da E/K galoissch ist. ist wohldeniert.
surjektiv: Sei Gal(E/K). Nach 3.3.3 lt sich fortsetzen zu : L

K,
Hom
K
(L,

K) = Aut
K
(L) = Gal(L/K) und ( ) =
|E
=
Kern = { Gal(L/K) :
|E
= i d
E
} = Aut
E
(L) = Gal(L/E)
Satz 15 (Hauptsatz der Galoistheorie)
Sei L/K endliche Galois-Erweiterung.
(a) Die Zuordnungen
{Zwischenkrper von L/K}

{Untergruppen von Gal(L/K)}


E Gal(L/E)
L
H
= { L : () = H} H
sind bijektiv und zueinander invers.
(b) Ein Zwischenkrper E von L/K ist genau dann galoissch ber K, wenn Gal(L/E)
Normalteiler in Gal(L/K) ist.
Beweis:
78
4.1 Der Hauptsatz
(a) L
H
ist Zwischenkrper:
= i d: Sei H Gal(L/K) Untergruppe. z.z.: Gal(L/L
H
) = H
Nach Def. von L
H
: Nach 4.1.1 ist |Gal(L/L
H
)| = [L : L
H
]. Es gengt also
z.z.: [L : L
H
] |H|. Sei L primitives Element von L/L
H
, also L = L
H
().
Sei f :=

H
(X ()) L[X]; dann ist deg(f ) = |H|. Fr jedes H ist
f

= f (mit durchluft auch alle Elemente von H) f L
H
[X]
Das Minimalpolynom g von ber L
H
ist Teiler von f . [L : L
H
] = deg(g)
deg(f ) = |H|
= i d: Sei E Zwischenkrper, H := Gal(L/E). zu zeigen: E = L
H
.
: Denition. : Da L
H
/E separabel ist, gengt es zu zeigen [L
H
: E]
s
=
1. Sei also Hom
E
(L
H
,

K), Hom
E
(L,

K) = Aut
E
(L) = Gal(L/E) = H
Fortsetzung
|L
H
=
= i d
L
H
(b) : 4.1.2 b), da Gal(L/E) = Kern . : Sei H := Gal(L/E) Normalteiler in
Gal(L/K). Wegen 4.1.1 c) gengt es zu zeigen: Fr jedes Hom
K
(E,

K) ist
(E) E. Sei also Hom
K
(E,

K), Hom
K
(L,

K)
=Gal(L/K)
Fortsetzung.
Sei nun E, H. Dann ist (()) = ( )() = (

)() = () = ()
mit wie eben und

:=
1
H (nach Voraussetzung) () L
H
=
E
Folgerung 4.1.3
Sei L/K endliche Galoiserweiterung. Dann gilt fr Zwischenkrper E, E

bzw. Untergrup-
pen H, H

von Gal(L/K):
(a) E E

Gal(L/E) Gal(L/E

)
H H

L
H
L
H

(b) Gal(L/E E

) = Gal(L/E), Gal(L/E

)
E E

= L
Gal(L/E),Gal(L/E

)
L
HH

= L
H
L
H

:= K(L
H
L
H

) (das Kompositum von L


H
und L
H

)
Folgerung 4.1.4
Zu jeder endlichen separablen Krpererweiterung gibt es nur endlich viele Zwischenkrper.
Beweis: Ist L/K endliche Galoiserweiterung, so entsprechen die Zwischenkrper (nach
15) bijektiv den Untergruppen der endlichen Gruppe(L/K). Im allgemeinen ist L = K()
(12). Sei f das Minimalpolynom von ber K. f ist separabel, da L/K separabel. Sei

L
der Zerfllungskrper von f ber K.

L/K ist galoissch, K L

L L/K hat nur
endlich viele Zwischenkrper.
79
4 Galois-Theorie
Proposition 4.1.5
Sei L ein Krper, G Aut(L) eine endliche Untergruppe. K := L
G
= { L : () =
G}
Dann ist L/K Galoiserweiterung und Gal(L/K) = G
Beweis:
L/K ist algebraisch und separabel. Sei dazu L. {() : G} = G ist
endlich. Sei G = {
1
(), . . . ,
r
()} mit
i
() =
j
() fr i = j und
1
= i d
L
.
Dabei ist r ein Teiler von n = |G|. Sei f

(X) :=
r

i =1
(X
i
()) L[X]. Zu zeigen:
f

K[X]. denn: fr G ist f


(X) =
r

i =1
(X (
i
())) (selbe Faktoren wie
f

(X)) f

= f

K[X]
algebraisch, separabel (da f

separabel), [K() : K] n ()
L/K normal: Der Zerfllungskrper von f

ist in L enthalten. L ist der Zerfl-


lungskrper der Familie {f

: L}
L/K endlich: Sei (
i
)
i I
Erzeugendensystem von L/K. Fr jede endliche Teilmenge
I
0
I ist K({
i
: i I
0
}) endlich ber K, also K({
i
: i I
0
}) = K(
0
)
fr ein
0
L
()
[K({
i
: i I
0
}) : K] n. Sei I
1
I endlich, so dass
K
1
:= K({
i
: i I
1
}) maximal unter den K({
j
: j J}) fr J I endlich.
Ann.: K
1
= L. Dann gibt es i I mit
i
K
1
K
1
(
i
) K
1
, trotzdem endlich
im Widerspruch zu Wahl von K
1
L/K endlich, genauer [L : K] n wegen ().
Gal(L/K) = G: : nach Denition. Nach 4.1.1 ist n = |G| |Gal(L/K)| = [L :
K] n
4.2 Die Galoisgruppe einer Gleichung
Denition + Bemerkung 4.2.1
Sei K ein Krper, f K[X] ein separables Polynom.
(a) Sei L = L(f ) Zerfllungskrper von f ber K. Dann heit Gal(f ) := Gal(L/K)
Galoisgruppe von f.
(b) Ist n = deg(f ), so gibt es injektiven Gruppenhomomorphismus Gal(f ) S
n
(durch
Permutation der Nullstellen von f )
80
4.2 Die Galoisgruppe einer Gleichung
(c) Ist L/K separable Krpererweiterung vom Grad n, so ist Aut
K
(L) isomorph zu einer
Untergruppe von S
n
.
Beweis: Sei L = K(), f K[X] Minimalpolynom von , =
1
, . . . ,
d
die
Nullstellen von f in L jedes Aut
K
(L) permutiert
1
, . . . ,
d
.
Beispiele 4.2.2
Die Galoisgruppe von f (X) = X
5
4X + 2 Q[X] ist S
5
.
Bew.:
f ist irreduzibel: Eisenstein fr p = 2
f hat 3 relle und 2 zueinander konjugiert komplexe Nullstellen f () = , f (0) =
2, f (1) = 1, f () = f hat mindestens 3 reelle Nullstellen.
f

(X) = 5X
4
4 = 5(X
2

5
)(X
2
+
2

5
) hat 2 reelle Nullstellen f hat genau
3 reelle Nullstellen. Ist C Nullstelle von f , so ist f ( ) = f () = 0.
G = Gal(f ) enthlt die komplexe Konjugation . operiert als Transposition: 2
Nullstellen werden vertauscht, 3 bleiben x.
G enthlt ein Element von Ordnung 5: Ist Nullstelle von f , so ist [Q() : Q] = 5
und Q() L(f )
15
5 teilt |G|
Sylow
Beh.
G enthlt also einen 5-Zyklus und eine Transposition
(!)
G = S
5
.
Bemerkung 4.2.3
Allgemeine Gleichung n-ten Grades: Sei k ein Krper, L = k(T
1
, . . . , T
n
) = Quot(k[T
1
, . . . , T
n
])
S
n
operiert auf L durch (T
i
) = T
(i )
Sei K := L
Sn
. L/K ist Galois-Erweiterung (nach Proposition 4.1.5) vom Grad n!
L ist (ber K) Zerfllungskrper von f (X) =
n

i =1
(X T
i
) K[X]
Gal(f ) = S
n
f (X) =
n

=0
(1)

(T
1
, . . . , T
n
)X
n
mit s

(T
1
, . . . , T
n
) =

1i1<<i n
T
i1
. . . T
i
z.B.: s
1
(T
1
, . . . , T
n
) = T
1
+ +T
n
, s
2
= T
1
T
2
+T
1
T
3
+ +T
n1
T
n
, s
n
= T
1
. . .T
n
K = k(s
1
, . . . , s
n
)
81
4 Galois-Theorie
4.3 Einheitswurzeln
Bemerkung + Denition 4.3.1
Sei K ein Krper,

K algebraischer Abschluss von K, n N teilerfremd zu char(K).
(a) Die Nullstellen von X
n
1 in

K heien n-te Einheitswurzeln.
(b)
n
(

K) := {

K :
n
= 1} ist zyklische Untergruppe von

K
x
der Ordnung n.
Beweis:
n
(

K) Untergruppe , also zyklisch nach 3.5.1. f (X) = X


n
1 ist sepa-
rabel, da f

(X) = nX
n1
(Bem 3.4.1)
(c) Eine n-te Einheitswurzel heit primitiv, wenn =
n
(

K)
Satz 16
(Voraussetzungen wie eben), n 2
(a) Die Anzahl der primitiven Einheitswurzeln in

K ist (n) = |(Z/nZ)
x
| = {m
{1, . . . , n} :ggT(m, n) = 1} (n (n) ist Eulersche -Funktion)
Beweis: Ist primitive n-te Einheitswurzel, so ist
n
(

K) = {1, ,
2
, . . . ,
n1
},
k
erzeugt {1, ,
2
, . . . ,
n1
} ggT(n, k) = 1.
(b) Ist n = p
1
1
. . . p
r
r
, (Primfaktorzerlegung) so ist (n) =
r

i =1
p

i
1
i
(p
i
1)
Beweis: Z/nZ = Z/p
1
1
Z

Z/p
r
r
Z (Satz 7) (Z/nZ)
x
=
(Z/p
1
1
Z)
x

(Z/p
r
r
Z)
x
|(Z/p

Z)
x
| = p

p
1
= p
1
(p 1)
(c) Sind
1
, . . . ,
(n)
die primitiven Einheitswurzeln, so heit
n
(X) :=
(n)

i =1
(X
i
)

K[X] das n-te Kreisteilungspolynom


(d) X
n
1 =

d|n

d
(X)
Beweis: X
n
1 =

n
(X ) =

d|n

n
or d()=d
(X ) =

d|n

d
(X)
(e) Sei primitive n-te Einheitswurzel. Dann ist K()/K Galois-Erweiterung.
82
4.3 Einheitswurzeln
Beweis: K() ist Zerfllungskrper von X
n
1 ber K, also normal. X
n
1 ist
separabel (4.3.1)
(f)

n
:
Gal(K()/K) (Z/nZ)
x

n
()
ist injektiver Gruppenhomomorphismus, wobei
() =
n()
. (
n
heit zyklotonischer Charakter)
Beweis:
n
() (Z/nZ)
x
, da () primitive Einheitswurzel sein mu.

n
ist Gruppenhomomorphismus:
1
,
2
Gal(K()/K)
1
(
2
()) =

1
(
n(2)
) = (
1
())
n(2)
=
n(1)n(2)

n
injektiv:
n
() = 1 () = = i d
(g)
n
(X) K[X], genauer
n
(X)
_
Z[X] (primitiv) : char(K) = 0
F
p
[X] : char(K) = p
Beweis: Induktion ber n: n = 2
n > 2: X
n
1
. .
()
(d)
=
n
(X)

d|n
d<n

d
(X)
. .
()
char(K) = p : () F
p
[X], () F
p
[X] nach IV
n
(X) F
p
[X] : Eukl. Alg.
char(K) = 0 : () Z[X] (primitiv), () Z[X] primitiv nach IV
Lemma von Gau

n
(X) Z[X] primitiv.
(h) Ist K = Q, so ist
n
irredzuibel und
n
ein Isomorphismus. Q() heit n-ter
Kreisteilungskrper.
Beweis: Es gengt zu zeigen:
n
irreduzibel (dann folgt
n
Isomorphismus aus
(e) und (f))
Sei f Q[X] Minimalpolynom von , f Z[X] wegen (g)
Beh.: f (
p
) = 0 fr jede Primzahl p mit p n. Dann ist auch f (
m
) = 0 fr jedes
m mit ggT(m, n) = 1 f (
i
) = 0 fr jede primitive Einheitswurzel
i

n
|f

n
= f
83
4 Galois-Theorie
Bew.: Sei X
n
1 = f h. Wre f (
p
) = 0 h(
p
) = 0 dh. Nullstelle von
h(X
p
) h(X
p
) ist Vielfaches von f g Z[X] mit h(X
p
) = f g
mod p


f g =

h
p
in

F
p
[X]

f und

h haben gemeinsame Nullstellen in

F
p
X
n

1 =

f

h hat doppelte Nullstelle zu X
n
1 separabel.
Beispiele:
2
(X) = X + 1,
p
(X) = X
p1
+ X
p2
+ + X + 1

4
(X) =
X
4
1

2

1
=
X
4
1
X
2
1
= X
2
+ 1

6
(X) =
X
6
1

1
= = X
2
X + 1

8
(X) = X
4
+ 1
Fr n < 105 sind alle Koezienten 0, 1 oder 1.
Folgerung 4.3.2
Das regelmige n-Eck ist genau dann mit Zirkel und Lineal (aus {0, 1}) konstruierbar,
wenn (n) eine Potenz von 2 ist.
Beweis: z.z.:
n
(primitive n-te Einheitswurzel) K({0, 1}) (n) = 2
l
fr ein l
1 [Q(
n
) : Q]
. .
(n)
= 2
l
und es gibt Kette Q(M) = L
0
L
1
L
n
= Q(
n
) und
[L
i
: L
i 1
] = 2.
: Gal(Q(
n
) : Q) ist abelsch von Ordnung 2
l
. Dazu gehrt Kompositionsreihe mit
Faktoren Z/2Z
Hauptsatz d. Galoistheorie

4.4 Norm, Spur und Charaktere


Denition + Proposition 4.4.1
Sei G eine Gruppe, K ein Krper.
(a) Ein Charakter von G (mit Werten in K) ist ein Gruppenhomomorphismus : G
K
x
(b) X
K
(G) := { : G K
x
, Charakter} = Hom(G, K
x
) heit Charaktergruppe
von G (mit Werten in K)
84
4.4 Norm, Spur und Charaktere
(c) (Lineare Unabhngigkeit der Charaktere, E.Artin) X
K
(G) ist linear unabhngige
Teilmenge des K-Vektorraums Abb(G, K)
Beweis: Angenommen X
K
(G) ist linear abhngig. Dann sei n > 0 minimal, so dass
es in X
K
(G) n paarweise verschieden linear abhngige Elemente gibt. Es gebe also

1
, . . . ,
n
X
K
(G),
1
, . . . ,
n
K
x
mit
n

i =1

i
= 0. Dazu mu n 2 sein.
Sei g G mit
1
(g) =
2
(g). Dann gilt fr alle h G:
0 =
n

i =0

i
(gh) =
n

i =1

i
(g)
. .
=:
i
K
x

i
(h) =
n

i =1

i
(h)
n

i =1

i
= 0
Sei
i
:=
i

i

1
(g), i = 1, . . . , n. Dann ist
n

i =1

i
= 0,
1
=
1

1
(g)

1
(g) = 0,
2
=
2

2
(g)
2

1
(g) =
2
(
2
(g)
1
(g)) = 0 Widerspruch zur
Minimalitt von n.
Denition + Bemerkung 4.4.2
Sei L/K endliche Krpererweiterung, q :=
[L:K]
[L:K]s
(= p
r
, p =char(K)), n := [L : K]
s
,
Hom
K
(L,

K) = {
1
, . . . ,
n
}
(a) Fr L heit tr
L/K
() := q
n

i =1

i
()

K die Spur von (ber K)
(b) L : tr
L/K
() K
Beweis: L/K separabel. Ist L/K normal, also galoissch, so ist Hom
K
(L,

K) =
Gal(L/K) =: G und tr
L/K
() L
G
= K (da invariant unter allen
i
). Andernfalls
sei

L normale Erweiterung von K mit L

L. Fr Hom
K
(

L,

K) = Gal(

L/K)
und jedes i = 1, . . . , n ist
i
Hom
K
(L,

K) (da
i
(L)

L) tr
L/K
()

L
Gal(
e
L/K)
= K
(c) tr
L/K
ist K-linear.
(d) Fr L heit N
L/K
() =
_
n

i =1

i
()
_
q
die Norm von (ber K).
(e) N
L/K
() K
(f) N
L/K
: L
x
K
x
ist Gruppenhomomorphismus
85
4 Galois-Theorie
Beweis:
(e) Ist L/K separabel, so argumentiere wie in (b). Sonst siehe Bosch.
Bemerkung 4.4.3
Sei L/K endliche Krpererweiterung. Fr L sei m

: L L, x x. m

ist
K-linear und es gilt:
tr
L/K
() = Spur(m

), N
L/K
() = det(m

)
Beweis: Ist L/K separabel, so sei L = K(). Dann ist 1, ,
2
, . . . ,
n1
eine K-Basis
von L, [L : K] = n. Weiter sei f (X) = X
n
+ c
n1
X
n1
+ + c
1
X + c
0
K[X] das
Minimalpolynom von ber K. Dann ist die Abbildungsmatrix von m

bezglich der
Basis 1, . . . ,
n1
D =
_
_
_
_
_
_
_
_
_
0 0 . . . 0 c0
1 0
.
.
. c1
0 1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0
.
.
.
0 0 . . . 0 1 c
n1
_
_
_
_
_
_
_
_
_
Spur(m

) = c
n1
, det(m

) = (1)
n
c
0
Beweis: In

K[X] zerfllt f in Linearfaktoren:
f =

n
i =1
(X
i
()) c
n1
=

n
i =1

i
(), c
0
= (1)
n

n
i =1

i
()
Ist L = K(), so sei b
1
, . . . , b
n
eine K()-Basis von L. Dann ist B = {b
i

j
, i =
1, . . . , m, j = 0, . . . , n 1} eine K-Basis von L. Dann ist die Darstellungsmatrix von m

bezglich B:

D =
_
_
_
_
_
D 0 . . . 0
0 D
.
.
.
0 0 D
_
_
_
_
_
Spur(m

) = m(c
n1
), det(m

) = ((1)
n
c
0
)
m
86
4.4 Norm, Spur und Charaktere
Fr jedes
i
Hom
K
(L,

K) ist
i
() Nullstelle von f . Jede Nullstelle von f wird dabei
gleichoft angenommen, nmlich m = [L : K()]-mal tr
L/K
() = m tr
K()/K
() =
m(c
n1
) und N
L/K
() =
_
N
K()/K
_
m
= ((1)
n
c
0
)
m
Satz 17 (Hilbert(s Satz) 90)
Sei L/K zyklische Galois-Erweiterung. (dh. Gal(L/K) = fr ein )
(a) Ist L mit N
L/K
() = 1, so gibt es ein L
x
mit =

()
Beweis: n := [L : K]. Nach 4.4.1 sind die Charaktere i d, , . . . ,
n1
: L
x
L
x
linear unabhngig ber L.
Nun ist f = i d++()
2
+ +() . . .
n2
()
n1
nicht die Nullabbildung
L mit := f () = 0
() = () + ()
2
() + + () . . .
n1
()
. .
N
L/K
()=1

n
()
. .
=
=
(b) Sei L/K zyklische Galoiserweiterung, n = [L : K], Gal(L/K) ein Erzeuger. Zu
L mit tr
L/K
() = 0 gibt es L mit = ()
Beweis: Sei L mit tr
L/K
() = 0 und
:=
1
tr
L/K
()
[()+(+())
2
()+ +(+()+ +
n2
())
n1
()]
() =
1
tr
L/K
()
[()
2
() + (() +
2
())
3
() + + (() + +

n1
())
n
()]
( ())tr
L/K
() = () +
2
() + +
n1
()
(() + +
n1
())
. .

= tr
L/K
()
Folgerung 4.4.4
Voraussetzungen wie in Satz 19.
(a) Ist char(K) kein Teiler von n = [L : K] und enthlt K eine primitive n-te Einheits-
wurzel , so gibt es ein primitives Element L, so dass das Minimalpolynom von
ber K
X
n

ist fr ein K. (Kummer-Erweiterung)


(b) Ist char(K) = [L : K] = p, so gibt es ein primitives Element L, so dass das
Minimalpolynom von ber K
X
p
X
fr ein K. (Artin-Schreier-Erweiterung)
87
4 Galois-Theorie
Beweis:
(a) Es ist N
L/K
() =
n
= 1 = N
L/K
(
1
)
Satz 17
es gibt L mit () =

i
() =
i
, i = 1, . . . , n 1 Das Minimalpolynom von ber K hat n
verschiedene Nullstellen L = K().
Auerdem ist (
n
) = ()
n
=
n
:=
n
K Das Minimalpolynom von
ist X
n

(b) tr
L/K
(1) = 1 + + 1 = p = 0
17
es gibt L mit () = + 1
i
() =
+ i , i = 0, . . . , n 1 K() = L
(
p
) = ()
p
() =
p
+1 (+1) =
p

p
=: K und
X
p
X ist Minimalpolynom von .
Proposition 4.4.5
Sei L/K einfache Krpererweiterung, L = K()
(a) Ist Nullstelle eines Polynoms X
n
fr ein K und enthlt K eine primitive
n-te Einheitswurzel , so ist L/K galoissch, Gal(L/K) zyklisch, d := [L : K] ist
Teiler von n,
d
K, X
d

d
ist Minimalpolynom von
(b) Ist char(K) = p > 0 und L \ K Nullstelle eines Polynoms X
p
X fr ein
K, so ist L/K galoissch und Gal(L/K)

= Z/pZ
Beweis:
(a) Die Nullstellen von X
n
sind , , . . . ,
n1
L ist Zerfllungskrper von
X
n
, also normal und separabel, also galoissch.
Fr Gal(L/K) ist () =
()
fr ein () Z/nZ.
() ist injektiver Gruppenhomomorphismus Gal(L/K) Z/nZ Gal(L/K)
ist zyklisch, da Untergruppe von Z/nZ d = [L : K] teilt n.
Fr Gal(L/K) ist (
d
) =
_

()
_
d

d
=
d

d
K; X
d

d
ist
Minimalpolynom, da L = K() und [K() : K] = d.
(b) Fr i F
p
ist ( + i )
p
( + i ) =
p
+ i
p
..
=i
i = 0 X
p
X
hat p verschieden Nullstellen L ist Zerfllungskrper von X
p
X und L/K
ist separabel. Auerdem folgt: Gal(L/K)

= Z/pZ
4.5 Ausung von Gleichungen durch Radikale
Denition 4.5.1
Sei K ein Krper.
88
4.5 Ausung von Gleichungen durch Radikale
(a) Eine einfache Krpererweiterung L = K() heit elementare (oder einfache)
Radikalerweiterung, wenn entweder
(i) ist eine Einheitswurzel.
(ii) ist Nullstelle von X
n
fr ein K und char(K) n
(iii) ist Nullstelle von X
p
X fr K, char(K) = p
(b) Eine endliche Krpererweiterung L/K heit Radikalerweiterung, wenn es eine Kr-
pererweiterung L

/L gibt und eine Kette K = L


0
L
1
L
n
= L

von Zwi-
schenkrpern, so dass L
i +1
/L
i
elementare Radikalerweiterung ist fr i = 0, . . . , n1
(c) Ist f K[X] separabel, nicht konstant, so heit die Gleichung f (X) = 0 durch
Radikale ausbar, wenn der Zerfllungskrper von f Radikalerweiterung ist.
Beispiel: K = Q, f (X) = X
3
3X + 1
Beh.: Ist Nullstelle von f , so ist Q() Zerfllungskrper von f , hat also Grad 3 ber
Q. Q()/Q ist keine einfache Radikalerweiterung.
Die Nullstellen von f sind:

1
= e
2i /9
+ e
16i /9

2
= e
8i /9
+ e
10i /9

3
= e
14i /9
+ e
4i /9
Es ist
2
1
= e
4i /9
+ e
14i /9
+ 2 =
3
+ 2
3
Q(
1
)
2
=
1

3
Q(
1
)
Satz 18
Sei K ein Krper, f K[X] separabel, nicht konstant.
(a) Die Gleichung f (X) = 0 ist genau dann durch Radikale ausbar, wenn ihre Ga-
loisgruppe ausbar ist (dh. G hat Normalreihe G = G
0
G
n
= {e} mit
G
i
/G
i +1
abelsch).
(b) Eine endliche Krpererweiterung L/K ist genau dann Radikalerweiterung, wenn es
eine endliche Galoiserweiterung L

/K gibt mit L L

, so dass Gal(L

/K) ausbare
Gruppe ist.
Beispiel: X
5
4X + 2 hat Galoisgruppe S
5
und ist deshalb nicht durch Radikale auf-
lsbar, denn S
5
A
5
{e} ist Kompositionsreihe. Nach Jordan-Hlder tritt A
5
in jeder
Kompositionsreihe fr S
5
als Faktorgruppe auf.
Beweis: : Sei K = L
0
L
1
L
m
Kette wie in Def. mit L L
m
.
Induktion ber m:
89
4 Galois-Theorie
m=1: Ist L
1
/K vom Typ (i), so ist L
1
= K() fr eine primitive n-te Einheitswurzel
und Gal(K()/K) (Z/nZ)
x
, also ausbar.
Ist L
1
/K vom Typ (ii), so ist L
1
/K galoissch und Gal(L
1
/K) = Z/pZ
Sei L
1
/K vom Typ (iii). Enthlt K eine primitive n-te Einheitswurzel, so ist K()/K
galoissch und Gal(K()/K)

= Z/nZ
Andernfalls sei F = K() der Zerfllungskrper von X
n
1 ber K und L

1
=
L
1
() = F() = F L
1
das Kompositum von F und L
1
.
L

1
ist galoissch ber K (Zerfllungskrper von X
n
ber K) und es gibt exakte
Sequenz
1 Gal(L

1
/F)
. .
zyklisch
Gal(L

1
/K) Gal(F/K)
. .
abelsch
1
Gal(L

1
/K) ausbar.
m>1: Eine endliche Krpererweiterung heit ausbar, wenn es eine endliche Erweite-
rung L

/L gibt, so dass L

/K galoissch und Gal(L

/K) ausbar ist.


Nach Induktionsvoraussetzung ist L
m1
/K ausbar. Auerdem ist L
m
/L
m1
auf-
lsbar. (m=1)
zu zeigen also: Sind K L
..
=Lm1
M
..
=Lm
Krpererweiterungen und ist L/K ausbar
und M/L ausbar, so ist M/K ausbar.
Seien dazu L

/L und M

/M Erweiterungen wie in Def.:


Beh.: L

/L

ist galoissch und Gal(L

/L) ist ausbar.


denn: Nach Voraussetzung ist M

/L galoissch, also Zerfllungskrper eines Poly-


noms f L[X] M

ist Zerfllungskrper von f L

[X] ber L

.
Auerdem: Gal(L

/L

) Gal(M

/L),
|M

(!)
Gal(M

/L) ist wohldeniert


und injektiv: Ist
|M
= i d
M
, so ist = i d
L

M
, da
|L
= i d
L
nach Voraussetzung.
Also L = L

, L

= M.
Beweis:
m>1 (Forts.) Ist M/K galoissch, so ist Gal(M/K) ausbar, da dann
1 Gal(M/K)
. .
ausbar
Gal(M/K) Gal(L/K)
. .
ausbar
1
exakt ist.
90
4.5 Ausung von Gleichungen durch Radikale
Andernfalls sei

M/M (minimale) Erweiterung, so dass

M/K galoissch ist.

M wird
(ber K) erzeugt von den (M), Hom
K
(M,

K). (

K fest gewhlter algebraischer


Abschluss von K) Fr jedes Hom
K
(M,

K) ist (M) Galoiserweiterung von
(L) = L.
Dann ist
Gal(

M/L)

Hom
K
(M,

K)
Gal((M)/L)
(
|(M)
)

injektiver Gruppenhomomorphismus.
Fr jedes Hom
K
(M,

K) ist Gal((M)/L)

= Gal(M/L), also ausbar

Gal((M)/L) ist ausbar. (!) Gal(

M/L) ausbar (als Untergruppe ei-


ner ausbaren Gruppe) Gal(

M/K) ist ausbar wegen 1 Gal(

M/L)
Gal(

M/K) Gal(L/K) 1 exakt.


:
G := Gal(L

/K) sei ausbar, G = G


0
G
1
G
m
= {1} Normalreihe, so
dass G
i +1
Normalteiler in G
i
und G
i
/G
i +1

= Z/pZ mit Primzahlen p
i
, i = 0, . . . , m1 ist.
Dazu gehrt eine Kette von Zwischenkrpern K = K
0
K
1
. . . K
m
= L

, in
der K
i
/K
i 1
Galoiserweiterung ist und Gal(K
i
/K
i 1
)

= Z/p
i
Z.
Fall 1: Ist p
i
= char(K), so ist K
i
/K
i 1
elementare Radikalerweiterung vom Typ
(iii), also Minimalpolynom der Form X
p
i
X .
Fall 2: Ist p
i
= char(K), so ist K
i
/K
i 1
vom Typ (ii), falls K
i 1
eine primitive n-te
Einheitswurzel enthlt.
Fall 3: p
i
= char(K), K
i 1
enthlt keine primitive Einheitswurzel. Sei also
d :=

p prim
p||G|
p
und F der Zerfllungskrper von X
d
1 ber K. F/K ist Erweiterungskrper vom
Typ (i).
Sei

L = FL



L/F ist Galoiserweiterung (siehe hier ausgelassenes Diagramm). Die
Abbildung Gal(

L/F) Gal(L

/K), |
L
, ist injektiver Gruppenhomomorphismus,
also ist Gal(

L/F) ausbar und | Gal(

L, F)| teilt |G|. Erhalte Kette K F F


1

F
r
=

L von Zwischenkrpern, F
i
/F
i 1
Galoiserweiterung, Gal(F
i
/F
i 1
)

= Z/p
i
Z
elementare Radikalerweiterung vom Typ (ii).
91