Einheitswurzeln

Vortrag zum Seminar zur Zahlentheorie, 11.06.2015

Philipp Gadow, Stephan Hlatky
Im letzten Vortrag haben wir das Element 3 = e2i/3 eingefhrt und bewiesen, dass
der Ring Z [ 3 ] euklidisch ist. Wenn wir in dieser Definition die Zahl 3 durch eine
beliebige natrliche Zahl n ersetzten, erhalten wir weitere interessante Elemente,
sogenannte Einheitswurzeln. In einem spteren Vortrag werden wir feststellen, dass
Z [ n ] nicht fr alle n ein euklidischer Ring ist. In diesem Vortrag mchten wir jedoch
erst einmal den Krper Q( n ) betrachten. Insbesondere werden wir zeigen, dass
Q( n )/Q eine Galois-Erweiterung vom Grade (n) ist.

1 Einleitung
In diesem Abschnitt werden die fr das Verstndnis des in diesem Seminarvortrag
behandelten Beweises ntigen grundlegenden Definitionen und Stze wiederholt.
Grundlagen
(1.1) Definition (Galois-Erweiterung)
Eine Krpererweiterung L|K wird Galois-Erweiterung genannt, wenn sie normal und
separabel ist. Die Gruppe Gal( L|K ) = Aut( L)| k K : (k ) = k heit dann
Galoisgruppe von L|K.

(1.2) Definition (separable Krpererweiterung)
Sei L|K eine Krpererweiterung. Ein Element L wird separabel ber K genannt,
wenn es algebraisch ber K ist und sein Minimalpolynom K, separabel ist.
Ein Minimalpolynom f = K, wird separabel genannt, wenn es irreduzibel ist und
mit der formalen Ableitung gilt ggT( f , f 0 ) = 1. Dies ist gleichbedeutend damit, dass
K, im Erweiterungskrper L von K nur einfache Nullstellen besitzt.
Eine Krpererweiterung L|K wird separabel genannt, wenn jedes L ber K separabel ist.

(1.3) Definition (normale Krpererweiterung)
Eine algebraische Krpererweiterung L|K heit normal, wenn fr jedes irreduzible
Polynom f K [ X ], welches in L eine Nullstelle besitzt, dieses ber L in Linearfaktoren zerfllt.


Einheitswurzeln

1 Einleitung

(1.4) Definition (Charakteristik)

Sei K ein Krper. Die Charakteristik eines Krpers K ist definiert durch
(
char (K ) =

falls n N minimal mit n1 = 0

falls n1 6= 0 fr alle n N

(1.5) Definition (Einheit)

Sei R ein Ring. Ein Element a R wird Einheit genannt, wenn ein b R existiert mit
a b = 1R . Die Menge der Einheiten wird mit R X bezeichnet. Gilt R X = R \ {0R }, so
ist R X ein Krper.

(1.6) Definition (Eulersche -Funktion)
Die Eulersche -Funktion : N N0 mit
(n) = |{k Z|1 k n, ggT (k, n) = 1}|
gibt die Anzahl der Elemente in der Einheitengruppe des Restklassenrings (Z/nZ) X
an.

(1.7) Lemma (Eulersche -Funktion)
a) Fr teilerfremde Zahlen m, n N gilt (mn) = (m)(n).
b) Fr eine Primfaktorzerlegung n = p11 . . . prr mit Exponenten 1 > 0 sowie paarweise verschiedenen Primzahlen gilt
r

(n) =

( p 1).

=1

Beweis
a) Fr m, n N mit ggT (m, n) = 1 gibt es wegen des chinesischen Restsatzes
einen Ringisomorphismus

Z/mnZ Z/mZ Z/nZ

und dann auch einen Isomorphismus zwischen den zugehrigen Einheitengruppen

(Z/mnZ) (Z/mZ) (Z/nZ) .

Die Menge links enthlt (mn) Elemente, die Menge rechts enthlt (m)(n)
Elemente. Daraus folgt die Multiplikativitt der -Funktion.
1 siehe

