Kurs:Algebraische Zahlentheorie (Osnabrück 2026)/Vorlesung 23

Zerlegung im Kreisteilungsring

Wir besprechen die Ergebnisse der letzten Vorlesungen genauer anhand der Kreisteilungsringe. Nach Satz 17.11 liegt eine Galoiserweiterung vor. Auf das Verständnis der Kreisteilungsringe bauen wir einen Beweis des quadratischen Reziprozitätsgesetzes auf.

Lemma

Es sei  ${}R_{n}=\mathbb {Z} [X]/(\Phi _{n})$  der ${}n$-te Kreisteilungsring. Dann sind für eine ungerade Primzahl ${}q$ folgende Aussagen äquivalent:

1. ${}q$ ist ein Teiler von ${}n$.
2. Das Primideal ${}(q)$ verzweigt in ${}R_{n}$.
3. Das Kreisteilungspolynom ${}\Phi _{n}$ ist über ${}\mathbb {Z} /(q)$ nicht separabel.
4. Das Polynom ${}X^{n}-1$ ist über ${}\mathbb {Z} /(q)$ nicht separabel.
5. Der Ring ${}\mathbb {Z} /(q)[X]/\left(X^{n}-1\right)$ ist nicht reduziert.

Beweis

Von (1) nach (2). Wenn ${}q$ ein Teiler von ${}n$ ist, so ist eine ${}q$-te Einheitswurzel auch eine ${}n$-te Einheitswurzel. Die ${}q$-ten Einheitswurzeln lassen sich also als eine Potenz einer primitiven ${}n$-ten Einheitswurzel erhalten und deshalb gilt für die Kreisteilungskörper  ${}K_{q}\subseteq K_{n}$.  Damit ist auch  ${}R_{q}\subseteq R_{n}$.  Nach Lemma 17.16 in Verbindung mit Satz 18.15 und Satz 18.5 verzweigt ${}(q)$ in ${}R_{q}$ und damit nach Aufgabe 18.10 auch in ${}R_{n}$.

Die Äquivalenz von (2) und (3) ist klar aufgrund von Satz 18.5, Aufgabe 15.7 und Satz 17.18. Von (3) nach (4) ist klar wegen Aufgabe 15.8. Die Äquivalenz von (4) und (5) ist klar.

Von (4) nach (1). Wenn ${}q$ kein Teiler von ${}n$ ist, so ist ${}n$ eine Einheit in ${}\mathbb {Z} /(q)$ und somit sind ${}X^{n}-1$ und ${}\left(X^{n}-1\right)'=nX^{n-1}$ teilerfremd über ${}\mathbb {Z} /(q)$, was nach Aufgabe 15.7 die Separabilität bedeutet.

$\Box$

Satz

Es sei  ${}R_{n}=\mathbb {Z} [X]/\left(\Phi _{n}\right)$  der ${}n$-te Kreisteilungsring und es sei ${}q$ eine Primzahl, die kein Teiler von ${}n$ sei. Es sei ${}f$ die multiplikative Ordnung von ${}q$ in ${}\left(\mathbb {Z} /(n)\right)^{\times }$.

Dann liegen oberhalb von ${}(q)$ in ${}\operatorname {Spek} \left(R_{n}\right)$ genau ${}{\frac {\varphi (n)}{f}}$ Primideale, deren Restekörper gleich ${}{\mathbb {F} }_{q^{f}}$ sind.

Beweis

Nach Voraussetzung ist ${}q$ kein Teiler von ${}n$ und damit eine Einheit in ${}\mathbb {Z} /(n)$. Es gibt deshalb eine wohldefinierte Ordnung ${}f$, also die kleinste positive Zahl mit  ${}q^{f}=1\mod n$.  Dabei ist ${}f$ ein Teiler von ${}{\varphi (n)}$, der Ordnung der Einheitengruppe ${}\left(\mathbb {Z} /(n)\right)^{\times }$. Nach Aufgabe 17.16 ist ${}{\mathbb {F} }_{q^{f}}$ der kleinste Erweiterungskörper von ${}\mathbb {Z} /(q)$, der ${}n$ verschiedene Einheitswurzeln enthält.

Wegen Lemma 22.1 und Lemma 23.1 ist lediglich zu zeigen, dass ${}{\mathbb {F} }_{q^{f}}$ der Restekörper der Primideale oberhalb von ${}(q)$ ist. Betrachten wir also ${}\mathbb {Z} /(q)[X]/\left(\Phi _{n}\right)$. Da ${}{\mathbb {F} }_{q^{f}}$ eine primitive ${}n$-te Einheitswurzel enthält, gibt es eine surjektive Abbildung

