Sie sind auf Seite 1von 100

1 Halbgruppen

Lsungen
1.1 Lsung: (a) Die Gleichheit m
n
k
= (m
n
)
k
= m
nk
ist fr m, n, k N im Allgemeinen
nicht erfllt, so gilt etwa fr m = n = k = 3: m
n
k
= 3
27
,= 3
9
= m
nk
. Also ist die
Verknpfung nicht assoziativ. Die Verknpfung ist auch nicht kommutativ, da etwa 3
2
,= 2
3
gilt. Aber es gibt ein rechtsneutrales Element, nmlich 1, denn es gilt fr alle m N: m
1
= m.
Das rechtsneutrale Elemente 1 ist aber nicht linksneutral : 1
2
,= 2. Da es kein Element e in N
mit e
n
= n fr alle n N gibt, existiert kein neutrales Element.
(b) Wegen kgV(m, kgV(n, k)) = kgV(kgV(m, n), k) und kgV(m, n) = kgV(n, m) fr alle
m, n, k N ist die Verknpfung assoziativ und kommutativ. Wegen kgV(1, n) = n fr je-
des n N ist 1 neutrales Element.
(c) Analog zu (b) zeigt man, dass die Verknpfung assoziativ und kommutativ ist. Jedoch gibt
es kein neutrales Element, da ggT(e, n) = n die Relation n [ e impliziert.
(d) Wir setzen m n := m +n +mn fr m, n N. Damit gilt fr alle m, n, k N:
m (n k) = m (n + k +nk) = m+ (n +k + nk) +m(n + k +nk) ,
(m n) k = (m +n + mn) k = m +n +mn + k + (m + n +mn) k.
Oenbar gilt also m (n k) = (m n) k, sodass die Verknpfung assoziativ ist. Sie ist
oenbar auch kommutativ: m n = n m fr alle m, n N. Es gibt kein neutrales Element,
da n e = n mit e (1 + n) = 0 gleichwertig ist und diese letzte Gleichung fr n, e N nicht
erfllbar ist.
1.2 Lsung: Wir schreiben fr die jeweilige Verknpfung.
(a) Diese Verknpfung ist assoziativ, da fr beliebige x, y, z R gilt:
x (y z) = x (
3
_
y
3
+z
3
) =
3
_
x
3
+
3
_
y
3
+ z
3
3
=
3
_
x
3
+ y
3
+z
3
=
3
_
3
_
x
3
+ y
3
3
+ z
3
= (
3
_
x
3
+y
3
) z = (x y) z .
Die Verknpfung ist oenbar kommutativ. Und es ist 0 R ein neutrales Element, da 0x = x
fr alle x R gilt.
(b) Die Verknpfung ist assoziativ, da fr alle x, y, z R gilt:
x (y z) = x (y + z y z) = x + (y +z y z) x(y + z y z) ,
(x y) z = (x + y xy) z = x +y xy + z (x +y xy) z ,
2 1 Halbgruppen
d. h. x (y z) = (x y) z erfllt. Wegen x y = x + y xy = y x fr alle x, y R ist die
Verknpfung auch kommutativ. Es ist 0 R neutrales Element, da 0 x = 0 +x 0 x = x fr
alle x R erfllt ist.
(c) Diese Verknpfung ist nicht assoziativ, da etwa (00)1 = (00)1 = 1 und 0(01) =
0 (0 1) = 1 gilt. Die Verknpfung ist auch nicht kommutativ, da 0 1 = 1 ,= 1 = 1 0
gilt. Es existiert das rechtsneutrale Element 0, da x 0 = x 0 = x fr jedes x R erfllt ist,
aber dieses Element ist nicht linksneutral, da etwa 0 1 = 1 ,= 1 gilt.
1.3 Lsung: (a) Mit dieser Verknpfung ist Z eine Halbgruppe, da assoziativ ist: x (y
z) = x = (x y) z fr alle x, y, z Z.
(b) Mit dieser Verknpfung ist Z eine Halbgruppe, da assoziativ ist: x(yz) = 0 = (xy)z
fr alle x, y, z Z.
(c) Mit dieser Verknpfung ist Z keine Halbgruppe, da nicht assoziativ ist: Es gilt etwa
1 (1 0) = 4 ,= 16 = (1 1) 0.
(d) Mit dieser Verknpfung ist Z keine Halbgruppe, da nicht assoziativ ist. Es gilt nmlich:
(0 0) 1 = 0 1 = 1 ,= 1 = 0 (1) = 0 (0 1) .
1.4 Lsung: Es gibt 3
9
verschiedene innere Verknpfungen, da fr jedes der neun Felder
einer Verknpfungstafel 3 Mglichkeiten bestehen.
1.5 Lsung: Beweis mit vollstndiger Induktion nach der Zahl n der Faktoren a
1
, . . . , a
n
.
Die Behauptung ist klar fr n = 2. Daher sei n 3, und die Behauptung sei richtig fr
beliebige Produkte mit k < n Faktoren a
1
, . . . , a
k
, sodass ein solches Produkt in der Form
a
1
a
k
geschrieben werden darf. Die letzte Multiplikation bei der Bildung eines beliebigen
Produkts P(a
1
, . . . , a
n
) hat dann die Form (1 i n 2):
P(a
1
, . . . , a
n
) = (a
1
a
i
) (a
i+1
a
n
) = (a
1
a
i
) ((a
i+1
a
n1
) a
n
)
= (a
1
a
n1
) a
n
.
1.6 Lsung: Beweis mit vollstndiger Induktion nach der Zahl n der Faktoren a
1
, . . . , a
n
.
Die Behauptung ist klar fr n = 2. Daher sei n 3, und die Behauptung sei richtig fr
beliebige Produkte mit weniger als n paarweise vertauschbaren Faktoren.
Es seien a
1
, . . . , a
n
paarweise vertauschbar und (k) = n.
1. Fall: k ,= 1, n.
a
(1)
a
(n)
= (a
(1)
a
(k1)
) (a
n
a
(k+1)
a
(n)
)
= (a
(1)
a
(k1)
) (a
(k+1)
a
(n)
a
n
)
= (a
(1)
a
(n)
) a
n
= a
1
a
n
.
2. Fall: k = n. Dann gilt a
(1)
a
(n)
= (a
(1)
a
(n1)
) a
n
= a
1
a
n
.
3. Fall: k = 1. Dann gilt a
(1)
a
(n)
= a
n
a
(2)
a
(n)
= a
(2)
a
n
a
(3)
a
(n)
=
a
1
a
n
.
3
1.7 Lsung: Fr H := Z +Z i und a
1
, a
2
, b
1
, b
2
Z gilt
(a
1
+ b
1
i) (a
2
+b
2
i) = (a
1
a
2
b
1
b
2
) + (a
1
b
2
+ b
1
a
2
) i H ,
denn a
1
a
2
b
1
b
2
, a
1
b
2
+b
1
a
2
Z. Damit ist H eine Unterhalbgruppe von C, insbesondere
also eine Halbgruppe. Weil C abelsch ist, ist auch H abelsch. Es ist 1 = 1 + 0 i H das
neutrale Element von H.
Wir bestimmen nun die Menge der Einheiten: Es sei x = a + b i H eine Einheit. Dann
existiert ein y H mit xy = 1, also 1 = [xy[
2
= [x[
2
[y[
2
fr den komplexen Betrag [ [. Da
[x[
2
= a
2
+b
2
(und analog [y[
2
) in N
0
liegt, folgt a
2
+ b
2
= [x[
2
= 1, sodass
(a, b) (1, 0), (1, 0), (0, 1), (0, 1) ,
d. h. x 1, 1, i, i. Wegen 11 = 1, (1)(1) = 1, i (i) = 1 folgt H

= 1, 1, i, i.
1.8 Lsung: Wir beginnen mit der Verknpfungstafel. Nach einfachen Rechnungen wie
etwa f
2
f
2
(x) =
1
1
1
1x
=
x1
x
= f
3
(x) erhalten wir:
f
1
f
2
f
3
f
4
f
5
f
6
f
1
f
1
f
2
f
3
f
4
f
5
f
6
f
2
f
2
f
3
f
1
f
5
f
6
f
4
f
3
f
3
f
1
f
2
f
6
f
4
f
5
f
4
f
4
f
6
f
5
f
1
f
3
f
2
f
5
f
5
f
4
f
6
f
2
f
1
f
3
f
6
f
6
f
5
f
4
f
3
f
2
f
1
Insbesondere erhalten wir, dass f
1
neutrales Element ist. Die Assoziativitt ist erfllt, da die
Menge aller Abbildungen von R \ 0, 1 in sich bezglich der Komposition von Abbildun-
gen assoziativ ist. Und die Menge der invertierbaren Elemente erhalten wir ebenfalls aus der
Verknpfungstafel: F

= F da das neutrale Element f


1
in jeder Zeile erscheint und auch
f
j
f
i
= f
1
im Falle f
i
f
j
= f
1
gilt. Da die Verknpfungstafel nicht symmetrisch ist, ist die
Verknpfung nicht abelsch.
1.9 Lsung: Es sei : Z Q ein Homomorphismus. Wegen (0) = (0+0) = (0) +(0)
gilt (0) = 0. Weiter erhalten wir (1) = (1) aus 0 = (0) = (1 1) = (1) +
(1). Wegen der Homomorphie folgt nun hieraus fr alle n N: (n) = n (1) und
(n) = (n) (1), sodass also durch (1) eindeutig bestimmt ist. Andererseits ist fr
jede rationale Zahl r die Abbildung
r
: Z Q, n n r ein Homomorphismus. Also ist

r
: n n r [ r Q die Menge aller Homomorphismen von Z nach Q. Fr kein r Q ist

r
surjektiv, da Q ,= n r [ n Z. Insbesondere gibt es also keinen Isomorphismus von Z
nach Q.
2 Gruppen
Lsungen
2.1 Lsung: Um die unvollstndige Gruppentafel zu vervollstndigen, knnen folgende
Argumente genutzt werden:
(1) In der vierten Spalte und vierten Zeile steht der Eintrag x
2
= x . Daraus folgt, dass
x das neutrale Element der Gruppe sein muss. Damit sind bereits alle Eintragungen der
vierten Spalte und der vierten Zeile eindeutig festgelegt.
(2) Die in der Gruppentafel angegebenen Gleichungen ay = c, az = b, b
2
= x, usw. so-
wie die jeweils beim Ausfllen neu dazukommenden Gleichungen, knnen (und mssen)
verwendet werden (Beispiel siehe unten).
(3) In jeder Zeile und in jeder Spalte kann jedes Element der Gruppe nur genau einmal
vorkommen. Sind also in einer Zeile oder Spalte 5 der 6 Eintragungen bekannt, ist der
sechste Eintrag bereits eindeutig bestimmt.
Eine Mglichkeit, unsere Gruppentafel auszufllen, ist die folgende: Wir starten mit der gege-
benen Gruppentafel:
a b c x y z
a c b
b x z
c y
x x
y
z a x
Aus dem Eintrag x
2
= x folgt, dass x das neutrale Element ist, woraus wiederum die Eintra-
gungen der vierten Zeile und Spalte folgen.
a b c x y z
a a c b
b x z b
c y c
x a b c x y z
y y
z a z x
Nun stehen in der zweiten Spalte vier von sechs Eintrgen. Es fehlen die Eintrge c und z.
In der ersten Zeile der zweiten Spalte kann aber das c nicht stehen, weil das c in dieser Zeile
schon aufgefhrt ist. Also muss dort ein z stehen.
5
a b c x y z
a z a c b
b x z b
c y c
x a b c x y z
y c y
z a z x
Jetzt benutzen wir die beiden Gleichungen b
2
= x und bc = z, um den Eintrag von bz zu
bestimmen: bz = bbc = xc = c.
a b c x y z
a z a c b
b x z b c
c y c
x a b c x y z
y c y
z a z x
Durch weiteres Anwenden der oben aufgefhrten Regeln erhalten wir:
a b c x y z
a x z y a c b
b y x z b a c
c y c
x a b c x y z
y c y
z c a b z x y
Aus dieser unvollstndigen Gruppentafel erhalten wir
ca = (bz)a = b(za) = bc = z
und dann
cz = c(ab) = (ca)b = zb = a.
Durch weiteres Anwenden der oben aufgefhrten Regeln erhalten wir die komplette Gruppen-
tafel
a b c x y z
a x z y a c b
b y x z b a c
c z y x c b a
x a b c x y z
y b c a y z x
z c a b z x y
6 2 Gruppen
2.2 Lsung: Es sei n N. Dann ist die Abbildung
n
: Z nZ, z nz ein Homomor-
phismus, da fr alle z, z

Z:

n
(z + z

) = n(z +z

) = nz +nz

=
n
(z) +
n
(z

) .
Weiter ist
n
natrlich surjektiv. Es ist
n
auch injektiv, da aus
n
(z) =
n
(z

) mit z, z

Z
folgt nz = nz

. Folglich gilt z = z

.
Somit ist
n
fr jedes n N ein Isomorphismus, d. h. nZ

= Z.
2.3 Lsung:
(a) Fr jedes a G ist der innere Automorphismus
a
ein Automorphismus von G, d. h.

a
Aut G, d. h.
a
= Id. Somit gilt fr jedes x G und a G:
a
(x) = a xa
1
= x,
folglich ax = xa fr alle a, x G. D. h. G ist abelsch.
(b) Da die Abbildung q : a a
2
ein Homomorphismus ist, gilt fr alle a, b G: (a b) (a b) =
(a b)
2
= a
2
b
2
= a a b b. Nach Krzen von a und b also b a = a b. Folglich ist G abelsch.
(c) Da die Abbildung : a a
1
ein Automorphismus ist, gilt fr alle a, b G: b
1
a
1
=
(a b)
1
= a
1
b
1
. Nach beidseitigem Invertieren erhalten wir ab = b a, somit ist G
abelsch.
2.4 Lsung: Die Automorphismengruppe von V = e, a, b, c ist isomorph zu S
3
: Fr
jeden Automorphismus von V gilt (e) = e, und die Elemente a, b, c werden durch die bi-
jektive Abbildung permutiert. Folglich kann jeder Automorphismus von V als Permutation
aus S
(a,b,c
aufgefasst werden. Andererseits induziert jede Permutation von a, b, c einen
Automorphismus

von V : So liefert etwa die Permutation =


_
a b c
b c a
_
den Automor-
phismus

(e) = e ,

(a) = b ,

(b) = c ,

(c) = a,
da etwa

(a b) =

(c) = a = b c =

(a)

(b) .
2.5 Lsung: Es seien k, l Z. Dann gilt
(k +l) =
k+l
n
=
k
n

l
n
= (k) (l) .
Somit ist ein Homomorphismus von Z in E
n
. Wir bestimmen den Kern von :
1 = (k) =
k
n
= e
2k i
n k nZ.
Also gilt Kern = nZ.
2.6 Lsung: Es gilt etwa fr b V :
b
(e) = b,
b
(a) = c,
b
(b) = e,
b
(c) = a. Nach
hnlichen Rechnungen erhalten wir die Permutationen
x
S
V
(x V ) in der blichen
Zweizeilenform fr Permutationen:

e
=
_
e a b c
e a b c
_
,
a
=
_
e a b c
a e c b
_
,
b
=
_
e a b c
b c e a
_
,
c
=
_
e a b c
c b a e
_
.
Durch Umbenennung e 1, a 2, b 3, c 4 erhalten wir die zu V isomorphe Gruppe
V
4
= Id,
1
,
2
,
3
S
4
, wobei
Id =
_
1 2 3 4
1 2 3 4
_
,
1
=
_
1 2 3 4
2 1 4 3
_
,
2
=
_
1 2 3 4
3 4 1 2
_
,
3
=
_
1 2 3 4
4 3 2 1
_
.
7
2.7 Lsung: Wir begrnden vorab, dass die Abbildung : b b
1
(b) von G nach G
injektiv ist. Es seien b, b

G:
b
1
(b) = b
1
(b

) b

b
1
= (b

) (b
1
) b

b
1
= (b

b
1
)
b

b
1
= e b

= b .
Somit ist injektiv. Da eine injektive Abbildung einer endlichen Menge auch surjektiv ist,
folgt, dass bijektiv ist. Somit existiert zu jedem a G genau ein b G mit a = b
1
(b).
2.8 Lsung: Nach Aufgabe 2.7 existiert zu a G ein Element b G mit a = b
1
(b).
Somit gilt (a) = (b
1
) b =
_
b
1
(b)
_
1
= a
1
. Also ist G nach Aufgabe 2.3 (c) abelsch.
3 Untergruppen
Lsungen
3.1 Lsung: Es sei / bzw. /
i
die Menge der Linksnebenklassen von U :=
n

i=1
U
i
bzw. U
i
in G, i = 1, . . . , n. Wir begrnden vorab:
(1) Die Abbildung
_
/ /
1
/
n
aU (a U
1
, . . . , a U
n
)
ist wohldeniert und injektiv.
Denn: Fr a, b G gilt:
a U = b U b
1
a U b
1
a U
i
, d. h. a U
i
= b U
i
fr i = 1, . . . , n.
Aus (1) folgt [/[ [/
1
/
n
[ = [/
1
[ [/
n
[. Das ist die Behauptung.
3.2 Lsung: Wir verwenden die Bezeichnungen aus dem Beispiel 3.7 auf Seite 39: U
1
:=

2
) = Id,
2
, U
2
:=
4
) = Id,
4
, U
3
:=
5
) = Id,
5
, V :=
1
) = Id,
1
,
3
.
U = S
3
: Es ist S
3
die Menge der Links- und Rechtsnebenklassen nach U.
U = U
1
: Es ist U
1
,
1
U
1
,
3
U
1
die Menge der Linksnebenklassen nach U
1
und
U
1
, U
1

1
, U
1

3
die der Rechtsnebenklassen nach U
1
. Die Linksnebenklasse
1
U
1
=

1
,
4
ist keine Rechtsnebenklasse, da die Rechtsnebenklassen U
1
= Id,
2
, U
1

1
=

1
,
5
, U
1

3
=
3
,
4
sind.
U = V : Es ist V,
2
V die Menge der Linksnebenklassen nach V und V, V
2
die der
Rechtsnebenklassen nach V . Die Linksnebenklasse
2
V =
2
,
5
,
4
ist auch Rechtsne-
benklasse, da V
2
=
2
,
4
,
5
gilt.
Die restlichen Nachweise berlassen wir dem Leser.
3.3 Lsung: Wegen A
2
=
_
1 0
0 1
_
und A
4
= E
2
hat A die Ordnung 4.
Wegen B
2
=
_
1 1
1 0
_
und B
3
= E
2
hat B die Ordnung 3.
Wegen AB =
_
1 1
0 1
_
, (AB)
2
=
_
1 2
0 1
_
, ..., (AB)
2n
=
_
1 2n
0 1
_
(vollstndige Induk-
tion) gilt o(AB) = .
3.4 Lsung: Nein. Die Quaternionengruppe enthlt genau ein Element der Ordnung 2, die
Diedergruppe mehrere, etwa und
2
.
9
3.5 Lsung: Es sei :=
_
1 2 3 4 5
2 3 1 5 4
_
. Es gilt [S
5
[ = 5! = 120. Wegen
120
= Id
erhalten wir aus 1202 = 10 120 + 2 somit
1202
= (
120
)
10

2
=
2
=
_
1 2 3 4 5
3 1 2 4 5
_
.
3.6 Lsung: Jeder Automorphismus von G erfllt (e
G
) = e
G
fr das neutrale Element
e
G
von G. Die n1 Elemente von H := G\e
G
werden durch permutiert. Damit kann als
Element aus S
H
aufgefasst werden. Somit kann die Automorphismengruppe als Untergruppe
von S
H
betrachtet werden. Nach dem Satz von Lagrange gilt [ Aut G[ [ [S
H
[ = (n 1)!.
3.7 Lsung: Wegen der Teilerfremdheit von m und n existieren bekanntlich r, s Z mit
r m+ s n = 1. Es sei a G. Nach dem kleinen Satz 3.11 von Fermat gilt
a = a
r m+s n
= (a
r
)
m
.
Also erfllt b := a
r
die Eigenschaft b
m
= a.
3.8 Lsung: Besitzt G genau ein Element u der Ordnung 2, so gilt fr die Elemente
a
1
, . . . , a
n
G\ u, e
G
(wobei e
G
wie immer das neutrale Element von G bezeichne), dass
keines der a
i
zu sich selbst invers ist. Da aber jedes a
i
ein Inverses a
j
besitzt, gilt i ,= j und
a
i
a
j
= e
G
. Wir erhalten in diesem Fall also

aG
a = u.
Besitzt G nicht genau ein Element u der Ordnung 2, so enhlt G entweder kein Element der
Ordnung 2, es gilt dann nach dem ersten Teil

aG
a = e
G
, oder G enthlt mindestens zwei
verschiedene Elemente u
1
, u
2
der Ordnung 2. Aber dann ist auch u
3
:= u
1
u
2
ein Element der
Ordnung 2 und u
3
,= u
1
, u
2
. Somit bildet V := e
G
, u
1
, u
2
, u
3
eine Untergruppe von U :=
a G[ a
2
= e
G
. Wir zerlegen U in disjunkte Linksnebenklassen nach V : U = a
1
V a
k
V
mit k N und erhalten als Produkt ber alle Elemente aus U:

aU
a =
k

i=1
(a
i
e) (a
i
u
1
) (a
i
u
2
) (a
i
u
3
) =
k

i=1
a
4
i
u
1
u
2
u
3
= e
G
,
da a
2
i
= u
1
u
2
u
3
= e
G
fr alle i = 1, . . . , k. Wegen

aG_U
a = e
G
(siehe erster Teil) folgt
die Behauptung.
3.9 Lsung:
(a) Es seien a, b G. Aus a
2
= e
G
= b
2
und (a b)
2
= e
G
folgt
a a b b = a
2
b
2
= (a b)
2
= a b a b ,
nach Krzen von a und b also ab = b a.
(b) Es sei a
1
, . . . , a
m
ein minimales Erzeugendensystem von G. Jedes Element a G hat
die Form
a = a

1
1
a

m
m
mit
1
, . . . ,
m
0, 1 .
Angenommen, a = a

1
1
a

m
m
= a = a

1
1
a

m
m
und
i
,=
i
fr ein i 1, . . . , m.
O. E. sei
i
= 0,
i
= 1. Dann gilt
a
i
=

i=j
a

j
j
im Widerspruch zur Minimalitt von a
1
, . . . , a
n
. Es folgt [G[ = 2
m
.
10 3 Untergruppen
3.10 Lsung: Fr jedes Element a G gilt G = ax[ x G, da
a
: G G, x ax
eine Bijektion ist. Da G abelsch ist, gilt mit n = [G[:
a
n

xG
x =

xG
(a x) =

xG
x,
nach Krzen von

xG
x also a
n
= e
G
. Damit ist der Satz von Fermat fr abelsche Gruppen
bereits bewiesen.
3.11 Lsung: (a) Zur Abkrzung setzen wir :=
_
1 2 3 4
2 1 4 3
_
und :=
_
1 2 3 4
3 2 1 4
_
.
Wegen
2
=
2
= Id sind alle Elemente von D von der Form oder .
Also (wir verwenden im Folgenden die Zyklenschreibweise fr Permutationen):
D = Id, (1 2) (3 4)
. .

, (1 3)
..

, (1 4 3 2)
. .

, . . . .
Da ein 4-Zykel ist, gilt ( )
4
= Id, also = und somit:
D = Id, , , , , , ,
= Id, (1 2) (3 4), (1 3), (1 4 3 2), (1 2 3 4), (2 4), (1 4) (2 3), (1 3) (2 4).
Insbesondere: [D[ = 8.
(b) Fr jede Untergruppe U D gilt nach dem Satz von Lagrange: [U[ ist ein Teiler von
[D[ = 8. Die Gruppe D kann also hchstens Untergruppen der Ordnungen 1, 2, 4 oder 8
besitzen.
Die Untergruppen von Ordnung 1 bzw. 8 sind die trivialen Untergruppen: Id und D.
Die Untergruppen von Ordnung 2 werden jeweils von genau einem Element der Ordnung
2 erzeugt. Die Untergruppen der Ordnung 2 sind also:
W
1
:= (1 3) (2 4)), W
2
:= (1 2) (3 4)), W
3
:= (1 4) (2 3)),
W
4
:= (1 3)), W
5
:= (2 4)).
Wir nden folgende Untergruppen der Ordnung 4:
U
1
:= (1 2 3 4)), U
2
:= (1 2) (3 4), (1 4) (2 3)), U
3
:= (1 3), (2 4)) .
Damit knnen wir schon mal einen Teil des Untergruppengraphen von D zeichnen:
11


r
r
r
r
r
r
r
r
rr

t
t
t
t
t
r
r
r
r
r
r
r
r
rr

t
t
t
t
t
r
r
r
r
r
r
r
r
r
r
r
r
r
d
d
d
d
d
d
d

t
t t t
t t t t t
t
D
U
2
U
1
U
3
W
2
W
3
W
1
W
4
W
5
Id
Wir begrnden nun noch, dass wir bereits alle Untergruppen der Ordnung 4 gefunden haben
und obiger Graph der Untergruppenverband von D ist. Es sei V eine Untergruppe von D
mit [V [ = 4 und V ,= U
1
. Da D nur genau zwei Elemente der Ordnung 4 besitzt (die invers
zueinander sind) und V ,= U
1
ist, enthlt V kein Element der Ordnung 4, sondern genau
drei Elemente der Ordnung 2 und somit genau drei der Untergruppen W
1
, W
2
, W
3
, W
4
, W
5
.
Aus obigem Graphen entnimmt man jedoch, dass die einzigen beiden Tripel der Untergruppen
W
1
, . . . , W
5
, die nicht die ganze Gruppe D erzeugen, die beiden Tripel W
1
, W
2
, W
3
und
W
1
, W
4
, W
5
sind. Also ist V = W
1
W
2
W
3
) = U
2
oder V = W
1
W
4
W
5
) = U
3
.
Also sind tatschlich U
1
, U
2
, U
3
die einzigen Untergruppen der Ordnung 4, und obiger Graph
ist der Untergruppenverband von D.
3.12 Lsung: Es seien R ein Reprsentantensystem der Linksnebenklassen von V in G und
S ein solches der Linksnebenklassen von U in V , sodass
G =
_
rR
r V , V =
_
sS
s U , [G : V ] = [R[ , [V : U] = [S[ .
Es folgt:
() G =
_
rR
r
_
_
sS
s U
_

_
(r, s)RS
r s U .
Nun gelte r s U = r

U mit r, r

R und s, s

S. Es folgt
r V = r (s U V ) = r

(s

U V ) = r

V r = r

s U = s

U s = s

,
also (r, s) = (r

, s

). Das begrndet mit ():


[G : U] = [R S[ = [R[ [S[ = [G : V ] [V : U] .
4 Normalteiler und Faktorgruppen
Lsungen
4.1 Lsung: Wir benutzen die Bezeichnungen aus Beispiel 3.7 von Seite 39.
Es sind Id, U
1
:=
2
) = Id,
2
, U
2
:=
4
) = Id,
4
, U
3
:=
5
) = Id,
5
, N :=

1
) = Id,
1
,
3
und S
3
alle Untergruppen der symmetrischen Gruppe S
3
.
Die trivialen Untergruppen Id und S
3
sind Normalteiler. Auerdem ist N ein Normalteiler:
Dies folgt aus Aufgabe 3.2 oder Lemma 4.2, da N den Index 2 in S
3
hat. Keine der drei
zweielementigen Untergruppen U
1
, U
2
, U
3
ist ein Normalteiler in S
3
: Beachte Aufgabe 3.2.
Die symmetrische Gruppe S
4
der Ordnung 24 besitzt 30 verschiedene Untergruppen. Zwei
unter ihnen sind Normalteiler:
V
4
= Id,
1
,
2
,
3
mit

1
=
_
1 2 3 4
2 1 4 3
_
,
2
=
_
1 2 3 4
3 4 1 2
_
,
3
=
_
1 2 3 4
4 3 2 1
_
.
A
4
:= Id,
1
, . . . ,
11
mit
1
, . . . ,
3
V
4
und

4
=
_
1 2 3 4
1 3 4 2
_
,
5
=
_
1 2 3 4
1 4 2 3
_
,
6
=
_
1 2 3 4
2 3 1 4
_
,

7
=
_
1 2 3 4
2 4 3 1
_
,
8
=
_
1 2 3 4
3 1 2 4
_
,
9
=
_
1 2 3 4
3 2 4 1
_
,

10
=
_
1 2 3 4
4 1 3 2
_
,
11
=
_
1 2 3 4
4 2 1 3
_
.
Da A
4
den Index 2 in S
4
hat, ist klar, dass A
4
Normalteiler der symmetrischen Gruppe S
4
ist. Den etwas mhsamen Nachweis dafr, dass V ein Normalteiler von S
4
ist und es keine
weiteren Normalteiler gibt, ersparen wir uns.
4.2 Lsung: Wir benutzen die Bezeichnungen aus Beispiel 3.7 von Seite 39.
Fr die trivialen Untergruppen gilt: N
S
3
(Id) = S
3
und N
S
3
(S
3
) = S
3
.
Fr die zweielementigen Untergruppen U
1
, U
2
, U
3
gilt: Nach Lemma 4.5 ist N
S
3
(U
i
) eine
Untergruppe von S
3
fr jedes i = 1, 2, 3. Da U
i
N
S
3
(U
i
) gilt, bleibt nach Beispiel 3.7
von Seite 39 nur die Wahl N
S
3
(U
i
) = U
i
oder N
S
3
(U
i
) = S
3
. Aber aus N
S
3
(U
i
) = S
3
folgt
mit Lemma 4.6 der Widerspruch U
i
S
3
(beachte Aufgabe 4.1). Also gilt N
S
3
(U
i
) = U
i
fr i = 1, 2, 3.
Fr die dreielementige Untergruppe V gilt: Nach Aufgabe 4.1 ist V ein Normalteiler von
S
3
. Also gilt N
S
3
(V ) = S
3
nach Lemma 4.6.
13
4.3 Lsung: Nach Lemma 4.4 ist U N eine Untergruppe von G. Es sei a G. Nach
Voraussetzung gelten dann die Inklusionen a U a
1
U und a N a
1
N. Damit gilt auch
a U N a
1
= aU a
1
a N a
1
U N. Somit ist U N ein Normalteiler in G.
4.4 Lsung: Es sei V :=

aG
aU a
1
. Da fr jedes a G die Menge a U a
1
eine Unter-
gruppe von G ist, ist V als Durchschnitt von Untergruppen von G eine Untergruppe von G.
Es sei x G. Dann gilt xV x
1
=

aG
(xa) U (x a)
1
=

aG
a U a
1
= V . Somit ist V ein
Normalteiler von G.
4.5 Lsung: Es seien a, b G und U G; ferner gelte (a U) (b U) = c U fr ein c G.
Wegen ab = a e b e (a U) (b U) = c U gilt a b U c U und somit ab U = c U. Weiter folgt nun
fr beliebiges x G:
x
1
U x = x
1
U xe x
1
U xU = x
1
xU = U .
4.6 Lsung:
(a) Da fr jedes a G der innere Automorphismus
a
: x a xa
1
ein Automorphismus
ist, ist jede charakteristische Untergruppe U von G ein Normalteiler von G, da a U a
1
=

a
(U) U fr jedes a G.
(b) Es sei U eine charakteristische Untergruppe eines Normalteilers V von G. Da a V a
1
=
V fr jedes a G gilt, ist
a
fr jedes a G ein Automorphismus von V . Da U
charakteristisch in V ist, gilt folglich aU a
1
=
a
(U) U fr jedes a G, d. h. U ist
ein Normalteiler von V .
(c) Nein. In der Diedergruppe D aus Aufgabe 3.11 ist W
4
ein Normalteiler von U
3
und
U
3
ein solcher von D (jeweils Index 2). Aber W
4
ist kein Normalteiler von D, da etwa
(1 4) (1 3) (1 4) , W
4
gilt.
4.7 Lsung: Es sei V eine Untergruppe der Ordnung k von G. Dann ist fr jedes a G
auch a V a
1
eine Untergruppe von G; und es gilt [a V a
1
[ = k. Es folgt a V a
1
= V fr
jedes a G. Somit ist V ein Normalteiler in G.
4.8 Lsung: Die Untergruppen U
1
:= ), U
2
:= ,
2
), U
3
:= ,
2
) vom Index 2 sind
Normalteiler, die Faktorgruppe D
4
/U
i
ist fr jedes i = 1, 2, 3 zu Z
2
isomorph.
Weiter ist die zweielementige Untergruppe V :=
2
) ein Normalteiler, da
i

2
(
i
)
1
=

2

2
) fr alle i = 0, . . . , 3. Die Faktorgruppe D
4
/V = V, V, V, V ist eine
Kleinsche Vierergruppe.
Weitere Normalteiler gibt es nicht.
Das Zentrum Z(D
4
) ist ein Normalteiler in D
4
, und wegen obiger Rechnung gilt
2
) Z(D
4
).
Da keine der Untergruppen U
1
, U
2
, U
3
das Zentrum sein kann, bleibt nur
2
) = Z(G) brig.
Bemerkung. Ein elegantes Argument liefert Aufgabe 5.6: Da D
4
/U
i
zyklisch ist, D
4
aber
nicht abelsch ist, kann keines der U
i
das Zentrum sein.
4.9 Lsung: Fr jede Untergruppe U G ist [U[ ein Teiler von [Q[ = 8, also [U[
1, 2, 4, 8.
Q besitzt genau eine Untergruppe der Ordnung 1, nmlich die triviale Untergruppe E.
Q besitzt genau eine Untergruppe der Ordnung 8, nmlich Q.
14 4 Normalteiler und Faktorgruppen
Da Q genau ein Element der Ordnung 2 enthlt, nmlich das Element E, besitzt Q
genau eine Untergruppe der Ordnung 2, nmlich E).
Da Q genau 6 Elemente der Ordnung 4 enthlt, von denen jeweils zwei zueinander invers
sind und somit die gleiche Untergruppe erzeugen, besitzt Q genau 3 Untergruppen der
Ordnung 4. Damit haben wir alle Untergruppen von Q gefunden.
Die Untergruppen der Ordnung 1 und 8 sind trivialerweise Normalteiler von Q. Da die Un-
tergruppe der Ordnung 2 die einzige Untergruppe dieser Ordnung ist, ist sie ebenfalls ein
Normalteiler von Q (sogar eine charakteristische Untergruppe). Die Untergruppen der Ord-
nung 4 haben alle den Index 2 und sind somit ebenfalls Normalteiler von Q. Also sind alle
Untergruppen von Q Normalteiler von Q.
4.10 Lsung:
(a) Fr a, a

R \ 0 und b, b

R gilt t
a, b
t
a

, b
= t
aa

, ab

+b
, t
1, 0
t
a, b
= t
a, b
,
t
a
1
, a
1
b
t
a, b
= t
1, 0
. Da die Komposition von Abbildungen assoziativ ist, ist also
G eine Gruppe.
(b) Da fr beliebige a R\ 0 und b, c R gilt: t
a, c
t
1, b
t
a
1
, a
1
c
= t
1, d
fr ein d R,
ist N ein Normalteiler von G.
(c) Es ist : G R \ 0, t
a, b
a ein Epimorphismus mit Kern N. Mit dem Homomor-
phiesatz folgt G/N

= R \ 0.
4.11 Lsung: Es gilt Z(K
nn
) = A K
nn
[ AB = BA fr alle B K
nn
.
Aus der linearen Algebra ist bekannt:
Z(K
nn
) = E
n
[ K. (4.1)
(Beweis: Die Inklusion ist klar. Es sei also A = (a
ij
) Z(K
nn
). Mit E
kl
bezeich-
nen wir im Folgenden die Matrix aus K
nn
, deren (k, l)-ter Eintrag eine Eins ist und de-
ren restliche Eintrge Nullen sind. Fr alle k, l = 1, 2, . . . , n gilt dann: AE
kl
= E
kl
A,
also
n

i,j=1
a
ij
E
ij
E
kl
=
n

i,j=1
a
ij
E
kl
E
ij
und somit
n

i,j=1
a
ij

jk
E
il
=
n

i,j=1
a
ij

li
E
kj
, also
n

i=1
a
ik
E
il
=
n

j=1
a
lj
E
kj
. Also: a
ik
= 0 fr alle i ,= k und a
kk
E
kl
= a
ll
E
kl
fr alle k, l. Also
a
ij
= 0 fr alle i ,= j und a
11
= = a
nn
.)
Wir zeigen nun:
Z(G) = E
n
[ K \ 0.
: klar.
: Es sei A Z(G). Dann vertauscht A mit allen Matrizen E
n
+E
ij
fr alle i ,= j 1, . . . , n.
Also vertauscht A auch mit allen Matrizen E
n
+ E
ij
E
n
= E
ij
fr alle i ,= j 1, . . . , n.
Schlielich vertauscht A auch mit allen Matrizen E
ii
= E
ij
E
ji
fr alle i = 1, . . . , n. Also ist
A Z(K
nn
) und somit existiert ein K \ 0 mit A = E
n
.
4.12 Lsung: Es sei G metazyklisch. Fr jede Untergruppe U G ist U N U zyklisch,
und U/U N

= U N/N ist zyklisch, da U N/N als Untergruppe der zyklischen Gruppe G/N
ebenfalls zyklisch ist.
Es ist also z. B. jede Diedergruppe D
n
= , ) mit o() = 2 und o() = n metazyklisch, da
) ein zyklischer Normalteiler von D
n
mit zyklischer Faktorgruppe D
n
/) ist.
5 Zyklische Gruppen
Lsungen
5.1 Lsung: Es gelte e ,= U G; und n sei die kleinste natrliche Zahl mit e ,= a
n
U.
Ein solches n existiert auch in der Tat. Ist nmlich a
k
U fr ein k Z, so ist auch a
k
U.
Es gilt a
n
) U. Und aus a
k
U mit k = q n+r Z und 0 r < t (Division mit Rest) folgt
andererseits
a
r
= a
kq n
= a
k
(a
n
)
q
U ,
sodass r = 0 gilt wegen der Minimalitt von n; d. h.
a
k
= a
q n
= (a
n
)
q
a
n
) .
Das beweist U a
n
), und schlielich die Gleichheit U = a
n
).
5.2 Lsung: Es ist Z
360
eine zyklische Gruppe der Ordnung 360. Die Teiler von 360 sind:
1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 18, 20, 24, 30, 36, 40, 45, 60, 72, 90, 120, 180, 360. Also hat
Z
360
die 24 Untergruppen: 0), 180), 120), 90), 72), 60), 45), 40), 36), 30), 24), 20),
18), 15), 12), 10), 9), 8), 6), 5), 4), 3), 2), 1).
5.3 Lsung: Wir krzen a := a + 54 Z ab. Einfache Rechnungen modulo 54 liefern die
Potenzen von 5 in Z

54
:
k 0 1 2 3 4 5 6 7 8 9 10
5
k
1 5 25 17 31 47 19 41 43 1 5
k 11 12 13 14 15 16 17 18
5
k
25 17 31 47 19 41 43 1
Also gilt o(5) = 18. Da wegen ggT(2 n, 54) > 1 fr jedes n N die Gruppe Z

54
= a
Z
54
[ ggT(a, 54) = 1 hchstens 27 = 54/2 Elemente haben kann, aber andererseits auch
18 ein Teiler der Gruppenordnung [Z

54
[ gelten muss, erhalten wir [Z

54
[ = 18. Damit ist
begrndet, dass 5 ein erzeugendes Element von Z

54
ist: 5) = Z

54
.
Es ist a Z

54
genau dann ein Quadrat, wenn in der Darstellung a = 5
k
mit k 0, . . . , 17
die Zahl k gerade ist. Damit erhalten wir die Quadrate 1, 25, 31, 19, 43, 5, 17, 47, 41.
5.4 Lsung: (a) Der euklidische Algorithmus liefert ggT(1001, 222) = 1 = 55 1001 +
248 222. Somit gilt 222 + 1001 Z Z

1001
, und es gilt
(248 + 1001 Z) (222 + 1001 Z) = 1 + 1001 Z,
sodass 248 + 1001 Z das Inverse zu 222 + 1001 Z ist.
16 5 Zyklische Gruppen
(b) Der euklidische Algorithmus liefert ggT(1001, 287) = 7. Somit gilt 287 + 1001 Z , Z

1001
.
(c) Es ist 1000 1 (mod 1001), sodass 1000 +1001 Z in Z

1001
liegt und zu sich selbst invers
ist.
5.5 Lsung: Es gilt ggT(33511, 65659, 2072323) = ggT(ggT(33511, 65659), 2072323). Der
euklidische Algorithmus liefert:
ggT(33511, 65659) = 47 = 295 65659 + (578) 33511
und dann
ggT(2072323, 47) = 1 = (1) 2072323 + 44092 47 .
Damit erhalten wir
ggT(33511, 65659, 2072323) = 1
= 13007140 65659 + (25485176) 33511 + (1) 2072323 .
5.6 Lsung: Da G/Z(G) zyklisch ist, existiert ein a G mit G/Z(G) = a Z(G)). Es seien
b, b

G. Dann existieren k, k

Z, c, c

Z(G) mit b = a
k
c und b

= a
k

. Demnach gilt:
b b

= (a
k
c) (a
k

) = a
k+k

c c

= (a
k

) (a
k
c) = b

b .
Folglich ist G abelsch.
5.7 Lsung: (a) Es seien a
i
=
r
i
s
i
Q mit r
i
Z, s
i
N, i = 1, . . . , n gegeben. Fr
s := s
1
s
n
folgt:
a
1
, . . . , a
n

1
s
Z =
_
r
s
[ r Z
_
=
_
1
s
_
.
(Fr q Q, k Z ist das Produkt k q auch das k-Fache von q in (Q, +).)
Nach Lemma 5.1 ist a
1
, . . . , a
n
)

1
s
_
zyklisch.
(b) Oenbar drfen wir E = x annehmen. Es sei x =
r
s
, r Z, s N.
Es gilt Q ,= x) =
r
s
Z, weil
1
2 s
,=
r
s
k fr jedes k Z. Daher existiert x

=
r

X mit r

Z,
s

N und x

,= x. Es existieren x
1
, . . . , x
n
,= x in X und k
1
, . . . , k
n
, k mit
k
1
x
1
+ + k
n
x
n
+ k x =
1
s
2
r

.
Es folgt
x =
r
s
= r

s r
1
s
2
r

=
n

i=1
(k
i
r

s r) x
i
+k r

r
2
=
n

i=1
(k
i
r

s r) x
i
+ (k r
2
s

) x

,
sodass x X \ x), also Q = X) X \ x).
5.8 Lsung: Fr jede zyklische Untergruppe U sei C(U) die Menge der erzeugenden Ele-
mente von U. Nach Korollar 5.11 gilt [C(U)[ = (n), wenn [U[ = n N. Bezeichnet ((U) die
Menge der zyklischen Untergruppen von G, so bildet C(U) [ U ((U) eine Partition von G.
17
(a) Nach Lemma 5.2 besitzt Z
n
zu jedem Teiler d N von n genau eine zyklische Untergruppe
U
d
der Ordnung d. Es folgt
n = [G[ =

0<d|n
[C(U
d
)[ =

0<d|n
(d) .
(b) Mit den Voraussetzungen (und Teil (a)) folgt
n = [G[ =

UC(U)
[C(U)[

0<d|n
(d) = n.
Folglich existiert eine zyklische Untergruppe der Ordnung n, d. h. G ist zyklisch.
6 Direkte Produkte
Lsungen
6.1 Lsung: Es gilt Z
8
,

= Z
2
Z
4
und Z
8
,

= Z
2
V , da Z
8
zyklisch ist, die Gruppen
Z
2
Z
4
und Z
2
V

= Z
2
Z
2
Z
2
jedoch nicht beachte Korollar 6.11.
6.2 Lsung: (a) Es gilt etwa Z
4
0

= Z
4

= 0 Z
4
. Wegen Korollar 6.11 gibt es keine
nichttriviale Zerlegung Z
4

= U N mit [U[, [N[ > 1.
(b) 1. Fall: p k. Dann gilt Z
p k

= Z
p
Z
k
(beachte Korollar 6.7).
2. Fall: p [ k. Wir setzen p k = p
r
k

mit p k

. Dann gilt Z
p k

= Z
p
r Z
k
(beachte Korollar
6.7).
6.3 Lsung: Es sei G eine Gruppe der Ordnung 4. Falls G zyklisch ist, gilt G

= Z
4
. Es sei
also G nicht zyklisch. Dann gilt a
2
= e
G
fr jedes Element a G und das neutrale Element
e
G
von G (aus a
2
,= e
G
folgte mit dem Satz von Lagrange, dass G von a erzeugt wird, also G
zyklisch ist). Wir erhalten fr je zwei verschiedene Elemente a, b ,= e
G
: a b = c fr das vierte
Element c G. Damit ist G eine Kleinsche Vierergruppe, also G

= Z
2
Z
2
.
6.4 Lsung: : Es sei G = U N das innere direkte Produkt der Normalteiler U und
V von G. Dann ist : U N N, (u, n) n ein Homomorphismus mit den angegebenen
Eigenschaften.
: Nun sei ein Homomorphismus mit den angegeben Eigenschaften. Es sei U der Kern des
Homomorphismus . Nach dem Homomorphiesatz gilt G/U

= N, und es ist U ein Normalteiler
von G. Weiter gilt UN = e
G
, da
N
ein Isomorphismus ist. Nun sei a G beliebig. Wegen
(a) N existiert ein b N mit (b) = (a), d. h. a b
1
U. Folglich gilt a U N, womit
G = U N begrndet ist.
6.5 Lsung: (a) Nach Lemma 4.4 ist U N eine Untergruppe von G. Da U, N Untergruppen
von U N sind, gilt [U[, [N[ [ [U N[, also G = U N wegen der Teilerfremdheit von [U[ und [N[.
Nach dem Satz von Lagrange ist [U N[ ein Teiler von [U[ und [N[, also [U N[ = 1 erneut
wegen der Teilerfremdheit der Ordnungen von U und N.
Es folgt G = U N.
(b) Nach der Aussage in (a) gilt G = U N.
Es sei Aut G. Dann gilt (U) U N. Wegen [(U)[ = [U[ gilt (U) = U (man beachte
die Teilerfremdheit der Ordnungen von U und N). Analog gilt (N) = N. Wir erhalten eine
Abbildung
:
_
Aut G Aut U Aut N
([
U
, [
N
)
19
Die Abbildung ist oenbar ein Homomorphismus. Weiter ist injektiv, da ([
U
, [
N
) =
(Id
U
, Id
N
) nur fr = Id
G
mglich ist. Auerdem ist surjektiv, da fr
U
Aut U und

N
Aut N die Abbildung
:
_
U N U N
u v
U
(u)
N
(v)
(u U , v N)
ein Automorphismus von G = U N ist. Es folgt Aut G

= Aut U Aut N.
6.6 Lsung: Es sei L die gesuchte Lsungsmenge. Wir setzen: n
1
= 11, n
2
= 5, n
3
= 21
und a
1
= 7, a
2
= 1, a
3
= 18. Fr s
i
:=
a
1
a
2
a
3
a
i
erhalten wir: s
1
= 105, s
2
= 231 und s
3
= 55.
Zunchst lsen wir die Kongruenzen s
i
X 1 (mod n
i
) fr i = 1, 2, 3 (durch Raten oder mit
dem euklidischen Algorithmus). Wir whlen k
1
= 2, k
2
= 1, k
3
= 13. Somit ist
k :=
3

i=1
k
i
a
i
s
i
= 7 2 105 + 1 1 231 + 18 13 55 = 14571 L,
also
L = 14571 + 11 5 21 Z = 711 + 1155 Z.
6.7 Lsung:
(a) (S
1
, ) (C\ 0, ) ist klar, weil z z ein Homomorphismus ist. Es gilt fr jedes n N
a E
n
a
n
= 1 [a[
n
= 1 1 = [a[ = a a.
(b) Jedes z C \ 0 hat die Form z = r (cos + i sin ) mit r := [z[ R
+
und =Argz;
und cos + i sin S
1
. Wegen S
1
R
+
= 1 gilt C \ 0 = S
1
R
+
.
(c) Es ist : x +Z e
2 i x
ein (wohldenierter) Isomorphismus von R/Z auf S
1
:
Wohldeniertheit und Injektivitt:
e
2 i(xy)
= e
2 i x
e
2 i(y)
= 1 2 i (x y) = 2 k i fr ein k Z
x y Z x +Z = y +Z.
Homomorphie: ((x + Z) + (y + Z)) = ((x + y) + Z) = e
2 i(x+y)
= e
2 i x
e
2 i y
=
(x +Z) (y +Z).
Die Surjektivitt ist klar.
(d) Denitionsgem ist E =

nN
E
n
die Menge der Elemente endlicher Ordnung aus S
1
.
Aus a, b E, etwa a E
r
, b E
s
, folgt (a b
1
)
rs
= (a
r
)
s
(b
s
)
r
= 1. Folglich gilt
E S
1
.
Es ist n(x+Z) = 0+Z = Z mit nx Z, d. h. x
1
n
Z gleichwertig. Es hat also x+Z genau
dann endliche Ordnung, wenn x

nN
1
n
Z, d. h. x Q, d. h. x +Z Q/Z R/Z.
6.8 Lsung: Aus U G folgt U H. Aus N G folgt H N H. Fr h H gilt
h(H N) h
1
= hH h
1
hN h
1
= H N.
Aus U N = e
G
folgt U (H N) = e
G
.
Jedes a H hat die Form a = u v mit u U H, v N. Es folgt
v = u
1
a U
1
H H , d. h. v H N .
Somit gilt H = U (H N). Das beweist die Behauptung.
20 6 Direkte Produkte
6.9 Lsung: (a) Wegen G = U N hat jedes Element a G die angegebene Form. Aus
uv = u

mit u, u

U und v, v

N folgt: u
1
u = v

v
1
U N. Folglich gilt
u
1
u = e
G
= v

v
1
, d. h. u = u

, v = v

.
Hiernach ist die Abbildung
:
_
G U
uv u
(u U , v N)
wohldeniert und oenbar surjektiv. Es gilt (u v u

v) = (u u

u
1
v u

v) = uu

=
(u v) (u

), denn u
1
v u

N. Somit ist ein Epimorphismus. Ferner gilt:


uv Kern u = e uv N .
Mit dem Homomorphiesatz 4.10 folgt U = (G)

= G/ Kern = G/N.
(b) Oensichtlich sind U G und N G. Fr
_
a b
0 c
_
G gilt:
_
a b
0 c
_
=
_
a 0
0 c
_ _
1 b a
1
0 1
_
U N,
also G = U N. Oensichtlich ist U N = E
2
. Also ist G semidirektes Produkt von U mit
N.
Es ist U kein Normalteiler, also G nicht direktes Produkt von U mit N, da:
_
1 1
0 1
_ _
1 0
0 0
_ _
1 1
0 1
_
, U .
7 Gruppenoperationen
Lsungen
7.1 Lsung: Mit Lemma 7.3 gilt:
G
x
= G
y
fr alle y G x G
x
= G
gx
fr alle g G
G
x
= g G
x
g
1
fr alle g G
G
x
G.
7.2 Lsung: Es gilt G 2 = X = G 4 und G
2
= Id = G
4
(dies folgt auch aus Lemma
7.3).
7.3 Lsung: Da G nicht abelsch ist, gilt Z(G) ,= G. Also gilt [Z(G)[ p, p
2
nach dem
Satz von Lagrange und Satz 7.7.
Im Fall [Z(G)[ = p
2
htte die Gruppe G/Z(G) die Ordnung p. Insbesondere wre G/Z(G)
zyklisch, nach Aufgabe 5.6 also G abelsch. Somit bleibt nur die Mglichkeit [Z(G)[ = p.
7.4 Lsung: (a) G operiert auf / vermge obiger Verknpfung, denn es gilt fr alle a, g, h
G:
e
G
(a H) = (e
G
a) U = a U und
(g h) a U = g h aU = g (h (a U)).
Die Operation ist transitiv: Es seien aU, b U /. Dann erfllt g := b a
1
G:
g (a U) = g a U = b U .
Wir begrnden, dass G auf 1 mit der angegebenen Verknpfung operiert. Es gilt fr alle
a, g, h G:
e
G
(U a) = U (a e
1
G
) = U a und
(g h) U a = (U a) (g h)
1
= Uah
1
g
1
= g (U a h
1
) = g (h (U a)).
Die Operation ist transitiv: Es seien U a, U b 1. Dann erfllt g := b
1
a G:
g (U a) = U a g
1
= U b .
Ohne die Inversion erhlt man im Allgemeinen keine Operation von G auf 1, denn es gilt fr
g, h, a G:
(g h) (U a) = U a g h,
g (h (U a)) = g (U ah) = U a hg,
22 7 Gruppenoperationen
also im Allgemeinen (g h) (U a) ,= g (h (U a)).
Durch g (U a) := U g a wird im Allgemeinen keine Operation von G auf 1 deniert (die
Wohldeniertheit ist im Allgemeinen nicht erfllt, da fr g G aus U a = U b im Allgemeinen
nicht U g a = U g b folgt).
(b) Es sei a G. Es gilt:
G
aU
= g G[ g (a U) = a U
= g G[ g a U = a U
= g G[ a
1
g a U = U
= g G[ a
1
g a U
= g G[ g a U a
1

= aU a
1
und
G
U a
= g G[ g (U a) = U a
= g G[ U a g
1
= U a
= g G[ U a = U ag
= g G[ U = U a g a
1

= g G[ a g a
1
U
= g G[ g a
1
U a
= a
1
U a .
(c) Wir betrachten ganz allgemein eine Operation von G auf einer Menge X. Nach Denition
ist diese Operation genau dann treu, wenn der Durchschnitt aller Stabilisatoren trivial ist,
d. h. wenn gilt:

xX
G
x
= e
g
.
Angewandt auf die obigen beiden Operationen erhlt man:
G operiert genau dann treu auf /, wenn

aG
a U a
1
= e
G
.
G operiert genau dann treu auf 1, wenn

aG
a
1
U a = e
G
ist. Dies ist genau dann
der Fall, wenn

aG
aU a
1
= e
G
ist.
7.5 Lsung: Es sei G eine nichtabelsche Gruppe der Ordnung 8. Weil G eine 2 -Gruppe ist,
hat jedes Element die Ordnung 1, 2, 4 oder 8. Gbe es ein Element der Ordnung 8, so wre
G zyklisch, insbesondere abelsch. Htten alle Elemente von G eine Ordnung kleiner gleich 2,
so wre G nach Aufgabe 3.9 abelsch. Also existiert ein Element b G der Ordnung 4.
Somit existiert in G ein Normalteiler b). Die disjunkte Linksnebenklassenzerlegung nach b)
sei:
G = b) ab) = e
G
, b, b
2
, b
3
a, a b, a b
2
, a b
3
,
wobei a G\b). Wir ermitteln b a: Klar ist: b a , b). Weiter ist klar, dass b a ,= a. Da G nicht
abelsch ist, folgt auch b a ,= ab. Also bleibt nur b a a b
2
, a b
3
. Angenommen, b a = a b
2
.
Dann gilt a = b
3
ab
2
= b b b a b
2
= b b a = b a b
2
. Es folgt der Widerspruch b
3
a b
2
= b a b
2
(hieraus folgt nmlich b
2
= e
G
). Also gilt
b a = a b
3
= a b
1
.
23
1. Fall: o(a) = 2. Wir erhalten die Relationen:
ab a
1
= b
1
, a b = b
1
a , b a = b a
1
.
Damit ist G

= D
4
, vgl. Abschnitt 3.1.5.
2. Fall: o(a) = 4. Wir erhalten die Relationen:
(a b)
2
= (a b
2
)
2
= (a b
3
)
2
= a
2
= b
2
.
Beachte: b
2
ist das einzige Element der Ordnung 2. Damit ist G

= Q, vgl. Beispiel 2.1 auf
Seite 19.
7.6 Lsung: (a) Wir fhren Induktion nach [G[ durch, wobei der Induktionsanfang [G[ = 1
trivial ist. Es seien also [G[ > 1 und U G eine echte Untergruppe von G. Dann gilt U
N
G
(U).
1. Fall: Z(G) , U. Dann gibt es ein a Z(G)\U. Es gilt a U a
1
= U, also a N
G
(U)\U,
also U N
G
(U).
2. Fall: Z(G) U. Es ist G := G/Z(G) eine p -Gruppe, [G[ < [G[ und U := U/Z(G) eine
echte Untergruppe von G. Nach Induktionsannahme ist also U N
G
(U). Also existiert ein
a = aZ(G) G\U mit a U a
1
= U. Also ist a N
G
(U)\U, also U N
G
(U).
(b) Es sei U eine maximale Untergruppe von G. Nach (a) ist dann N
G
(U) = G, also U G.
8 Die Stze von Sylow
Lsungen
8.1 Lsung: Es gelte [G[ = p
r
m mit p m. Wegen [P[ = p
r
gilt [G : P] = m, weiter
erhalten wir wegen P N
G
(P) mit Satz 3.13:
m = [G : P] = [G : N
G
(P)] [N
G
(P) : P] ,
sodass [N
G
(P) : P] [ m. Daher kann p kein Teiler von [N
G
(P) : P] sein.
8.2 Lsung: Ist p ein Primteiler von n!, so existiert nach dem Satz von Cauchy in S
n
ein
Element mit o() = p.
1. Fall: n = 3. Dann gilt n! = 2 3, und es ist
2
bzw.
3
mit

2
:=
_
1 2 3
1 3 2
_
bzw.
3
:=
_
1 2 3
2 3 1
_
ein Element der Ordnung 2 bzw. 3 in S
3
.
2. Fall: n = 4. Dann gilt n! = 2
3
3, und es ist
2
bzw.
3
mit

2
:=
_
1 2 3 4
1 3 2 4
_
bzw.
3
:=
_
1 2 3 4
2 3 1 4
_
ein Element der Ordnung 2 bzw. 3 in S
4
.
3. Fall: n = 5. Dann gilt n! = 2
3
3 5, und es ist
2
bzw.
3
bzw.
5
mit

2
:=
_
1 2 3 4 5
1 3 2 4 5
_
bzw.
3
:=
_
1 2 3 4 5
2 3 1 4 5
_
bzw.
5
:=
_
1 2 3 4 5
2 3 4 5 1
_
ein Element der Ordnung 2 bzw. 3 bzw. 5 in S
5
.
4. Fall: n = 6. Dann gilt n! = 2
4
3
2
5, und es ist
2
bzw.
3
bzw.
5
mit

2
:=
_
1 2 3 4 5 6
1 3 2 4 5 6
_
bzw.
3
:=
_
1 2 3 4 5 6
2 3 1 4 5 6
_
bzw.
5
:=
_
1 2 3 4 5 6
2 3 4 5 1 6
_
ein Element der Ordnung 2 bzw. 3 bzw. 5 in S
6
.
25
5. Fall: n = 7. Dann gilt n! = 2
4
3
2
5 7, und es ist
2
bzw.
3
bzw.
5
bzw.
7
mit

2
:=
_
1 2 3 4 5 6 7
1 3 2 4 5 6 7
_
bzw.
3
:=
_
1 2 3 4 5 6 7
2 3 1 4 5 6 7
_
bzw.
5
:=
_
1 2 3 4 5 6 7
2 3 4 5 1 6 7
_
bzw.
7
:=
_
1 2 3 4 5 6 7
2 3 4 5 6 7 1
_
ein Element der Ordnung 2 bzw. 3 bzw. 5 bzw. 7 in S
7
.
8.3 Lsung: (a) Wegen 12 = 2
2
3 folgt mit den Stzen von Sylow:
n
2
= 1 +k 2 (k N
0
) , n
2
[ 3 n
2
1, 3
und
n
3
= 1 + k 3 (k N
0
) , n
3
[ 4 n
3
1, 4 .
(b) Im Fall n
3
= 4 besitzt G vier zyklische Untergruppen der Ordnung 3. Diese vier Unter-
gruppen besitzen nur das neutrale Element e
G
gemeinsam. Damit erhalten wir 1 + 4 2 = 9
Elemente. Die verbleibenden drei Elemente knnen damit nur noch in einer 2 -Sylowgruppe
liegen, der Fall n
2
= 3 ist damit ausgeschlossen.
(c) Im Fall n
2
= 1 und n
3
= 1 sind die 2 - und 3 -Sylowgruppen Normalteiler von G. Nach
Aufgabe 6.5 gilt G = U V fr die einzige 2 -Sylowgruppe U und einzige 3 -Sylowgruppe
V von G. Da U und V abelsch sind, ist auch G abelsch. V ist als zyklische Gruppe bis
auf Isomorphie eindeutig bestimmt, es gilt V

= Z
3
; fr U gibt es bis auf Isomorphie zwei
Mglichkeiten: U

= Z
4
oder U

= Z
2
Z
2
. Fr G gibt es also die einzigen beiden Mglichkeiten:
G

= Z
2
Z
2
Z
3
oder G

= Z
4
Z
3
.
8.4 Lsung: Wegen 40 = 2
3
5 folgt mit den Stzen von Sylow:
n
2
= 1 +k 2 (k N
0
) , n
2
[ 5 n
2
1, 5
und
n
5
= 1 + k 5 (k N
0
) , n
5
[ 8 n
5
1 .
Wegen n
5
= 1 ist die 5 -Sylowgruppe ein nichttrivialer Normalteiler.
Wegen 56 = 2
3
7 folgt mit den Stzen von Sylow:
n
2
= 1 +k 2 (k N
0
) , n
2
[ 7 n
2
1, 7
und
n
7
= 1 + k 7 (k N
0
) , n
7
[ 8 n
7
1, 8 .
Da verschiedene 7 -Sylowgruppen nur das neutrale Element gemeinsam haben, gibt es im Fall
n
7
= 8 bereits 1 + 8 6 = 49 Elemente in den 7 -Sylowgruppen. Es folgt in diesem Fall also
n
2
= 1. Damit ist aber die 2 -Sylowgruppe ein nichttrivialer Normalteiler. Im Fall n
7
= 1 ist
die 7 -Sylowgruppe ein nichttrivialer Normalteiler.
8.5 Lsung: Es seien n
p
die Anzahl der p - und n
q
die der q -Sylowgruppen einer Gruppe
G der Ordnung p
2
q.
1. Fall: q < p. Aus n
p
[ q und n
p
1 (mod p) folgt n
p
= 1. Die Behauptung folgt daher mit
Satz 8.6 (a).
2. Fall: p < q. Dann gilt n
q
[ p
2
und n
q
1 (mod q), also n
q
= 1 (sodass mit Satz 8.6 (a) die
Behauptung folgt) oder n
q
= p
2
. Im letzten Fall hat G genau p
2
(q 1) = [G[ p
2
Elemente
der Ordnung q. Daher folgt n
p
= 1 und erneut die Behauptung.
26 8 Die Stze von Sylow
8.6 Lsung: (a) Die Untergruppen von S
3
sind aus Beispiel 3.7 auf Seite 39 bekannt.
Die p -Sylowgruppen von S
3
sind:
fr p = 2 :
__
1 2 3
2 1 3
__
,
__
1 2 3
3 2 1
__
,
__
1 2 3
1 3 2
__
,
fr p = 3 :
__
1 2 3
2 3 1
__
.
(b) Es gilt [S
4
[ = 4! = 2
3
3. Die Diedergruppe D (vgl. Aufgabe 3.11) ist eine Untergruppe
der Ordnung 8 von S
4
, also ist D eine 2 -Sylowgruppe von S
4
.
Es ist U :=
__
1 2 3 4
2 3 1 4
__
S
4
eine Untergruppe der Ordnung 3 von S
4
, also ist U eine
3 -Sylowgruppe von S
4
.
(c) Es ist [S
5
[ = 5! = 2
3
3 5. Fr die Anzahl n
2
der 2 -Sylowgruppen von S
5
gilt also: n
2
1
(mod 2) und n
2
[ 3 5 = 15, also n
2
1, 3, 5, 15. Angenommen, n
2
5. Dann bese S
5
hchstens 5 7 + 1 = 36 Elemente von 2 -Potenzordnung. Es gibt in S
5
allerdings:

54
2
= 10 Transpositionen (Vertauschungen a b zweier verschiedener Elemente a, b
1, 2, 3, 4, die anderen Elemente bleiben fest solche Transpositionen haben oenbar
die Ordnung 2),

1
2

54
2

32
2
= 15 Doppeltranspositionen (Vertauschungen a b, c d verschiedene-
ner Elemente a, b, c, d 1, 2, 3, 4 solche Doppeltranspositionen haben oenbar die
Ordnung 2),

5432
4
= 30 4-Zykel (Permutationen der Form a b c d a fr verschiedene
a, b, c, d aus 1, 2, 3, 4 solche haben oenbar die Ordnung 4),
also 55 + 1 = 56 Elemente von 2 -Potenzordnung, ein Widerspruch. Also ist n
2
= 15.
9 Symmetrische und alternierende
Gruppen
Lsungen
9.1 Lsung: (a) Es seien (r
1
, . . . , r
k
) der Typ und =
1

k
die kanonische Zyklenzer-
legung von mit (
i
) = r
i
, i = 1, . . . , k.
Aus
s
= Id folgt mit Lemma 9.1 (e), (f):

s
1

s
k
= Id und
s
i
[
T

i
=
s
[
T

i
,
also
s
i
= Id., d. h. mit Lemma 9.1 (a): r
i
[ s fr i = 1, . . . , k. Das liefert v := kgV(r
1
, . . . , r
k
) [
s.
Andererseits gilt nach Lemma 9.1 (a):
v
=
v
1

v
k
= Id.
Fazit: o() = kgV(r
1
, . . . , r
k
).
(b) : Das folgt aus Lemma 9.1 (d) und der Regel (
1

k
)
1
=
1

1

k

1
.
: Es seien (r
1
, . . . , r
k
) der Typ von , und =
1

k
, =
1

k
die kanonischen
Zyklenzerlegungen von , mit (
i
) = r
i
= (
i
), und
i
= (a
(i)
1
. . . a
(i)
r
i
),
i
= (b
(i)
1
. . . b
(i)
r
i
)
fr i = 1, . . . , k. Dann existiert S
n
mit (a
(i)
j
) = b
(i)
j
fr alle i, j. Mit Lemma 9.1 (d)
folgt:

1
=

i

i

1
=

i
(a
(i)
1
. . . a
(i)
r
i
)
1
=

i
(b
(i)
1
. . . b
(i)
r
i
) =

i
= .
(c) Nein: (1 2 3) A
3
und (1 3 2) A
3
sind nicht konjugiert in A
3
(A
3
ist abelsch).
9.2 Lsung: = (1 2 4 3) (5 9 6 7), = (1 2 3 7 9) (4 6 8) = (1 4 7 6 8 3 5 9 2),
1
=
(7 6 9 5) (3 4 2 1),
1
= (8 6 4) (9 7 3 2 1).
9.3 Lsung: Es sei n 5, G := S
n
, U := A
n
und V ein nichttrivialer Normalteiler von
S
n
. Wegen Satz 4.12 gilt A
n
V A
n
, d. h. nach Satz 9.11:
(i) A
n
V = A
n
oder (ii) A
n
V = e .
Im Fall (i) gilt V = A
n
. Im Fall (ii) folgt mit Satz 4.12:
G/V = A
n
V/V

= A
n
/A
n
V = A
n
/e

= A
n
,
also: [V [ = 2, etwa V = Id, . Dies impliziert:
()
1
= fr jedes S
n
.
Es existiert ein a mit b := (a) ,= a und S
n
mit (a) = a, (b) ,= b, sodass
b = (a)
()
=
1
(a) =
1
(a) =
1
(b) Widerspruch!
28 9 Symmetrische und alternierende Gruppen
9.4 Lsung: Wir drfen n voraussetzen. Fr den Trger T

eine -Zyklus S
n
gibt es
bekanntlich genau
_
n

_
Mglichkeiten. Nach Festlegung von T := T

und eines Startpunktes


a T gibt es 1 Mglichkieten fr (a), dann 2 Mglichkeiten fr ((a)), .... Folglich
existieren ( 1) ! -Zyklen mit Trger T, und damit insgesamt
_
n

_
( 1) ! -Zyklen in S
n
.
9.5 Lsung: (a) Wir knnen n 3 voraussetzen. Es sei
U := (i , i + 1) [ 1 i < n) S
n
.
Fr s, i I
n
:= 1, . . . , n mit 3 s n und 2 i < s gilt (i 1 , i) (i s) (i 1 , i)
1
=
(i 1 , s). Mit (s 1 , s) U beginnend, erhlt man durch wiederholte Anwendung dieser
Identitt: (j s) U fr alle j mit 1 j < s. Somit liegen alle Transpositionen in U, und die
Behauptung folgt mit Lemma 9.5.
(b) Es sei : (1 2 . . . n) und V = (1 2), ) S
n
.
Wegen (i i + 1)
1
= (i + 1 i + 2) fr 1 i n 2 (beachte Lemma 9.7) gilt (j j + 1) V
fr 1 j < n. Die Behauptung folgt daher mit (a).
9.6 Lsung: (a)
1
= (1 3) (2 4).
(b)
1
= (1 3 4).
(c)
1
= (1 3 5 3 4).
(d)
1
= (1 4 5 2 3).
9.7 Lsung: Nach dem Satz von Cayley ist jede endliche Gruppe G mit [G[ = n isomorph
zu einer Untergruppe von S
n
. Wir geben nun einen Monomorphismus von S
n
in die einfache
Gruppe A
2n
an:
Ist = (a
1
. . . a

) ein -Zyklus aus S


n
, so setze

:= (a
1
+n . . . a

+n). Es ist dann

A
2n
.
Fr S
n
sei =
1

k
die kanonische Zyklenzerlegung. Betrachte nun die Abbildung
:
_
S
n
A
2n

1

1

k

k
.
Die Abbildung ist ein Monomorphismus, da
i
,

j
jeweils elementfremd sind.
9.8 Lsung: (a) Es sei U S
n
, und es existiere ein U\A
n
. Insbesondere ist also
A
n
,= U A
n
. Wegen A
n
S
n
ist nach dem 2. Isomorphiesatz U A
n
eine Untergruppe von G.
Aus A
n
U A
n
, A
n
,= U A
n
und [S
n
: A
n
] = 2 folgt somit U A
n
= S
n
. Es sei N := U A
n
.
Aus dem 2. Isomorphiesatz folgt weiter: N U und [U : N] = [S
n
: A
n
] = 2.
(b) Nach dem Satz von Cayley gibt es einen injektiven Homomorphismus : G S
G
mit
()() = fr alle , G. Nummeriert man die Elemente von G von 1 bis 2 m durch, so
erhlt man einen Isomorphismus : S
G
S
2m
. Also ist := : G S
2m
ein injektiver
Homomorphismus. Insbesondere ist U := (G) S
2m
eine zu G isomorphe Untergruppe von
S
2m
. Wegen [G[ = 2 m existiert ein G mit o() = 2. Da xpunktfrei auf 1, 2, . . . , 2 m
operiert, ist ein Produkt von genau m elementfremden Transpositionen. Also ist sgn() =
(1)
m
= 1 und somit U\A
2m
. Nach Teil (a) existiert also ein N U mit [U : N] = 2.
Wegen G

= U, besitzt also auch G einen Normalteiler vom Index 2. Das war zu zeigen.
29
9.9 Lsung: Es sei ein Automorphismus von G := S
3
. Dann permutiert die 2 -Zyklen,
und ist durch diese Permutation eindeutig festgelegt (da die 2 -Zyklen die Gruppe G er-
zeugen). In anderen Worten: Aut(G) operiert treu auf der Menge der 2 -Zyklen. Also ist
[ Aut(G)[ 3! = 6. Es sei Inn(G) die Gruppe der inneren Automorphismen von G. Dann
gilt: Inn(G)

= G/Z(G) = G/Id

= G. Also [ Inn(G)[ = [G[ = 6, also Aut(G) = Inn(G). Also:
Aut(S
3
) =

[ S
3
,
d.h. die Automorphismen von S
3
sind genau die inneren Automorphismen von S
3
, und es gilt:
Aut(S
3
)

= S
3
.
9.10 Lsung: (a) Die Abbildng
:
_
_
_
G S
1
a
a
:
_
/ /
xU a xU
ist ein Homomorphismus und injektiv: Kern = G oder e
G
, weil G einfach ist. Im ersten
Fall folgte U = a U =
a
(U), d. h. a U fr jedes a G, im Widerspruch zu G ,= U. Daher
ist injektiv.
(b) Fr U A
n
mit Index d > 1 folgt aus (a):
1
2
n! = [A
n
[ d ! , also n d
(n > d n! (n 1) d !).
9.11 Lsung: (a) Es sei G eine einfache nicht-abelsche Gruppe mit [G[ 100. Wegen der
Aussagen in 7.7, 8.7 und Aufgabe 9.8 gilt
[G[ ist keine Primzahlpotenz.
[G[ ist nicht Produkt zweier Primzahlen.
[G[ , 2 (mod 4).
Es folgt
[G[ 12, 20, 24, 28, 36, 40, 44, 45, 48, 52, 56, 60, 63, 68, 72,
75, 76, 80, 84, 85, 92, 96, 99, 100 .
In der folgenden Tabelle sind H eine Gruppe mit einer dieser Ordnungen und d der grte
Primzahlpotenzteiler von [H[:
[H[ 12 20 24 28 36 40 44 45 48 52 56 60 63
d 4 5 8 7 9 8 11 9 16 13 8 5 9
_
|H|
d
_
! 6 24 6 24 24 120 24 120 6 24 7 ! 12 ! 7 !
[H[ 68 72 75 76 80 84 85 92 96 99 100
d 17 9 25 19 16 7 17 23 32 11 25
_
|H|
d
_
! 24 8 ! 6 24 120 12 ! 120 24 6 9 ! 24
30 9 Symmetrische und alternierende Gruppen
H besitzt nach 8.1 eine Untergruppe der Ordnung d also vom Index
|H|
d
. Wenn H einfach ist,
folgt mit Aufgabe 9.10:
[H[ [
_
[H[
d
_
! .
Es folgt
G 40, 56, 60, 63, 72, 84 .
(b) Es sei n
p
die Anzahl der p -Sylowgruppen von G. Wir nutzen die Aussagen in 8.1, 8.5 und
8.6 aus.
[G[ = 40 n
5
[ 8, n
5
1 (mod 5) n
5
= 1 Widerspruch!
[G[ = 56 n
7
[ 8, n
7
1 (mod 7) n
7
= 8, d. h. G hat 48 Elemente der Ordnung 7. Es
folgt n
2
= 1 Widerspruch!
[G[ = 63 n
7
[ 9, n
7
1 (mod 7) n
7
= 1 Widerspruch!
[G[ = 72 n
3
[ 8, n
3
1 (mod 3) n
3
= 4. Es folgt N
G
(P) hat Index 4 fr jede
3 -Sylowgruppe P von G Widerspruch zu Aufgabe 9.10: [G[ 4 !.
[G[ = 84 n
7
[ 12, n
7
1 (mod 7) n
7
= 1 Widerspruch!
(c) Es sei G einfach und von der Ordnung 60. Es gilt n
5
[ 12, n
5
1 (mod 5), also n
5
= 6:
(1) G hat 24 Elemente der Ordnung 5.
Es gilt n
2
[ 15, also n
2
3, 5, 15.
Im Fall n
2
= 3 folgte [G : N
G
(P
2
)] = 3 fr eine 2 -Sylowgruppe P
2
im Widerspruch zur
Aufgabe 9.10.
Es gelte n
2
= 15: Wre P Q = e
G
fr je zwei 2 -Sylowgrupen P, Q, so gbe es 46 Elemente
in den 2 -Sylowgruppen im Widerspruch zu (1). Somit existieren 2 -Sylowgruppen P, Q mit
einem Element z ,= e
G
in P Q. Wegen Lemma 7.8 gilt P, Q Z := Z
G
(z). Es folgt 4 [ [Z[,
[Z[ 6, [Z[ [ 60, also [Z[ 12, 20, 60.
Es ist [Z[ = 60 nicht mglich: Dann folgte z Z(G), also z) G.
Es ist [Z[ = 20 nicht mglich: Es wre [G : Z] = 3 entgegen Aufgabe 9.10.
Somit gilt [Z[ = 12, d. h. [G : Z] = 5.
Im Fall n
2
= 5 hat N
G
(P
2
) fr jede 2 -Sylowgruppe P
2
den Index 5 in G.
Somit existiert U G mit [G : U] = 5. Es folgt mit Aufgabe 9.10:
(2) G ist zu einer Untergruppe V von S
5
isomorph; und [S
5
: V ] = 2.
Fr jeden 3 -Zykel folgt ( V )
2
V , also
2
V , sodass =
2
V . Wegen Lemma 9.10
(a) gilt daher A
5
V , also G

= V = A
5
.
9.12 Lsung: (a) Es ist
:
_
G/ /
(g, a U) g a U := (g a) U
eine Operation von G auf /. Nach Lemma 7.1 ist
: g
g
:
_
/ /
a U g a U
ein Homomorphismus von G in S
1
. Aus Kern = G folgte U = g U, d. h. g U, fr jedes
g G, im Widerspruch zu U ,= G. Da G einfach ist, gilt also Kern = e, d. h. ist injektiv.
(b) folgt direkt mit (a).
31
Bemerkung. Fr jede Untergruppe mit einem Index d > 1 von A
n
, n 5, folgt also mit der
Aussage in 9.11:
1
2
n! [ d ! ,
d. h. d n.
10 Der Hauptsatz ber endliche
abelsche Gruppen
Lsungen
10.1 Lsung: Es gibt bis auf Isomorphie genau 4 abelsche Gruppen der Ordnung 36. Es
sind dies
Z
4
Z
9

= Z
36
,
Z
2
Z
2
Z
9

= Z
2
Z
18
,
Z
4
Z
3
Z
3

= Z
3
Z
12
,
Z
2
Z
2
Z
3
Z
3

= Z
6
Z
6
.
Dabei haben wir links die Zerlegung entsprechend der 1. Fassung und rechts die Zerlegung
entsprechend der 2. Fassung des Hauptsatzes angegeben.
10.2 Lsung: Nach dem Lemma 10.5 ist die Anzahl aller nichtisomorpher abelscher Grup-
pen der Ordnung 2
6
3
4
5
2
gleich der Anzahl der Partitionen von 6 mal der Anzahl der
Partitionen von 4 mal der Anzahl der Partitionen von 2. Wegen
6 = 5 + 1 = 4 + 2 = 4 + 1 + 1 = 3 + 3 = 3 + 2 + 1 = 3 + 1 + 1 + 1 =
2 + 2 + 2 = 2 + 2 + 1 + 1 = 2 + 1 + 1 + 1 + 1 = 1 + 1 + 1 + 1 + 1 + 1 + 1
und 4 = 3 +1 = 2 +2 = 2 +1 +1 = 1 +1 +1 +1 sowie 2 = 1 +1 ist die gesuchte Anzahl also
gleich 11 5 2 = 110.
10.3 Lsung: Wir bestimmen zunchst A = Aut(Z
40
). Nach Satz 5.15 und Lemma 6.9
gilt:
A = Aut(Z
40
)

= Z

40

= Z

8
Z

5
.
Da alle Elemente von Z

8
= 1, 3, 5, 7 eine Ordnung 2 haben, gilt Z

= Z
2
Z
2
. Wegen
Z

5
= 1, 2, 3, 4 = 2) ist Z

= Z
4
. Also A

= Z
2
Z
2
Z
4
.
Wir bestimmen nun noch A = Aut(Z
35
). Nach Satz 5.15 und Lemma 6.9:
A = Aut(Z
35
)

= Z

35

= Z

5
Z

7
.
Wegen Z

7
= 2)

= Z
6
gilt:
A

= Z
4
Z
6

= Z
4
Z
2
Z
3

= Z
2
Z
12
.
11 Ausbare Gruppen
Lsungen
11.1 Lsung: Es sei = (G
0
, . . . , G
r
) eine Kompositionsreihe. Da die Gruppe G abelsch
ist, sind auch alle Faktorgruppen von G abelsch, nach dem Lemma 9.9 gilt also fr alle i =
0, . . . , r 1
[G
i+1
/G
i
[ = p
i
fr eine Primzahl p
i
.
Es folgt [G[ = [G
r
: G
r1
] [G
1
: G
0
] N
0
.
11.2 Lsung: Die erste Reihe wird verfeinert zu
Z 5 Z 15 Z 60 Z 0
und die zweite zu
Z 3 Z 12 Z 60 Z 0 .
Die quivalenten Reihen haben die Faktoren:
Z
5
, Z
3
, Z
4
, Z und Z
3
, Z
4
, Z
5
, Z.
11.3 Lsung: Die zyklische Gruppe Z
nm
besitzt genau eine Untergruppe der Ordnung
n. Diese Untergruppe ist mZ/nmZ. Da mZ/nmZ

= Z
n
, schreibt man hug einfacher Z
n
anstelle mZ/nmZ. So erhlt man die viel einfachere Schreibweise Z
n
Z
nm
, wenngleich die
Menge Z
n
im Allgemeinen natrlich keine Teilmenge von Z
mn
ist. Im Folgenden werden wir
dennoch Gebrauch von dieser einfachen Schreibweise machen.
Wir erhalten die vier verschiedenen Kompositionsreihen fr Z
24
(0 , Z
3
, Z
6
, Z
12
, Z
24
) mit den Faktoren Z
3
, Z
2
, Z
2
, Z
2
,
(0 , Z
2
, Z
6
, Z
12
, Z
24
) mit den Faktoren Z
2
, Z
3
, Z
2
, Z
2
,
(0 , Z
2
, Z
4
, Z
12
, Z
24
) mit den Faktoren Z
2
, Z
2
, Z
3
, Z
2
,
(0 , Z
2
, Z
4
, Z
8
, Z
24
) mit den Faktoren Z
2
, Z
2
, Z
2
, Z
3
.
11.4 Lsung: Wir benutzen die Schreibweise aus der Lsung zur Aufgabe 11.3. Es ist
(0 , Z
p
, Z
p
2 , . . . , Z
p
k )
eine Kompositionsreihe mit den Faktoren Z
p
.
11.5 Lsung: In der Diedergruppe D
n
=
i

j
[ 0 i 1, 0 j n 1 gilt fr die
Kommutatoren im Fall i = 1:
(
r
) (
s
) (
r
)
1
(
s
)
1
=
2(sr)
,
34 11 Ausbare Gruppen
also D

n
= e in den Fllen n = 1 und n = 2. Und im Fall n 3 gilt D

n
=
2
), weiter dann
D

n
= e:
D
n

2
) e .
In jedem Fall aber ist D
n
ausbar.
11.6 Lsung: In Q = E, I, J, K gilt A
2
= E fr jedes A Q \ E, also
A
1
= A
3
= A fr jedes A Q \ E. Damit erhlt man mit K = I J = J I und
E Z(Q) die Gleichungen
[I, J] = I J I J = E ,
[I, K] = I K I K = E,
[K, J] = K J K J = E .
Es folgt Q

= E, und weiter gilt Q

= E. Folglich ist
Q E) E
die abgeleitete Reihe. Insbesondere ist Q ausbar. Das folgt aber auch schon aus der Tatsache,
dass Q eine 2 -Gruppe ist (beachte Lemma 11.16).
11.7 Lsung: Nach Aufgabe 8.5 enthlt G auf jeden Fall eine p -Sylowgruppe P mit [P[ = p
2
und [G/P[ = q oder eine q -Sylowgruppe Q mit [Q[ = q und [G/Q[ = p
2
. In jedem Fall sind
nach Lemma 11.16 sowohl die Sylowgruppe wie auch die Faktorgruppe ausbar, nach Satz
11.11 also auch G.
11.8 Lsung: Nach den Lemmata 11.16 und 11.17 und Aufgabe 11.7 sind nur die Gruppen
G mit [G[ 24 = 2
3
3, 30 = 2 3 5, 36 = 2
2
3
2
, 40 = 2
3
5, 42 = 2 3 7, 48 = 2
4
3, 54 =
2 3
3
, 56 = 2
3
7 zu untersuchen.
Nach Aufgabe 9.11 hat aber jede solche Gruppe eine p -Sylowgruppe als nichttrivialen Nor-
malteiler. Jede solche p -Sylowgruppe ist als p -Gruppe ausbar, und die Faktorgruppe ist
dann aufgrund der Lemmata 11.16 und 11.17 und Aufgabe 11.7 ausbar. Mit der Aussage in
11.11 ist dann auch G ausbar.
12 Grundbegrie der Ringtheorie
Lsungen
12.1 Lsung: (a) Es sei linksinvertierbar. Dann existiert ein R mit = Id.
Bekanntlich folgt hieraus, dass injektiv ist. Als Endomorphismus einen endlichdimensionalen
Vektorraums ist somit auch surjektiv, also bijektiv: ist rechtsinvertierbar und invertierbar.
Es sei rechtsinvertierbar. Dann existiert ein R mit = Id. Bekanntlich folgt hieraus,
dass surjektiv ist. Als Endomorphismus einen endlichdimensionalen Vektorraums ist somit
auch injektiv, also bijektiv: ist linksinvertierbar und invertierbar.
Bemerkung. Ist n die Dimension von V ber K, so gilt bekanntlich R

= K
nn
. Aufgrund
der bewiesenen Behauptung reicht es bei einer invertierbaren Matrix A stets aus, ein Links-
oder Rechtsinverses von A zu bestimmen, um das Inverse von A zu erhalten. Dies ist in
allgemeinen Ringen nicht so.
(b) Es sei ,= 0 ein Nichtnullteiler. Angenommen, ist nicht invertierbar. Nach (a) ist
nicht surjektiv. Es sei U ,= 0 das Komplement von (V ) in V , also V = (V ) U. Jedes
x V hat somit eine eindeutige Darstellung der Form x = v + u mit v (V ) und u U.
Die Projektion
:
_
(V ) U U
v +u u
erfllt: ,= 0, = 0, sodass ein Nullteiler ist.
12.2 Lsung: Es sei m Z
n
. Wir setzen d := ggT(m, n).
1. Fall d = 1: In diesem Fall existieren x, y Z mit xm +y n = 1.
Wegen y n = 0 gilt also:
mx = xm = xm+ y n = 1 ,
also m (Z/nZ)

.
2. Fall d > 1: In diesem Fall gilt:
m
_
n
d
_
=
_
m
d
_
n = 0,
also ist m ein Nullteiler.
12.3 Lsung: Es ist (1, 1) das Einselement von Z
4
Z
3
. Wegen 12 (1, 1) = (0, 0) und
k (1, 1) ,= (0, 0) fr alle natrlichen k 11 gilt Char Z
4
Z
3
= 12.
Analog gilt Char Z
22
6
= 6 und Char Z
22
3
= 3.
12.4 Lsung: Das folgt unmittelbar per Induktion aus Lemma 12.5.
36 12 Grundbegrie der Ringtheorie
12.5 Lsung: Es sei 0 ,= a R. Wir unterscheiden zwei Flle:
(i) Ra = R und (ii) Ra ,= R.
(i) Ra = R: Wir begrnden zuerst, dass R ein Einselement enthlt.
Wegen Ra = R existiert ein e R mit e a = a. Es folgt
(b e b) a = b e a b a = b a b a = 0
fr alle b R. Es folgt b e b = 0, d. h. b e = b fr alle b R, da R nullteilerfrei ist.
Somit ist e ein Einselement bzgl. der Multiplikation.
Wir zeigen nun, dass jedes a R \ 0 invertierbar ist. Es sei 0 ,= a R. Wegen Ra = R
existiert ein b R mit b a = e. Folglich ist a invertierbar.
Damit ist begrndet, dass R im Fall (i) ein Krper ist.
(ii) Ra ,= R: Es ist Ra R ein Teilring von R. Nach Voraussetzung enthlt Ra nur endlich
viele Elemente. Wegen der Nullteilerfreiheit ist die Abbildung R Ra, r r a injektiv. Es
folgt [R[ = [Ra[ und damit R = Ra im Widerspruch zur Voraussetzung. Damit kann dieser
Fall nicht eintreten: Es gilt Ra ,= R. Nach (i) ist R ein Krper.
12.6 Lsung: (a) Fr jedes a R gilt:
a + a = (a +a)
2
= a
2
+a
2
+a
2
+ a
2
= a +a +a + a ,
also a + a = 0.
(b) Es seien a, b R. Aus
a + b = (a +b)
2
= a
2
+b
2
+ ab + b a = a + b + ab + b a
folgt: a b = b a. Nach (a) gilt x = x fr alle x R. Somit gilt
a b = b a = b a .
(c) Es sei 0 ,= e R. Aus e
2
= e folgt
(b e b) e = 0
fr alle b R. Da R nullteilerfrei ist, gilt b e = b fr alle b R. Somit ist e Einselement in R.
Da jedes von Null verschiedene Element Einselement ist, ein solches aber eindeutig bestimmt
ist, ist e das einzige von Null verschiedene Element. Es folgt R = 0, e. Und als Ring ist
dieser isomorph zu Z
2
.
12.7 Lsung: Fr Aut Q gilt (0) = 0, (1) = 1, (1) = 1. Es folgt fr n N:
(n) = (1 + + 1
. .
n-mal
) = (1) + +(1)
. .
n-mal
= n, und hieraus folgt (n) = n.
Das zeigt (k) = k fr jedes k Z, sodass

_
z
n
_
=
(z)
(n)
=
z
n
fr alle z Z, n N.
37
Damit ist gezeigt: = Id, also [ Aut Q[ = 1.
(b) Es sei R. Zu x > 0 aus R existiert y R \ 0 mit x = y
2
, sodass (x) = (y
2
) =
(y)
2
> 0. Fr alle a, b R mit a < b, d. h. b a > 0 folgt
0 < (b a) = (b) (a) , also (a) < (b) .
Damit ist gezeigt, dass isoton ist.
Nach (a) gilt [
Q
= Id
Q
.
Angenommen, (x) ,= x fr ein x R.
1. Fall: x < (x). Dann existiert ein r Q mit x < r < (x), und folglich gilt (x) < (r) =
r < (x) ein Widerspruch.
2. Fall: (x) < x. Dann existiert ein s Q mit (x) < s < x, und folglich gilt (x) < s =
(s) < (x) ein Widerspruch.
Damit gilt (x) = x fr alle x R, d. h. = Id, d. h. [ Aut R[ = 1.
12.8 Lsung: (a) Da mit x, y H auch x y und xy in H liegen, ist H ein Teilring
von C
22
. Die Einheitsmatrix E
2
ist das Einselement. (Man kann direkt nachweisen, dass
jedes von Null verschiedene Element in H ein Inverses hat, H also ein Schiefkrper ist. Dieser
Nachweis ist aber mit (f) deutlich einfacher zu fhren.)
(b) ist klar.
(c) Fr a, b C gilt
a + b j = (a) + (b) j =
_
a b
b a
_
,
sodass H = C+C j. Und C = R +R i.
(d) Aus A =
_
a b
b a
_
Z(H) folgt
A j = j A
_
b a
a b
_
=
_
b a
a b
_
.
Es folgt a, b R, und weiter folgt
A(i) = (i) A
_
a i b i
b i a i
_
=
_
a i b i
b i a i
_
.
Dies liefert b = 0, also A = (a) R.
Andererseits gilt (a) = a
_
1 0
0 1
_
fr a R, sodass (a) M = M(a) fr jedes M H, also
R Z(H).
(e) Wegen (a) ist x x additiv, und es gilt oenbar
(i) x = x fr Z, x H.
38 12 Grundbegrie der Ringtheorie
Man rechnet nach (mit k := i j):
i
2
= 1 = j
2
, i j = j i k
2
= i j i j = 1 ,
i k = i i j = i j i = k i , j k = j i j = i j j = k j .
Damit erhalten wir
(ii) x, y i, j, k , x ,= y x
2
= 1 , xy = y x, x = x.
Ferner gilt xx = 1 = xx, x y = (xy) = y x = y x:
(iii) x, y i, j, k xy = y x.
Fr c
0
:= 1, c
1
:= i, c
2
:= j, c
3
:= k und x =

3
i=0

i
c
i
, y =

3
i=0

i
c
i
mit
i
,
i
R folgt
xy =
3

i,j=0

i

j
c
i
c
j
=
3

i,j=0

i

j
c
j
c
i
=
_
3

j=0

j
c
j
_ _
3

i=0

i
c
i
_
= y x.
(f) Man rechnet nach:
N(x) = N
_

0
+
3

i=1

i
c
i
_
=
_

0
+
3

i=1

i
c
i
_ _

0

3

i=1

i
c
i
_
=
2
0
+
0
_
3

i=1

i
c
i

i=1

i
c
i
_

i=1

2
i

1i<j3

i

i
(c
i
c
j
+ c
j
c
i
)
=
3

i=0

2
i
.
Es folgt hieraus fr alle x, y H:
N(xy) = (xy) (xy) = xy y x = xN(y) x = xx N(y) = N(x) N(y)
und
x
2
+N(x) = x(x +x) = xS(x) ;
und S(x) R nach Denition von x.
(g) Es sei 0 ,= x H. Dann gilt
xx = N(x) > 0 x
_
xN(x)
1
_
= 1 ,
d. h. x ist invertierbar, und x
1
= N(x)
1
x.
(h) Es sind i, j, k drei verschiedene Lsungen der Gleichung X
2
+ 1 = 0, weiter liefert jeder
Punkt der Einheitssphre im R
3
, d. h. (
1
,
2
,
3
) R
3
mit

2
1
+
2
2
+
2
3
= 1
eine Lsung x =
1
i +
2
j +
3
k.
39
12.9 Lsung: Wegen der Regeln
z
n

=
z n

n
nn

,
z
n
z

=
z z

nn

ist R
A
fr jede Menge A 1 von Primzahlen ein Teilring von Q.
Nun seien A, B 1 verschieden, o. E. B A, und p B\A. Dann gilt
1
p
R
B
. Aus
1
p
R
A
folgt
1
p
=
z
n
mit z Z, n N, wobei n nur Primteiler aus A besitzt. Aus p z = n folgt aber
p [ n ein Widerspruch.
Fr die Kardinalzahl der Menge aller Teilringe von Q gilt daher [P(1)[ = c := [R[
(wobei P(1) die Potenzmenge der Menge aller Primzahlen bezeichne). Wegen [Q[ = [N[ hat
man andererseits [P(Q)[ = [P(N)[ = c.
Somit gilt = c = [R[.
Bemerkung. Fr A, B 1, A ,= B gilt sogar R
A
,

= R
B
: Fr einen Isomorphismus :
R
B
R
A
folgte (1) = 1 und daher (p) = p fr jedes p B, also
1 =
_
p
1
p
_
= (p)
_
1
p
_
= p
_
1
p
_
,
somit R
A
(
1
p
) =
1
p
.
12.10 Lsung: (a) Fr a, b, c, d K gilt
_
a s b
b a
_

_
c s d
d c
_
=
_
a c s (b d)
b d a c
_
K
s
und
_
a s b
b a
_ _
c s d
d c
_
=
_
ac +s b d s (b c +a d)
b c +a d a c + s b d
_
K
s
.
Daher ist K
s
ein Teilring von K
22
; und (K
s
, ) ist abelsch.
Genau dann ist jedes von der Nullmatrix verschiedene Element A =
_
a s b
b a
_
aus K
s
in
K
22
invertierbar, wenn det A = a
2
s b
2
,= 0 fr alle (a, b) ,= (0, 0) aus K
2
, d. h. wenn s
kein Quadrat in K ist. In diesem Fall gilt
_
a s b
b a
_
1
= (a
2
s b
2
)
1
_
a s b
b a
_
K
s
fr jedes (a, b) ,= (0, 0) aus K
2
.
Fazit: Genau dann ist K
s
ein Krper, wenn s kein Quadrat in K ist.
(b) Der Fall K = R. Wegen (a) ist R
1
ein Krper. Es ist
_
a b
b a
_
a + i b (a, b R)
ein Isomorphismus von R
1
auf C.
(c) Wegen (a)
2
= a
2
besitzt K := Z
p
fr jede Primzahl p ,= 2 ein Nichtquadrat s. Nach (a)
ist K
s
ein Krper mit p
2
Elementen.
40 12 Grundbegrie der Ringtheorie
12.11 Lsung: (a) Oensichtlich gilt a b Z[

d] bzw. Q[

d] fr alle a, b Z[

d]
bzw. Q[

d]. Wir begrnden die Abgeschlossenheit bzgl. der komplexen Multiplikation:


Fr alle x, y, x

, y

Z (bzw. in Q) gilt:
(x +y

d) (x

+ y

d) = (x x

+d y y

) + (xy

+ x

y)

d Z[

d] (bzw. Q[

d]).
Somit sind Z[

d] und Q[

d] Teilringe von C.
(b) Da d quadratfrei ist, sind 1,

d linear unabhngig ber Q. Also lsst sich jedes Element


von Q[

d] in eindeutiger Weise in der Form x + y

d mit x, y Q schreiben. Somit ist


die Abbildung z z wohldeniert. Oensichtlich ist die Abbildung sogar ein selbstinverser
Homomorphismus der additiven Gruppe Z[

d] Z[

d] (bzw. Q[

d] Q[

d]). Fr alle
x, x

, y, y

Q gilt ferner:
(x + y

d) (x

+y

d) = (xx

+ d y y

) (x y

+x

y)

d = (x + y

d) (x

+y

d) .
Also ist die Abbildung z z ein Ringautomorphismus.
(c) Sei z = x+y

d Q[

d]. Dann ist N(z) = z z = x


2
d y
2
Q (bzw. Z, falls z Z[

d]).
Also ist N eine Abbildung von Q[

d] in Q. Fr alle z = x + y

d, z

= x

+ y

d Q[

d]
gilt ferner: N(z z

) = (x x

+d y y

)
2
d (xy

+x

y)
2
= (x
2
d y
2
) (x
2
d y
2
) = N(z) N(z

).
Wir zeigen nun noch die Aussage ber die Einheiten. Es sei z Z[

d]

. Dann existiert ein


z

Z[

d] mit z z

= 1. Es gilt weiter: N(z) N(z

) = N(z z

) = N(1) = 1. Da N(z), N(z

)
ganzzahlig sind, folgt N(z) = 1. Es sei umgekehrt z Z[

d] mit N(z) = 1. Dann gilt


z z = N(z) = 1, also z Z[

d]

.
(d) Wir zeigen zunchst, dass Q[

d] ein Krper ist. Nach Teil (a) gengt es zu zeigen, dass


1
z
Q[

d] ist fr alle z Q[

d] \ 0. Es sei also z = x +y

d Q[

d] \ 0. Dann gilt:
1
z
=
z
N(z)
=
z
x
2
dy
2
Q[

d].
Also ist Q[

d] ein Krper. Wegen


1
2
, Z[

d] ist Z[

d] kein Krper.
(e) Sei z = x + y

d Z[

d] und d < 0. Nach Teil (c) ist z genau dann eine Einheit, wenn
N(z) = x
2
+[d[ y
2
= 1 ist.
1. Fall d < 1: Es folgt y = 0 und x = 1. Also: Z[

d]

= 1, 1.
2. Fall d = 1: Es folgt (x, y) (0, 1), (1, 0), also Z[

d]

= 1, 1, i, i.
(f) Es sei E = Z[

5]

.
Wegen N(2+

5) = 4 1 5 = 1 und N(1) = 1 liegen 1, 2+

5 in E. Da E eine Gruppe
ist, folgt (2 +

5)
k
E fr alle k Z.
Nun sei a E, und := 2 +

5. Zum Nachweis von a


k
[ k Z drfen wir wegen
a, a
1
E oenbar a 1 annehmen. Wegen > 1 existiert ein m N
0
mit
m
a <

m+1
. Es folgt 1 a
m
< , und b := a
m
E.
Wir zeigen a
m
= 1, d. h. a =
m
(womit der Beweis erbracht wre).
Annahme: 1 < b = x +y

5 mit x, y Z.
Dann gilt (i) 1 < x + y

5 < 2 +

5. Wegen b b = N(b) = 1 (beachte (d)) gilt [b[ < 1, d. h.


(ii) 1 < x y

5 < 1.
41
Addition von (i) nund (ii) liefert 0 < 2 x < 3 +

5 < 6, d. h. x 1, 2.
1. Fall: x = 1. Es folgt mit (i): y = 1. Also gilt N(b) = 4 ein Widerspruch zu (d).
2. Fall: x = 2. Es folgt mit (i): y = 0. Also gilt N(b) = 4 ein Widerspruch zu (d).
12.12 Lsung:
+ 0 1 a b 0 1 a b
0 0 1 a b 0 0 0 0 0
1 1 0 b a 1 0 1 a b
a a b 0 1 a 0 a b 1
b b a 1 0 b 0 b 1 a
Die Tafel fr die Multiplikation: a b K \ 0. Aus a b = a folgte b = 1 (kann also nicht
sein). Aus a b = b folgte a = 1 (kann also auch nicht sein): Es muss also a b = 1 gelten.
Damit kann aber nicht a a = 1 gelten (das Inverse zu a ist ja eindeutig bestimmt), und weil
aus a a = a die Gleichung a = 1 folgte, muss a a = b gelten. Weiter muss auch b a = 1
gelten. Es bleibt noch b b zu bestimmen. Das ist nun aber klar: b b = 1 und b b = b sind
ausgeschlossen, es muss also b b = a gelten.
Bei der Addition beachte man: 1 + a 0, b und 1 +b 0, a (man kann ja krzen).
Annahme: 1 +a = 0. Dann muss 1 +b = a gelten (Eindeutigkeit von Inversen). Es folgt dann:
b = a a = a (1 + b) = a +a b = a + 1.
Und das ist ein Widerspruch.
Damit ist gezeigt: 1 + a = b. Ebenso gilt (vertausche die Rollen von a und b) 1 + b = a.
Es folgt weiter: 1 + 1 = 0 (ein Inverses zu 1 muss es ja geben), und damit gilt auch a + a =
a (1 + 1) = 0 = b (1 + 1) = b + b.
Bemerkung. Damit ist gezeigt, dass es nur einen (Schief-)Krper mit 4 Elementen geben
kann, und dieser ist zwangslug kommutativ, also ein Krper. Nach einem berhmten Satz
von Wedderburn ist jeder endliche Schiefkrper kommutativ, also ein Krper.
13 Polynomringe
Lsungen
13.1 Lsung: Es ist klar, dass R[[X]] ein kommutativer Erweiterungsring mit 1 von R[X]
ist, es gilt etwa
1 :
_
_
_
N
0
R
n
_
1 , falls n = 0
0 , falls n ,= 0
.
(a) Ist R[[X]] ein Integrittsbereich, so auch R R[[X]] (nach Identikation).
Es sei R ein Integrittsbereich. Es seien P =

i=m
a
i
X
i
, Q =

j=n
b
j
X
j
R[[X] mit a
m
, b
n
,=
0. Dann ist
P Q a
m
b
n
X
m+n
+ R[[X]] X
m+n+1
.
Da R Integrittsbereich ist, ist a
m
b
n
,= 0, also P Q ,= 0. Also ist R[[X]] nullteilerfrei.
(b) Wir zeigen R[[X]]

i=0
a
i
X
i
[ a
0
R

:
: Es sei P =

i=m
a
i
X
i
R[[X]]

, a
m
,= 0. Dann gibt es ein Q =

j=n
b
j
X
j
R[[X]],
b
n
,= 0 mit P Q = 1. Wie in (a) gezeigt, gilt dann:
1 = P Q a
m
b
n
X
m+n
+ R[[X]] X
m+n+1
,
also m = n = 0, a
0
b
0
= 1, also a
0
R

.
: Es sei P =

i=0
a
i
X
i
, a
0
R

. Wir denieren Q =

j=0
b
j
X
j
R[[X]] rekursiv durch:
b
0
:= a
1
0
und
b
j
:= a
1
0
(a
j
b
0
+a
j1
b
1
+ +a
1
b
j1
)
fr j > 0. Dann gilt P Q = QP = 1, also P R[[X]]

.
(c) Aus der Formel in (b) folgt
(1 X)
1
=

iN
0
X
i
und
(1 X
2
)
1
=

iN
0
X
2i
.
43
13.2 Lsung: Division mit Rest liefert:
(a) 2 X
4
3 X
3
4 X
2
5 X + 6 = (2 X
2
+ 3 X + 3) (X
2
3 X + 1) + (X + 3).
(b) X
4
2 X
3
+ 4 X
2
6 X + 8 = (X
3
X
2
+ 3 X 3) (X 1) + 5.
13.3 Lsung: Fr a :=

2 +
3

2 gilt (a

2)
3
= 2, d. h.:
a
2
3

2 a
2
+ 3 2 a 2

2 = 2 (a
3
+ 6 a 2)
2
= 2 (3 a
2
+ 2)
2
a
6
+ 36 a
2
+ 4 + 12a
4
4 a
3
24 a = 18 a
4
+ 24 a
2
+ 8
a
6
6 a
4
4 a
3
+ 12 a
2
24 a 4 = 0 .
Also ist

2 +
3

2 Nullstelle des Polynoms X


6
6 X
4
4 X
3
+ 12 X
2
24 X 4 Z[X].
13.4 Lsung: (a) Nach Satz 13.3 existiert genau ein Endomorphismus von R[X] mit
[
R
= Id
R
und (X) = a X + b. Es gilt
X = a
1
((X) b) = (a
1
X a
1
b) .
Wegen Satz 13.3 gibt es einen Endomorphismus von R[X] mit
(X) = a
1
X a
1
b , [
R
= Id
R
.
Es folgt
[
R
= Id
R
= [
R
und (X) = X
sowie
(X) = (a X + b) = a (a
1
X a
1
b) +b = X .
Aufgrund der Eindeutigkeitsaussage in Satz 13.3 gilt
= Id
R[X]
= ,
sodass Aut R[X].
Alternative: Wegen (a
1
X a
1
b) = X ist surjektiv: (

a
i
(a
1
X a
1
b)
i
) =

a
i
X
i
; und ist injektiv: 0 = (

n
i=0
a
i
X
i
) mit a
n
,= 0, d. h.

n
i=0
a
i
(a X + b)
i
= 0
liefert a
n
a
n
= 0, somit a
n
= 0.
(b) Es sei Aut R[X] und (X) =: Y . Es existiert A =

n
i=0
a
i
X
i
R[X] mit
() X = (A) =
n

i=0
a
i
Y
i
.
Wegen deg Y
i
= i deg Y (vgl. Lemma 13.4 (a)) folgt deg Y = 1, also Y = a X+b mit a, b R,
a ,= 0, und a
i
= 0 fr i 2 in (), d. h. X = a
0
+a
1
(a X +b). Dies hat a
1
a = 1, also a R

zur Folge.
(c) Fr Aut Z[X] und Aut Q[X] gilt (1) = 1 und damit (n) = (1 + + 1) = n,
(n) = (n) = n fr n N sowie im zweiten Fall (
z
n
) =
(z)
(n)
=
z
n
fr z Z, n N.
Das begrndet [
Z
= Id
Z
bzw. [
Q
= Id
Q
. Mit (a), (b) folgt
Aut Z[X] =
Y
[ Y = X + z , z Z ,
Aut Q[X] =
Y
[ Y = a X + b , a, b Q, a ,= 0 ,
wobei

Y
:
n

i=0
a
i
X
i

i=0
a
i
Y
i
.
44 13 Polynomringe
13.5 Lsung: Wegen 54 = 2 3
3
ist Z

54

= Z

2
Z

27

= Z

27
nach Korollar 13.12 zyklisch.
Ein erzeugendes Element haben wir bereits in der Lsung zur Aufgabe 5.3 angegeben: Z

54
=
5); es gilt [Z

54
[ = 18.
13.6 Lsung: (a)

2 und

5 sind ber Q algebraisch abhngig: Es ist 0 ,= P := X
2
1

2
5
X
2
2
Q[X
1
, X
2
] ein Polynom mit P(

2,

5) = 0.
(b) X
2
und X sind ber R algebraisch abhngig: Es ist 0 ,= P = X
1
X
2
2
R[X
1
, X
2
] ein
Polynom mit P(X
2
, X) = 0.
13.7 Lsung: Nach Satz 13.5 (mit R

= R[X]) ist
P
ein Ringendomorphismus. Es sei
P =
n

i=0
a
i
X
i
, deg P = n.
: Es sei
P
surjektiv. Dann existiert Q =
k

i=0
b
i
X
i
mit deg Q = k in R[X], sodass
k

i=0
b
i
X
i
= Q(P) = X .
Wegen deg P
i
= i n folgt n = 1 = k, d. h.
P = a
0
+a
1
X , Q = b
0
+b
1
X , Q(P) = b
0
+b
1
(a
0
+ a
1
X) = X .
Es folgt b
1
a
1
= 1, also a
1
R

, und b
1
= a
1
1
, sowie b
0
+ b
1
a
0
= 0, d. h. b
0
= a
0
a
1
1
,
d. h. Q = a
1
1
a
0
+a
1
1
X.
: Es gelte P = a
0
+ a
1
X mit a
1
R

. Fr Q := a
1
1
a
0
+a
1
1
X folgt
() Q(P) = X und () P(Q) = X .
Behauptung:
P

Q
= Id
R[X]
=
Q

P
(womit die Bijektivitt von
P
bewiesen ist).
Begrndung: Oenbar gilt
P

Q
[
R
= Id
R
=
Q

P
[
R
. Wegen (), () folgt die Behauptung
mit Satz 13.3.
14 Ideale
Lsungen
14.1 Lsung: (a) Es gilt A = (1) = Z.
(b) Es gilt A = (1) = Z
18
.
14.2 Lsung: Ist B ein Ideal, das A enthlt, dann enthlt es mit a A per Denition
eines Ideals auch alle Vielfachen na mit n Z und r a, a s, r as mit r, s R; dann auch alle
endlichen Summen von solchen Elementen. Andererseits ist aber die Menge
S =
_

endl.
r
i
a
i
s
i
+

endl.
r

i
a

i
+

endl.
a

i
s

i
+

endl.
n
i
a

i
[
r
i
, s
i
, r

i
, s

i
R, a
i
, a

i
, a

i
, a

i
A, n
i
Z
ein Ideal in R, denn die Dierenz zweier Elemente aus S ist wieder eine Summe der angege-
benen Art, und oensichtlich ist S auch invariant unter Links- und Rechtsmultiplikationen.
Damit ist S das kleinste Ideal, das A enthlt, d. h. (A) = S.
(a) Hat R ein Einselement, dann kann man r a = r a 1, a r = 1 ar und fr n Z ebenfalls
na = n(1 a) = (n1) a1 setzen. Wir sehen, dass die Summen aus (A) = S sich alle in der Form

endl.
r
i
a
i
s
i
, a
i
A, r
i
, s
i
R schreiben lassen.
(b) Ist R kommutativ, dann sind wegen r a s = (r s) a und a r = r a die Summen aus S alle
von der Form

i
r
i
a
i
+

i
n
i
a

i
.
14.3 Lsung: Wir beachten:
()
a
s
M mit a R, s S
a
s
=
p
t
mit p R, t S
at = p s P a P .
(a) a, b S a b , P (da P Primideal ist), d. h. ab S.
(b) Zu beliebigen
a
s
R

S
mit a R, s S existieren b R, t S mit
1
1
=
a
s
b
t
=
ab
st
, d. h. ab = s t S ,
sodass a , P. Das zeigt
a
s
, M.
Fr jedes
a
s
R
S
\ M, d. h. a , P, gilt
s
a
R
S
und
a
s
s
a
=
as
sa
=
1
1
,
46 14 Ideale
sodass
a
s
R

S
.
(c) Fr
p
s
,
p

M und
a
t
R
S
mit p, p

P, a R, s, s

S gilt
p
s

=
ps

sp

ss

M und
a
t
p
s
=
ap
ts
M ,
weil p s s p

P und a p P. Somit ist M ein Ideal in R


S
.
Ein Ideal A ,= R
S
von R
S
enthlt nach Lemma 14.4 keine Einheit. Mit (b) folgt A M.
(d) Die Abbildung
:
_
Z R
S
/M
z
z
1
+ M
ist oenbar ein Ringhomomorphismus mit Kern p Z (
z
1
+ M = M
()
z P). Wegen Satz
14.12 ist zu zeigen, dass surjektiv ist.
Zu zeigen ist hierzu: Zu
a
s
R
S
, d. h. a R, s S, existiert z Z mit
a
s
+M =
z
1
+M , d. h.
a zs
s
=
a
s

z
1
M ,
d. h. wegen (): a z s P = p Z. Wegen s , P, d. h. p s gilt ggT(s, p) = 1. Nach Satz 5.4
existieren x, y Z mit xs + y p = 1, sodass
a (a x) s = (a y) p P .
14.4 Lsung: (a) Zu x, y

A existieren r, s N mit x
r
, y
s
A. Es folgt
(x + y)
r+s
=
r+s

i=0
_
r + s
i
_
x
i
y
r+si
A,
also x +y

A, denn
i r : x
i
y
r+si
= x
r
(x
ir
y
r+si
) A,
i r : r + s i s x
i
y
r+si
= (x
i
y
r+sis
) y
s
A.
Und (xz)
r
= x
r
z
r
A, d. h. xz

A fr jedes z R; speziell x = (1) x

A.
(b) x +A ,= A nipotent x , A und x
n
+A = (x +A)
n
= A, d. h. x
n
A fr ein n N
x

A\ A.
(c) A Primideal R/A nullteilerfrei a
n
,= 0 fr beliebige a ,= 0, n N.
(d) Fr x Z existiert genau dann k N mit x
k
nZ, d. h. n [ x
k
, wenn jeder Primteiler
von n ein Teiler von x ist. Wenn p
1
, . . . , p
r
die verschiedenen Primteiler von n sind, gilt somit
_
(0) = x + nZ[ p
1
p
r
[ x.
Beispiel:
_
(0) = 0, 10 in Z
20
.
47
14.5 Lsung: Es ist (X, ) eine geordnete Menge, und X ,= , weil A X.
(a) Es sei K ,= eine Kette in X. Dann ist A :=

CK
C ein Ideal von R: Zu x, y A existieren
C, C

K mit x X, y C

und o. E. C C

, sodass xr C A fr jedes r R und


x y C

A.
Wegen C H = fr jedes C K gilt A H = , d. h. A X; und A ist obere Schranke von
K in (X, ). Somit ist (X, ) induktiv geordnet und besitzt nach dem Lemma von Zorn ein
maximales Element.
(b) Es sei M X maximal in (X, ), und es gelte a b M, aber a , M, b , M. Dann gilt
M (a)+M, M (b)+M, also wegen der Maximalitt von M notwendig ((a)+M)H ,= ,
((b) +M) H ,= , etwa h = r a +m H, h

= r

b +m

H mit r, r

R und m, m

M.
Es folgt
H h h

= (r a +m) (r

b + m

) = r r

a + r am

+r

b m+mm

M
im Widerspruch zu H M = .
14.6 Lsung: Es sei M ein maximales Ideal von R. Fr a, b R gelte a b M. Es sei o. E.
a , M. Dann gilt wegen der Maximalitt von M (beachte Lemma 14.8 (a)):
(a) +M = Ra + M = R.
Es existiert also ein r R und m M mit
1 = r a + m, also b = r ab + mb .
Wegen r ab M und mb M gilt b M.
Folglich ist M ein Primideal.
14.7 Lsung: Es sei R/M ein Krper und A ein Ideal, das M enthlt. Dann gilt A/M ein
Ideal des Krpers R/M, also A/M = (0) oder A/M = R/M, d. h. A = M oder A = R. Es gilt
auch M ,= R, da R/M als Krper wenigstens zwei Elemente enthlt.
Es sei umgekehrt M maximal, und x x sei der kanonische Epimorphismus von R auf
R := R/M. Es ist zu zeigen, dass jedes Element a ,= 0 aus R invertierbar ist. Es sei a ,= 0,
d. h. a , M. Es folgt (a) +M = R wegen der Maximalitt von M. Folglich existieren m M
und r R mit
1 = r a + m.
Unter dem kanonischen Epimorphismus wird hieraus 1 = r a. Folglich ist a in R invertierbar.
14.8 Lsung: Falls R\R

ein Ideal ist, so ist dieses wegen Lemma 14.4 das einzige maximale
Ideal von R, also R ein lokaler Ring.
Es sei R ein lokaler Ring mit einzigem maximalen Ideal M. Fr jede Nichteinheit a R ist
(a) = Ra ein von R verschiedenes Ideal. Also gilt (a) M nach Satz 14.19. Wegen a (a)
gilt a M, d. h. R \ R

M. Da natrlich M R \ R

gilt, folgt die Behauptung.


14.9 Lsung: Oensichtlich sind die Ideale von Z/nZ genau die Untergruppen von
(Z/nZ, +). Die Gruppe (Z/nZ, +) ist zyklisch von Ordnung n, hat also zu jedem Teiler t
von n genau eine Untergruppe vom Index t, nmlich t). Die maximalen Untergruppen sind
die von Primzahlindex. Es seien p
1
, . . . , p
r
die Primteiler von n. Somit sind die maximalen
Ideale von Z/nZ genau die Gruppen:
p
i
) = (p
i
) , i = 1, 2, . . . , r .
48 14 Ideale
14.10 Lsung: Zu jedem a N existiert ein n N mit a
n
= 0 P fr jedes Primideal P.
Es folgt a P.
Fr jedes a , N gilt 0 , H := a, a
2
, a
3
, . . ., und H ist Unterhalbgruppe von (R, ). Nach
Aufgabe 14.5 existiert ein Primideal P von R mit P H = , also a , P, folglich a , D.
14.11 Lsung: (a) Es gilt:
(2, 1 +

5) (2, 1

5) = [(2) + (1 +

5)] [(2) + (1

5)] =
(2) (2) + (2) (1 +

5) + (2) (1

5) + (1 +

5) (1

5) =
(4) + (6) + (2 (1 +

5)) + (2 (1

5)) = (2) .
Zur Begrndung des letzten Gleichheitszeichens beachte man, dass die Inklusion oensicht-
lich ist und die Inklusion wegen 2 = 6 4 gilt.
(b) Es gilt:
(2, 1

5) (3, 1

5)
= (6) + ((1

5)
2
) + (2 (1

5)) + (3 (1

5))
= ((1 +

5) (1

5)) + ((1

5)
2
) + (2 (1

5)) + (3 (1

5))
= (1

5) .
Zur Begrndung des letzten Gleichheitszeichens beachte man, dass die Inklusion oensicht-
lich ist und die Inklusion wegen 1

5 = 3 (1

5) 2 (1

5) gilt.
14.12 Lsung: Wegen
a A
1
A
n
a A
i
fr alle i = 1, . . . , n
ist wohldeniert und injektiv; und ist oensichtlich ein Homomorphismus. Fr den Beweis
der Surjektivitt bentigen wir:
() R = A
j
+

i=j
A
i
fr j = 1, . . . , n.
Denn: Wegen der paarweisen Teilerfremdheit existieren a
i
A
j
und b
i
A
i
fr i = 1, . . . , n,
i ,= j mit
1 = a
i
+ b
i
, folglich gilt 1 = (a
1
+ b
1
) (a
n
+ b
n
) .
Daher folgt () mit Lemma 14.4.
Nun seien b
1
, . . . , b
n
R vorgegeben. Zu jedem j existieren wegen () Elemente a
j
A
j
und
x
j

i=j
A
j
mit a
j
+ x
j
= b
j
.
Fr a = x
1
+ + x
n
und jedes i folgt
a b
i
=
_
_

j=i
x
j
_
_
+ (x
i
b
i
) =
_
_

j=i
x
j
_
_
a
i
A
i
A
i
= A
i
,
also a + A
i
= b
i
+A
i
. Folglich ist surjektiv.
15 Teilbarkeit in
Integrittsbereichen
Lsungen
15.1 Lsung: Die Behauptung folgt aus Lemma 15.5 (a) und (b).
15.2 Lsung: Es ist a
2
= a quivalent mit a = 0 oder a = 1. Bezeichnet [a]

die quiva-
lenzklasse von a bzgl. , so gilt also [0]

= 0 und [1]

= R

.
15.3 Lsung: Division von P := X
5
10 X + 12 durch Q := X
2
+ 2X mit Rest liefert:
P = Q(X
3
2 X
2
+ 4 X 8) + (6 X + 12) .
Es folgt:
Q [ P 6 = 0 n 2, 3, 6 .
15.4 Lsung: Es ist X
2
2 eine Nichteinheit ungleich 0. Aus Gradgrnden ist hchstens
eine Zerlegung der Art
X
2
2 = a (b X
2
+ c X + d) oder X
2
2 = (a X + b) (c X + d)
mglich. Im ersten Fall folgte a b = 1, woraus a Z[X]

= Z

folgte.
Im zweiten Fall erhalten wir durch Koezientenvergleich:
a c = 1 , b d = 2 , a d +b c = 0 .
Hieraus folgt a = c = 1, b = 1, d = 2 oder b = 1, d = 2. Aber damit ist die Gleichung
a d + b c = 0 nicht erfllbar. Also ist X
2
2 irreduzibel.
15.5 Lsung: Aus Gradgrnden und da Z
p
[X]

= Z
p
\ 0 gilt, ist eine echte Zerlegung
jeweils durch eine Nullstelle gegeben.
(a) Da das Polynom X
2
+X + 1 keine Nullstelle in Z
2
hat, ist es irreduzibel.
(b) Da das Polynom X
2
+ 1 keine Nullstelle in Z
7
hat, ist es irreduzibel.
(c) Da 4
3
9 = 55 = 5 11 gilt, ist 4 eine Nullstelle des Polynoms X
3
9. Damit ist X
3
9
ber Z
11
reduzibel, es gilt
X
3
9 = (X 4) (X
2
+ 4 X + 5) .
16 Faktorielle Ringe
Lsungen
16.1 Lsung: (a) Das Einselement des Ringes G ist die Funktion f : C C, f(z) = 1
fr alle z C. G ist natrlich kommutativ. Wir begrnden die Nullteilerfreiheit von G: Es
sei f ,= 0. Dann existiert ein a C mit f(a) ,= 0. Weiter gibt es eine Umgebung U von a
mit f(z) ,= 0 fr alle z U. Es gelte g f = 0 fr ein g G. Dann folgt g(z) = 0 fr alle
z U. Damit gilt nach dem Identittssatz fr holomorphe Funktionen g = 0. Somit ist G ein
Integrittsbereich.
(b) Es sei f G

. Es existiert ein g G mit


g(z) f(z) = 1 fr alle z C.
Folglich hat f keine Nullstellen in C. Mit f ist auch f

/f in G und besitzt eine Stammfunktion


h
0
. Da (f e
h
0
)

= e
h
0
(f

f h

0
) = 0 gilt, erhalten wir f(z) = e
h(z)
mit einer geeigneten
Funktion h.
Andererseits sind natrlich alle Funktionen f mit f(z) = e
h(z)
fr ein h G invertierbar.
(c) Primelemente sind unzerlegbar. Es sei f G unzerlegbar. Weil f keine Einheit ist, hat f
eine Nullstelle c. Potenzreihenentwicklung von f um c liefert
f(z) =

i=1
a
i
(z c)
i
= (z c) g(z) , g G.
Wre g keine Einheit, so wre f zerlegbar. Also gilt g G

.
Wir begrnden, dass zc ein Primelement ist (es ist dann alles bewiesen). Es gelte (zc) [ g h
fr g, h G. Dann gilt g(c) h(c) = 0, d. h. g(c) = 0 oder h(c) = 0. Potenzreihenentwicklung
liefert (z c) [ g oder (z c) [ h.
(d) Nach (c) hat jedes endliche Produkt von Primelementen nur endlich viele Nullstellen.
Die Sinusfunktion ist aber eine ganze Funktion mit unendlich vielen verschiedenen Nullstel-
len, insbesondere also kein Produkt von endlich vielen Primelementen. Folglich ist G nicht
faktoriell.
16.2 Lsung: Angenommen, es existiert ein kgV v = c+d

5 von 9 und s := 3 (2+

5).
Wegen 2 +

5 [ 9 sind 9 (2 +

5) und 3 9, also auch 3 9 9 (2 +

5) = 9 (1

5)
Vielfache von 9 und s. Es folgt
3
4
= N(9) [ N(v) [ N(9 3) = 3
6
und N(v) [ N(9 (1

5) = 3
4
6 ,
sodass N(v) 3
4
, 3
5
. Wegen
N(v) c
2
+ 5 d
2
c
2
+d
2
, 3 3
5
(mod 4)
gilt N(v) 3
5
(mod 4), also N(v) = 3
4
= N(s), sodass v = 9 und v = s nach Lemma 16.5
(8) ein Widerspruch.
51
16.3 Lsung: (a) Aus Gradrnden ist P := a X
2
+ b X +c genau dann reduzibel ber K,
wenn P eine Nullstelle v hat.
Aus P(v) = 0 folgt a v
2
+ b v +c = 0, also
0 = v
2
+
b
a
v +
c
a
=
_
v +
b
2a
_
2
+
_
c
a

b
2
4a
2
_
, d. h.
b
2
4ac
4a
2
=
_
v +
b
2a
_
2
,
d. h. b
2
4 a c ist ein Quadrat in K.
Gilt andererseits b
2
4 ac = d
2
fr ein d K, so folgt fr
_
v
1,2
+
b
2a
_
2
=
d
2
4a
2
, d. h.
v
1,2
:=
d
2a

b
2a
=
1
2a
(b d) :
P(v
1,2
) = 0.
(b) In dem Krper K := Q[

5] ist P = 3 X
2
+4X+3 nach (a) zerlegbar, weil 4
2
4 3 3 =
20 = (2

5)
2
Quadrat in K ist. Die Nullstellen von P sind
2
3

1
3

5, sodass
P = 3
_
X +
2
3

1
3

5
_ _
X +
2
3
+
1
3

5
_
.
Angenommen, P ist in R := Z[

5] zerlegbar. Aus Gradgrnden folgt


P = a (b X
2
+ c X + d) oder P = (a X + b) (c X +d)
mit a, b, c, d R, wobei nach Lemma 13.4 (c) im 1. Fall a , R

= 1 (vgl. Aufgabe 12.11


(e)).
1. Fall: 3 X
2
+ 4 X +3 = a (b X
2
+c X +d). Es folgt a b = 3, ac = 4. Da 3 nach Lemma 16.5
unzerlegbar ist, folgt a = 3, also c = 43 im Widerspruch zu
4
3
, Z[

5].
2. Fall: 3 X
2
+4 X+3 = (a X+b) (c X+d). Es folgt a c = 3, ad +b c = 4, b d = 3, also wegen
Lemma 16.5 o. E. a = 3, c = 1 (man gehe notfalls zu P = (a Xb) (c X d) ber), sodass
3 d +b = 4. Das ist aber mit b d = 3, d. h. (b, d) (3, 1), (1, 3), nicht vertrglich.
16.4 Lsung: Es sei N die Norm auf Z[

10] (vgl. Lemma 16.5).


Fr jede Zerlegung p = ab = a b einer Primzahl p mit Elementen a, b Z[

10] gilt p
2
=
N(a) N(b), also
N(a) = 1 oder N(a) = p
2
oder N(a) = p .
Im ersten Fall ist a eine Einheit, im zweiten Fall ist b eine Einheit, im dritten Fall ist a
unzerlegbar.
Ist N(a) = aa = p, so folgt b = a.
Die Gleichungen 2 = u
2
10 v
2
und 3 = u
2
10 v
2
sind in Z nicht lsbar, somit sind 2 und 3
unzerlegbar. Weiter:
4

10 = a b 6 = N(a) N(b) N(a) 1, 6.


Da N(a) 2, 3 nicht vorkommen kann, ist a oder b eine Einheit, also sind auch 4 +

10
und 4

10 unzerlegbar.
Wegen 2 3 = (4 +

10) (4

10) ist 2 ein Teiler des Produkts (4 +

10) (4

10). Aber 2
teilt keinen der Faktoren. Somit ist 2 kein Primelement; das gilt ebenso fr 3.
17 Hauptidealringe. Euklidische
Ringe
Lsungen
17.1 Lsung: (a) Nach Satz 17.3 gilt Ra
1
+ +Ra
n
= (a
1
, . . . , a
n
) = (d) = Rd. Folglich
ist die Diophantische Gleichung a
1
X
1
+ +a
n
X
n
= c genau dann in R lsbar, wenn d [ c.
(b) Es sei L R
2
die Lsungsmenge von a X + b Y = c. Fr (x

, y

) R
2
gilt:
(x

, y

) L a x

+b y

= c a (x

x) = b (y y

) .
Es sei d ggT(a, b) und a = d a
0
, b = d b
0
. Es sind a
0
, b
0
teilerfremd. Krzen durch d fhrt
zu
a
0
(x

x) = b
0
(y y

) .
Mit Lemma 16.4 (c) folgt
b
0
[ x

x, d. h. x

x = t b
0
fr ein t R,
und
a
0
t b
0
= b
0
(y y

) , d. h. y y

= t a
0
.
Es folgt
(x

, y

) = (x + t b
0
, y t a
0
) .
Umgekehrt gilt fr beliebige t R und (x

, y

) = (x + t b
0
, y t a
0
):
a x

+ b y

= a (x +t b
0
) +b (y t a
0
) = c +t (a b
0
b a
0
) = c +t (d a
0
b
0
d b
0
a
0
) = c .
Das beweist L = (x +t b
0
, y t a
0
) [ t R.
(c) Wegen 6 ggT(102, 90) und 6 [ 108 ist 102 X + 90 Y = 108 in Z lsbar und die Lsungs-
menge L Z
2
stimmt mit der von 17 X + 15 Y = 18 berein. Wir stellen 1 ggT(17, 15) in
der Form 1 = 17 r + 15 s mit dem euklidischen Algorithmus dar:
17 = 1 15 + 2 , 15 = 7 2 + 1
liefert:
1 = 15 7 2 = 15 7 (17 15) = (7) 17 + 8 15 .
Es folgt 18 = (7 18) 17 + (8 18) 15, d. h.
(126, 144) L.
Nach (b) ist L = (126 + 15 t, 144 17 t) [ t Z. Die kleinste Lsung erhlt man fr t = 8,
nmlich (6, 8).
53
17.2 Lsung: In C gilt
a
b
=
312 i
6+8 i
=
17
10

13
5
i. Approximation in Z[i] durch q
1
:= 2 3 i.
Es ist
r
1
= a q
1
b = (31 2 i) (2 3 i) (6 + 8 i) = 5 ;
und
b
r
1
=
6 + 8 i
5
=
6
5

8
5
i .
Approximation von Z[i] durch q
2
:= 1 2 i. Es ist
r
2
= b q
2
r
1
= (6 + 8 i) 5 (1 + 2 i) = 1 2 i ,
und
r
1
r
2
=
5
1 2 i
= 1 2 i Z[i] .
Somit gilt d := 1 2 i ggT(a, b), und
d = b 5 (1 + 2 i) = b + (a (2 3 i) b) (1 + 2 i)
= (1 + 2 i) a + (1 (2 3 i) (1 + 2 i)) b
= (1 + 2 i) a + (7 i) b .
17.3 Lsung: Diese haben wir bereits in Aufgabe 12.11 bestimmt.
17.4 Lsung: Da die Gleichung 1 = u
2
26 v
2
etwa die Lsung (u, v) = (5, 1) hat, ist
s := 5 +

26 Z[

26] eine Einheit. Folglich ist fr jedes k Z auch s


k
eine Einheit. Das
liefert unendlich viele verschiedene Einheiten.
17.5 Lsung: Ist a = u +

6 v Z[(

6] ein Teiler von 6, so gilt N(a) [ N(6) = 36.


Folglich gilt N(a) = u
2
+ 6 v
2
1, 2, 3, 4, 6, 9, 12, 18, 36.
N(a) = 1 a = 1 ,
N(a) 2, 3, 12, 18 N(a) = u
2
+ 6 v
2
ist nicht lsbar,
N(a) = 4 a = 2 ,
N(a) = 6 a =

6 ,
N(a) = 9 a = 3 ,
N(a) = 36 a = 6 .
Folglich sind 1, 2,

6, 3, 6 die Kandidaten fr die Teiler. Wegen 6 =

6
2
= 2 3
ist 1, 2

6, 3, 6 die Menge aller Teiler von 6.


17.6 Lsung: Ist a = u +

5 v Z[

5] ein Teiler von 21, so gilt N(a) [ N(21) = 441.


Folglich gilt N(a) = u
2
+ 5 v
2
1, 3, 7, 9, 21, 49, 63, 147, 441.
N(a) = 1 a = 1 ,
N(a) 3, 7, 63, 147 N(a) = u
2
+ 5 v
2
ist nicht lsbar,
N(a) = 9 a 3, (2

5) ,
N(a) = 21 a (4

5), (1 2

5) ,
N(a) = 49 a7, (2 3

5) ,
N(a) = 441 a = 21 .
54 17 Hauptidealringe. Euklidische Ringe
Wegen
21 = 3 7 = (4 +

5) (4

5) = (1 + 2

5) (1 2

5)
sind 1, 3, 7, (4

5), (1 2

5), 21 Teiler von 21.


Aber (2

5), (23

5) sind keine Teiler von 21, da z. B. 21 = (2+

5) (u+v

5)
auf die in Z nicht lsbare Gleichung 9 v = 21 fhrt.
17.7 Lsung: Nach Lemma 17.8 sind die Primzahlen 3 und 7 Primelemente in Z[i] und
5 = (2 + i) (2 i) eine Zerlegung der Primzahl 5 in Primelemente.
18 Zerlegbarkeit in Polynomringen
und noethersche Ringe
Lsungen
18.1 Lsung: Es gilt
I(26 X
6
+ 352 X
4
+ 1200 X + 98) = 2 und I(13 X
4
+ 27 X
2
+ 15) = 1.
18.2 Lsung: (a) Irreduzibel: Eisenstein mit p = 2.
(b) Irreduzibel: Die Wurzeln liegen nicht in Q.
(c) Irreduzibel: Reduktion modulo 3 liefert das ber Z
3
irreduzible Polynom X
3
+ 2 X + 2.
(d) Irreduzibel: Reduktion modulo 2 liefert das ber Z
2
irreduzible Polynom X
3
+X
2
+ 1.
(e) Irreduzibel: Eisenstein mit p = 2.
(f) Irreduzibel: Man fhre die Transformation X X 1 durch und wende dann das Eisen-
steinkriterium mit p = 7 an.
(g) Reduzibel: Oenbar hat das Polynom X
5
+ X + 1 keine Nullstelle, wir machen also den
Ansatz:
X
5
+X + 1 = (X
3
+a X
2
+ b X + c) (X
2
+d X + e)
= X
5
+ (a +d) X
4
+ (a d +b) X
3
+ (a e + c + b d) X
2
+ (b e +c d) X +c e .
Es folgt c e = 1, also c = 1 = e oder c = 1 = e. Wir setzen c = 1 = e und erhalten:
b + d = 1 , a + 1 + b d = 0 , a + d = 0 , a d +b = 0 .
Es folgt b = 0 oder d = 1. Wir setzen b = 0. Dann folgt d = 1, a = 1. Damit erhalten wir
die Zerlegung
P = (X
3
X
2
+ 1) (X
2
+ X + 1) .
18.3 Lsung: Fr P = X
2
+b X+c Z
p
[X] hat man p
2
Mglichkeiten (je p fr b bzw. c).
Die zerlegbaren Polynome unter ihnen sind genau die Polynome (Xu) (Xv) mit u, v Z
p
.
Es gibt davon genau p (p + 1)/2 Stck (p(p 1)/2 mit u ,= v und p mit u = v). Also gibt es
p
2
p (p+1)/2 = p(p1)/2 irreduzible normierte quadratische Polynome in Z
p
[X]. Fr p = 2
ist das einzige solche Polynom X
2
+ X + 1, fr p = 3 sind es die drei Polynome X
2
X 1
und X
2
+ 1. Wegen p (p 1) 2 1 gibt es stets (mindestens) ein irreduzibles quadratisches
Polynom P Z
p
[X].
56 18 Zerlegbarkeit in Polynomringen und noethersche Ringe
18.4 Lsung: Ist P = X
3
+nX
2
+X + 1 zerlegbar in Z[X], so hat P wegen 1 I(P) ein
Nullstelle in Z. Wegen Lemma 18.7 hat P hchstens 1 als Nullstellen. Und es gilt
P(1) = 3 +n = 0 n = 3 und P(1) = 1 + n = 0 n = 1 .
Also ist P genau dann zerlegbar in Z[X] (und Q[X]), wenn n 3, 1.
18.5 Lsung: Eisenstein mit p = X 1.
18.6 Lsung: (a) (i) Weil m n, P hchstens n verschiedene Nullstellen und R unendlich
ist, gibt es verschiedene a
0
, . . . , a
m
R mit P(a
i
) ,= 0 fr i = 0, . . . , m. Nach Voraussetzung
ist dann jedes T
i
endlich.
(ii) Whle das Lagrangesche InterpolationspolynomQ
b
zu b T, also das eindeutig bestimmte
Polynom Q
b
mit deg Q
b
m und Q
b
(a
i
) = b
i
fr i = 0, . . . , m:
Q
b
=
m

i=0
b
i
(X a
0
) (X a
i1
) (X a
i+1
) (X a
m
)
(a
i
a
0
) (a
i
a
i1
) (a
i
a
i+1
) (a
i
a
m
)
.
(iii) Man beachte: R[X]

= R

.
: Nach Voraussetzung gibt es P
1
, P
2
R[X] \ R

mit P = P
1
P
2
. Oenbar ist deg P
1
oder
deg P
2
kleiner oder gleich m. Es sei o. E. deg P
1
m. Weil P
1
[
R[X]
P, folgt P
1
(a
i
) [
R
P(a
i
),
d. h. P
1
(a
i
) T
i
fr i = 0, . . . , m. Mit b := (P
1
(a
0
), . . . , P
1
(a
m
)) T ist dann aufgrund der
Eindeutigkeitsaussage in (ii) P
1
= Q
b
.
: Nach Voraussetzung gibt es ein P

R[X] mit P = Q
b
P, und es folgt deg P

nm 1.
Also sind Q
b
, P

, R

, somit ist P zerlegbar in R[X].


(b) Nach Voraussetzung ber R wird jede aufsteigende Kette von Hauptidealen in R stationr,
sodass nach Satz 16.1 jedes 0 ,= a R\R

Produkt irreduzibler Elemente von R ist. Es gengt


daher, die Behauptung fr jedes primitive Polynom P R[X] \ R zu beweisen. Ist deg P = 1,
so ist P irreduzibel. Ist deg P > 1, so sei T wie in (a) konstruiert. Da T endlich ist, lsst
sich durch Probieren feststellen, ob ein b T mit Q
b
R[X] \ R

und Q
b
[
R[X]
P existiert
oder nicht. Ist dies nicht der Fall, so ist P irreduzibel. Gibt es aber ein solches b, so folgt
P = Q
b
S mit S R[X] und 1 deg Q
b
< deg P. Also ist auch 1 deg S < deg P, und
Q
b
, S sind primitiv. Nun verfahre man ebenso mit Q
b
und S an Stelle von P. Da die Grade
der entstehenden Polynome immer kleiner werden, bricht das Verfahren nach endlich vielen
Schritten ab und man erhlt die gewnschte Zerlegung von P.
(c) Wegen m = 2 bentigen wir zur Interpolation drei Stellen a
0
, a
1
, a
2
. Wir whlen a
0
= 0,
a
1
= 2, a
3
= 3, da dann P(a
0
) = 1, P(a
1
) = 19, P(a
2
) = 1 wenig Teiler besitzen (das
erspart Arbeit). Es folgt
T = (1, 1, 1) , (1, 1, 1) , (1, 19, 1) , (1, 19, 1) ,
(1, 1, 1) , (1, 1, 1) , (1, 19, 1) , (1, 19, 1) .
Fr b = (1, b
1
, b
2
) T ist
Q
b
=
1
6
(X 2) (X + 3) +
b
1
10
X (X + 3) +
b
2
15
X (X 2) ,
d. h.
30 Q
b
= (5 + 3 b
1
+ 2 b
2
) X
2
+ (5 + 9 b
1
4 b
2
) X + 30 .
57
Da nur die Polynome Q
b
Z[X] \ 1 in Betracht kommen, braucht man nur die (b
1
, b
2
) ,=
(1, 1) zu bercksichtigen, fr die
30 [ 5 + 3 b
1
+ 2 b
2
und 30 [ 5 + 9 b
1
4 b
2
.
Dies ist genau fr (b
1
, b
2
) = (19, 1) der Fall. Hierfr ist Q
b
= 2 X
2
6 X+1 und P = Q
b
S
mit S = X
3
X
2
+6 X1 Z[X]. Q
b
und S sind irreduzibel, denn jede ganzzahlige Nullstelle
wre Teiler des letzten Koezienten 1 bzw. 1.
18.7 Lsung: Es sei A ,= 0 ein Ideal von R. Jedes P A, P ,= 0 lsst sich in eindeutiger
Weise in der Form P =

i=d
a
i
X
i
mit a
d
,= 0 schreiben. Wir whlen ein P A, P ,= 0, so
dass d minimal ist. Dann ist P = X
d
Q mit Q =

i=0
a
i
X
id
und a
0
,= 0. Nach Aufgabe
13.1 ist Q R

, also X
d
A und somit A = X
d
). Die Ideale von R sind also 0 und X
i
)
fr i N
0
. Insbesondere ist R ein Hauptidealring.
R ist noethersch, da R ein Hauptidealring ist.
18.8 Lsung: Da S unendlich ist, gibt es eine injektive Folge (s
i
) S
N
. Fr i N seien
f
i
R deniert durch
f
i
(s) :=
_
1 , falls s = s
i
,
0 , sonst.
und A
i
R deniert durch A
i
:= (f
1
, f
2
, . . . , f
i
) fr i N. Dann ist
A
1
A
2
A
3
. . .
eine echt aufsteigende Kette von Idealen, die nicht konstant wird. Somit ist R nicht noethersch.
19 Grundlagen der Krpertheorie
Lsungen
19.1 Lsung: Es sei a ,= 0 ein Element aus K. Nach Lemma 12.4 gilt p a = 0.
Es gelte m n(mod p) fr ganze Zahlen m, n. Dann gilt n = m+ k p fr ein k Z. Es folgt
na = ma +k p a = ma.
Nun gelte ma = na fr ganze Zahlen m, n. Es folgt (mn) a = 0. Folglich ist die Ordnung
p von a ein Teiler von mn, sodass mn = k p fr ein k Z, d. h. m n(mod p).
19.2 Lsung: Es sei K ein Krper mit 3 Elementen: K = 0, 1, a. Da es bis auf Isomorphie
nur eine Gruppe der Ordnung 3 gibt, gilt (K, +)

= (Z
3
, +). Da die multiplikative Gruppe
K

= 1, a wegen a
2
= 1 festliegt, kann es bis auf Isomorphie hchstens einen Krper mit
3 Elementen geben. Da (Z
3
, +, ) ein solcher ist, haben wir bereits alle bestimmt.
(Man vgl. auch die Aufgabe 12.12:) Es sei K ein Krper mit 4 Elementen: K = 0, 1, a, b. Da
es bis auf Isomorphie nur eine Gruppe mit drei Elementen gibt, gilt (K \ 0, )

= (Z
3
, +). Es
ist somit die Multiplikation eindeutig festgelegt. Wegen 2 x = 0 fr alle x K, ist die additive
Gruppe (K, +) der Ordnung 4 eindeutig festgelegt: (K, +)

= (Z
2
Z
2
, +). Damit ist auch die
Addition x: Es gibt hchstens einen Krper mit 4 Elementen. Wir geben ein Beispiel an:
Die Menge Z
2
Z
2
wird mit den Verknpfungen
(a, b) + (c, d) = (a +c, b +d) und
(a, b) (c, d) = (a c b d, a d + b c b d)
zu einem Krper (man weise dies nach). Es ist auch Z[X]/(X
2
+ X + 1) ein Krper mit 4
Elementen.
19.3 Lsung: Wir werden nun wiederholt die Rechenregeln fr Kardinalzahlen aus dem
Abschnitt A.3.2 anwenden.
Es sei T eine Q-Basis von R.
Behauptung: () [R[ = max[T[, [Q[.
Wegen [Q[ < [R[ folgt aus () dann [T[ = [R[, denn wre [T[ < [R[, so ergbe sich der
Widerspruch
[R[ [T[ [Q[ = max[T[, [Q[ < [R[ .
Zu beweisen ist also ().
Wir bentigen eine Hilfsaussage:
() Es sei T eine unendliche Menge, und c(T) bezeichne die Menge aller endlichen Teil-
mengen von T. Dann gilt [T[ = [c(T)[.
Begrndung von (): Es ist [T[ [c(T)[, da t c(T) fr jedes t T.
59
Fr jedes n N sei nun c
n
:= E c(T) [ [E[ = n.
Oenbar gilt
[c
n
[ [T
n
[ = [T[ .
Wegen
c(T) =
_
nN
c
n

folgt
[c(T)[
0
[T[ = [T[ .
Damit ist () begrndet.
Begrndung von (): Es ist T eine unendliche Menge: 1,

2,
3

2, . . . T.
Jedes x R hat eine eindeutige Darstellung der Form
x =

tT

(x)
t
t mit
(x)
t
Q
und endlichem Trger Tr(x) := t T [
(x)
t
,= 0. Es folgt Tr(x) c(T) \ fr x ,= 0.
Es sei S
E
:= x R[ Tr(x) = E fr E c(T) \ . Dann gilt
R \ 0 =
_
EE(T)_(
S
E
disjunkt ,
und [S
E
[ = [Q\ 0[
|E|
= [Q[. Es folgt
[R[ = [R \ 0[ = [c(T) \ [ [Q[
()
= [T[ [Q[ = max[T[, [Q[ .
19.4 Lsung: Es sei K ein Krper mit p
n
Elementen. Nach dem kleinen Satz 3.11 von
Fermat ist wegen 0 = p
n
1 = (p 1)
n
die Ordnung von 1 ein Teiler von p. Wegen 1 ,= 0 folgt
Char K = o(1) = p.
19.5 Lsung: Bekanntlich hat jedes Polynom P R[X] vom Grad 3 (nach dem Zwischen-
wertsatz) eine Nullstelle. Also ist P nicht irreduzibel, also R[X]/(P) kein Krper.
19.6 Lsung: Wegen (0) = 0 und (1) = 1 gilt 0, 1 F. Es seien a, b F, b ,= 0. Dann
gilt
(a b) = (a) (b) = a b und (a b
1
) = (a) (b)
1
= a b
1
.
Folglich liegen auch a b und ab
1
in F. Es ist somit F ein Teilkrper von K.
Nun sei a P, P der Primkrper von K. Fr jedes n N gilt
(n) = (1 + + 1
. .
n-mal
) = n (1) = n.
Wegen (0) = 0 und (1) = 1 folgt (n) = n fr alle n Z.
Im Fall P = Z
p
fr eine Primzahl p folgt nun bereits die Behauptung, da:
(n) = (n1) = n(1) = n.
Und im Fall P = Q ebenso, da fr jedes
z
n
Q:

_
z
n
_
=
(z)
(n)
=
z
n
.
60 19 Grundlagen der Krpertheorie
19.7 Lsung: (a) : Klar.
: Es seien r, s N. Es ist t = [E F : E] r. Ist also [E F : E] N, so ist t N.
Wir zeigen [EF : E] s N, genauer:
() Jede Basis b
1
, , . . . , b
s
von F/K ist ein Erzeugendensystem von E F/E.
Es sei a E F. Es existieren dann f
1
, . . . , f
n
F mit a E(f
1
, . . . , f
n
). . Fr jedes i =
1, . . . , n gilt [K(f
i
) : K] N. Folglich ist f
i
algebraisch ber K. Dann ist aber f
i
auch
algebraisch ber E(f
i
, . . . , f
i1
). Es folgt
E(f
1
, . . . , f
n
) = (((E(f
1
)(f
2
)) . . .)(f
n
) = (((E[f
1
][f
2
]) . . .)[f
n
] = E[f
1
, . . . , f
n
] .
Daher gibt es ein P E[X
1
, . . . , X
n
] mit a = P(f
1
, . . . , f
n
). Da jeder Ausdruck f
i
1
1
f
i
n
n

F als K-, also auch als E-Linearkombination von b
1
, . . . , b
s
geschrieben werden kann, gilt dies
auch fr a.
Gem () ist also [E F : E] N, und der Gradsatz liefert
t = [E F : E] r N.
(b) ist klar.
(c) Gem (a) und (b) gilt t N, r [ t und s [ t. Wegen ggT(r, s) = 1 also r s [ t.
Ist a
1
, . . . , a
r
bzw. b
1
, . . . , b
s
eine Basis von E/K bzw. F/K, so ist a
i
b
j
[ i =
1, . . . , r, j = 1, . . . , s ein Erzeugndensystem von E F/K. Es folgt t r s. Insgesamt: t = r s.
(d) Wegen t = r s folgt (mit den Bezeichnungen in (c)), dass a
i
b
j
[ i = 1, . . . , r, j = 1, . . . , s
K-linear unabhngig ist. O. E. sei dabei a
1
= 1 = b
1
. Ist nun c E F, so gibt es l
i
K,
i = 1, . . . , r, m
j
K, j = 1, . . . , s, mit
c =
r

i=1
l
i
a
i
=
s

j=1
m
j
b
j
,
also
(l
1
m
1
) 1 +
r

i=2
l
i
a
i
+
s

j=2
(m
j
) b
i
= 0 .
Da insbesondere 1, a
2
, . . . , a
r
, b
2
, . . . , b
s
K-linear unabhngig ist, folgt l
i
= 0 fr i =
2, . . . , r, also c = nl
1
1 K.
(e) X
3
2 Q[X] besitzt genau eine reelle Nullstelle
3

2 und zwei Nullstellen , C \ R:


X
3
2 = (X
3

2) (X ) (X ) = (X
3

2) (X
2
( + ) X +) .
Also ist m 3

2, Q
= m
, Q
= X
3
2, und fr Q(
3

2), F = Q() folgt r = s = 3. Wegen


[E F : Q] [ 3 und E ,= F ist ferner [E F : Q] = 1, d. h. E F = Q. Nun ist aber
E F = Q(
3

2, ), also
t = [E() : E] r = 3 deg(m
, E
) .
Da X
3

2 Teiler von X
3
2 in E[X] ist, gilt X
2
( + ) X + E[X] und daher
deg(m
, E
) = 2, d. h. t = 6 < 9.
61
19.8 Lsung: (a) Nach Eisenstein ist X
2
2 Q[X] irreduzibel, und es ist

2 eine
Nullstelle dieses Polynoms. Also ist [Q(

2) : Q] = 2 und 1,

2 eine Q-Basis von Q(

2).
Es ist

3 eine Nullstelle des Polynoms X
2
3 Q(

2)[X], also [Q(

2,

3) : Q(

2)] 2.
Angenommen, es ist

3 Q(

2). Dann gbe es , Q mit



3 = +

2. Quadrieren
liefert
3 =
2
+ 2

2 + 2
2
.
Wegen

2 , Q folgt = 0, also = 0 oder = 0. Im ersten Fall folgt 3 = 2
2
, im zweiten
Fall 3 =
2
. Beides ist wegen , Q unmglich, also ist

3 , Q(

2). Wir erhalten daher


[Q(

2,

3) : Q(

2)] = 2 und somit


[Q(

2,

3) : Q] = [Q(

2,

3) : Q(

2)] [Q(

2) : Q] = 2 2 = 4.
Ferner ist 1 ,

3 eine Q(

2)-Basis von Q(

2,

3), also
1 ,

2 ,

3 ,

3
eine Q-Basis von Q(

2,

3).
(b) Wegen

18 = 3(
10

2)
5
ist K = Q(
10

2). Es ist
10

2 Nullstelle des Polynoms X


10
2 Q[X],
welches nach Eisenstein irreduzibel ist. Also ist [K : Q] = 10 und 1,
10

2, . . . , (
10

2)
9
eine
Q-Basis von K.
(c) Es ist K = Q(

2, i

5,

7). Analog zu (a) sieht man: [Q(

2,

7) : Q] = 4, und es ist
1,

2,

7,

7 eine Q-Basis von Q(

2,

7). Wegen (i

5)
2
Q(

2,

7) erhalten wir
[K : Q(

2,

7)] 2. Aus i

5 , Q(

2,

7) R folgt weiter [K : Q(

2,

7)] = 2. Also
[K : Q] = [K : Q(

2,

7)] [Q(

2,

7) : Q] = 2 4 = 8 .
Ferner ist 1, i

5 eine Q(

2,

7)-Basis von K und somit


1 ,

2 ,

7 , i

5 ,

7 , i

5 , i

7 , i

7
eine Q-Basis von K.
(d) Q(

8, 3 +

50) = Q(2

2, 3 + 5

2) = Q(

2) ist eine quadratische Erweiterung von Q


mit Q-Basis 1,

2.
(e) Die Zahl u ist Nullstelle des ber Q irreduziblen Polynoms X
4
+ 6 X + 2 (Eisenstein mit
p = 2), also gilt [Q(u) : Q] = 4. Wegen [Q(
3

2) : Q] = 3 und ggT(4, 3) = 1 ist [Q(


3

2, u) : Q] =
12. Eine Q-Basis von Q(
3

2, u) ist z. B.
3

2
j
u
k
[ 0 j 2, 0 k 3.
(f) Wegen i / R gilt erst recht i / Q(

3). Das Minimalpolynom von i ber Q(

3) bleibt
also X
2
+ 1. Es folgt [Q(

3, i) : Q] = [Q(

3)(i) : Q(

3)] [Q(

3) : Q] = 2 2 = 4, und
1,

3, i, i

3 ist eine Q-Basis von Q(

3, i).
19.9 Lsung: (a) Es ist a
2
=
_
1+

5
2
_
2
=
1+

5
2
+ 1 = a + 1, also a
2
a 1 = 0. Wegen
a , Q ist also m
a, Q
= X
2
X 1.
(b) Wegen a Q(

2,

3) und [Q(

2,

3) : Q] = 4 ist der Grad des Minimalpolynoms von


a ein Teiler von 4. Es sind 1,

2,

3,

3 Q-linear unabhngig. Wegen a


2
= 5 + 2

3
ist a also keine Nullstelle eines quadratischen Polynoms. Somit hat m
Q
(a) den Grad 4. Durch
Ausrechnen von a
4
, a
3
, a
2
nden wir a
4
10 a
2
+ 1 = 0. Also ist
m
a, Q
= X
4
10 X
2
+ 1 .
62 19 Grundlagen der Krpertheorie
(c) Nach Eisenstein ist das Polynom X
3
2 Q[X] irreduzibel. Also ist [Q(
3

2) : Q] = 3 und
1,
3

2, (
3

2)
2
eine Q-Basis von Q(
3

2). Wegen a =
3

2 + (
3

2)
2
Q(
3

2) ist also der Grad


von m
a, Q
ein Teiler von 3 und wegen a , Q also = 3. Durch Ausrechnen von a
3
und a
2
nden
wir a
3
= 6 + 6 a. Also ist
m
a, Q
= X
3
6 X 6 .
(d) Fr a =
_
2 +
3

2 gilt (a
2
2)
3
= 2. Somit ist a Wurzel des Polynoms
P = X
6
6 X
4
+ 12 X
2
10
Da P ber Q irreduzibel ist (Eisenstein mit p = 2), ist P = m
a, Q
das Minimalpolynom von
a.
19.10 Lsung: Es ist X
2
p Q[X] irreduzibel. Folglich ist m

p, Q
= X
2
p. Es gilt also
[Q(

p) : Q] = 2.
Weiterhin ist X
3
q irreduzibel ber Q(

p) (etwa da
3

q , Q(

p)). Wir wenden nun den


Gradsatz an:
[Q(

p,
3

q) : Q] = [Q(

p)(
3

q) : Q(

p)] [Q(

p) : Q] = 3 2 = 6 .
Es sei a :=

p
3

q. Oenbar gilt Q(a) Q(

p,
3

q). Es gilt
a
3
= p q

p und a
4
= p
2
q
3

q .
Folglich gilt

p,
3

q Q(a), und somit ist Q(a) = Q(

p,
3

q).
Weil das normierte Polynom X
6
p
3
q
2
das Element a als Nullstelle hat und [Q(a) : Q] = 6
gilt, muss X
6
p
3
q
2
das Minimalpolynom von a sein.
19.11 Lsung: Oenbar gilt Q(

a+

b) Q(

a,

b). Zu zeigen bleibt:

a,

b Q(

a+

b).
O. E. gelte a ,= b. Dann gilt 0 ,= a b = (

a +

b) (

b). Weil

a +

b Q(

a +

b),
gilt auch

b
a b
=
1

a +

b
Q(

a +

b) .
Also

a

b Q(

a +

b). Es folgt

a,

b Q(

a +

b).
19.12 Lsung: (a) Es ist Q(

3, i), da:
= e
_i
2
3 = cos
2
3
i sin
2
3
=
1
2

3
2
i Q(

3, i) .
Folglich gilt K = Q(

3, i).
Es ist m

3, Q
= X
2
3, m
i, Q
= X
2
+ 1.
Weil X
2
+ 1 ber Q(

3) irreduzibel ist, erhalten wir


[K : Q] = [K : Q(

3)] [Q(

3) : Q] = 2 2 = 4 .
Es sind 1,

3 eine Q-Basis von Q(

3)/Q und 1, i eine Q(

3)-Basis von K/Q(

3). Damit
ist 1,

3, i, i

3 eine Q-Basis von K/Q.


63
(b) Wegen
(

3 + i)
1
=

3 i
4

3 i Q(

3 + i)

3, i Q(

3 + i)
ist

3 + i ein primitives Element von K/Q. Nach (a) gilt deg m

3+i, Q
= 4:
(

3 + i)
2
= 2 + 2

3 i und (

3 + i)
4
= 8 + 8

3 i .
Damit erhalten wir: X
4
4 X
2
+ 16 = m

3+i, Q
.
19.13 Lsung: Nach Eisenstein mit p = 2 ist P irreduzibel. Folglich ist P das Minimalpoly-
nom seiner Wurzeln. Insbesondere folgt [Q(a) : Q] = 5. Da fr jedes r Q auch das Polynom
Q := P(X r) mit P irreduzibel ber Q ist, und Q(a +r) = 0 fr jedes r Q gilt, ist Q das
Minimalpolynom von a + r fr r Q.
19.14 Lsung: Es sei z C ber Q algebraisch. Es existieren dann a
0
, . . . , a
n
Q mit
() a
n
z
n
+ a
n1
z
n1
+ + a
1
z + a
0
= 0 .
Multiplikation dieser Gleichung mit dem Produkt der Nenner der rationalen Zahlen a
0
, . . . , a
n
zeigt, dass wir a
0
, . . . , a
n
Z annehmen drfen.
Wir multiplizieren die Gleichung () mit a
n1
n
Z und erhalten eine Gleichung der Form
() (a
n
z)
n
+ b
n1
(a
n
z)
n1
+ +b
1
(a
n
z) +b
0
= 0 mit b
0
, . . . , b
n1
Z.
Die Gleichung () besagt, dass a
n
z mit a
n
Z ganz algebraisch ist.
(b) Es sei a =
p
q
Q ganz algebraisch. O. E. gelte ggT(p, q) = 1. Es gibt ganze Zahlen
a
0
, . . . , a
n1
Z mit
()
_
p
q
_
n
+ a
n1
_
p
q
_
n1
+ +a
1
_
p
q
_
+a
0
= 0 .
Multiplikation der Gleichung () mit q
n
und anschlieendes Umstellen liefert
p
m
= q d mit einem d Z.
Wegen ggT(p, q) = 1 folgt hieraus q = 1. Folglich ist a Z.
(c) Es sei a C ganz algebraisch. Folglich existiert ein normiertes Polynom P Z[X] mit
P(a) = 0.
Fr jedes m Z ist das Polynom Q = P(X m) ein normiertes Polynom aus Z[X]. Und es
gilt Q(a +m) = 0. Folglich ist a +m fr jedes m Z ganz algebraisch.
Analog ist fr jedes m Z das Polynom R = P
_
1
m
X
_
m
deg P
ein normiertes Polynom aus
Z[X] mit R(a m) = 0. Folglich ist auch a m fr jedes m Z ganz algebraisch.
Bemerkung. Die Menge der ganz algebraischen Zahlen bilden sogar einen Ring. Dies ist
nicht ganz einfach zu zeigen.
20 Einfache und algebraische
Krpererweiterungen
Lsungen
20.1 Lsung: (a) Da 1, 2 keine Wurzeln von P sind, ist P nach Lemma 18.7 irreduzibel.
(b) Nach (a) ist P = m
a, Q
. Folglich ist 1, a, a
2
eine Q-Basis von Q(a).
Es gilt
0 = P(a) = a
3
+ 3 a 2 1 =
1
2
a
3
+
3
2
a a
1
=
3
2
+
1
2
a
2
.
Division von X
3
+ 3 X 2 durch X + 1 mit Rest liefert:
X
3
+ 3 X 2 = (X + 1) (X
2
X + 4) 6 .
Also:
0 = (1 +a) (a
2
a + 4) 6 1 = (1 +a)
1
6
(a
2
a + 4) (1 +a)
1
=
2
3

1
6
a +
1
6
a
2
.
Wegen a
3
= 3 a + 2 gilt
(1 a + a
2
) (5 + 3 a 2 a
2
) = 15 21 a + 6 a
2
.
20.2 Lsung: Die Inklusion K(a
2
) K(a) ist klar. Wir zeigen a K(a
2
). Durch Zusam-
menfassen der geraden bzw. ungeraden Potenzen von X im Minimalpolynom von a erhalten
wir eine Darstellung der Form
m
a, K
= X P(X
2
) +Q(X
2
) .
Hierbei gilt P ,= 0 und P(a
2
) ,= 0, da deg m
a, K
ungerade ist. Da aber a Wurzel von m
a, K
ist, erhalten wir
a =
Q(a
2
)
P(a
2
)
K(a
2
) .
20.3 Lsung: Ja. Es sind

2 +

3 und

2

3 beides Wurzeln des ber Q irreduziblen


Polynoms X
4
10 X
2
+ 1 (vgl. Aufgabe 20.5).
20.4 Lsung: (a) Es sei b = P/Q K(X) \ K ein Element in gekrzter Darstellung, d. h.
ggT(P, Q) = 1 und P, Q nicht beide konstant. Angenommen, es gilt S(b) = 0 fr ein von Null
verschiedenes Polynom S =

n
i=0
s
i
Y
i
K[Y ]. Nach Division durch eine geeignete b-Potenz
knnen wir n 1 und s
0
s
n
,= 0 annehmen. Dann zeigt aber
S(b) =
n

i=0
s
i
_
P
Q
_
i
=
1
Q
n

n

i=0
s
i
P
i
Q
ni
= 0 ,
65
dass Q ein Teiler von P
n
und P ein Teiler von Q
n
ist. Wegen ggT(P, Q) = 1 hiee das Q [ P
und P [ Q im Widerspruch dazu, dass P, Q nicht beide konstant, also auch nicht assoziiert
sind. Demnach ist b transzendent ber K.
(b) Es gengt oenbar zu zeigen, dass X algebraisch ber M ist. Es sei diesmal b = P/Q M\
K. Dann ist X Wurzel des Polynoms S := P(Y ) b Q(Y ) M[Y ]. Wre S das Nullpolynom,
so wre mit n = deg Q der Koezient p
n
b q
n
von S bei Y
n
gleich 0, also b = p
n
/q
n
K.
Widerspruch! Also ist X tatschlich algebraisch ber M.
20.5 Lsung: Es sei K = Q(

2,

3) = Q(

2 +

3). Wir setzen :=

2 +

3. Es ist
bekanntlich m
, Q
= X
4
10 X
2
+1. Mit ist auch
2
:=

3 eine Wurzel von m


, Q
.
Wir suchen weitere Nullstellen von m
, Q
. Es gilt
(

3)
4
10 (

3)
2
+ 1 = 0 und (

2 +

3)
4
10 (

2 +

3)
2
+ 1 = 0 .
Damit gilt
X
4
10 X
2
+ 1 = (X
1
) (X
2
) (X
3
) (X
4
) ,
wobei

1
:= =

2 +

3 ,
2
=

3 ,
3
=

3 ,
4
=

2 +

3 .
Es folgt
K = Q(
1
) = Q(
2
) = Q(
3
) = Q(
4
) und m

1
, Q
= m

2
, Q
= m

3
, Q
= m

4
, Q
.
Es sind folglich die vier Q-Automorphismen, die gegeben sind durch

1
:
1

1
,
2
:
1

2
,
3
:
1

3
,
4
:
1

4
,
verschiedene Automorphismen von K:
1
, . . . ,
4
Aut K.
Nun sei Aut K. Dann gilt bekanntlich [
Q
= Id
Q
. Wegen
((
1
))
4
10 ((
1
))
2
+ 1 = (
4
1
10
2
1
+ 1) = (0) = 0
ist (
1
) eine Wurzel von m

1
, Q
. Also gilt (
1
)
1
, . . . ,
4
. Es folgt
1
, . . . ,
4
.
Wir haben gezeigt: Aut K =
1
, . . . ,
4
.
Es gibt bis auf Isomorphie nur zwei Gruppen der Ordnung 4, nmlich die zyklische Gruppe
Z
4
und die Kleinsche Vierergruppe Z
2
Z
2
. Wegen

2
2
(
1
) =
2
(
2
) =
2
(
1
) =
2
=
1
gilt
2
2
= Id, und es gilt analog
2
3
=
2
4
= Id. Folglich ist Aut K eine Kleinsche Vierergruppe.
20.6 Lsung: Ist t = (a X + b)/(c X + d) mit a, b, c, d K und a d b c ,= 0, so gilt
t / K, da andernfalls aus t (c X +d) = a X +b mit Koezientenvergleich t c = a, t d = b, also
a d b c = 0 folgte. Durch Ausen nach X erhlt man
x =
d t +b
c t a
K(t) ,
wobei der Nenner wegen t / K ungleich Null ist. Also ist K(X) = K(t).
66 20 Einfache und algebraische Krpererweiterungen
Es sei nun umgekehrt t = P/Q, P, Q K[X] \0, ggT(P, Q) = 1, ein primitives Element von
K(X)/K. Dann existieren Polynome S, T K[X] \ 0, ggT(S, T) = 1, mit X = S(t)/T(t).
Es seien r = deg S, s = deg T, m = maxr, s. Dann gilt
X
s

i=0
t
i
(P/Q)
i
=
r

j=0
s
j
(P/Q)
j
X
s

i=0
t
i
P
i
Q
mi
=
r

j=0
s
j
P
j
Q
mj
. ()
Wir setzen erst einmal deg Q > deg P voraus, denn dann knnen wir wegen deg(Q
m
) >
deg(P Q
m1
) > deg(P
2
Q
m2
) > den Grad beider Seiten von () angeben. Wegen
ggT(S, T) = 1 ist entweder s
0
,= 0 oder t
0
,= 0. Im Fall t
0
,= 0 hat die linke Seite den
Grad 1 + m deg Q, die rechte dagegen hchstens den Grad m deg Q. Widerspruch! Also ist
t
0
= 0, s
0
,= 0 und somit 1 +(mi
0
) deg Q = m deg Q mit i
0
= mini [ t
i
,= 0. Daraus folgt
i
0
= deg Q = 1, deg P = 0, d. h. t = b/(c X +d) wie behauptet.
Wie erreichen wir nun deg Q > deg P ? Im Fall deg Q < deg P hat t

:= 1/t = P/Q die


gewnschte Gestalt, im Fall deg Q = deg P hat t

:= t c = (P c Q)/Q mit geeignetem


c K die gewnschte Gestalt. In beiden Fllen entsteht t

= (At + B)/(C t + D) aus t


durch Anwenden einer gebrochen-linearen Transformation mit Koezienten A, B, C, D K,
AD BC ,= 0. Nach dem ersten Teil des Beweises ist auch t

ein primitives Element von


K(X)/K, also t

= b/(c x + d) und damit


t =
Dt

+B
C t

A
=
D
b
c X+d
+ B
C
b
c X+d
A
=
Bc X + Bd Db
Ac X + C b Ad
.
Schlielich ist wegen t / K (vgl. den ersten Teil des Beweises) die Determinante dieser
gebrochen-linearen Transformation ungleich Null.
20.7 Lsung: steht bereits in Lemma 20.7.
: Es sei a L \ 0. Nach Voraussetzung ist R := K[a] ein Teilkrper von L. Insbesondere
existiert ein P K[X] mit a
1
= P(a). Also ist a Wurzel des Polynoms X P 1 K[X] \0.
Folglich ist a algebraisch ber K.
20.8 Lsung: : Ist L/K algebraisch, so whle S = L.
: Das steht bereits in Lemma 20.5.
20.9 Lsung: Fr q =
z
n
gilt
_
e
q i
_
2n
= 1. Wegen
cos(q ) =
1
2
_
e
q i
+e
q i
_
und sin(q ) =
1
2 i
_
e
q i
e
q i
_
liegen cos(q ) und sin(q ) in der algebraischen Erweiterung K := Q(i, e
q i
). Folglich sind
cos(q ) und sin(q ) ber Q algebraisch.
20.10 Lsung: Nach Lemma 20.5 ist Q(S)/Q algebraisch. Weiter ist [Q(S) : Q] N nicht
mglich: Wre nmlich [Q(S) : Q] = m N, so erhielten wir den Widerspruch
m + 1 = [Q(a
m+1
) : Q] [Q(S) : Q] = m.
21 Konstruktionen mit Zirkel und
Lineal *
Lsungen
21.1 Lsung: Es ist a = z + z fr z = e
2 i
7 . Weiter ist
0 = z
7
1 = (z 1) (z
6
+z
5
+ z
4
+ z
3
+z
2
+ z + 1) ,
also gilt wegen z ,= 1 und z z = 1:
z
6
+ z
5
+z
4
+ z
3
+z
2
+ z + 1 = 0 und z = z
1
.
Damit erhlt man nach einer kurzen Rechnung:
a
3
+a
2
2 a 1 = (z + z)
3
+ (z +z)
2
2 (z +z) 1 = 0 .
Da X
3
+X
2
2 X 1 ber Q irreduzibel ist (man reduziere modulo 2), gilt
m
a, Q
= X
3
+X
2
2 X 1 .
Also gilt [Q(a) : Q] = 3.
Wre das regulre 7-Eck konstruierbar, so auch a. Dies kann aber nicht sein, da [Q(a) : Q]
keine 2 -Potenz ist.
21.2 Lsung: (a) O. E. sei S := 0, 1, z := cos + i sin . Bekanntlich gilt
cos = 4 cos
3

3
3 cos

3
,
d. h. cos

3
ist Wurzel von
4 X
3
3 X cos Q(cos ) .
Wir setzen
z
0
:= cos

3
+ i sin

3
und K
0
:= Q(cos , i sin ) .
: Es sei z
0
aus S konstruierbar. Dann ist auch cos

3
aus S konstruierbar. Folglich ist
[K
0
(cos

3
) : K
0
] nach Korollar 21.3 eine 2 -Potenz.
Da i sin Wurzel von
X
2
+ (1 cos
2
) Q(cos )[X]
ist, gilt [K
0
: Q(cos )] 2. Damit sind
[K
0
(cos

3
) : Q(cos )] und [Q(cos , cos

3
) : Q]
68 21 Konstruktionen mit Zirkel und Lineal *
2 -Potenzen.
Da cos

3
Wurzel von 4 X
3
3 X cos ist, folgt die Behauptung.
: Ist 4 X
3
3 X cos zerlegbar ber Q(cos ), so auch ber K
0
; daher gilt [K
0
(cos

3
) :
K
0
] 2.
Wegen (i sin

3
)
2
+ 1 cos
2
3
= 0 ist
[K
0
(cos

3
, i sin

3
) : K
0
(cos

3
)] 2 ,
sodass wegen z
0
K
0
(cos

3
, i sin

3
) die Behauptung folgt.
(b) Oenbar sind mit , auch r +s fr alle r, s Z aus S konstruierbar.
Nun sei :=
2
n
mit 3 n, und o. E. sei S = 0, 1, cos +i sin. Da 4 X
3
3X1 die Wurzel

1
2
hat, ist 2 nach (a) dreiteilbar, d. h. :=
2
3
konstruierbar aus 0, 1 S. Trivialerweise
ist konstruierbar. Wegen ggT(3, n) = 1 existieren r, s Z mit

3
=
2
3n
= r
2
n
+s
2
3
= r + s ,
d. h. ist dreiteilbar.
22 Transzendente
Krpererweiterungen *
Lsungen
22.1 Lsung: Da ber Q transzendent ist, ist algebraisch unabhngig, die Menge
also transzendent ber Q. Da [Q(, i) : Q()] = 2, insbesondere endlich ist, ist Q(, i)/Q()
algebraisch. Folglich ist eine Transzendenzbasis.
Es gilt Q(, i) = Q( i, i). Es folgt [Q(, i) : Q( i)] 2, also (beachte den Gradsatz) [Q( i) :
Q] , N, wonach i transzendent ber Q ist. Da aber Q(, i)/Q( i) algebraisch ist (die
Erweiterung ist ja endlich), ist gezeigt, dass auch C = i eine Transzendenzbasis von
Q(, i)/Q ist. Und da Q() R und Q( i) R gilt, folgt Q(B) ,= Q(C).
22.2 Lsung: Zur Lsung dieser Aufgabe benutzen wir Begrie und Ergebnisse aus Kapitel
23.
Wir zitieren ein Ergebnis, das wir in der Lsung zur Aufgabe 19.3 bewiesen haben:
() Es sei T eine unendliche Menge, und c(T) bezeichne die Menge aller endlichen Teil-
mengen von T. Dann gilt [T[ = [c(T)[.
Es sei c die Menge aller endlichen Teilmengen einer (existierenden) Transzendenzbasis B
von C/Q. Nach () gilt [c[ = [B[ (es ist klar, dass B nicht endlich ist, es wre ja sonst C
abzhlbar). Wir bezeichnen mit K einen algebraischen Abschluss des Krpers K. Nach Lemma
19.4 gilt
() B Q(B) =
_
EE
Q(E) C

=
_
EE
Q(E) .
Nach Lemma 20.9 gilt

_
EE
Q(E)

_
EE
Q(E)

.
Damit erhalten wir aus () mit [Q(E)[ =
0
fr jedes E c und den Regeln zur Kardinal-
zahlarithmetik:
[B[ [C[ =

_
EE
Q(E)

[c[
0
= max[c[,
0
= [c[ = [B[ .
Folglich gilt [R[ = [C[ = [B[ = trg(C/R).
23 Algebraischer Abschluss.
Zerfllungskrper
Lsungen
23.1 Lsung: (a) Wegen X
2
3 = (X

3) (X +

3) ist Q(

3) ein Zerfllungskrper.
Nach Eisenstein ist X
2
3 Q[X] irreduzibel und somit das Minimalpolynom von

3. Also
ist der Grad des Zerfllungskrpers [Q(

3) : Q] = 2.
(b) Wegen X
4
7 = (X
4

7) (X+
4

7) (Xi
4

7) (X+i
4

7) ist Q(
4

7, i) ein Zerfllungskrper
von X
4
7. Nach Eisenstein ist X
4
7 Q[X] irreduzibel und somit das Minimalpolynom von
4

7. Also ist [Q(


4

7) : Q] = 4. Wegen i
2
Q(
4

7) und i , Q(
4

7) R ist [Q(
4

7, i) : Q(
4

7)] = 2
und somit
[Q(
4

7, i) : Q] = [Q(
4

7, i) : Q(
4

7)] [Q(
4

7) : Q] = 2 4 = 8.
(c) Wegen X
4
2 X
2
2 = (X+i
_

3 1) (Xi
_

3 1) (X+
_

3 + 1) (X
_

3 + 1) ist
Q(
_

3 + 1, i
_

3 1) Zerfllungskrper. Nach Eisenstein ist X


4
2 X
2
2 irreduzibel, also
[Q(
_

3 + 1) : Q] = 4. Wegen
_
i
_

3 1
_
2
Q(
_
1 +

3) und i
_

3 1 , Q(
_

3 + 1)
ist [Q(
_

3 + 1, i
_

3 1) : Q(
_

3 + 1)] = 2, also
[Q(
_

3 + 1, i
_

3 1) : Q] = 2 4 = 8.
(d) Wegen X
4
+ 1 = (X ) (X + ) (X i ) (X + i ) mit = e
i
4 ist Q(, i) ein Zer-
fllungskrper von X
4
+ 1. Wegen
2
= i gilt Q(, i) = Q(). Reduktion modulo 2 zeigt,
dass X
4
+ 1 Q[X] irreduzibel ist. Somit ist X
4
+ 1 das Minimalpolynom von . Also ist
[Q() : Q] = 4.
(e) Die Wurzeln von X
6
+ 1 sind
k
:= e
(2k+1) i
6 , k = 0, . . . , 5. Es gilt oenbar

1
=
3
0
,
2
=
5
0
,
3
=
7
0
,
4
=
9
0
,
5
=
11
0
.
Also ist
Q(
0
, . . . ,
5
) = Q(
0
)
der gesuchte Zerfllungskrper. Weiter gilt:
X
6
+ 1 = (X
4
X
2
+ 1) (X
2
+ 1) .
Da
0
Wurzel des ber Q irreduziblen Polynoms X
4
X
2
+ 1 ist, gilt [Q(
0
) : Q] = 4.
(f) Analog zu (e) ndet man den Zerfllungskrper Q(
1
) mit
1
= e
2 i
5 . Weiter gilt:
X
5
1 = (X 1) (X
4
+X
3
+X
2
+ X + 1)
mit dem ber Q irreduziblen Polynom X
4
+X
3
+X
2
+X + 1. Also gilt [Q(
1
) : Q] = 4.
71
23.2 Lsung: Es sind a
1
:=
4

2, a
2
:=
4

2, a
3
:= i
4

2, a
4
:= i
4

2 die vier verschiede-


nen Wurzeln des ber Q irreduziblen Polynoms X
4
2 Q[X]. Es gilt
Q(a
1
, a
2
) = Q(a
1
) und Q(a
1
, a
3
) = Q(
4

2, i) .
Wegen [Q(a
1
) : Q] = 4 und [Q(
4

2, i) : Q] = 8 knnen die Krper Q(a


1
) und Q(
4

2, i) nicht
isomorph sein.
23.3 Lsung: Es seien Q(

a) und Q(

b) Zerfllungskrper von P und Q. Weiter sei


ein Isomorphismus von Q(

a) auf Q(

b). Es gilt
(

a) = a
0
+a
1

b mit a
0
, a
1
Q.
Wegen [
Q
= Id
Q
folgt
a = (a) = (

a)
2
= a
2
0
b a
2
1
+ 2 a
0
a
1

b .
Folglich muss a
0
a
1
= 0 gelten. Aber a
1
= 0 ist nicht mglich, da sonst (Q(

a)) = Q gelten
wrde. Es gilt also a
0
= 0 und somit
a
b
= a
2
1
. Es folgt wegen

a = a
1

b im Falle der
Isomorphie also sogar die Gleichheit der Krper. Es folgt: Die Zerfllungskrper sind genau
dann isomorph (also auch gleich), wenn
a
b
ein Quadrat in Q ist.
23.4 Lsung: Die vier verschiedenen Wurzeln des nach Eisenstein mit p = 2 ber Q
irreduziblen Polynoms P = X
4
2 X
2
+ 2 sind

1 + i ,

1 + i ,

1 i ,

1 i .
Also ist L = Q(

1 + i,

1 i) ein Zerfllungskrper von P.


Da P irreduzibel ist, gilt
[Q(

1 + i) : Q] = 4 , und es gilt [Q(

1 + i,

1 i) : Q(

1 + i)] 1, 2 .
Angenommen,

1 i Q(

1 + i). Dann exisiteren a


0
, a
1
, a
3
, a
4
Q mit

1 i = a
0
+ a
1

1 + i + a
3
(1 + i) + a
4
(1 + i)

1 + i

1 i = b + c

1 + i
fr b, c Q. Folglich gilt
b
2
= 1 i +c
2
(1 + i) 2 c

2 , insbesondere

2 Q(i) ,
ein Widerspruch. Folglich gilt [Q(

1 + i,

1 i) : Q(

1 + i)] = 2 und damit [Q(

1 + i,

1 i) :
Q] = 8.
23.5 Lsung: (a) Ein algebraischer Abschluss E von L ist nach Denition ein algebra-
isch abgeschlossener Erweiterungskrper von L, fr den gleichzeitig E/L algebraisch ist. Da
mit E/L und L/K auch die Erweiterung E/K algebraisch ist (algebraisch ber algebraisch
bleibt algebraisch), ist E auch ein algebraischer Abschluss von K. Umgekehrt gibt es zwar
algebraische Abschlsse von K, die L nicht enthalten, die Aussage ist aber trotzdem richtig:
Es existiert ein Isomorphismus : L E mit (a) = a fr a K, und E ist algebraischer
Abschluss von (L).
(b) Ja, sowas gibts. Allerdings kann F kein Zwischenkrper von E/K sein: Wre K F E,
so wre mit E/K auch E/F algebraisch, also E = F, da ein algebraisch abgeschlossener
Krper keine echte algebraische Erweiterung besitzt.
72 23 Algebraischer Abschluss. Zerfllungskrper
Nun konstruieren wir das angekndigte Beispiel: Da je zwei algebraische Abschlsse von K
isomorph sind, gengt es, einen Krper K zu nden, dessen algebraischer Abschluss zu ei-
nem seiner echten Teilkrper isomorph ist. Es sei K
0
:= k(X
1
, X
2
, X
3
, . . . ) der Krper der
rationalen Funktionen in abzhlbar unendlich vielen Unbestimmten ber einem (beliebigen)
Krper k. Dann gilt K := K
0
(X)

= K
0
. Es sei nun E ein algebraischer Abschluss von K. Als
algebraisch abgeschlossener Oberkrper von K
0
enthlt E einen algebraischen Abschluss E
0
von K
0
. (Der Teilkrper E
0
E aller ber K
0
algebraischen Elemente ist in diesem Fall alge-
braisch abgeschlossen: Jedes nichtkonstante Polynom f E
0
[X] hat in E eine Wurzel ; ist
algebraisch ber E
0
, also algebraisch ber algebraisch bleibt algebraisch auch algebraisch
ber K
0
und liegt somit in E
0
.) Da X transzendent ber K
0
ist, ist X / E
0
, also E
0
E.
Wegen K
0

= K gilt E
0

= E.
23.6 Lsung: Es sei := e
2 i
3 . Dann sind
3

2,
3

2 ,
3

2
2
die drei verschiedenen Wur-
zeln von X
3
2. Da Q(
3

2) R, gilt Q(
3

2) ,= Q(
3

2 ), Q(
3

2
2
), da sowohl Q(
3

2 )
wie auch Q(
3

2
2
) nichtreelle Zahlen enthalten. Glte Q(
3

2 ) = Q(
3

2
2
), so folgte
(
3

2 )
2
(
3

2
2
)
1
=
3

2 Q(
3

2 ) ein Widerspruch zu Q(
3

2) ,= Q(
3

2 ).
23.7 Lsung: Es seien P und Q irreduzible Polynome ber Z
p
. Ist a eine Wurzel von P
und b eine solche von Q, so sind L = Z
p
(a) und M = Z
p
(b) Zerfllungskrper von P und
Q. Und der Z
p
-Monomorphismus : L M, der durch (a) = b gegeben ist, ist wegen
[L[ = p
2
= [M[ surjektiv.
23.8 Lsung: Es sei P K[X] ein irreduzibles Polynom ber K mit einer Wurzel a in
L. Nach Lemma 19.4 existieren a
1
, . . . , a
n
S mit a M := K(a
1
, . . . , a
n
). Bezeichnen
P
1
, . . . , P
n
die Minimalpolynome von a
1
, . . . , a
n
vom jeweiligen Grad 2, so ist M Zerfllungs-
krper von Q = P
1
P
n
ber K. Folglich ist die Erweiterung M/K normal. Da P die Wurzel
a in M hat, zerfllt P ber M L. Also ist L/K normal.
23.9 Lsung: Da [Q(i

5) : Q] = 2, ist die Erweiterung Q(i

5)/Q normal.
Es ist a := (1 + i)
4

5 Wurzel des ber Q irreduziblen Polynoms P = X


4
+ 20 (Eisenstein mit
p = 5). Dieses Polynom mit einer Wurzel in Q((1 +i)
4

5) zerfllt aber nicht in Q((1 +i)


4

5),
da der Zerfllungskrper L = Q(
4

5, i) von P den Grad 8 ber Q hat und


[Q((1 + i)
4

5) : Q] = 4
gilt. Folglich ist die Erweiterung Q((1 + i)
4

5)/Q nicht normal.


Wegen [Q((1 + i)
4

5) : Q] = 4 und [Q(i

5) : Q] = 2 gilt [Q((1 + i)
4

5) : Q(i

5)] = 2. Also
ist auch die Erweiterung Q((1 + i)
4

5)/Q(i

5) normal.
23.10 Lsung: (a) Angenommen, der algebraisch abgeschlossene Krper K hat nur endlich
viele Elemente a
1
, . . . , a
n
. Es sei a K\ 0. Das Polynom (Xa
1
) (Xa
n
) +a K[X]
hat dann aber keine Nullstelle in K ein Widerspruch.
(b) Da F endlich ist, ist fr jedes a F \0 auch der Krper F(a) endlich. Nach dem kleinen
Satz von Fermat gilt dann a
|F(a)|1
= 1.
23.11 Lsung: (a) Wir fhren den Beweis durch vollstndige Induktion nach n = deg P.
Fr n = 0 oder n = 1 ist L = K, also [L : K] = 1 [ 1 = n!.
Es sei nun n > 1, und die Behauptung sei richtig fr alle m < n. Wir drfen annehmen, dass
P normiert ist. Es existieren
i
L mit P =
n

i=1
(X
i
).
73
1. Fall P ist irreduzibel: Wir setzen Q :=
n

i=2
(X
i
). Dann ist L Zerfllungskrper von Q
ber K(
1
), also nach Induktionsannahme [L : K(
1
)] ein Teiler von (n 1) !. Somit ist
[L : K] = [L : K(
1
)] [K(
1
) : K] = [L : K(
1
)] n
ein Teiler von (n 1) ! n = n!.
2. Fall P ist nicht irreduzibel: Dann gibt es Polynome S, T K[X] mit deg S, deg T 1 und
P = S T. Nach eventuellem Umnummerieren drfen wir annehmen, dass S =
k

i=1
(X
i
) und
T =
n

i=k+1
(X
i
) mit deg S = k ist. Also ist L Zerfllungskrper von T ber K(
1
, . . . ,
k
)
und K(
1
, . . . ,
k
) ist Zerfllungskrper von S ber K. Nach Induktionsannahme ist also der
Grad [L : K(
1
, . . . ,
k
)] ein Teiler von (n k) ! und [K(
1
, . . . ,
k
) : K] ein Teiler von k !
Somit ist
[L : K] = [L : K(
1
, . . . ,
k
)] [K(
1
, . . . ,
k
) : K]
ein Teiler von k ! (n k) ! Dies wiederum ist ein Teiler von n! (man denke an den Binomial-
koezienten). Also ist [L : K] ein Teiler von n!.
(b) K = Q und P := X
3
2 Q[X] ist ein Beispiel.
(c) K := Q und P := X
4
7 ist ein Beispiel.
23.12 Lsung: ber Z
2
gilt
X
6
+ 1 = (X
3
+ 1)
2
= [(X + 1) (X
2
+ X + 1)]
2
.
Es sei a eine Wurzel des ber Z irreduziblen Polynoms X
2
+ X + 1. Es ist dann Z
2
(a) ein
Zerfllungskrper von X
6
+ 1 und [Z
2
(a) : Z
2
] = 2. Das Polynom X
6
+ 1 hat ber Z
2
(a) die
Zerlegung:
X
6
+ 1 = (X
3
+ 1)
2
= (X + 1)
2
(X + a)
2
(X + (1 +a))
2
.
23.13 Lsung: Wir setzen := e
2 i
n und := +
1
.
Natrlich ist Q()/Q algebraisch. Um zu zeigen, dass Q()/Q normal ist, reicht es aus zu
zeigen, dass jeder Q-Monomorphismus : Q() A fr einen algebraischen Abschluss A von
Q gilt () Q().
Es sei ein solcher Monomorphismus. Weil Q()/Q() algebraisch ist, gilt = [
Q()
fr
einen Monomorphismus : Q() A nach Satz 23.12.
Da die Ordnung n hat, hat auch () A die Ordnung n. Folglich gilt
() =
k
fr ein k N mit ggT(k, n) = 1 .
Damit gilt
() = () = ( +
1
) =
k
+
k
.
Wir zeigen
k
:=
k
+
k
Q() fr alle k N. Es sei k N
2
. Dann gilt
(
k1
+
1k
) ( +
1
) =
k
+
k
+
k2
+
2k
,
also
k
=
k1

k2
. Es ist
0
= 2,
1
= , folglich gilt
k
Q() fr alle k N.
74 23 Algebraischer Abschluss. Zerfllungskrper
23.14 Lsung: (a) Es ist Q(
_
2 +

2) der Zerfllungskrper des Polynoms


X
4
4 X
2
+ 2 = (X
_
2 +

2) (X +
_
2 +

2) (X
_
2

2) (X +
_
2

2) .
(Man beachte
_
2 +

2 =

2+

2
=
(

2+

2)
2
2

2+

2
Q(
_
2 +

2).)
(b) Die Krpererweiterung Q(
_
1 +

3)/Q ist nicht normal: Es ist


_
1 +

3 Wurzel des ber


Q irreduziblen Polynoms X
4
2 X 2. Aber wegen
X
4
2 X 2 = (X
_
1 +

3) (X +
_
1 +

3) (X
_
1

3
. .
R
) (X +
_
1

3)
zerfllt X
4
2 X 2 nicht ber Q(
_
1 +

3).
23.15 Lsung: Klar ist, dass die algebraische Erweiterung K/K normal ist. Es sei nun
M ein algebraischer Abschluss von K(X). Wir zeigen, dass fr jeden K(X)-Monomorphismus
: K(X) M gilt (K(X)) K(X). Hieraus folgt dann die Behauptung.
Es sei also ein solcher Monomorphismus. Weiter sei P K(X). Da K algebraisch abge-
schlossen ist, gilt
P = a
n

i=0
(X a
i
) fr a, a
1
, . . . , a
n
K und n N.
Es folgt wegen der Normalitt von K/K:
(P) = (a)
n

i=0
(X (a
i
)) fr (a), (a
1
), . . . , (a
n
) K .
Also gilt (P) K(X). Es ist somit K(X)/K(X) normal.
23.16 Lsung: Die Erweiterungen E/K und F/K seien normal. Es sind dann E = K(W)
und F = K(W

) fr die Wurzelmengen W von S K[X] und W

von S

K[X].
Fr W, W

L gilt E(F) = K(WW

), und WW

ist die Wurzelmenge von SS

K[X].
Folglich ist die Erweiterung E F/K normal.
Es sei a E F eine Wurzel des Polynoms P K[X].
Wegen a E gilt P = b
n

i=1
(X a
i
) E[X] mit a = a
i
fr ein i 1, . . . , n.
Wegen a F gilt P = c
n

i=1
(X b
i
) F[X] mit a = b
j
fr ein j 1, . . . , n.
Wegen der Eindeutigkeit der Faktorisierung von P in L gilt a
i
= b
j
. Also liegen alle Wurzeln
von P in E F. Folglich zerfllt P ber E F es ist also E F/K normal.
24 Separable Krpererweiterungen
Lsungen
24.1 Lsung: Es sei a L. Zu zeigen ist, dass das Minimalpolynom m
a, K
nur einfa-
che Wurzeln in einem algebraischen Abschluss von K hat. Nach Lemma 24.1 (c) folgt die
Behauptung also aus m

a, K
,= 0.
Wegen n := deg m
a, K
= [K(a) : K] gilt deg m
a, K
[ [L : K]. Nach Voraussetzung gilt
p deg m
a, K
. Folglich gilt m

a, K
= nX
n1
+ mit n ,= 0. Also gilt m

a, K
,= 0.
24.2 Lsung: (a) Fr das Polynom P = X
5
+ 6 X
3
+ 3 X + 4 gilt P

= 5 X
4
+ 18 X
2
+ 3.
Mit dem euklidischen Algorithmus ndet man ggT(P, P

) = 1, sodass P nur einfache Wurzeln


hat.
(b) Fr das Polynom P = X
4
5 X
3
+ 6 X
2
+ 4 X 8 gilt P

= 4 X
3
15 X
2
+ 12 X + 4.
Mit dem euklidischen Algorithmus ndet man ggT(P, P

) = (X 2)
2
, sodass P die 3-fache
Nullstelle 2 hat.
(c) Nach Eisenstein mit p = 5 ist P = X
5
+ 5 X + 5 irreduzibel. Somit hat P nach Lemma
24.1 (c) nur einfache Wurzeln.
24.3 Lsung: (a) Ist P schon separabel, so whle n = 0, es ist dann Q = P.
Es sei P inseparabel. Nach Lemma 24.2 gibt es ein Q
1
K[X] mit P = Q
1
(X
p
). Und es gilt:
Es ist Q
1
irreduzibel und deg Q
1
< deg P.
Ist nun Q
1
separabel, so whle n = 1, es ist dann Q = Q
1
.
Es sei Q
1
inseparabel. Nach Lemma 24.2 gibt es ein Q
2
K[X] mit Q
1
= Q
2
(X
p
), also
P = Q
2
(X
p
2
). Und es gilt:
Es ist Q
2
irreduzibel und deg Q
2
< deg Q
1
.
Aus Gradgrnden bricht dieses Verfahren ab. Folglich gibt es ein separables Polynom Q
n

K[X] mit P = Q
n
(X
p
n
). Whle Q = Q
n
.
(b) Das Polynom Q aus (a) ist irreduzibel und separabel, besitzt also nur einfache Wurzeln in
L.
Zu a L mit 0 = P(a) = Q(a
p
n
) existiert also ein R L[X] mit Q = (X a
p
n
) R und
R(a
p
n
) ,= 0. Es folgt
P = Q(X
p
n
) = (X
p
n
a
p
n
) R(X
p
n
) = (X a)
p
n
R(X
p
n
) .
Also gilt (X a)
p
n
[ P, und die Annahme (X a)
p
n
+1
[ P fhrt auf (X a) [ R(X
p
n
) und
damit zu dem Widerspruch R(a
p
n
) = 0.
76 24 Separable Krpererweiterungen
24.4 Lsung: (a) O. E. sei Char K = p > 0. Wir zeigen L = L
p
.
Es sei a L. Da K vollkommen ist und L/K algebraisch ist, ist a separabel ber K. Folglich
gilt K(a) = K(a
p
). Es existiert also ein P K[X] mit a = P(a
p
). Es sei P =
n

i=0
a
i
X
i
. Es
gilt also
a =
n

i=0
a
i
a
i
.
Wegen K
p
= K existieren b
0
, . . . , b
n
K mit b
p
i
= a
i
fr alle i = 0, . . . , n. Folglich gilt
a =
n

i=0
b
p
i
a
ip
=
_
n

i=0
b
i
a
i
_
p
L
p
.
Also gilt L L
p
und damit L = L
p
.
(b) Wir zeigen K = K
p
. Es sei a K. Es gilt L
p
= L, also b
p
= a fr ein b L. Das
Minimalpolynom m
b, K
K[X] ist ein Teiler von X
p
a = X
p
b
p
= (X b)
p
L[X].
Wegen der Separabilitt gilt also m
b, K
= X b, sodass b K.
Es sei K nicht vollkommen. Dann existiert ein inseparables Polynom P K[X]. Es sei a
eine mehrfache Wurzel eines irreduziblen, normierten Faktors von P in einem algebraischen
Abschluss L von K. Es ist dann a L nicht separabel ber K, aber L natrlich vollkommen.
24.5 Lsung: (a) Da Char Q = 0, existiert ein primitives Element. Es sei := e
2 i
3 .
Das Minimalpolynom von

2 ber Q ist (X

2) (X +

2), das von


3

3 ist (X
3

3) (X

3) (X
2
3

3).
Whle
Q\
_
0 ,
2

2
3

3
3

3
,
2

2
3

3
3

3
2
_
,
also etwa = 1: Es gilt also
Q(

2,
3

3) = Q(

2 +
3

3) .
(b) Da Char Q = 0, existiert ein primitives Element.
Wir bestimmen zuerst ein c mit Q(

1,

2) = Q(c).
Wegen m
i, Q
= X
2
+ 1 und m
Q
(

2) = X
2
+ 2 whlen wir
Q\
_
0 ,
2 i

2 +

2
_
,
also etwa = 1. Es gilt also
Q(

1,

2) = Q(

1 +

2) = Q((1 +

2) i) .
Nun bestimmen wir ein d mit Q((1 +

2) i,

3) = Q(d).
Wegen m
(1+

2) i, Q
= X
4
+6 X
2
+1 = (X(1+

2) i) (X+(1+

2) i) (X(1

2) i) (X+
(1

2) i) und m

3, Q
= X
2
+ 3 whlen wir
Q\
_
0 ,
2(1 +

2) i
2

3 i
,
(1 +

2) i (1 +

2) i
2

3 i
,
(1

2) i (1 +

2) i
2

3 i
_
,
77
also etwa = 1. Wir erhalten
Q(

1,

2,

3) = Q((1 +

2) i,

3) = Q(

1 +

2 +

3) .
(c) Im Fall Char K = 0 existiert ein primitives Element.
Es sind X und Y Lsungen der quadratischen Gleichung (tX)(tY ) = t
2
(X+Y ) t+X Y
K(X + Y, X Y )[t]. Es gilt X / K(X + Y, X Y ), da man X nicht als rationale Funktion in
X+Y und X Y darstellen kann: Wre X = P(X+Y, X Y )/Q(X+Y, XY ) mit P, Q K[s, t],
ggT(P, Q) = 1, so folgte durch Einsetzen von X fr Y in XQ(X +Y, XY ) = P(X +Y, XY )
oenbar XQ(0, X
2
) = P(0, X
2
). Da links ein ungerades und rechts ein gerades Polynom
in X steht, folgte weiter P(0, X
2
) = Q(0, X
2
) = 0, also auch P(0, t) = Q(0, t) = 0. Die
Polynome P, Q wren also beide durch s teilbar. Widerspruch zur Voraussetzung ggT(P, Q) =
1 !
Ein weiteres Argument mehr im Sinne der Galoistheorie ist folgendes: Der K-
Automorphismus X Y , Y X xiert K(X + Y, XY ) elementweise, aber nicht K(X, Y ).
Also ist K(X + Y, XY ) ,= K(X, Y ). Somit ist K(X, Y ) eine quadratische Erweiterung von
K(X + Y, XY ), und jedes Element aus K(X, Y ) \ K(X + Y, XY ), z. B. X oder Y , ist ein
primitives Element dieser Erweiterung.
24.6 Lsung: (a) Ist klar wegen [E(X, Y ) : E(X
p
, Y )] [E(X
p
, Y ) : E(X
p
, Y
p
)] = p p = p
2
.
(b) Es sei a L. Dann existieren a
ij
, b
ij
E mit
a =

i,j
a
ij
X
i
Y
j

i,j
b
ij
X
i
Y
j
.
Folglich ist
a
p
=

i,j
a
p
ij
X
pi
Y
pj

i,j
b
p
ij
X
pi
Y
pj
K .
(c) Gbe es ein a L mit K(a) = L, so folgte mit (b) der Widerspruch
p deg m
a, K
= [L : K] = p
2
.
24.7 Lsung: (a) Es seien a, b P, also a
p
m
K und b
p
n
K fr gewisse m, n N.
Ist nun etwa m n, so gilt a
p
n
= (a
p
m
)
p
nm
K und folglich auch (a b)
p
n
= a
p
n
b
p
n
K,
(a + b)
p
n
= a
p
n
+b
p
n
K, (1/a)
p
n
= 1/a
p
n
K, d. h. a b, a + b, 1/a P.
(b) Wir begrnden vorab den Hinweis: Fr jedes b K \ K
p
ist das Polynom X
p
n
b
K[X] irreduzibel ber K: Wre X
p
n
b = (X a)
p
n
P[X] zerlegbar ber K, so htte
es wegen der eindeutigen Faktorisierung in P[X] einen Teiler (X a)
r
mit 1 < r < p
n
, und
(X
p
e
a
p
e
)
s
= X
r
s a
p
e
X
r1
lieferte s a
p
e
K, also a
p
e
K ein Widerspruch, da
a
p
n
K mit n minimal gewhlt wurde.
Es seien a P \ K und n N minimal mit b := a
p
n
K. Dann ist b / K
p
, denn aus
a
p
n
= c
p
mit c K folgte a
p
n1
= c K, was entweder der Minimalitt von n widersprche
(fr n 2) oder a K nach sich zge (fr n = 1). Das Polynom X
p
n
b K[X] ist wegen
(X
p
n
b)

= 0 nicht separabel. Also ist jedes a P \ K inseparabel ber K, und damit ist
jeder Zwischenkrper von P/K per denitionem rein inseparabel ber K. Es bleibt zu zeigen,
dass im Fall a L \ P der Krper K(a) ein ber K separables Element b / K enthlt. Hier
sttzen wir uns auf Lemma 24.4: Es existiert n N, sodass b := a
p
n
ber K separabel ist.
Wegen a / P ist b / K.
78 24 Separable Krpererweiterungen
(c) Es sei : L L, a a
p
die Frobeniusabbildung. (Da L algebraisch abgeschlossen
also insbesondere vollkommen ist, ist ein Automorphismus von L.) Ist M ein vollkommener
Zwischenkrper von L/K, so gilt
1
(M) = M, also
n
(M) = M fr jedes n N. Aus
a
p
n
K M folgt demnach a M, d. h. es gilt P M. Da L algebraisch abgeschlossen ist,
existiert zu a P ein c L mit c
p
= a. Ferner gibt es ein n N mit c
p
n+1
= a
p
n
K, woraus
oenbar c P folgt. Somit ist P = (P) vollkommen. Schlielich sei P ,= K, d. h. K sei nicht
vollkommen, und es sei a K \ K
p
. Es sind dann die Polynome X
p
n
a, n N, smtlich
irreduzibel ber K. Also existieren fr jedes n N Elemente a L mit [K(a) : K] = p
n
,
woraus natrlich [L : K] = folgt.
24.8 Lsung: Nach Denition des Separabilittsgrades ist [L : K] = [L : K]
s
[L : K]
i
,
also [L : K]
i
= [L : K]/[L : K]
s
. Die Multiplikativitt von [L : K]
i
folgt damit aus der
Multiplikativitt von [L : K] und der Multiplikativitt von [L : K]
s
, die wir nun zeigen: Es
sei K ein algebraischer Abschluss von K mit L K. Nach Lemma 24.11 gilt [L : K]
s
=
[ Mon
K
(L, K)[. Die Identitt auf K besitzt [M : K]
s
= [ Mon
K
(M, K)[ Fortsetzungen zu
einem Isomorphismus : M K. Eine davon ist die Identitt auf M, die ihrerseits [L : M]
s
Fortsetzungen zu einem Isomorphismus : L K besitzt. Wenn wir nun zeigen, dass jedes
Mon
K
(M, K) genau [L : M]
s
Fortsetzungen zu einem Isomorphismus : L K besitzt,
so folgt durch Abzhlen aller Fortsetzungen der Identitt auf K oenbar [L : K]
s
= [L :
M]
s
[M : K]
s
. Zum Beweis sei S die separable Hlle von M in L. Nach dem Satz vom
primitiven Element ist S = M(c) eine einfache Erweiterung. Nach dem Beweis zu Lemma 24.11
erhlt man, dass [L : M]
s
= [S : M] gleich der Anzahl der Wurzeln des Minimalpolynoms
m
c, M
von c ber M ist. Die Anzahl der Fortsetzungen von auf S ist gleich der Anzahl der
verschiedenen Wurzeln des Polynoms m
M
(c)

(M)[X] (d. h. wird auf die Koezienten


angewandt) in K. Dieses Polynom ist separabel (wegen (m

c, M
)

= (m

c, M
)

,= 0) und hat
denselben Grad wie m
c, M
, also auch die gleiche Anzahl [S : M] von Wurzeln in K. Somit
besitzt genau [L : M]
s
Fortsetzungen auf S, und der Beweis von Lemma 24.11 zeigt, dass
die Fortsetzung auf L jeder solchen Fortsetzung eindeutig ist. Damit sind wir fertig.
24.9 Lsung: (a) Der Gradsatz liefert [L : Q] = [L : Q(

2)] [Q(

2 : Q] 3 2 = 6. Da L
den Unterkrper Q(

2) vom Grad 2 und den Unterkrper Q(


3

5) vom Grad 3 besitzt, sind 2


und 3 Teiler von [L : Q], also [L : Q] = 6. Wegen Charakteristik 0 ist die Krpererweiterung
L/Q separabel, also [L : Q]
s
= [L : Q] = 6.
(b) Nach (a) wissen wir, dass es genau 6 Homomorphismen L Q gibt. Jeder solche Homo-
morphismus ist durch (

2) und (
3

5) eindeutig bestimmt.
Da

2 eine Nullstelle von X
2
2 Q[X] ist und dieses Polynom nur die Nullstellen

2
besitzt, folgt (

2)

2,

2. Analog:
3

5 ist eine Nullstelle von X


3
5 Q[X], und
dieses Polynom hat nur die Nullstellen
3

5,
3

5,
2
3

5 mit := e
2i/3
. Also ist (
3

5)

5,
3

5,
2 3

5. Die 6 Homomorphismen L Q sind also gegeben durch:

1
= Id :

2
3

5
3

2
:

2
3

5
3

3
:

2
3

5
2
3

4
:

2
3

5
3

5
:

2
3

5
3

6
:

2
3

5
2
3

5
25 Endliche Krper
Lsungen
25.1 Lsung: Durch Probieren ndet man Z

7
= 3), Z

17
= 3), Z

41
= 2). Da die Gruppen
Z

p
(p eine Primzahl) nach Lemma 25.1 zyklisch von der Ordnung p 1 sind, kann Korollar
5.11 angewandt werden:
Es sind 3, 3
5
alle Erzeugende von Z

7
.
Es sind 3, 3
3
, 3
5
, . . . , 3
15
alle Erzeugende von Z

17
.
Es sind 2, 2
3
, 2
7
, 2
9
, . . . , 2
39
alle Erzeugende von Z

41
.
25.2 Lsung: Wir berlassen das Aufstellen der Tafeln dem Leser. Zur Kontrolle beachte
man, dass die additive Gruppe (K, +) isomorph zu Z
3
Z
3
Z
3
und die multiplikative Gruppe
(K

, ) isomorph zu Z
8
ist.
25.3 Lsung: (a) Fr Q F
3
[X] schreiben wir Q := q + (P). Es ist dann 1, X, X
2
eine
K -Basis von L. Somit ist dim
K
(L) = 3 und [L[ = 3
3
= 27.
(b) In L besitzt P oensichtlich die drei paarweise verschiedenen Wurzeln X, X + 1, X 1,
also ist
P = (X X) (X X 1) (X X + 1) L[X].
(c) Wir betrachten a := X. Dann ist a L

. Es sei o(a) die Ordnung von a als Element


von L

. Wegen [L

[ = 26 folgt o(a) 1, 2, 13, 26. Nach (a) gilt a, a


2
,= 1, also o(a)
13, 26. Wegen
a
13
= (. . . ) P(a) 1 = 1
ist also a
13
,= 1, also o(a) = 26. Somit ist a = X ein erzeugendes Element von L

.
25.4 Lsung: Nach dem Hauptsatz 10.4 ber endliche abelsche Gruppen, ist (F
16
, +) ein
Produkt zyklischer 2 -Gruppen. Da aber jedes Element eine Ordnung 2 hat, bleibt nur
F
16

= Z
2
Z
2
Z
2
Z
2
.
25.5 Lsung: Es gibt oensichtlich genau p
2
normierte Polynome vom Grad 2:
X
2
+ aX +b Z
p
[X] .
Unter diesen Polynomen sind genau jene zerlegbar, die sich als Produkt zweier linearer Poly-
nome darstellen lassen:
X
2
+a X + b = (X a
1
) (X a
2
) Z
p
[X] .
80 25 Endliche Krper
Diese Anzahl der zerlegbaren normierten quadratischen Polynome ist oenbar
p (p+1)
2
. Damit
verbleiben
p
2

p (p + 1)
2
=
p (p 1)
2
irreduzible normierte quadratische Polynome.
25.6 Lsung: Zunchst konstruieren wir den Krper F
4
: Es sei P := X
2
+X + 1 F
2
[X].
Dann ist P irreduzibel (keine Wurzel in F
2
). Also ist F
2
[X]/(P)

= F
4
. Wir setzen a :=
X + (P) F
4
. Dann gilt:
Grad 0: Von diesem Grad gibt es keine irreduziblen Polynome.
Grad 1: X, X +1 sind die einzigen irreduzible Polynome von diesem Grad, die wir betrachten
mssen. Beide bleiben trivialerweise irreduzibel ber F
4
.
Grad 2: Das einzige Polynom vom Grad 2, das keine Wurzel in F
2
besitzt, ist X
2
+X+1. Es hat
nach Konstruktion von F
4
die Wurzel a und durch Anwenden des Frobeniusmonomorphismus
erhalten wir
X
2
+X + 1 = (X +) (X +
2
).
Grad 3: Es sind X
3
+ X + 1 und X
3
+ X
2
+ 1 die einzigen beiden Polynome dieses Grades,
die wir untersuchen mssen. Angenommen, eines dieser beiden Polynome besitzt eine Wurzel
b F
4
. Dann wre 3 = [F
2
(b) : F
2
] ein Teiler von [F
4
: F
2
] = 2, ein Widerspruch. Also haben
die beiden Polynome keine Wurzeln in F
4
und sind somit irreduzibel.
25.7 Lsung: Es gelte X
p
n
X = P Q. Jede Wurzel a von P liegt in F
p
n, da dieser Krper
gerade die Menge aller Wurzeln von X
p
n
X ist. Folglich ist der Krper Z
p
(a) mit einer
Wurzel a von P ein Zwischenkrper von F
p
n/Z
p
, also deg P = [Z
p
(a) : Z
p
] ein Teiler von n.
Es sei umgekehrt k := deg P ein Teiler von n, also n = k l fr ein l N.
Fr jede Wurzel a von P gilt m = [Z
p
(a) : Z
p
], da P irreduzibel ist. Folglich gilt [Z
p
(a)[ = p
k
.
Nach dem kleinen Satz von Fermat gilt a
p
k
= a. Es folgt nun
a
p
n
= a
p
kl
=
_
a
p
k
_
p
k(l1)
= a
p
k(l1)
= = a.
Folglich ist a auch Wurzel von X
p
n
X. Weil dies fr jede Wurzel von P gilt, teilt P das
Polynom X
p
n
X.
25.8 Lsung: (a) Es sei P I(d, p). Es sei d ein Teiler von n. Nach Aufgabe 25.7 ist P ein
Teiler von X
p
n
X. Es folgt
Q :=

d|n
_
_

PI(d,p)
P
_
_
[ X
p
n
X ,
da verschiedene irreduzible Polynome teilerfremd sind.
Nach Aufgabe 25.7 ist aber auch jeder irreduzible Faktor von X
p
n
X ein Faktor von Q.
Folglich gilt Q = X
p
n
X.
(b) Ein Gradvergleich in (a) liefert
p
n
=

d|n
[I(d, p)[ d .
81
Weil die Menge I(1, p) = X +a [ a Z
p
genau p Elemente enthlt, erhalten wir hieraus
[I(2, p)[ =
1
2
p (p 1) und [I(3, p)[ =
1
3
p (p
2
1) .
25.9 Lsung: Denition von +: a, b

nN
F
p
n! . Folglich existieren n, m N mit a F
p
n!
und b F
p
m! . Setze k := maxm, n und damit a + b F
p
k! . Analog fr die Multiplikation.
(a) Klar ist:

nN
F
p
n! F. Es sei a F. Dann gilt Z
p
(a) F und Z
p
(a)

= F
p
r fr ein r N.
Folglich gilt a
p
r
= a, also a F
p
r F
p
r! . Es folgt F

nN
F
p
n! .
(b) Es ist klar, dass F
q
:=

nN
F
p
q
n
ein Teilkrper von F ist. Er ist unendlich, da aus
[F
q
[ = n N der Widerspruch
[F
p
q
n
[ = p
q
n
> n
folgen wrde.
Es gibt eine Zahl r N mit r q
n
fr alle n N. Es zerfllt X
p
r
X ber F, nicht aber
ber F
q
, es htte sonst F
q
einen Teilkrper mit p
r
Elementen. Das wre ein Widerspruch:
F
p
r F
q
n einerseits, aber r p
r
andererseits. Foglich ist F
q
ein echter Teilkrper von F.
(c) Klar ist, dass G = ) eine Untergruppe von Aut F ist. Es ist G genau dann unendlich,
wenn unendliche Ordnung hat.
n
(a) = a fr ein n N und alle a F liefert aber den
Widerspruch a
p
n
= a fr alle a F es wre F endlich, da jedes a F Wurzel von X
p
n
X
wre. Folglich ist G unendlich.
(d) Wir zeigen F
q
= F
p
q
: Es sei a F
q
. Es gibt dann ein n N mit a F
p
q
n
. Folglich ist
a
p
q
n
= a, also
a =
_
a
p
q
n
1
_
p
F
q
.
(e) Es ist F
q
nicht algebraisch abgeschlossen. Es sei P ein ber F
q
irreduzibles Polynom
vom Grad 2 mit den beiden verschiedenen Wurzeln a, b F (beachte (d)). Es ist dann durch
: F
q
(a) F
q
(b) , (a) = b
ein Isomorphismus ,= Id erklrt. Es sei eine Fortsetzung von zu einem Automorphismus
von F. Wir zeigen: , G.
Wre =
r
fr ein r Z, so whle ein n N mit q
n
> r. Es folgte dann fr alle a F
p
q
n
:
a
p
r
=
r
(a) = a.
Somit htte das Polynom X
p
r
X mehr Wurzeln als mglich, nmlich p
q
n
.
25.10 Lsung: Es sei Aut F
q
, q = p
r
, die Frobeniusabbildung und h h

die
durch x x erklrte Fortsetzung von auf F
q
[X], d. h. h

= (

h
i
X
i
)

h
p
i
X
i
. Da
die Koezienten von m
a, Z
p
in Z
p
liegen, sind mit a auch a
p
= (a), a
p
2
=
2
(a), etc.
Nullstellen von m
a, Z
p
. Weil 1, p, p
2
, . . . , p
f1
in Z

n
paarweise verschieden sind, sind auch a,
a
p
,
p
2
, . . . ,
p
s1
paarweise verschieden. Also ist h := (Xa) (Xa
p
) (Xa
p
2
) (Xa
p
s1
)
ein Teiler von m
a, Z
p
. Fr den Nachweis von h = m
a, Z
p
gibt es verschiedene Mglichkeiten:
82 25 Endliche Krper
1. Weg: Wir zeigen, dass die Koezienten von h in Z
p
liegen oder wegen Z
p
= a F
q
[ a
p
=
a damit gleichwertig , dass h

= h gilt. Weil h h

ein Ringautomorphismus ist, gilt


h

=
_
X (a)
_
(X (a
p
)
_
. . . (X (a
p
s1
)
_
= (X a
p
) (X a
p
2
) . . . (X a
p
s1
) (X a
p
s
)
= (X a
p
) (X a
p
2
) . . . (X a
p
s1
) (X a)
= h,
letzteres wegen p
s
1 (mod n), d. h. a
p
s
= a. Somit ist h das normierte Polynom minimalen
Grades in Z
p
[X], das die Wurzel a hat.
2. Weg: Wir zeigen [Z
p
[a] : Z
p
] s. Aus a
p
s
= a folgt b
p
s
= b fr jedes b Z
p
[a], weil
b b
p
s
ein Krperautomorphismus ist. Da das Polynom X
p
s
X in F
q
nicht mehr als
p
s
Wurzeln haben kann, folgt [Z
p
[a][ p
s
oder quivalent dazu [Z
p
[a] : Z
p
] s. Wegen
[Z
p
[a] : Z
p
] = deg m
a, Z
p
gilt also [Z
p
[a] : Z
p
] = s und h = m
a, Z
p
.
26 Die Galoiskorrespondenz
Lsungen
26.1 Lsung: Es sei Aut L. Wie in Aufgabe 19.6 gezeigt wurde, gilt (a) = a fr jedes
a P. Folglich gilt (L/P). Umgekehrt ist natrlich jedes (L/P) ein Automorphis-
mus von L.
26.2 Lsung: Da die endliche Erweiterung Q(

2,

3)/Q normal und separabel ist, ist


Q(

2,

3)/Q galoissch. Wegen Aufgabe 26.1 gilt = (Q(

2,

3)/Q) = Aut(Q(

2,

3)).
Nach Lemma 26.2 gilt [[ = 4. Weil die Abbildungen

1
:
_
2

3
,
2
:
_
2

3
,

3
:
_
2

3
,
4
:
_
2

3
oenbar vier verschiedene Automorphismen (die wir erneut mit
1
, . . . ,
4
bezeichnen) von
Q(

2,

3) induzieren, ist damit bereits ermittelt: =


1
, . . . ,
4


= Z
2
Z
2
(oenbar
hat jedes der vier Elemente eine Ordnung 2).
Da es oenbar die drei echten Zwischenkrper Q(

2), Q(

3), Q(

6) von Q(

2,

3)/Q gibt,
bleibt nur noch zu entscheiden, welche der drei echten Untergruppen von zu welchem dieser
Zwischenkrper gehrt. Aber das ist klar (etwa
4
(

6) =
4
(

3) =

2 (

3) =

6):
Wir erhalten den Untergruppen- und (zugehrigen) Zwischenkrperverband:

2
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y

2
2

2
`
`
`
`
`
`
`
`
`
`
`
2

{
1
}
Q
Q(

3)
2
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
2
q
q
q
q
q
q
q
q
q
q
q
q
q
q
Q(

2)
2
2
Q(

6)
2
r
r
r
r
r
r
r
r
r
r
r
r
r
r
r
2
w
w
w
w
w
w
w
w
w
w
w
w
w
w
L = Q(

2,

3)
26.3 Lsung: Es ist m
, Q
= X
4
+ X
3
+ X
2
+ X + 1 oenbar (oder bekanntlich) das
Minimalpolynom von ber Q; es hat m
, Q
die vier verschiedenen Wurzeln ,
2
,
3
,
4
.
84 26 Die Galoiskorrespondenz
Da Q()/Q normal und separabel ist, ist Q()/Q galoissch. Wegen Aufgabe 26.1 gilt =
(Q()/Q) = Aut(Q()). Nach Lemma 26.2 gilt [[ = 4. Weil die Abbildungen

1
: ,
2
:
2
,
3
:
3
,
4
:
4
oenbar vier verschiedene Automorphismen (die wir erneut mit
1
, . . . ,
4
bezeichnen) von
Q() induzieren, ist damit bereits ermittelt: =
1
, . . . ,
4


= Z
4
(oenbar hat das
Element
2
die Ordnung 4).
Da
4
) die einzige echte Untergruppe von ist, ist nur der Fixkrper T(
4
)) zu bestimmen:
Es sei a = a
0
+ a
1
+a
2

2
+a
3

3
+a
4

4
Q(). Dann gilt wegen
4
= 1
2

4
(a) = a a = b
0
+b
1
(
2
+
3
)
mit b
0
, b
1
Q. Wir erhalten
4
(
2
+
3
) =
2
+
3
, und folglich erhalten wir den Untergruppen-
und (zugehrigen) Zwischenkrperverband:

2
2
{
1
}
Q
Q(
2
+
3
)
2
2
L = Q()
26.4 Lsung: (a) Wir zeigen
+
= T() = Q fr := (L/Q). Die Inklusion Q
+
ist
trivial. Es sei
P
Q

+
, P, Q Q[X], ggT(P, Q) = 1.
Fr jedes b Q ist die Abbildung
X+b
mit
X+b
: X X + b,
X+b
[
Q
= Id
Q
ein Element
von . Da
P
Q

+
ist gilt

X+b
_
P
Q
_
=
P(X + b)
Q(X +b)
=
P
Q
.
Folglich gilt fr alle b Q
P(X + b) QP Q(X +b) = 0 .
Insbesondere:
P(b) Q(0) P(0) Q(b) = 0 , folglich P Q(0) P(0) Q = 0 .
Es ist Q(0) ,= 0, sonst wre P(0) = 0, also ggT(P, Q) ,= 1. Damit
P
Q
=
P(0)
Q(0)
Q.
(b) Zu zeigen: Q(X
2
)
++
= Q(X
2
). Es ist Q(X
2
)
+
= (Q(X)/Q(X
2
)) = Id
L
,
X
, die
Inklusion ist klar, die Inklusion gilt weil fr Q(X
2
)
+
gilt: [
Q
= Id, (X
2
) = X
2
und (X
2
) = (X)
2
. Foglich gilt (X) X.
85
Es gilt Q(X
2
) Q(X
2
)
++
. Wegen [L : Q(X
2
)] = 2 also [L : Q(X
2
)
++
] 2. Aus
2 = [Q(X
2
)
+
[ = [Q(X
2
)
+++
[ [L : Q(X
2
)
++
]
folgt die Behauptung.
(c) Oenbar gilt Q
aX
)
+
= T(
aX
).
Es sei
P
Q

aX
)
+
. Dann gilt

aX
_
P
Q
_
=
P(aX)
Q(aX)
=
P
Q
.
Ein Koezientenvergleich von P(aX) Q = P Q(aX) liefert deg P = deg Q. Weiter gilt (o. E.
ggT(P, Q) = 1, also auch ggT(P(aX), Q(aX)) = 1):
P(aX) Q = P Q(aX) P P(aX) .
Folglich ist a
deg P
= 1, d. h. deg P = 0.
Es gilt Id
L
Q(X
3
)
+
= (Q(X)/Q(X
3
)). Es sei Q(X
3
)
+
. Dann gilt (X)
3
=
(X
3
) = X
3
, also
_
(X)
X
_
3
= 1, wonach
(X)
X
ber Q algebraisch ist. Also gilt
(X)
X
Q
(bekanntlich ist jedes Element aus Q(X) \Q transzendent ber Q), sodass (X) = q X fr ein
q Q.
Wegen (X)
3
= q
3
X
3
= X
3
gilt q = 1, also (X) = X, also = Id
L
.
Die Abbildung E E
+
von ?(L/Q) in |((L/Q)) ist nicht injektiv: Es gilt nmlich Q(X
3
) ,=
Q(X), aber Q(X
3
)
+
= Q(X)
+
.
Sie ist nicht surjektiv: E mit E
+
=
aX
) wre wegen E E
++
=
aX
)
+
= Q gleich Q;
aber Q
+
= ,=
aX
).
Die Abbildung
+
von |((L/Q)) in ?(L/Q) ist nicht injektiv:
aX
) ,= , aber

aX
)
+
= Q =
+
.
Sie ist nicht surjektiv: mit
+
= Q(X
3
) wre wegen
++
= Q(X
3
)
+
= Id
L
. Aber
Id
L

+
= L ,= Q(X
3
).
Insbesondere sind Q(X
3
) und
aX
) nicht abgeschlossen:
Q(X
3
)
++
= Id
L

+
= L ,= Q(X) ,
aX
)
++
= Q
+
= ,=
aX
) .
26.5 Lsung: Es ist L = F
p
mn der Zerfllungskrper von X
p
mn
X ber Z
p
. Die Ga-
loisgruppe := (L/Z
p
) der Galoiserweiterung L/Z
p
ist isomorph zu der zyklischen Gruppe
Z
mn
. Folglich ist die Untergruppe (L/K) von vom Index
[ : (L/K)] = [K : Z
p
] = n
die einzige Untergruppe der Ordnung m und selbst wieder zyklisch; somit gilt (L/K)

= Z
m
.
26.6 Lsung: Es ist N/Q galoissch. Also gilt [(N/Q)[ = 2 p = [N : Q].
Wegen N ,= K gibt es einen Q-Monomorphismus : K A (fr einen algebraischen Abschluss
A von Q) mit K

= (K) ,= K.
Da K (K) K und [K : Q] = p gilt, folgt K (K) = Q.
86 26 Die Galoiskorrespondenz
Es ist N/K algebraisch: Setze zu einem Q-Monomorphismus : N A fort: Aut N.
Satz 26.7 besagt nun; N/K

ist galoissch, und


2 = [(N/K

)[ = [N : K

] = [N : K] = [(N/K)[ = 2 .
Es sei
1
) := (N/K),
2
) := (N/K

). Es ist
1
,=
2
, da K ,= K

.
Lemma 26.6 liefert

1
,
2
)
+
=
1
)
+

2
)
+
= K K

= Q,
also
1
,
2
) = (N/Q), also [
1
,
2
)[ = 2 p mit 2 < p.
Nach Lemma 8.7 gilt: (N/Q)

= Z
2p
oder (N/Q)

= D
p
. Weil (N/Q) nicht zyklisch ist,
bleibt nur (N/Q)

= D
p
brig.
26.7 Lsung: (a) Nach Aufgabe 23.16 sind E F/K und E F/K normal. Mit E ist auch
der kleinere Krper E F separabel ber K, und mit E und F ist auch E F = K(E F)
separabel ber K. Also sind E F/K, E F/K beide galoissch. Der Krper E F ist dann auch
ber dem greren Krper EF galoissch; gleiches gilt fr E und F. Es bleibt zu zeigen, dass
der Gruppenhomomorphismus h : (E F/EF) (E/EF)(F/EF), ([
E
, [
F
)
ein Isomorphismus ist. Wegen der Normalitt von E/K ist [
E
ein Automorphismus von E,
also ist, da gleiches auch fr [
F
gilt, h wohldeniert. Es gilt Kernh = (E F/E
F) [ [
EF
= Id
EF
= Id
EF
, da E F von E F erzeugt wird. Also ist h injektiv. Um die
Surjektivitt von h nachzuweisen, geben wir uns
E
(E/E F) und
F
(F/E F)
vor. Nach dem Translationssatz existieren (E F/F), (E F/E) mit [
E
=
E
,
[
F
=
F
. Fr das Element (E F/E F) gilt dann h( ) = ( [
E
, [
F
) = (
E

Id
E
, Id
F

F
) = (
E
,
F
) wie gewnscht.
(b) Nach dem Translationssatz sind auch E/E F, E F/F galoissch und es gilt (E F/F)

=
(E/E F), also speziell [E F : F] = [(E F/F)[ = [(E/E F)[ = [E : E F]. Daraus folgt
[E : K] [F : K] = [E : E F] [F : E F] [E F : K]
2
= [E F : F] [F : E F] [E F : K]
2
= [E F : K] [E F : K] ,
also [E : K] [F : K] = [E F : K] [E F : K] = 1 E F = K.
(c) Fr E := Q(
3

2), F := Q(
3

2) mit := e
2 i
3 gilt [E : Q] = [F : Q] = 3, E F = Q, aber
[E F : Q] = [Q(
3

2, ) : Q] = 6 ,= 9 = [E : Q] [F : Q]. (Die Erweiterungen E/Q und F/Q sind


beide nicht normal.)
27 Der Zwischenkrperverband
einer Galoiserweiterung *
Lsungen
27.1 Lsung: (a) Das folgt sofort aus Aufgabe 20.6.
(b) Wir betrachten im Folgenden zu
a X+b
c X+d
mit a, b, c, d K die Matrix
_
a b
c d
_
K
22
.
Es seien , , (X) =
aX+b
c X+d
, (X) =
a

X+b

X+d

. Man berechnet
( )(X) =
a (X) +b
c (X) +d
=
a
a

X+b

X+d

+b
c
a

X+b

X+d

+d
=
(a a

+b c

)X +a b

+ b d

(c a

+d c

) X + c b

+ d d

Demnach gehrt zu
_
a b
c d
__
a

_
, d. h.
_
a b
c d
_
deniert einen Antihomomor-
phismus von GL(2, K) auf und ein kleiner Trick! die Abbildung
_
a b
c d
_

1
dann
einen richtigen Homomorphismus. Sein Kern besteht aus allen Matrizen A =
_
a b
c d
_
mit
a X+b
c X+d
= X a + b = c X
2
+ d X a = d, b = c = 0 A Z, fr das Zentrum
Z von K
22
. Der Homomorphiesatz ergibt dann

= GL(2, K)/Z. Da ein zweidimensionaler
F
q
-Vektorraum (q
2
1) (q
2
q) geordnete Basen (und genauso viele Automorphismen) hat,
ist [G[ = [ GL(2, K)[/[Z[ = (q
2
1) (q
2
q)/(q 1) = (q
2
1) q.
(c) Es gilt [K(X) : U
+
] = [U[ fr U , also folgt aus u U
+
und [K(X) : K(u)] = [U[
tatschlich U
+
= K(u). Wegen [R[ = q 1 und (a X)
q1
= a
q1
X
q1
= X
q1
fr a K

gilt R
+
= K(X
q1
). Wegen [T[ = q und der Invarianz von X
q
x =

bF
q
(X b) unter
X X + b gilt T
+
= K(X
q
X). Ein primitives Element von A
+
fllt nicht so leicht vom
Himmel, aber aus Gradgrnden ist klar, dass man die Norm von X bezglich A nehmen kann:
N
A
(X) =

A
(X)
=

aK

bK
(a X + b)
=

aK

_
(a X)
q
aX
_
=

aK

(a X
q
a X)
= (X
q
X)
q1
.
88 27 Der Zwischenkrperverband einer Galoiserweiterung *
Also ist A
+
= K
_
(X
q
X)
q1
_
. (Das Element u
3
= (x
q
x)
q1
= u
q1
2
lsst sich wegen
K(u
3
) K(x
q1
) auch als rationale Funktion in u
1
= x
q1
darstellen; explizit: u
3
= u
1
(u
1

1)
q1
= u
1
+ u
2
1
+ + u
q
1
.) Es gilt S =
_
X X, X
1
X+1
, X
X+1
X
_
. Die Norm
von X bezglich S liegt leider in K, also probieren wir es mit der Spur von X bezglich S :
Sp
S
(X) = X
1
X + 1

X + 1
X
=
X (X
2
+ X) X (X + 1)
2
X
2
+X
=
X
3
3 X 1
X
2
+X
.
Der Grad im Zhler ist 3 = [S[ wie erhot, also S
+
= K
_
X
3
3 X1
X
2
+X
_
. Zum Aufspren einer
geeigneten Invarianten fr bentzen wir, dass sich jedes g \ A wegen
a X + b
c X + d
=
a
c

ad bc
c
2
(X +d/c)
auf genau eine Weise in der Form g = g
b
mit g
b
: X 1/(X +b) und A darstellen lsst.
(g
b
[ b K 1 ist also ein Vertretersystem fr die Linksnebenklassen von A in .) Es
folgt
Sp

(X) =

A
(X) +

bK
g
b
_

A
(X)
_
= (X
q
X)
q1
+

bK
_
1
(X + b)
q

1
X + b
_
q1
= (X
q
X)
q1
+

bK
(X X
q
)
q1
(X + b)
q
2
1
= (X
q
X)
q1

_
1 +

bK
1
(X + b)
q
2
1
_
=
1
(X
q
X)
q
2
q

_
_
(X
q
X)
q
2
1
+

bK

a=b
(X +a)
q
2
1
_
_
=
1
(X
q
X)
q
2
q

_
(X
q
X)
q
2
1
+

bK
_
(X +b)
q1
1
_
q
2
1
_
=
1
(X
q
X)
q
2
q

_
_
(X
q
X)
q
2
1
+
q
2
1

j=0
_
q
2
1
j
_
_

bK
(x +b)
(q1)j
_
_
_
.
Da der Grad des Polynoms in der Klammer gleich (q
2
1)q = [[ ist, haben wir in jedem
Fall die gesuchte Invariante gefunden. Man kann man zeigen, dass die rechte Summe in der
Klammer gleich 1 ist. Als Ergebnis haben wir also

+
= K
_
(X
q
X)
q
2
1
+ 1
(X
q
X)
q
2
q
_
.
(Wieder lsst sich u
5
=
_
(X
q
X)
q
2
1
+ 1
_
/(X
q
X)
q
2
q
wegen
+
A
+
als rationale
Funktion in u
3
= (X
q
X)
q1
darstellen: u
5
= (u
q+1
3
+ 1)/u
q
3
.
27.2 Lsung: (a) Analog zu Beispiel 27.2 auf Seite 291.
89
(b) Der Krper K := Q(i

3) enthlt := e
2 i
3 . Daher zerfllt das Polynom P = X
3
10
ber K(

10):
X
3
10 = (X

10) (X

10 ) (X

10 ) .
Es gilt also [K(

10) : K] = 3. Die Galoisgruppe (K(

10)/K) ist folglich zu Z


3
isomorph,
sie hat somit keine nichttrivialen Untergruppen.
27.3 Lsung: (a) Analog zu Beispiel 27.4 auf Seite 293 erhlt man
K
(P)

= D
4
.
(b) ber K = Q(

5) zerfllt P in
X
4
5 = (X
2

5) (X
2
+

5) .
Damit ist L = K(i,
4

5) Zerfllungskrper von P. Die Elemente der Galoisgruppe


K
(P) sind
gegeben durch

1
:
_
4

5
4

5
i i
,
2
:
_
4

5
4

5
i i
,

3
:
_
4

5
4

5
i i
,
4
:
_
4

5
4

5
i i
.
Oenbar hat jedes Element die Ordnung 2. Es gilt somit
K
(P)

= Z
2
Z
2
.
(c) ber dem Krper L = Q(i,
4

5) hat das Polynom P die Zerlegung (mit a :=


4

5)
() X
4
5 = (X a) (X + a) (X i a) (X + i a) .
Folglich ist das Polynom P = X
4
2 ber K := Q(

5) irreduzibel (es hat keine Wurzel in


Q(

5) und zerfllt auch nicht in ein Produkt mit quadratischen Faktoren). Da L = K(


4

5)
ein Zerfllungskrper von P ist, ist die Galoisgruppe zyklisch von der Ordnung 4.
(d) Es ist L/Q(i) eine Galoisweiterung vom Grad 4. Wir setzen K := Q(i). Nach () zerfllt
P ber L = K(a). Die Galoisgruppe ist zyklisch von der Ordnung 4, sie wird vom Automor-
phismus
: a i a
erzeugt:
2
: a a,
3
: a i a,
4
= Id. (Der einzige echte Zwischenkrper ist K(

5).)
27.4 Lsung: Das Polynom P = X
n
t ist nach Eisenstein mit p = t irreduzibel ber
K := C(t). Es sei := e
2 i
n K. Dann ist
X
n
t = (X
n

t) (X
n

t) (X
n1 n

t)
eine Zerlegung von P im Zerfllungskrper L = K(
n

t). Somit ist die Galoisgruppe zyklisch


vom Grad n. Ein erzeugendes Element ist gegeben durch
:
n

t
n

t .
27.5 Lsung: Wegen

20 = 2

5 zerfllt P ber Q(

5). Es gilt somit


Q
(P)

= Z
2
; es
liefert
:

5
ein erzeugendes Element von
Q
(P).
Das Polynom Q

:= X
3
X + 1 hat nach Lemma 27.5 die Galoisgruppe
Q
(Q

)

= S
3
. Mit
Aufgabe 26.7 folgt nun
Q
(Q)

= Z
2
Z
2
S
3
.
90 27 Der Zwischenkrperverband einer Galoiserweiterung *
27.6 Lsung: Es seien a
1
, . . . , a
n
die verschiedenen Wurzeln von P. Nach Lemma 27.4
existiert zu jedem a
i
mit i 1, . . . , n ein
i
mit
i
(a
1
) = a
i
.
Es sei
Q
(P). Wir zeigen: =
i
fr ein i = 1, . . . , n, es folgt hieraus dann die Behauptung.
Es sei (a
1
) = a
r
fr ein r 1, . . . , n. Weil
Q
(P) abelsch ist folgt wegen (a
1
) =
r
(a
1
)
fr jedes i 1, . . . , n:

1
r
(a
i
) =
1
r

i
(a
1
) =
i

1
r
(a
1
) =
i
(a
1
) = a
i
.
Somit gilt =
r
.
28 Kreisteilungskrper
Lsungen
28.1 Lsung: Da fr jede Primzahl p das p -te Kreisteilungspolynom
p
= X
p1
+X
p2
+
+X + 1 ist, geben wir nur die
n
an, fr die n keine Primzahl ist:
n
n
1 X 1
4 X
2
+ 1
6 X
2
X + 1
8 X
4
+ 1
9 X
6
+X
3
+ 1
10 X
4
X
3
+X
2
X + 1
12 X
4
X
2
+ 1
14 X
6
X
5
+X
4
X
3
+X
2
X + 1
15 X
8
X
7
+X
5
X
4
+X
3
X + 1
16 X
8
+ 1
18 X
6
X
3
+ 1
20 X
8
X
6
+X
4
X
2
+ 1
21 X
12
X
11
+ X
9
X
8
+X
6
X
4
+X
3
X + 1
22 X
10
X
9
+X
8
X
7
+X
6
X
5
+X
4
X
3
+X
2
X + 1
24 X
8
X
4
+ 1
Abb. 28.1: n fr 1 n 24, n keine Primzahl
28.2 Lsung: (a) Wegen n 3 ist deg(
n
) gerade, also
n
(X) ebenso wie
2n
(X)
normiert. Auerdem gilt deg(
2n
) = (2n) = (2)(n) = (n) = deg(
n
), und
n
(X),

2n
(X) haben beide nur einfache Wurzeln. Es gengt demnach zu zeigen, dass beide Polynome
dieselben Wurzeln haben. Ist
2n
() = 0, d. h. eine primitive 2n-te Einheitswurzel ber Q,
so gilt (
n
)
2
= 1 aber
n
,= 1, also
n
= 1. Wegen 2 n heit das ()
n
= 1. Also ist eine
(notwendig primitive) n-te Einheitswurzel, woraus
n
() = 0 folgt oder anders ausgedrckt:
ist Wurzel von
n
(X).
(b) Wegen (np) = p (n) fr p [ n und (np) = (p1) (n) fr p n haben auch hier jeweils
beide Seiten den gleichen Grad und sind normiert. Es sei eine primitive p n-te Einheitswurzel.
92 28 Kreisteilungskrper
Dann ist
p
eine (notwendig primitive) n-te Einheitswurzel. Demnach ist jede Wurzel von

np
(X) auch Wurzel von
n
(X
p
), woraus schon die angegebene Formel im Fall p [ n folgt. Im
Fall p n ist fr jede primitive n-te Einheitswurzel auch
p
eine primitive n-te Einheitswurzel,
also jede Wurzel von
np
(X)
n
(X) auch eine Wurzel von
n
(X
p
). Das beweist die zweite
Formel.
28.3 Lsung: ber Z
11
gilt oenbar

12, Z
11
= X
4
X
2
+ 1 = (X
2
5 X + 1) (X
2
+ 5 X + 1) .
28.4 Lsung: Wir setzen
n
= e
2 i /n
, krzen aber in den jeweiligen Teilaufgaben
n
mit
ab.
n = 5: Wegen (Q
5
/Q)

= Z

= (Z
4
, +) gibt es nur einen nichttrivialen Zwischenkrper,
nmlich T(
1
) = Q
_
cos(2/5)
_
. Den cos(2/5) berechnet man entweder mit einer
Skizze des regelmigen Fnfecks oder aus der Identitt
4
+
3
+
2
+ +1 = 0: ( +
1
)
2
=

2
+
2
+ 2 = 1
1
, also ist 2 cos(2/5) Nullstelle von X
2
+ X 1 = 0, d. h.
cos(2/5) = (

5 1)/4. Der Zwischenkrperverband von Q


5
ist demnach Q
5
Q(

5) Q.
Q(e
2 i /5
)
Q(

5)
2
2
Q
n = 7: Wegen (Q
7
/Q)

= Z

= (Z
6
, +) gibt es zwei nichttriviale Zwischenkrper, nmlich
Q
_
cos(2/7)
_
= T(
7

1
7
) und Q( +
2
+
4
) = T(
7

2
7
). Das Minimalpolynom
des 2 cos(2/7) ist X
3
+ X
2
2 X 1 wegen ( +
1
)
3
=
3
+
3
+ 3 ( +
1
) =
1
2

2
+ 2 ( +
1
) = 1 ( +
1
)
2
+ 2 ( +
1
). (Man kann genauso gut
_
X
( +
1
)
_ _
X (
2
+
2
)
_ _
X (
3
+
3
)
_
= X
3
+X
2
2 X 1 direkt ausrechnen.) Das
Minimalpolynom von := +
2
+
4
ist X
2
+X+2 wegen
2
=
2
+
4
+
8
+2(
3
+
5
+
6
) =
+ 2 (1 ). Also ist = (1 i

7)/2, wobei wir uns die Berechnung des Vorzeichens


eigentlich sparen knnten, aber natrlich zu neugierig sind! Tatschlich ist = (1 +i

7)/2
wegen Im() = sin(2/7) + sin(4/7) + sin(8/7) = sin(2/7) sin(/7) + sin(4/7) > 0.
n = 9: Wegen (Q
9
/Q)

= Z

= (Z
6
, +) sieht der Zwischenkrperverband von Q
9
/Q so aus
wie der von (Q
7
, Q), allerdings mit andern Krpern. Der eine ist Q(i

3) = Q(
3
), der andere
Q
_
cos(2/9)
_
. Aus
6
+
3
+1 = 0 folgt ( +
1
)
3
=
3
+
3
+3 ( +
1
) = 1+3 ( +
1
),
also ist X
3
3 X + 1 das Minimalpolynom von 2 cos(2/9) ber Q.
28.5 Lsung: ber Z
2
gilt oenbar

7, Z
2
= X
6
+X
5
+X
4
+X
3
+X
2
+X + 1 = (X
3
+ X
2
+ 1) (X
3
+ X + 1)
mit den irreduziblen Faktoren X
3
+ X
2
+ 1 und X
3
+ X + 1. Es ist also X
3
+ X
2
+ 1
Minimalpolynom einer primitiven Einheitswurzel.
93
Q(e
2 i /7
)
Q
_
cos(2/7)
_
2
n
n
n
n
n
n
n
n
n
n
3
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
Q(i

7)
3
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
2
p
p
p
p
p
p
p
p
p
p
p
Q
28.6 Lsung: Das folgt aus
(1 + + +
n1
) ( 1) =
n
1 = 0 .
28.7 Lsung: Es sei eine n-te Einheitswurzel mit
i
=
i
. Es gilt dann

k
1
+
k
2
+ +
k
n
=
k
+
2k
+ +
(n1)k
+ 1 = (1
nk
) (1
k
)
1
= 0 .
28.8 Lsung: Es sei P der Primkrper von K (also P

= Z
p
). Dann ist P
n
ein Teilkrper
von K
n
und es gilt P
n
K = K
n
( ist klar nach Denition des Kompositums. Ferner ist P
n
K
ein Zwischenkrper von K
n
/K, ber dem X
n
1 zerfllt. Aufgrund der Minimalitt von K
n
gilt also P
n
K = K
n
).
Nun ist P
n
/P galoissch und (P
n
/P) zyklisch. Nach dem Translationssatz ist dann K
n
/K
galoisch und
_
(K
n
/K) (P
n
/(P
n
K))
[
P
n
ein Isomorphismus. Als Untergruppe von (P
n
/P) ist (P
n
/(P
n
K)) und damit auch
(K
n
/K) zyklisch.
28.9 Lsung: Es ist Q
5
= Q() mit := e
2 i
5 . (Q
5
/Q) wird von dem durch () =
2
gegebenen Automorphismus erzeugt:
k 1 2 3 4

k
()
2

Untergruppen 1
i
mit [1
i
: 1
i1
] = 2: (Q
5
/Q) Id,
2
Id.
Fixkrper F
i
= T(1
i
) mit [F
i1
: F
i
] = 2: Q F Q
5
.
Zur Berechnung von F beachte, dass
i
[ i = 1, . . . , 4 eine Basis von Q
5
/Q ist.
w := Sp
(Id,
2

() = +
1
F
w

:= (w) =
2
+
2
.
w ,= w

impliziert w F \ Q.
94 28 Kreisteilungskrper
Q(e
2 i /9
)
Q
_
cos(2/9)
_
2
n
n
n
n
n
n
n
n
n
n
3
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
Q(i

3)
3
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
2
p
p
p
p
p
p
p
p
p
p
p
Q
Wegen (w

) = w folgt
m
w, Q
= (X w) (X w

) = X
2
(w +w

) X +ww

= X
2
( +
2
+
3
+
4
) X + ( +
2
+
3
+
4
)
= X
2
+ X 1
(beachte
5
() = 0).
Nun ist w > 0 und w

< 0, also 2 cos


2
5
= w =
1
2
(

5 1) und w

=
1
2
(

5 + 1). Es folgt
F = Q(w) = Q(

5) und cos
2
5
=
1
4
(

5 1) .
Damit erhlt man ein Verfahren zur Konstruktion des regulren Fnfecks.
28.10 Lsung: Man beachte Satz 28.10: Man ermittle alle Zahlen der Form n = 2
a
3
b

5
c
17
d
mit a N
0
und b, c, d 0, 1. Man erhlt die Zahlen 2, 3, 4, 5, 6, 8, 10, 12, 15,
16, 17, 20, 24, 30, 32, 34, 40, 48, 51, 60, 64, 68, 80, 85, 96.
29 Ausung algebraischer
Gleichungen durch Radikale
Lsungen
29.1 Lsung: Es sei a eine Wurzel von P in einer Radikalerweiterung L von Q. Nach dem
Beweis zu Satz 29.9 (vgl. dortige Aussage (1)) drfen wir voraussetzen, dass L/Q normal ist.
Folglich liegen alle Wurzeln von P in L.
29.2 Lsung: Das ist nach Korollar 29.9 klar, da die Diedergruppe D
n
nach Aufgabe 11.5
fr jedes n N ausbar ist.
29.3 Lsung: Der Zerfllungskrper von X
15
1 ber Q ist Q() mit = e
2 i
15 . Es gilt
:= (Q()/Q)

= Z

15

= Z
2
Z
4
. Die Automorphismen sind

k
:
k
, mit ggT(15, k) = 1 ,
also = Id,
2
,
4
,
7
,
8
,
11
,
13
,
14
mit
o(
2
) = 4 , o(
4
) = 2 , o(
7
) = 4 , o(
8
) = 4 , o(
11
) = 2 , o(
13
) = 4 , o(
14
) = 2 .
Die Untergruppen der Ordnung 4 von sind:

2
) ,
7
) ,
4
,
11
) .
Und die Untergruppen der Ordnung 2 von sind:

4
) ,
11
) ,
14
) .
Damit erhalten wir den Untergruppenverband:

2
)

X
X
X
X
X
X
X
X
X
X
X

7
)
4
,
11
)
e
e
e
e
e
e
e
e
e
e
e
e
~
~
~
~
~
~
~
~
~
~
~
~

4
)
d
d
d
d
d
d
d
d
d
d
d
d

11
)
14
)
e
e
e
e
e
e
e
e
e
e
e
e
}
}
}
}
}
}
}
}
}
}
}
}
1)
96 29 Ausung algebraischer Gleichungen durch Radikale
und den noch genauer zu bestimmenden Zwischenkrperverband:
Q

2
)
+

b
b
b
b
b
b
b
b
b
b
b
b

7
)
+

4
,
11
)
+
g
g
g
g
g
g
g
g
g
g
g
g
g
{
{
{
{
{
{
{
{
{
{
{
{
{

4
)
+
g
g
g
g
g
g
g
g
g
g
g
g
g

11
)
+

14
)
+
h
h
h
h
h
h
h
h
h
h
h
h
h
z
z
z
z
z
z
z
z
z
z
z
z
z
Q()
Wir ermitteln
2
)
+
: Sp

2
)
() = +
2
+
4
+
8

2
)
+
\ Q. Folglich gilt mit :=
+
2
+
4
+
8
:

2
)
+
= Q() .
Wir ermitteln : ist Wurzel eines Polynoms aus Q[X] vom Grad 2, die zweite Wurzel ist :
(X ) (X ) = X
2
( + ) X + .
Nach einer kurzen Rechnung erhlt man
+ = 1 und = 4 .
Also ist Wurzel von X
2
X + 4, folglich =
1
2
(1 +

15):

2
)
+
= Q(

15) .
Wir ermitteln
7
)
+
: Sp

7
)
() = +
7
+
4
+
13
=: . Es gilt

7
)
+
= Q() .
Wir ermitteln : ist Wurzel eines Polynoms aus Q[X] vom Grad 2, die zweite Wurzel ist :
(X ) (X ) = X
2
( + ) X + .
Nach einer kurzen Rechnung erhlt man
+ = 1 und = 1 .
Also ist Wurzel von X
2
X + 1, folglich =
1
2
(1 +

3):

7
)
+
= Q(

3) .
97
Wir ermitteln
4
,
11
)
+
: Sp

4
,
11
)
() = +
4
+
11
+
14
=: . Weil das Minimalpolynom
von keine zweifache Wurzel haben kann, brauchen wir ein zweites Element aus Q(), das
ebenfalls unter
4
,
11
) festbleibt:
Sp

4
,
11
)
(
2
) =
2
+
8
+
7
+
13
=:

.
Also X
2
( +

) X +

:
Nach einer kurzen Rechnung erhlt man
+

= 1 und

= 1 .
Also ist Wurzel von X
2
X 1, folglich =
1
2
(1 +

5):

4
,
11
)
+
= Q(

5) .
Wir ermitteln
4
)
+
=
2
)
+

7
)
+
= Q(

15,

3).
Analog erhlt man
11
)
+
= Q
_
_
2 (5

5)
_
und
14
)
+
= Q
_
_
6 (5

5)
_
und
schlielich
Q() = Q
_
2

5
__
6 (5

5) 2
_
28
_
.
29.4 Lsung: Es gilt := (L/Q)

= Z

= (Z
6
, +): Es ist :
3
ein erzeugendes
Element der Gruppe .
Wir erhalten den Untergruppen- und Zwischenkrperverband:

{
3
}
1
L

+
Q
Wir ermitteln
2
)
+
:
Sp

2
)
() = +
2
+
4
=:
2
)
+
,
die zweite Wurzel des Minimalpolynoms von ist

=
1
+
2
+
4
=
6
+
4
+
2
:
(X ) (X

) = X
2
+ X + 2 .
98 29 Ausung algebraischer Gleichungen durch Radikale
Also gilt =
1
2
(1 +

7). Damit gilt

2
)
+
= Q(

7) .
Es ist Q(

7) eine einfache Radikalerweiterung von Q.


Wir ermitteln
3
)
+
:
Sp

3
)
() = +
1
.
Also gilt

3
)
+
= Q( +
1
) und [Q( +
1
) : Q] = 3 .
Wre dies eine Radikalerweiterung, so wre +
1
=
3

a fr ein a Q mit
3

a , Q. Weil

3
) Normalteiler in ist, wre Q( +
1
) normal ber Q, enthielte also auch die dritten
Einheitswurzeln ein Widerspruch zu Q( +
1
) R.
29.5 Lsung: Nach Lemma 27.5 gengt es zu zeigen:
P
p
(x) =

p
j=0
a
j
X
j
Q[x] ist irreduzibel und hat genau p 2 reelle Wurzeln. Wegen p 5
kommt in der angegebenen Darstellung fr Q
p
der Faktor (X 2) (X 4) vor. Zusammen
mit a
0
= 2 haben wir also 2 [ a
j
fr 0 j p 1, 4 a
0
. Das Eisenstein-Kriterium mit
Primelemente p

= 2 liefert die Unzerlegbarkeit von P


p
. Die Anzahl der reellen Wurzeln von
P
p
bestimmen wir mit Kurvendiskussion: Fr x 0 ist P
p
(x) < 0. Fr x 2 (p 3) + 1
ist P
p
(x) > 0. Fr x = 4 k + 1, 0 k (p 3)/2, sind 2 k + 3 Faktoren des Produkts
X
3
(X 2) (X 4)
_
X 2 (p 3)
_
positive ganze Zahlen, p 3 2 k Faktoren negative
ganze Zahlen, und 3 kommt als Faktor vor. Also ist P
p
(4k + 1) 1. Analog schliet man
P
p
(x) < 0 fr x [4k + 2, 4k + 4], 0 k (p 5)/2; zusammengefasst:
P
p
(x) =
_
_
_
2 fr x = 2k, 0 k p 3,
> 0 fr x = 4k + 1, 0 k (p 3)/2,
< 0 fr x [4k + 2, 4k + 4], 0 k (p 5)/2.
Das Polynom P
p
hat nach dem Zwischenwertsatz mindestens 2 Wurzeln
2k
,
2k+1
in
[4k, 4k+2] fr k 0, 1, . . . , (p5)/2 und eine weitere Wurzel
p3
in [2(p3), 2(p3)+1].
Da
0
= 0 eine zweifache Wurzel von P

p
ist, hat P

p
genau eine Wurzel
k+1
[2k, 2k + 2],
0 k (p 5)/2, und deswegen einheitliches Vorzeichen in (2k,
k+1
) und in (
k+1
, 2k +2).
Neben
0
, . . . ,
p3
gibt es also keine weiteren reellen Wurzeln von P
p
, und wir sind fertig.
30 Die allgemeine Gleichung
Keine Aufgaben
http://www.springer.com/978-3-8274-2600-0