Zahlentheorie-Skript Satz 6.5 und Lemma 6.6

Einheitswurzeln

1 Einleitung

b) Wir setzen die Primfaktorzerlegung n = p11 . . . prr ein in (n) = ( p11 . . . prr ). Da
j

ggT ( pi i , p j ) = 1 fr i 6= j, knnen wir die eben bewiesene Aussage verwenden

und betrachten ( p ). Da die Produkte 0 p, 1 p, . . . ( p1 1) p alle natrlichen Zahlen darstellen, die nicht zu p teilerfremd sind, folgt mit der Definition
( p ) = p p 1 = p 1 ( p 1 ).

(1.8) Satz
Sei L |K eine Krpererweiterung, L algebraisch ber K, K, das Minimalpolynom
in K zu und n = grad (K, ). Dann bilden die Elemente
1, , 2 , . . . , n1
eine Basis von K () als K-Vektorraum. Insbesondere gilt [K () : K ] = n.

Der verhltnismig lange Beweis zu diesem Satz kann beispielsweise im Skript zur
Vorlesung Algebra (Lehramt) im WS 2014/15 von Dr. Ralph Gerkmann (Satz 11.4,
S.75) gefunden werden.
Vorbetrachtung
In diesem Vortrag wollen wir zeigen, dass der Kreisteilungskrper Q( n )/Q eine
Galois-Erweiterung ist. Allerdings lassen sich viele Stze ber Einheitswurzeln ohne
groen Mehraufwand fr allgemeine Krpererweiterungen K ( n )/K zeigen, weshalb wir in Schriftform den allgemeinen Fall betrachten wollen.
Zum Auffinden von Einheitswurzeln untersuchen wir die Gleichung x n = 1 auf Lsungen, mit anderen Worten suchen wir die Nullstellen des Polynoms X n 1. Um
deren Existenz sicherzustellen, suchen wir die Nullstellen ber dem algebraischen
Abschluss K von K statt in K selbst. Falls char (K ) = 0 oder falls char (K ) - n, so
haben das Polynom X n 1 und seine formale Ableitung D [ X n 1] = nX n1 keine
gemeinsamen Nullstellen. Dann ist X n 1 separabel2 . Falls aber char (K ) > 0 und
char (K ) | n, dann knnen wir eine Zerlegung n = pr n0 mit p - n0 angeben. Dann ist
0
das Polynom X n 1 separabel und wir knnen das ursprngliche Polynom schrei0
r
ben als X n 1 = ( X n 1) p . Die Nullstellen beider Polynome stimmen berein.
Folglich gilt Un = Un0 und wir knnen uns auf die Betrachtung der Gruppen Un mit
char (K ) - n beschrnken.
Im Fall K = Q ist char (Q) = 0, also gilt char (Q) - n.
2 nach

Definition 15.1 im Algebra-Skript

Einheitswurzeln

2 Die Gruppe der Einheitswurzeln

2 Die Gruppe der Einheitswurzeln

In diesem Abschnitt fhren wir die Gruppe der n-ten Einheitswurzeln ein und zeigen, dass diese zyklisch ist und (n) primitive Einheitswurzeln enthlt.
(2.1) Definition (Einheitswurzel)
Sei K ein Krper und K dessen algebraischer Abschluss. Die Nullstellen von des
Polynoms X n 1 in K bezeichnet man als n-te Einheitswurzeln. Man nennt eine Einheitswurzel n primitive n-te Einheitswurzel, wenn n die Gruppe der Einheitswurzeln
Un erzeugt, also wenn ord ( n ) = n ist.