$\mathbb {Z} /(q)[X]/\left(X^{n}-1\right)\longrightarrow {\mathbb {F} }_{q^{f}}.$

Diese faktorisiert nach Lemma 19.9 (Körper- und Galoistheorie (Osnabrück 2018-2019)) durch

$\mathbb {Z} /(q)[X]/\left(\Phi _{m}\right)\longrightarrow {\mathbb {F} }_{q^{f}},$

wobei ${}m$ ein Teiler von ${}n$ ist; dann gibt es auch eine Surjektion

$\mathbb {Z} /(q)[X]/\left(X^{m}-1\right)\longrightarrow {\mathbb {F} }_{q^{f}}.$

Wenn ${}m$ ein echter Teiler von ${}n$ wäre, so würde sich ein Widerspruch ergeben, da dann das Bild von ${}X$ eine Ordnung ${}<n$ hätte.

$\Box$

Die beiden Extremfälle des Zerlegungsverhaltens kann man folgendermaßen herausarbeiten.

Korollar

Es sei  ${}R_{n}=\mathbb {Z} [X]/\left(\Phi _{n}\right)$  der ${}n$-te Kreisteilungsring. Dann sind für eine ungerade Primzahl ${}q$ folgende Aussagen äquivalent.

1. ${}n$ ist ein Teiler von ${}q-1$.
2.  ${}q=1\mod n$. 
3. In ${}\mathbb {Z} /(q)$ gibt es ${}n$ ${}n$-te Einheitswurzeln.
4. Das Polynom ${}X^{n}-1$ zerfällt über ${}\mathbb {Z} /(q)$ in verschiedene Linearfaktoren.
5. Das Kreisteilungspolynom ${}\Phi _{n}$ zerfällt über ${}\mathbb {Z} /(q)$ in verschiedene Linearfaktoren.
6. Über ${}(q)$ liegen ${}{\varphi (n)}$ Primideale von ${}R_{n}$.
7. Das Kreisteilungspolynom ${}\Phi _{n}$ hat eine Nullstelle in ${}\mathbb {Z} /(q)$ und ${}q$ ist nicht verzweigt in ${}R_{n}$.

Beweis

Die Äquivalenz von (1) und (2) und die von (3) und (4) sind klar. Die Einheitengruppe von ${}\mathbb {Z} /(q)$ ist nach Satz 9.7 (Körper- und Galoistheorie (Osnabrück 2018-2019)) zyklisch mit ${}q-1$ Elementen, das ${}n$-te Potenzieren ${}u\mapsto u^{n}$ wird unter dieser Identifizierung zum ${}n$-ten Multiplizieren,

$\mathbb {Z} /(q-1)\longrightarrow \mathbb {Z} /(q-1),\,y\longmapsto ny.$

Die ${}n$-ten Einheitswurzeln entsprechen dabei dem Kern dieser Abbildung. Wenn ${}n$ ein Teiler von ${}q-1$ ist, so sei  ${}q-1=na$.  In diesem Fall sind ${}0,a,2a,\ldots ,(n-1)a$ die verschiedenen Elemente des Kerns, was die Implikation von (1) nach (3) beweist. Umgekehrt besitzt der Kern wie jede Untergruppe von ${}\mathbb {Z} /(q-1)$ einen Erzeuger ${}a$, der ein Teiler von ${}q-1$ ist. Wenn der Kern aus ${}n$ Elementen besteht, so ist  ${}an=q-1$,  was die andere Implikation beweist.

Von (4) nach (5) ist klar, da das Kreisteilungspolynom ein Teiler von ${}X^{n}-1$ ist. Die Äquivalenz von (5) und (6) ist auch klar, da ${}\mathbb {Z} /(q)[X]/\left(\Phi _{n}\right)$ der Faserring über ${}(q)$ ist und da das Kreisteilungspolynom den Grad ${}{\varphi (n)}$ besitzt. Die Eigenschaft (5) impliziert unmittelbar den ersten Teil von (7). Wäre ${}q$ verzweigt in ${}R_{n}$, so wäre ${}q$ nach Lemma 23.1 ein Teiler von ${}n$, sagen wir  ${}n=qc$,  und dann wäre

${}X^{n}-1=\left(X^{c}-1\right)^{q}\,$

über ${}\mathbb {Z} /(q)$. Doch dann hätte das Kreisteilungspolynom mehrfache Nullstellen.