(2.2) Beispiel
Die Menge der 4-ten Einheitswurzeln in C ist gegeben durch Un = {1, 1, i, i }.
Die primitiven 4-ten Einheitswurzeln sind i und i, da (i )4 1 = 0 und wegen
(i )0 = 1, (i )1 = i, (i )2 = 1, (i )3 = i beide U4 erzeugen.
Im Gegensatz dazu sind 1 und 1 keine primitiven Einheitswurzeln. Sie sind wegen
(1)4 1 = 0 4-te Einheitswurzeln, aber nicht primitive 4-te Einheitswurzeln, da
(1)n = (1)n fr alle n N. Dies ist in Abbildung 2.2 zeichnerisch dargestellt.

(b) Die 4-te Einheitswurzel = 1 erzeugt lediglich die Menge {1, 1}.

(a) Die primitive 4-te Einheitswurzel

4 = n erzeugt U4 .

Abbildung 1: Beispiel zu primitiven Einheitswurzeln anhand der U4 in C.

(2.3) Satz
Die n-ten Einheitswurzeln bilden eine zyklische Gruppe Un mit ord (Un ) | n. Im Fall
char K - n gilt ord (Un ) = n.


182

4. Galois-Theorie

4.5 Einheitswurzeln
Einheitswurzeln
2 Die Gruppe der Einheitswurzeln
Wir fixieren in diesem Abschnitt einen Krper K sowie einen algebraischen
Abschluss K. Fr n E N - {O} bezeichnet man die Nullstellen des Polynoms
Beweisn
x - 1 als n-te Einheitswurzein (in K), sie bilden eine Untergruppe
Un C K*.

Zunchst
zeigen
dassallgemeiner,
Un eine Untergruppe
von Teiler
(K , )
damit
also insbeFalls char
K =wir,
0 oder,
falls char K kein
vonist,
n ist,
so haben
n
n
n
n
n
1
sondere
eine
Seien ,
-1)
Un .= Dann
gemeinsamen
= 1 und Nullstellen.
= 1. Es folgt
X -1
undGruppe.
seine Ableitung
D(X
nX - gilt
keine

1
n
n
n

1
n
( Folglich
) = ist(X ) - 1=
Somit
ist separabel,
auch d.
Ungilt
und
1n = 1 auch
in 1.
diesem
Falle
h. es
ordda
Un wegen
= n. Ansonsten

char Kwir,
> 0dass
eine die
Zerlegung
betrachte
Falle positiver
Charakteristik
1U
eineim
Untergruppe
von
(K , ). Nunp =
zeigen
Gruppe zyn , ist Unman
Polynom X n ' - 1 ist aus den oben genannten Grnden
n
= pTn' mit ptn'. Das
der Einheitengruppe eines
klisch ist. Da Un (K , ) eine endliche Untergruppe
separabel, und seine Nullstellen stimmen
wegen x n - 1 = (X n ' - l)pT mit
3
Integrittsbereichs ist,n ist sie zyklisch . Es existiert also stets eine primitive n-te Eindenjenigen von x - 1 berein. Folglich gilt Un = Un , und damit insbesondere
heitswurzel n Un mit h n i = Un . Aus nn = 1 folgt4 ord ( n ) | n und da n eine
ord Un = n'. Man karm sich daher bei der Betrachtung der Gruppen Un auf
primitive
Einheitswurzel
ist, folgt ord
(Un ) | ist
n. Mit
der Vorbemerkung
knnen
Hauptziel
im Folgenden
das Studium
von wir
den Fall
char K t n beschrnken.
n
zeigen,
dass fr
charAdjunktion
(K ) - n das
X 1 entstehen.
separabel Zunchst
ist, also keine
durch
vonPolynom
Einheitswurzein
Krpern,
die den
aus KFall
mehrfachen
Nullstellen
Somit sind alle n-ten Einheitswurzeln verschieden
knnen wir
mit 3.6/14besitzt.
feststellen:
und es gilt ord (Un ) = |Un | = n.

Satz 1. Es sei n E N - {O} mit char K tn. Dann ist die Gruppe Un der n-ten
(2.4) Einheitswurzeln
Beispiel
in K zyklisch von der Ordnung n.
Die n-ten Einheitswurzeln fr K = C sind gegeben durch:
Man nennt eine Einheitswurzel
2ki ( E Un eine primitive n-te Einheitswurzel,
n | k = 0, . . . , n 1}
n = { e Beispielsweise
werm ( die Gruppe Un U
erzeugt.
sind 1, i, -1, -i die 4-ten Ein
heitswurzeln in C, wobei i und -i primitive 4-te Einheitswurzein darstellen.
Alle
Einheitswurzeln
in Cprimitiv,
sind vom
1, (liegen
auf der
Kreislinie
Davon
sind
genau diejenigen
frBetrag
die ggT
n, k ) =also
1, daher
gibt
die Eulersche{z E C;Izl
1}.Anzahl
Unter Benutzung
der komplexen
Exponentialfunktion
lassen
-Funktion
(n)= die
der primitiven
Einheitswurzeln
an.
sich die n-ten Einheitswurzein in C in einfacher Weise beschreiben. Es sind dies
In Abbildung
sind amder
Einheitskreis
die 6-ten
Einheitswurzeln
(n = zeichnerisch
wobei wirdargegerade die 2Potenzen
primitiven n-ten
Einheitswurzel
stellt.den
SieFall
teilen
Einheitskreis
6 Teile. wollen:
n =den
6 hier
zeichnerischinillustrieren
iR

-1

In Abbildung
Anbetracht 2:
desDarstellung
komplexen der
Falls6-ten
sagt Einheitswurzeln
man, dass die n-ten
am Einheitswurzeln
Einheitskreis
"den (Einheits-)Kreis teilen". Man nennt daher Krper, die aus IQ! durch Adjunktion einer Einheitswurzel entstehen, auch Kreisteilungskrper.
3 siehe
4 mit

Zahlentheorie-Skript Satz 6.8

Satz 3.3 aus dem Algebra-Skript

Einheitswurzeln

2 Die Gruppe der Einheitswurzeln

Beweis
Es gilt


2ki
n

n

= e2ki = 1 fr alle k = 0, . . . , n 1

2ki

Somit sind nk = e n Einheitswurzeln. Die geometrische Deutung am Einheitskreis

folgt mit der Eulerschen Identitt ei = cos + i sin .

n ist eine primitive Einheitswurzel, da alle Elemente von Un Potenzen von n

sind und Un somit von n erzeugt wird 5 .
Sei eine beliebige primitive Einheitswurzel. Dann knnen wir mit einem passenden k N mit 1 k n die primitive Einheitswurzel darstellen als
= nk . Da primitiv ist, muss es ein eindeutig bestimmbares, kleinstes x N
geben, sodass
2i
x = nk x = n = e n .
2kxi

2i

Daraus folgt e n = e n und durch Vergleich der Exponenten und der Periodizitt der komplexen Exponentialfunktion kx = 1mod n. Die Kongruenz
kx = 1mod n hat genau dann eine eindeutige Lsung x, wenn ggT (k, n) = 1.

Sei ggT (k, n) = 1. Dann hat die Kongruenz kx = 1mod n eine eindeutige
2i
2kxi
Lsung x N mit 1 x n. Aus der Kongruenz folgt e n = e n , also auch
nk x = n . Wenn n als primitive Einheitswurzeln Un erzeugt, dann gilt dies
auch fr nk . Fr eine beliebige Einheitswurzel Un gibt es ein l N, sodass

l
k( x l )
= nl = nk x = n
.
Da die Eulersche -Funktion die Anzahl der zu n teilerfremden k angibt, gibt es (n)
primitive Einheitswurzeln.

Als nchstes wollen wir weiter zeigen, dass fr beliebige Krper K genau (n) primitive Einheitswurzeln in Un enthalten sind. Dazu beweisen wir zunchst einen
allgemein fr zyklische Gruppen gltigen Satz.
(2.5) Satz
Sei n N. Ein Element a erzeugt die additive zyklische Gruppe Z/nZ genau dann,
wenn a Einheit im Ring Z/nZ ist. Die zyklische Gruppe Z/nZ enthlt genau (n)
Elemente, welche Z/nZ erzeugen.


5 siehe

Algebra-Skript Folgerung 3.4

Einheitswurzeln

2 Die Gruppe der Einheitswurzeln

Beweis
Ist a Einheit im Ring Z/nZ, so gibt es ein r Z mit 1 = r a = r1 a = ra. Die
Restklasse 1 zu 1 Z erzeugt die zyklische Gruppe Z/nZ. Da ra = 1, erzeugt
das Element a also Z/nZ.

Nehmen wir an, a erzeugt die zyklische Gruppe Z/nZ. Sei m N so gewhlt,
dass ma = 1. Dann gibt es wegen ma = m1 a = m a ein Element m Z/nZ,
sodass a Einheit im Ring Z/nZ ist.
Die Eulersche -Funktion gibt nach Definition die Anzahl der Elemente der Einheitengruppe des Restklassenrings Z/nZ an. Wir haben eben gezeigt, dass jede Einheit
im Ring Z/nZ die zyklische Gruppe Z/nZ erzeugt. Also gibt (n) die Anzahl der
die zyklische Gruppe Z/nZ erzeugenden Elemente an.

(2.6) Korollar
Sei K ein Krper und n N mit char K - n. Dann enthlt die Gruppe Un der
Einheitswurzen genau (n) primitive n-te Einheitswurzeln.

Beweis
Nach Satz 2.3 ist Un als zyklische Gruppe isomorph zu Z/nZ. Somit besitzt Un nach
Satz 2.5 genau (n) primitive n-te Einheitswurzeln.

Nun zeigen wir noch ein Kriterium, um festzustellen, wann die Potenzen primitiver
Einheitswurzeln wieder primitive Einheitswurzeln sind.
(2.7) Satz
Sei K ein Krper und n N mit char K - n. Ist n Un primitive n-te Einheitswurzel,
so ist nr fr r Z genau dann primitive n-te Einheitswurzel, wenn die Restklasse
von r mod n eine Einheit in Z/nZ ist, d.h. wenn ggT (r, n) = 1 gilt.

Beweis
Sei n eine primitive n-te Einheitswurzel. Als zyklische Gruppe ist Un isomorph zu
Z/nZ. Dann knnen wir einen Isomorphismus H : Z/nZ Un mit H (1) = n
ber die Abbildungsvorschrift r 7 nr konstruieren. Fr r Z ist r genau dann
eine primitive n-te Einheitswurzel, wenn das Urbild in Z/nZ, also die Restklasse r,
die Gruppe Z/nZ erzeugt. Mit Satz 2.5 ist dies gleichbedeutend damit, wenn r eine
Einheit ist.


Einheitswurzeln

3 Kreisteilungskrper

3 Kreisteilungskrper
In diesem Abschnitt fhren wir den Kreisteilungskrper Q( n ) ein, der durch Adjunktion einer Einheitswurzel an Q entsteht. Auerdem wollen wir zeigen, dass
Q( n )/Q eine Galois-Erweiterung vom Grade (n) ist.
(3.1) Satz
Sei K ein Krper n N mit char K - n und n eine primitive n-te Einheitswurzel.
Dann ist K ( n )/K eine endliche Galois-Erweiterung.

Beweis
Wie in der Vorbemerkung gezeigt, ist fr char K - n das Polynom X n 1 separabel.
Ist n K eine primitive n-te Einheitswurzel, so enthlt der Krper K ( n ) smtliche
n-ten Einheitswurzeln, ist also der Zerfllungskrper des Polynoms X n 1 K [ X ].
Somit ist der Krper K ( n ) normal ber K. Nach Definition ist K ( n )/K eine endliche
Galois-Erweiterung.

(3.2) Satz
Sei K ein Krper n N mit char K - n und n eine primitive n-te Einheitswurzel.
Dann gilt:
i) K ( n )/K ist eine endliche abelsche Galois-Erweiterung von einem Grad, der
(n) teilt.
ii) Jedes Gal (K ( n )/K ) induziert durch Einschrnkung einen Automorphismus der Gruppe Un der n-ten Einheitswurzeln, und die Abbildung
: Gal (K ( n )/K ) Aut (Un ),

7 Un ,

ist ein injektiver Homomorphismus von Gruppen.

iii) Die Automorphismengruppe Aut (Un ) ist isomorph zur multiplikativen Gruppe (Z/nZ) mit dem Isomorphismus
: (Z/nZ) Aut (Un ),

r 7 ( 7 r ).

Beweis
ii) Jeder Automorphismus in Gal (K ( n )/K ) bildet die Nullstellen von X n 1
wieder auf Nullstellen von X n 1 ab, da fr f ( x ) = x n 1 gilt ( f ( n )) =
(0) = 0. Da als K-Automorphismus injektiv und multiplikativ ist, definiert
die Einschrnkung |Un auf Un einen Automorphismus von Un . Somit definiert

Einheitswurzeln

3 Kreisteilungskrper

7 |Un einen Gruppenhomomorphismus Gal (K ( n )/K ) Aut (Un ). Dieser ist injektiv, da ein Automorphismus in Gal (K ( n )/K ), welcher n Un
als Nullstellen von X n 1 unverndert abbildet, bereits mit der Identitt id
bereinstimmt.
iii) Als zyklische Gruppe der Ordnung n ist Un isomorph zur Z/nZ. Somit mssen wir zeigen, dass die Abbildung
0 : (Z/nZ) Aut (Z/nZ),