Von (7) nach (3). Zunächst ist nach Lemma 23.1 ${}q$ kein Teiler von ${}n$, d.h. ${}q$ ist eine Einheit in ${}\mathbb {Z} /(n)$. Es sei ${}f$ die (multiplikative) Ordnung von ${}q$ in ${}\left(\mathbb {Z} /(n)\right)^{\times }$. Dann gibt es in ${}{\mathbb {F} }_{q^{f}}$ ${}n$ verschiedene ${}n$-te Einheitswurzeln. Nach Voraussetzung gibt es eine Nullstelle ${}\zeta$ des Kreisteilungspolynoms ${}\Phi _{n}$ über ${}\mathbb {Z} /(q)$. Dessen Potenzen durchlaufen in ${}{\mathbb {F} }_{q^{f}}$ die ${}n$-ten Einheitswurzeln. Da die Potenzen aber zu ${}\mathbb {Z} /(q)$ gehören, ist  ${}f=1$. 

$\Box$

Korollar

Es sei  ${}R_{n}=\mathbb {Z} [X]/\left(\Phi _{n}\right)$  der ${}n$-te Kreisteilungsring und es sei ${}q$ eine Primzahl, die kein Teiler von ${}n$ sei. Dann sind folgende Aussagen äquivalent.

1. Das Element ${}q$ erzeugt die Einheitengruppe von ${}\mathbb {Z} /(n)$.
2. Über ${}(q)$ liegt ein Primideal in ${}R_{n}$, d.h. ${}(q)$ ist unzerlegt im Kreisteilungsring.
3. Das Kreisteilungspolynom ${}\Phi _{n}$ ist irreduzibel über ${}\mathbb {Z} /(q)$.

Beweis

Die Eigenschaft (1) bedeutet, dass die Ordnung von ${}q$ in der Einheitengruppe ${}\left(\mathbb {Z} /(n)\right)^{\times }$ gleich ${}{\varphi (n)}$ ist. Somit folgt die Äquivalenz von (1) und (2) aus Satz 23.2. Die Äquivalenz zu (3) ist angesichts der Voraussetzung über die Unverzweigtheit und der expliziten Beschreibung der Kreisteilungsringe klar.

$\Box$

Bemerkung  

Nach Satz 17.11 in Verbindung mit Satz 21.2 und Satz 17.18 operiert die Galoisgruppe

${}\operatorname {Gal} \,(\mathbb {Q} {|}K_{n})\cong \left(\mathbb {Z} /(n)\right)^{\times }\,$

auf dem ${}n$-ten Kreisteilungsring

${}R_{n}=\mathbb {Z} [X]/\left(\Phi _{n}\right)\,$

derart, dass  ${}a\in \left(\mathbb {Z} /(n)\right)^{\times }$  durch die Substitution ${}X\mapsto X^{a}$ wirkt. Es sei ${}q$ eine Primzahl, die kein Teiler von ${}n$ sei, und es sei ${}{\mathfrak {q}}$ ein Primideal oberhalb von ${}(q)$. Das Element ${}q$ gehört zur Einheitengruppe ${}\left(\mathbb {Z} /(n)\right)^{\times }$, seine Ordnung sei ${}f$, vergleiche Satz 23.2. Zu ${}q$ gehört der Automorphismus ${}\psi$ von ${}R_{n}$, der ${}X$ auf die ${}q$-te Potenz von ${}X$ abbildet, wobei dies nur von der Restklasse von ${}q$ modulo ${}n$ abhängt. Dieser stimmt auf dem Faserring ${}R_{n}/(q)R_{n}$ der Charakteristik ${}q$ mit dem Frobeniushomomorphismus überein, da er auf einem Erzeuger damit übereinstimmt und da der Frobenius auf ${}\mathbb {Z} /(q)$ die Identität ist. Daher gilt  ${}\psi ({\mathfrak {q}})={\mathfrak {q}}$  nach Aufgabe 5.33 und ${}\psi$ gehört zur Zerlegungsgruppe ${}G_{\mathfrak {q}}$. Da ${}q$ die Ordnung ${}f$ besitzt, und die Zerlegungsgruppe nach Lemma 22.3  (4) ${}f$ Elemente besitzt, wird die Zerlegungsgruppe von diesem Element erzeugt. Da ${}\psi$ auf dem Faserring den Frobenius induziert, gilt dies auch auf dessen Restekörpern. Somit wird unter der in Lemma 22.5  (3) beschriebenen natürlichen Korrespondenz zwischen der Zerlegungsgruppe und der Galoisgruppe der Restekörpererweiterungen die Substitution ${}X\mapsto X^{q}$ auf den Frobenius abgebildet. Damit ist insbesondere zu jeder Primzahl ${}q$ das Frobenius-Element (siehe Bemerkung 22.10) im Fall von Kreisteilungsringen explizit gegeben.