r 7 ( a 7 r a ),

ein wohldefinierter Isomorphismus von Gruppen ist. Dabei bezeichnen a, r

Z/nZ die Restklassen zu den Elementen a, r Z. 0 ist wohldefiniert, also
existent und eindeutig, da ra = r 1 a = r a. Wir zeigen als nchstes, dass
0 injektiv ist. Die Multiplikation in Z/nZ mit einer Einheit r (Z/nZ)
ergibt einen Automorphismus in der additiven Gruppe Z/nZ. Somit ist 0
injektiv, da der Kern der Abbildung ker(0 ) = {1} ist. Nun zeigen wir, dass
die Abbildung 0 surjektiv ist. Wir betrachten einen Automorphismus der
additiven Gruppe Z/nZ, sodass gilt (1) = r. Damit folgt fr a Z
( a) = (1 a) = (1) a = r 1 a = r a.
Damit sehen wir, dass der Automorphismus eine Multiplikation mit r in
Z/nZ darstellt. Da eine solche Multiplikation nur fr eine Einheit r surjektiv
sein kann, folgt r (Z/nZ) und somit = 0 (r ). Somit haben wir gezeigt,
dass 0 auch surjektiv und somit ein Isomorphismus ist.
i) Wegen der beiden zuvor bewiesenen Aussagen lsst sich die Galois-Gruppe
Gal (K ( n )/K ) als Untergruppe von (Z/nZ) auffassen. Da (Z/nZ) abelsch
ist, ist auch Gal (K ( n )/K ) abelsch und besitzt wegen eine Ordnung, welche
die Ordnung von (Z/nZ) ord ((Z/nZ) ) = (n) teilt6 .

(3.3) Definition (Kreisteilungskrper)
Sei K ein Krper und n eine primitive n-te Einheitswurzel mit char (K ) - n. Im Falle
K = Q heit Q( n ) der n-te Kreisteilungskrper.

Fr den folgenden Beweis mssen wir noch einen Hilfssatz beweisen:
(3.4) Lemma
Sei Q der Krper der rationalen Zahlen, n eine primitive n-te Einheitswurzel mit
char ( Q) - n sowie f = Q, n Q[ x ] das Minimalpolynom von n in Q. Dann folgt,
p
dass n mit einer Primzahl p eine Nullstelle von f ist.

6 siehe

Algebra-Skript Folgerung 3.12

Einheitswurzeln

3 Kreisteilungskrper

Beweis
p
Wir fhren einen Widerspruchsbeweis. Nehmen wir an, dass n keine Nullstelle von
p
f sei, also f ( n ) 6= 0.
p

n ist als primitive n-te Einheitswurzel eine Nullstelle von X n 1. Wir spalten X n 1
in die Polynome h Q[ X ] und das Minimalpolynom f auf, sodass X n 1 = f h.
Da das Polynom X n 1 normiert ist und das Minimalpolynom ebenfalls normiert
ist, folgt daraus, dass auch h normiert ist, also h, g Z[ X ].
p