Der in der letzten Vorlesung erwähnte Dichtigkeitssatz von Tschebotarjowsch beinhaltet unter Verwendung der vorstehenden Bemerkung im Fall von Kreisteilungsringen den Satz von Dirichlet über Primzahlen in einer arithmetischen Progression. Er besagt, dass die Primzahlen modulo den teilerfremden Resten zu einer gegebenen Zahl ${}n$ gleichverteilt sind.

Das quadratische Reziprozitätsgesetz

Das quadratische Reziprozitätsgesetz haben wir schon in der ${}20$.ten Vorlesung erwähnt. Für die Beziehung zwischen quadratischen Resten und Kreisteilungsringen ist das folgende Konzept entscheidend.

Definition

Es sei ${}p$ eine ungerade Primzahl und  ${}\zeta =e^{2\pi {\mathrm {i} }/p}$  die erste primitive komplexe Einheitswurzel. Dann nennt man

${}g=\sum _{r=0}^{p-1}\left({\frac {r}{p}}\right)\zeta ^{r}\,$

die (erste) quadratische Gaußsumme.

Lemma

Es sei ${}p$ eine ungerade Primzahl.

Dann gilt für das Quadrat der ersten quadratischen Gaußsumme die Gleichung

${}g^{2}=(-1)^{(p-1)/2}p=\left({\frac {-1}{p}}\right)p\,.$

Beweis

Die hintere Gleichung beruht auf Satz Anhang 10.8. Nach Definition ist

${}g=\sum _{r=0}^{p-1}\left({\frac {r}{p}}\right)\zeta ^{r}=\sum _{r=1}^{p-1}\left({\frac {r}{p}}\right)\zeta ^{r}\,.$

Daher ist

${}{\begin{aligned}g^{2}&=\left(\sum _{r=1}^{p-1}\left({\frac {r}{p}}\right)\zeta ^{r}\right)\left(\sum _{s=1}^{p-1}\left({\frac {s}{p}}\right)\zeta ^{s}\right)\\&=\sum _{1\leq r,s\leq p-1}\left({\frac {rs}{p}}\right)\zeta ^{r+s}.\end{aligned}}$

Mit der neuen Variablen

${}s=rt\,$

können wir dies als

${}{\begin{aligned}\sum _{1\leq r,t\leq p-1}\left({\frac {rrt}{p}}\right)\zeta ^{r+rt}&=\sum _{1\leq r,t\leq p-1}\left({\frac {t}{p}}\right)\zeta ^{r(1+t)}\\&=\sum _{1\leq r,t\leq p-1,\,t\neq p-1}\left({\frac {t}{p}}\right)\zeta ^{r(1+t)}+\sum _{1\leq r\leq p-1}\left({\frac {-1}{p}}\right)\zeta ^{0}\\&=\sum _{1\leq r,t\leq p-1,\,t\neq p-1}\left({\frac {t}{p}}\right)\zeta ^{r(1+t)}+(p-1)\left({\frac {-1}{p}}\right).\end{aligned}}$

Für  ${}t\neq -1$,  also ${}t$ zwischen ${}1$ und ${}p-2$, ist jedenfalls  ${}\xi =\zeta ^{1+t}$  auch eine primitive ${}p$-te Einheitswurzel. Für ein solches fixiertes ${}t$ ist

${}\sum _{1\leq r\leq p-1}\left({\frac {t}{p}}\right)\xi ^{r}=\left({\frac {t}{p}}\right)\sum _{1\leq r\leq p-1}\xi ^{r}=-\left({\frac {t}{p}}\right)\,.$

Die obige Summe ist also

$-\sum _{1\leq t\leq p-2}\left({\frac {t}{p}}\right)+(p-1)\left({\frac {-1}{p}}\right)=-\sum _{1\leq t\leq p-1}\left({\frac {t}{p}}\right)+p\left({\frac {-1}{p}}\right)=p\left({\frac {-1}{p}}\right)\,,$

da es nach Satz Anhang 10.1 gleich viele Quadrate wie Nichtquadrate in ${}\left(\mathbb {Z} /(p)\right)^{\times }$ gibt.

$\Box$

Diese Aussage bedeutet insbesondere, dass im ${}p$-ten Kreisteilungsring die quadratische Erweiterung zu ${}p$ oder ${}-p$ liegt, wobei das Vorzeichen im Lemma mitbestimmt wird.

Lemma