Aus unserer Annahme folgt, dass n Nullstelle von h ist, also folgt h( n ) = 0. Wir forp
mulieren den Ausdruck um: n ist Nullstelle von h( x ) n ist Nullstelle von h( x p ).
Da n Nullstelle von h( x p ) ist, teilt das Minimalpolynom f das Polynom h( x p ). Daraus folgt, dass wir das Polynom h( x p ) weiter aufteilen knnen in h( x p ) = f g mit
g Z[ x ], wobei g auf Grund der Normierung von f selbst normiert ist. Wir mchten
zeigen, dass sich in einem bestimmten Krper das Polynom X n 1 aufteilen lsst
als
X n 1 = f h = f f g.
Bisher haben wir aber nur gezeigt, dass sich das Polynom h( x p ) aufteilen lsst in
h( x p ) = f g und noch nicht, dass h( x ) = f g. Dazu mssen wir in einen geeigneten Krper wechseln, in dem gilt h( x p ) = h( x ). Wir definieren dazu einen
Homomorphismus Reduktion der Koeffizienten modulo p:
R : Z[ X ] Z/pZ[ X ] = F p [ X ]

ci x i 7 ci x i
n
n
i
i
R ist ein Homomorphismus,
da

 fr zwei Polynome a = i=1 ai X und b = i=1 bi X
gilt R( a + b) = in=1 ai + bi X i = R( a) + R(b), R( a b) = R( a) R(b), R(1) = 1

und R(0) = 0 zeigt man analog. Dieser Homomorphismus setzt die kanonische
Projektion Z Z/pZ fort und bildet X auf X ab.
In F p [ X ] knnen wir nun zeigen, dass h( x p ) = (h( x )) p . Das Bild von h( x ) = in=0 ai xi
unter R ist R(h( x )) = in=0 ai xi und damit folgt, dass im Restklassenkrper F p gilt
!p

p
n
i
n
n 1
a
x
=
a
x
+
a
x
+

+
a
n
0
n 1
i
i =0

p1 ++ pn = p
n

p
p1 , . . . , p n

ai ( x i ) p =

i =0

ai ( x i ) p ,

i =0

10

( a 1 1 x p1 ) ) ( a n n x p n ) )

Einheitswurzeln

3 Kreisteilungskrper

p
wobei wir den Multinomialsatz und den Multinomialkoeffizienten ( p1 ,...,p
)=
n
verwendet haben.

p!
p1 ! pn !

Die in der letzten Zeile durchgefhrte Umformung ai = ai gilt, da in F p alle Elemente der additiven Gruppe des Krpers auer 0 die Ordnung p haben.
Die gemischten Terme fallen weg, da p als Primzahl p!, aber nicht m! fr m < p teilt.
Da somit die Charakteristik von F p den Zhler, aber nicht den Nenner der Multinomialkoeffizienten teilt, verschwinden smtliche Mischterme und die Addition
vereinfacht sich. Dies wollen wir kurz induktiv motivieren.
In der Zahlentheorievorlesung haben wir bereits gezeigt, dasss fr a1 , a2 F p gilt
p
p
( a1 + a2 ) p = a1 + a2 . Angenommen, dass fr n 1 Elemente bereits gezeigt sei, dass
p