Es seien ${}p$ und ${}q$ verschiedene ungerade Primzahlen. Es sei ${}S$ der quadratische Zahlbereich zu ${}\left({\frac {-1}{p}}\right)p$ und es sei ${}R_{p}$ der ${}p$-te Kreisteilungsring. Es sei ${}f$ die multiplikative Ordnung von ${}q$ in ${}\left(\mathbb {Z} /(p)\right)^{\times }$. Dann sind folgende Aussagen äquivalent.

1. Es ist ${}\left({\frac {-1}{p}}\right)p$ ein Quadrat in ${}\mathbb {Z} /(q)$.
2. Über ${}(q)$ liegen in ${}\operatorname {Spek} \left(S\right)$ zwei Primideale.
3. Über ${}(q)$ liegt in ${}\operatorname {Spek} \left(R_{p}\right)$ eine gerade Anzahl von Primidealen.
4. Es ist ${}f$ ein Teiler von ${}{\frac {p-1}{2}}$
5. ${}q$ ist ein Quadrat in ${}\mathbb {Z} /(p)$.

Beweis

Die Äquivalenz von (1) und (2) ist klar nach Aufgabe 9.21. Von (2) nach (3). Nach Lemma 23.7 gilt  ${}S\subseteq R_{p}$,  sodass diese Richtung aus Lemma 22.1 folgt, da sich der nichttriviale Automorphismus der quadratischen Erweiterung zu einem Automorphismus des Kreisteilungsringes fortsetzt, der die beiden Fasern vertauscht. Von (3) nach (2). Es sei ${}{\mathfrak {q}}$ ein Primideal über ${}(q)$. Nach Lemma 22.3  (3) ist

${}{\#\left(G_{\mathfrak {q}}\right)}=\operatorname {grad} _{\mathbb {Z} /(q)}\kappa ({\mathfrak {q}})=f\,$

und nach Voraussetzung ist wegen Lemma 22.1 ${}{\frac {p-1}{f}}$ gerade. Nach Aufgabe 22.8 ist ${}{\frac {p-1}{f}}$ auch die Anzahl der Primideale über ${}(q)$ im Zerlegungsring zu ${}(q)$ in ${}R_{p}$ und die Restekörper sind ${}\mathbb {Z} /(q)$. Da der Index der Zerlegungsgruppe in der zyklischen Galoisgruppe

${}\operatorname {Aut} \,(R_{p})\cong \left(\mathbb {Z} /(p)\right)^{\times }\cong \left(\mathbb {Z} /(p-1),+,0\right)\,$

gerade ist, umfasst der Zerlegungskörper den quadratischen Zahlbereich. Deshalb sind auch dessen Restekörper gleich dem Grundkörper und es liegt im Zahlbereich Zerlegung vor.

Die Äquivalenz von (3) und (4) ist klar aufgrund von Satz 23.2. (4) bedeutet, dass

${}q^{\frac {p-1}{2}}=1\mod p\,,$

deshalb folgt die Äquivalenz von (4) und (5) aus dem Euler-Kriterium.

$\Box$

Satz

Es seien ${}p$ und ${}q$ verschiedene ungerade Primzahlen. Dann gilt:

${}\left({\frac {p}{q}}\right)\cdot \left({\frac {q}{p}}\right)=(-1)^{{\frac {p-1}{2}}\cdot {\frac {q-1}{2}}}={\begin{cases}-1\,,{\text{ wenn }}p=q=3\mod 4\,,\\1\,,{\text{ sonst}}\,.\end{cases}}\,$

Beweis

Nach Lemma 23.8 ist unter Verwendung von Lemma Anhang 10.4 und Satz Anhang 10.8

${}{\begin{aligned}\left({\frac {q}{p}}\right)&=\left({\frac {\left({\frac {-1}{p}}\right)p}{q}}\right)\\&=\left({\frac {\left({\frac {-1}{p}}\right)}{q}}\right)\cdot \left({\frac {p}{q}}\right)\\&=\left({\frac {(-1)^{\frac {p-1}{2}}}{q}}\right)\cdot \left({\frac {p}{q}}\right)\\&=\left({\frac {-1}{q}}\right)^{\frac {p-1}{2}}\cdot \left({\frac {p}{q}}\right)\\&=\left((-1)^{\frac {q-1}{2}}\right)^{\frac {p-1}{2}}\cdot \left({\frac {p}{q}}\right)\\&=(-1)^{{\frac {q-1}{2}}\cdot {\frac {p-1}{2}}}\cdot \left({\frac {p}{q}}\right).\end{aligned}}$

$\Box$

<< | Kurs:Algebraische Zahlentheorie (Osnabrück 2026) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)