( a 1 + + a n 1 ) p = a 1 + + a n 1 .
Dann gilt fr n Elemente mit der Definition b := a2 + + an
I.V.

( a1 + + an ) p = ( a1 + b ) p = ( a1 ) p + (b ) p = a1 + + an .
In F p [ X ] gilt somit auch eine Aufteilung von h( x p ) = f g mit einem passenden
Polynom g Z[ x ], da f sowohl Minimalpolynom zu h( x p ), wie auch h( x ) wegen
der gemeinsamen Nullstelle ist und somit beide teilt. Daraus folgt, dass h und f
nicht teilerfremd in F p [ X ] sind.
Daher hat X n1 = f h = f f g F p [ X ] hat mehrfache Nullstellen in einem
algebraischen Abschluss von F p [ X ].
Dies ist ein Widerspruch zur Annahme, dass das Polynom separabel ist, so dass die
p
p
Annahme f ( n ) 6= 0 falsch war. Also ist n Nullstelle von f .

(3.5) Satz
Es sei n Q eine primitive n-te Einheitswurzel. Dann ist der n-te Kreisteilungskrper Q( n ) eine endliche Galois-Erweiterung ber Q vom Grad [Q( n ) : Q] = (n)
mit Galois-Gruppe

Gal (Q( n )/Q) Aut (Un ) (Z/nZ)

Beweis
Es gilt [Q( n ) : Q] = grad f fr das Minimalpolynom f = Q, n Q[ x ] von n ber
Q. Wir zeigen zuerst, dass grad f = (n).

11

Einheitswurzeln

3 Kreisteilungskrper

Die Charakterisierung der Galois-Gruppe Gal (Q( n )/Q) folgt aus Satz 3.2. Es gilt:
[Q( n ) : Q] = grad f (n).
Wir wollen zeigen: Wenn eine primitive n-te Einheitswurzel Un Nullstelle von f
ist grad f = (n).
Sei f Minimalpolynom von n , also ein Teiler von X n 1. Es gibt also ein Polynom
h Q[ x ], so dass gilt: X n 1 = h f
Da f als Minimalpolynom normiert ist, gilt dies ebenfalls fr h und daraus folgt,
dass h, f Z [ x ].
Sei nun p eine Primzahl, auerdem p kein Teiler von n, dann folgt aufgrund von
p
Satz 2.7, dass n ebenfalls eine primitive n-te Einheitswurzel ist.
p

Mit Lemma 3.4 folgt, dass n Nullstelle von f ist.

Sei eine beliebige primitive n-te Einheitswurzel, so bleibt zu zeigen, dass ein
Nullstelle von f ist.
Gilt = nm so ist nach Satz 2.7 ggT (m, n) = 1. So kann man aus n durch sukzessives Bilden von Primpotenzen gewinnen, wobei die Exponenten der Primzahlen
alle teilerfremd zu n sind. Mit dem vorangegangenen Argument folgt: Ist f ( ) = 0
so ist eine Nullstelle und es gilt unter Bercksichtigung der Behauptung, dass
[Q( n ) : Q] = ( n ).
Die Isomorphie der Galois-Gruppe zur Automorphismengruppe der Einheitswur
zeln und der Einheitsgruppe der Nebenklassen der ganzen Zahlen Gal (Q( n )/Q)

Aut (Un ) (Z/nZ) folgt aus Satz 3.2 mit [Q( n ) : Q] = (n).


Literatur
1. Siegfried Bosch, Algebra, 8. Auflage, Heidelberg, Springer Spektrum, 2013
2. Christian Karpfinger, Kurt Meyberg, Algebra. Gruppen, Ringe, Krper, 3. Auflage, Heidelberg, Springer Spektrum, 2010
3. Ralph Gerkmann, Algebra (Lehramt), Skript zur Vorlesung an der LMU Mnchen im Wintersemester 2014/15
4. Ralph Gerkmann, Zahlentheorie (Lehramt), Skript zur Vorlesung an der LMU
Mnchen im Wintersemester 2014/15

12