Kurs:Algebraische Zahlentheorie (Osnabrück 2026)/Liste der Hauptsätze/Zufallsabfrage

???: Satz von Wiles (Großer Fermat)

Die diophantische Gleichung

{}x^{n}+x^{n}=z^{n}\,

besitzt für kein ${}n\geq 3$ eine ganzzahlige nichttriviale Lösung.

???: Prim und irreduzibel in Integritätsbereichen

In einem Integritätsbereich ist ein Primelement stets irreduzibel.

???: Der Ring der ganzen Zahlen ist ...

Der Ring ${}\mathbb {Z}$ der ganzen Zahlen

ist ein Hauptidealbereich.

???: Polynomring in einer Variablen über einem Körper ist ...

Ein Polynomring über einem Körper

ist ein Hauptidealbereich.

???: Lemma von Bézout (Hauptidealbereich)

Es sei ${}R$ ein Hauptidealbereich und seien ${}a,b\in R$ teilerfremde Elemente.

Dann kann man die ${}1$ als Linearkombination von ${}a$ und ${}b$ darstellen, d.h. es gibt Elemente ${}r,s\in R$ mit ${}ra+sb=1$ .

???: Lemma von Euklid (Hauptidealbereich)

Es sei ${}R$ ein Hauptidealbereich und ${}a,b,c\in R$ . Es seien ${}a$ und ${}b$ teilerfremd und ${}a$ teile das Produkt ${}bc$ .

Dann teilt ${}a$ den Faktor ${}c$ .

???: Prim und irreduzibel (Hauptidealbereich)

Es sei ${}R$ ein Hauptidealbereich. Dann ist ein Element genau dann prim,

wenn es irreduzibel ist.

???: Charakterisierung von faktoriellen Bereichen

Es sei ${}R$ ein Integritätsbereich. Dann sind folgende Aussagen äquivalent.

${}R$ ist faktoriell.

Jede Nichteinheit ${}f\neq 0$ besitzt eine Faktorzerlegung in irreduzible Elemente, und diese Zerlegung ist bis auf Umordnung und Assoziiertheit eindeutig.

Jede Nichteinheit ${}f\neq 0$ besitzt eine Faktorzerlegung in irreduzible Elemente, und jedes irreduzible Element ist ein Primelement.

???: Hauptidealbereich ist ...

Ein Hauptidealbereich

ist ein faktorieller Bereich.

???: Restklassenringe von Hauptidealbereichen

Es sei ${}R$ ein Hauptidealbereich und ${}p\neq 0$ ein Element. Dann sind folgende Bedingungen äquivalent.

${}p$ ist ein Primelement.
${}R/(p)$ ist ein Integritätsbereich.
${}R/(p)$ ist ein Körper.

???: Restklassencharakterisierung von irreduziblen Polynomen

Es sei ${}K$ ein Körper und ${}P\in K[X]$ , ${}P\neq 0$ , ein Polynom.

Dann ist ${}P$ genau dann irreduzibel, wenn der Restklassenring ${}K[X]/(P)$ ein Körper ist.

???: Universelle Eigenschaft der Nenneraufnahme

Es seien ${}R$ und ${}A$ kommutative Ringe und sei ${}S\subseteq R$ ein multiplikatives System. Es sei

\varphi \colon R\longrightarrow A

ein Ringhomomorphismus derart, dass ${}\varphi (s)$ eine Einheit in ${}A$ für alle ${}s\in S$ ist.

Dann gibt es einen eindeutig bestimmten Ringhomomorphismus

${\tilde {\varphi }}\colon R_{S}\longrightarrow A,$

der ${}\varphi$ fortsetzt.

???: Lokalisierung

Es sei ${}R$ ein kommutativer Ring und sei ${}{\mathfrak {p}}$ ein Primideal in ${}R$ .

Dann ist die Lokalisierung ${}R_{\mathfrak {p}}$ ein lokaler Ring mit maximalem Ideal

${}{\mathfrak {p}}R_{\mathfrak {p}}:=\left\{{\frac {f}{g}}\mid f\in {\mathfrak {p}},\,g\notin {\mathfrak {p}}\right\}\,.$

???: Durchschnitt von Lokalisierungen

Es sei ${}R$ ein Integritätsbereich mit Quotientenkörper ${}Q(R)$ .

Dann gilt

${}R=\bigcap _{{\mathfrak {m}}{\text{ maximal }}}R_{\mathfrak {m}}\,,$

wobei der Durchschnitt über alle maximalen Ideale läuft und in ${}Q(R)$ genommen wird.

???: Beschreibung des Restekörpers

Es sei ${}R$ ein kommutativer Ring und sei ${}{\mathfrak {p}}$ ein Primideal.

Dann ist der Quotientenkörper des Restklassenringes ${}R/{\mathfrak {p}}$ in natürlicher Weise isomorph zum Restekörper der Lokalisierung ${}R_{\mathfrak {p}}$ .

Es ist also

{}Q(R/{\mathfrak {p}})=R_{\mathfrak {p}}/{\mathfrak {p}}R_{\mathfrak {p}}\,.

???: Spektrumsabbildung zu Restklassenring und Nenneraufnahme

Es sei ${}R$ ein kommutativer Ring. Dann gelten folgende Aussagen.

Zu einem Ideal ${}{\mathfrak {a}}\subseteq R$ und der Restklassenabbildung
$q\colon R\longrightarrow R/{\mathfrak {a}}$

ist die Spektrumsabbildung

$q^{*}\colon \operatorname {Spek} \left(R/{\mathfrak {a}}\right)\longrightarrow \operatorname {Spek} \left(R\right)$

eine abgeschlossene Einbettung, deren Bild ${}V({\mathfrak {a}})$ ist.

Zu einem multiplikativen System ${}M\subseteq R$ ist die zur kanonischen Abbildung
$\iota \colon R\longrightarrow R_{M}$

gehörige Abbildung

$\iota ^{*}\colon \operatorname {Spek} \left(R_{M}\right)\longrightarrow \operatorname {Spek} \left(R\right)$

injektiv, und das Bild besteht aus der Menge der Primideale von ${}R$ , die zu ${}M$ disjunkt sind.

Zu ${}f\in R$ ist die zur kanonischen Abbildung
$\iota \colon R\longrightarrow R_{f}$

gehörige Abbildung

$\iota ^{*}\colon \operatorname {Spek} \left(R_{f}\right)\longrightarrow \operatorname {Spek} \left(R\right)$

eine offene Einbettung, deren Bild gleich ${}D(f)$ ist.

???: Beschreibung der Faser

Es sei ${}\varphi \colon R\rightarrow S$ ein Ringhomomorphismus zwischen kommutativen Ringen und es sei

\varphi ^{*}\colon \operatorname {Spek} \left(S\right)\longrightarrow \operatorname {Spek} \left(R\right),\,{\mathfrak {p}}\longmapsto \varphi ^{*}({\mathfrak {p}}),

die zugehörige Spektrumsabbildung.

Dann ist die Faser über einem Primideal ${}{\mathfrak {q}}\in \operatorname {Spek} \left(R\right)$ gleich ${}\operatorname {Spek} \left((S/{\mathfrak {q}}S)_{\varphi (R\setminus {\mathfrak {q}})}\right)$ .

D.h. die Faser besteht aus allen Primidealen ${}{\mathfrak {p}}\in \operatorname {Spek} \left(S\right)$ mit ${}{\mathfrak {q}}S\subseteq {\mathfrak {p}}$ und mit ${}{\mathfrak {p}}\cap \varphi (R\setminus {\mathfrak {q}})=\emptyset$ .

???: Abschätzung zwischen Ordnung der Galoisgruppe und Grad einer Körpererweiterung

Es sei ${}K\subseteq L$ eine endliche Körpererweiterung.

Dann ist

${}{\#\left(\operatorname {Gal} \,(L{|}K)\right)}\leq \operatorname {grad} _{K}L\,.$

???: Hauptsatz für endliche Körper

Es sei ${}p$ eine Primzahl und ${}e\in \mathbb {N} _{+}$ .

Dann gibt es bis auf Isomorphie genau einen Körper mit ${}q=p^{e}$ Elementen.

???: Galoisgruppe zu endlichen Körpern

Es sei ${}p$ eine Primzahl und ${}q=p^{m}$ mit ${}m\in \mathbb {N} _{+}$ .

Dann ist die Körpererweiterung ${}{\mathbb {F} }_{p}\subseteq {\mathbb {F} }_{q}$ eine Galoiserweiterung mit einer zyklischen Galoisgruppe der Ordnung ${}m$ , die vom Frobeniushomomorphismus erzeugt wird.

???: Charakterisierung von ganzen Elementen

Es seien ${}R$ und ${}S$ kommutative Ringe und ${}R\subseteq S$ eine Ringerweiterung. Für ein Element ${}x\in S$ sind folgende Aussagen äquivalent.

${}x$ ist ganz über ${}R$ .

Es gibt eine ${}R$ -Unteralgebra ${}T$ von ${}S$ mit ${}x\in T$ und die ein endlicher ${}R$ -Modul ist.

Es gibt einen endlichen ${}R$ -Untermodul ${}M$ von ${}S$ , der einen Nichtnullteiler aus ${}S$ enthält, mit ${}xM\subseteq M$ .

???: Normalität faktorieller Bereiche

Es sei ${}R$ ein faktorieller Integritätsbereich.

Dann ist ${}R$ normal.

???: Wurzeln aus Zahlen

Es sei ${}n=p_{1}^{\alpha _{1}}\cdots p_{r}^{\alpha _{r}}$ die kanonische Primfaktorzerlegung der natürlichen Zahl ${}n$ . Es sei ${}k$ eine positive natürliche Zahl und sei vorausgesetzt, dass nicht alle Exponenten ${}\alpha _{i}$ ein Vielfaches von ${}k$ sind.

Dann ist die reelle Zahl

$n^{\frac {1}{k}}$

irrational.

???: Quotientenkörper des ganzen Abschlusses

Es sei ${}R$ ein Integritätsbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq L$ eine endliche Körpererweiterung. Der ganze Abschluss von ${}R$ in ${}L$ sei mit ${}S$ bezeichnet.

Dann ist ${}L$ der Quotientenkörper von ${}S$ .

???: Ideal in Ganzheitsring enthält ...

Es sei ${}R$ ein Zahlbereich.

Dann enthält jedes von ${}0$ verschiedene Ideal ${}{\mathfrak {a}}\subseteq R$ eine Zahl ${}m\in \mathbb {Z}$ mit ${}m\neq 0$ .

???: Satz über komplexe Einbettungen

Es sei ${}\mathbb {Q} \subseteq L$ eine endliche Körpererweiterung vom Grad ${}n$ .

Dann gibt es genau ${}n$ Einbettungen von ${}L$ in die komplexen Zahlen ${}{\mathbb {C} }$ .

???: Beschreibung von Spur und Norm mit komplexen Zahlen

Es sei ${}\mathbb {Q} \subseteq L$ eine endliche Körpererweiterung vom Grad ${}n$ und seien ${}\rho _{i}\colon L\rightarrow {\mathbb {C} }$ die ${}n$ verschiedenen komplexen Einbettungen. Es sei ${}z\in L$ und ${}z_{i}=\rho _{i}(z)$ , ${}i=1,\ldots ,n$ .

Dann ist

$N(z)=z_{1}\cdots z_{n}{\text{ und }}\operatorname {Spur} \left(z\right)=z_{1}+\cdots +z_{n}.$

???: Transformation der Diskriminante

Es sei ${}K\subseteq L$ eine endliche Körpererweiterung vom Grad ${}n$ und seien ${}b_{1},\ldots ,b_{n}$ und ${}c_{1},\ldots ,c_{n}$ ${}K$ -Basen von ${}L$ . Der Basiswechsel werde durch ${}c=Tb$ mit der Übergangsmatrix ${}T=\left(t_{ij}\right)_{ij}$ beschrieben.

Dann gilt für die Diskriminanten die Beziehung

${}\triangle (c_{1},\ldots ,c_{n})=(\det(T))^{2}\triangle (b_{1},\ldots ,b_{n})\,.$

???: Satz über die additive Struktur von Idealen in Zahlbereichen

Es sei ${}\mathbb {Q} \subseteq L$ eine endliche Körpererweiterung vom Grad ${}n$ und ${}R$ der zugehörige Zahlbereich. Es sei ${}{\mathfrak {a}}$ ein von ${}0$ verschiedenes Ideal in ${}R$ . Es seien ${}b_{1},\ldots ,b_{n}\in {\mathfrak {a}}$ Elemente, die eine ${}\mathbb {Q}$ -Basis von ${}L$ bilden und für die der Betrag der Diskriminante

\vert {\triangle (b_{1},\ldots ,b_{n})}\vert

unter all diesen Basen aus ${}{\mathfrak {a}}$ minimal sei.

Dann ist

${}{\mathfrak {a}}=\mathbb {Z} b_{1}+\cdots +\mathbb {Z} b_{n}\,.$

???: Gruppenstruktur von Idealen in Zahlbereichen

Es sei ${}\mathbb {Q} \subseteq L$ eine endliche Körpererweiterung vom Grad ${}n$ und ${}R$ der zugehörige Zahlbereich. Es sei ${}{\mathfrak {a}}$ ein von ${}0$ verschiedenes Ideal in ${}R$ .

Dann ist ${}{\mathfrak {a}}$ eine freie abelsche Gruppe vom Rang ${}n$ ,

d.h. es gibt Elemente ${}b_{1},\ldots ,b_{n}\in {\mathfrak {a}}$ mit

{}{\mathfrak {a}}=\mathbb {Z} b_{1}+\cdots +\mathbb {Z} b_{n}\,,

wobei die Koeffizienten in einer Darstellung eines Elementes aus ${}{\mathfrak {a}}$ eindeutig bestimmt sind.

???: Additive Struktur der Zahlbereiche

Es sei ${}\mathbb {Q} \subseteq L$ eine endliche Körpererweiterung vom Grad ${}n$ und ${}R$ der zugehörige Zahlbereich.

Dann ist ${}R$ eine freie abelsche Gruppe vom Rang ${}n$ ,

d.h. es gibt Elemente ${}b_{1},\ldots ,b_{n}\in R$ mit

{}R=\mathbb {Z} b_{1}+\cdots +\mathbb {Z} b_{n}\,

derart, dass die Koeffizienten in einer Darstellung eines Elementes eindeutig bestimmt sind.

???: Vektorraumstruktur der Faserringe

Es sei ${}\mathbb {Q} \subseteq L$ eine endliche Körpererweiterung vom Grad ${}n$ und ${}R$ der zugehörige Zahlbereich. Es sei ${}m\in \mathbb {Z}$ .

Dann gibt es einen Gruppenisomorphismus

${}R/(m)\cong (\mathbb {Z} /(m))^{n}\,.$

Für eine Primzahl ${}m=p$ ist ${}R/(p)$ eine Algebra der Dimension ${}n$ über dem Körper ${}\mathbb {Z} /(p)$ .

Zu jeder Primzahl ${}p$ gibt es Primideale ${}{\mathfrak {p}}$ in ${}R$ mit ${}{\mathfrak {p}}\cap \mathbb {Z} =(p)$ .

???: Struktur quadratischer Zahlbereiche

Es sei ${}D\neq 0,1$ eine quadratfreie Zahl und ${}A_{D}$ der zugehörige quadratische Zahlbereich.

Dann gilt

$A_{D}={\mathbb {Z} }[{\sqrt {D}}],{\text{ wenn }}D=2,3\mod 4$

und

$A_{D}={\mathbb {Z} }[{\frac {1+{\sqrt {D}}}{2}}],{\text{ wenn }}D=1\mod 4.$

???: Restklassenring von Zahlbereich

Zu einem Ideal ${}{\mathfrak {a}}\neq 0$ in einem Zahlbereich ${}R$

ist der Restklassenring ${}R/{\mathfrak {a}}$ endlich.

???: Algebraische Struktur von einem Zahlbereich

Jeder Zahlbereich

ist ein Dedekindbereich.

???: Charakterisierung von Einheiten in Zahlbereichen

Es sei ${}R$ der Ganzheitsring einer endlichen Körpererweiterung ${}\mathbb {Q} \subseteq L$ .

Dann ist ${}f\in R$ genau dann eine Einheit, wenn ${}N(f)=\pm 1$ ist.

???: Norm von Element und Norm von Ideal

Es sei ${}R$ ein Zahlbereich und ${}f\in R$ , ${}f\neq 0$ .

Dann ist der Betrag der Norm von ${}f$ gleich der Norm des Hauptideals ${}fR$ .

???: Charakterisierungssatz für diskrete Bewertungsringe

Es sei ${}R$ ein noetherscher lokaler Integritätsbereich mit der Eigenschaft, dass es genau zwei Primideale ${}0\subset {\mathfrak {m}}$ gibt. Dann sind folgende Aussagen äquivalent.

${}R$ ist ein diskreter Bewertungsring.

${}R$ ist ein Hauptidealbereich.

${}R$ ist faktoriell.

${}R$ ist normal.

${}{\mathfrak {m}}$ ist ein Hauptideal.

???: Lokalisierungen von Dedekindbereichen

Es sei ${}R$ ein Dedekindbereich und sei ${}{\mathfrak {m}}$ ein maximales Ideal in ${}R$ .

Dann ist die Lokalisierung

$R_{\mathfrak {m}}$

ein diskreter Bewertungsring.

???: Ideale und effektive Divisoren

Es sei ${}R$ ein Dedekindbereich.

Dann sind die Zuordnungen

${\mathfrak {a}}\longmapsto \operatorname {div} \left({\mathfrak {a}}\right){\text{ und }}D\longmapsto \operatorname {Id} (D)$

zueinander inverse Abbildungen zwischen der Menge der von ${}0$ verschiedenen Ideale und der Menge der effektiven Divisoren.

Diese Bijektion übersetzt das Produkt von Idealen in die Summe von Divisoren.

???: Idealzerlegungssatz von Dedekind

Es sei ${}R$ ein Dedekindbereich und ${}{\mathfrak {a}}\neq 0$ ein Ideal in ${}R$ .

Dann gibt es eine Produktdarstellung

${}{\mathfrak {a}}={\mathfrak {p}}_{1}^{r_{1}}\cdots {\mathfrak {p}}_{k}^{r_{k}}\,$

mit (bis auf die Reihenfolge) eindeutig bestimmten Primidealen ${}{\mathfrak {p}}_{i}\neq 0$ aus ${}R$ und eindeutig bestimmten Exponenten ${}r_{i}$ , ${}i=1,\ldots ,k$ .

???: Chinesischer Restsatz (Dedekindbereich)

Es sei ${}{\mathfrak {a}}$ ein Ideal ${}\neq 0$ in einem Dedekindbereich mit der eindeutigen Primidealzerlegung

{}{\mathfrak {a}}={\mathfrak {p}}_{1}^{r_{1}}\cdots {\mathfrak {p}}_{k}^{r_{k}}\,.

Dann gibt es einen natürlichen Ringisomorphismus

${}R/{\mathfrak {a}}\cong R/{\mathfrak {p}}_{1}^{r_{1}}\times \cdots \times R/{\mathfrak {p}}_{k}^{r_{k}}\,.$

???: Chinesischer Restsatz (Hauptidealbereich)

Es sei ${}R$ ein Hauptidealbereich und ${}f\in R$ , ${}f\neq 0$ , ein Element mit kanonischer Primfaktorzerlegung

{}f=p_{1}^{r_{1}}{\cdots }p_{k}^{r_{k}}\,.

Dann gilt für den Restklassenring ${}R/(f)$ die kanonische Isomorphie

${}R/(f)\cong R/(p_{1}^{r_{1}})\times \cdots \times R/(p_{k}^{r_{k}})\,.$

???: Der chinesische Restsatz

Es sei ${}n$ eine positive natürliche Zahl mit kanonischer Primfaktorzerlegung

{}n=p_{1}^{r_{1}}\cdot p_{2}^{r_{2}}{\cdots }p_{k}^{r_{k}}\,

(die ${}p_{i}$ seien also verschieden und ${}r_{i}\geq 1$ ).

Dann induzieren die kanonischen Ringhomomorphismen ${}\mathbb {Z} /(n)\rightarrow \mathbb {Z} /(p_{i}^{r_{i}})$ einen Ringisomorphismus

${}\mathbb {Z} /(n)\cong \mathbb {Z} /(p_{1}^{r_{1}})\times \mathbb {Z} /(p_{2}^{r_{2}})\times \cdots \times \mathbb {Z} /(p_{k}^{r_{k}})\,.$

Zu gegebenen ganzen Zahlen ${}(a_{1},a_{2},\ldots ,a_{k})$ gibt es also genau eine natürliche Zahl ${}a<n$ , die die simultanen Kongruenzen

a=a_{1}\mod p_{1}^{r_{1}},\,\,a=a_{2}\mod p_{2}^{r_{2}},\,\ldots ,\,\,a=a_{k}\mod p_{k}^{r_{k}}

löst.

???: Multiplikativität der Norm

Es sei ${}R$ ein Zahlbereich und seien ${}{\mathfrak {a}},{\mathfrak {b}}\neq 0$ Ideale in ${}R$ .

Dann ist

${}N({\mathfrak {a}}\cdot {\mathfrak {b}})=N({\mathfrak {a}})\cdot N({\mathfrak {b}})\,.$

???: Korrespondenzsatz für Divisoren und gebrochene Ideale

Es sei ${}R$ ein Dedekindbereich. Dann sind die Zuordnungen

{\mathfrak {f}}\longmapsto \operatorname {div} ({\mathfrak {f}})\,\,\,{\text{ und }}\,\,\,D\longmapsto \operatorname {Id} (D)

zueinander inverse Abbildungen zwischen der Menge der von ${}0$ verschiedenen gebrochenen Ideale und der Menge der Divisoren. Diese Bijektion ist ein Isomorphismus von Gruppen.

???: Charakterisierung von faktoriell mit Divisorenklassengruppe

Es sei ${}R$ ein Dedekindbereich und es bezeichne ${}\operatorname {DKG} \left(R\right)$ die Divisorenklassengruppe von ${}R$ . Dann sind folgende Aussagen äquivalent.

${}R$ ist ein Hauptidealbereich.
${}R$ ist faktoriell.
Es ist ${}\operatorname {DKG} \left(R\right)=0$ .

???: Divisorenklassengruppe bei Nenneraufnahme

Es sei ${}R$ ein Dedekindbereich und es sei ${}S\subseteq R$ , ${}0\notin S$ , ein multiplikatives System mit der Nenneraufnahme ${}R_{S}$ .

Dann liegt ein exakter Komplex

$1\longrightarrow R^{\times }\longrightarrow R_{S}^{\times }\longrightarrow \mathbb {Z} ^{(\left\{{\mathfrak {p}}\mid {\mathfrak {p}}\cap S\neq \emptyset \right\})}\longrightarrow \operatorname {DKG} \left(R\right)\longrightarrow \operatorname {DKG} \left(R_{S}\right)\longrightarrow 0$

vor.

Dabei ordnet die dritte Abbildung einer Einheit ${}f\in R_{S}^{\times }$ die Einschränkung des Hauptdivisors auf die angegebene Primidealmenge zu. Die vierte Abbildung ordnet einem Divisor ${}\sum _{{\mathfrak {p}}\cap S\neq \emptyset }n_{\mathfrak {p}}{\mathfrak {p}}$ die zugehörige Klasse in ${}\operatorname {DKG} \left(R\right)$ zu.

???: Divisorenklassengruppe unter Ringhomomorphismus

Zu einer Erweiterung von Dedekindbereichen ${}R\subseteq S$

gehört in funktorieller Weise ein Gruppenhomomorphismus

$\operatorname {DKG} \left(R\right)\longrightarrow \operatorname {DKG} \left(S\right),\,[{\mathfrak {a}}]\longmapsto [{\mathfrak {a}}S].$

???: Zahlbereich zu rein-kubischen Erweiterung

Es seien ${}a$ und ${}b$ teilerfremde quadratfreie natürliche Zahlen, nicht beide ${}1$ , und sei ${}\mathbb {Q} \subseteq \mathbb {Q} [X]/\left(X^{3}-ab^{2}\right)=L$ die zugehörige kubische Körpererweiterung. Wir setzen ${}x={\sqrt[{3}]{ab^{2}}}$ und ${}y={\sqrt[{3}]{a^{2}b}}$ . Dann gelten folgende Aussagen.

${}x$ und ${}y$ sind ganze Elemente in ${}L$ .

Es ist
${}\mathbb {Z} [x,y]\cong \mathbb {Z} [X,Y]/\left(XY-ab,X^{2}-bY,Y^{2}-aX\right)=\mathbb {Z} [X,Y]/\left(X^{3}-ab^{2},Y^{3}-a^{2}b,XY-ab,X^{2}-bY,Y^{2}-aX\right)=S\,.$

Wenn ${}a\neq \pm b\mod 9$ gilt, so ist ${}S$ der Ganzheitsring von ${}L$ , und ${}1,x,y$ bilden eine Ganzheitsbasis.

Bei ${}a=\pm b\mod 9$ gehört auch ${}z={\frac {1}{3}}\left(1+ax+by\right)={\frac {1}{3}}\left(1+ax+x^{2}\right)$ zum Ganzheitsring, und ${}x,y,z$ bilden eine Ganzheitsbasis.

???: Diskriminante von rein-kubischen Erweiterungen

Es seien ${}a$ und ${}b$ teilerfremde quadratfreie natürliche Zahlen, nicht beide ${}1$ , und sei ${}\mathbb {Q} \subseteq \mathbb {Q} [X]/\left(X^{3}-ab^{2}\right)=L$ die zugehörige kubische Körpererweiterung mit dem Ganzheitsring ${}R$ . Dann gilt für die Diskriminante von ${}R$ folgende Beschreibung.

Bei ${}a\neq \pm b\mod 9$ ist die Diskriminante von ${}R$ gleich ${}-27a^{2}b^{2}$ .

Bei ${}a=\pm b\mod 9$ ist die Diskriminante von ${}R$ gleich ${}-3a^{2}b^{2}$ .

???: Diskriminante von Kreisteilungsringen zu Primzahl

Es sei ${}p$ eine Primzahl und ${}\zeta$ eine primitive ${}p$ -te Einheitswurzel.

Dann ist die Diskriminante der ${}\mathbb {Q}$ -Basis ${}1,\zeta ,\zeta ^{2},\ldots ,\zeta ^{p-2}$ des ${}p$ -ten Kreisteilungskörpers gleich

${}\triangle (1,\zeta ,\zeta ^{2},\ldots ,\zeta ^{p-2})=\pm p^{p-2}\,.$

???: Gestalt der Kreisteilungsringe

Es sei ${}n\in \mathbb {N} _{+}$ und sei ${}\zeta \in {\mathbb {C} }$ eine primitive ${}n$ -te Einheitswurzel.

Dann ist der ${}n$ -te Kreisteilungsring gleich ${}\mathbb {Z} [\zeta ]$ .

???: Verzweigung und Faserring

Es sei ${}R\subseteq S$ eine endliche Erweiterung von Dedekindbereichen und es sei ${}{\mathfrak {p}}$ ein Primideal von ${}R$ . Es sei

{}{\mathfrak {p}}S={\mathfrak {q}}_{1}^{r_{1}}\cdots {\mathfrak {q}}_{k}^{r_{k}}\,

die Idealzerlegung des Erweiterungsideales ${}{\mathfrak {p}}S$ im Sinne von Korollar 12.3.

Dann ist ${}{\mathfrak {p}}$ in ${}S$ genau dann verzweigt, wenn der Faserring zu ${}S$ über ${}{\mathfrak {p}}$ nicht reduziert ist.

???: Verzweigung und Diskriminante

Es sei ${}R$ ein Zahlbereich mit Diskriminante ${}\triangle _{R}$ . Es sei ${}p$ eine Primzahl.

Dann ist ${}p$ genau dann ein Teiler von ${}\triangle _{R}$ , wenn der Faserring zu ${}R$ über ${}p$ nicht reduziert ist.

???: Kählermodul bei Restklassendarstellung

Es sei ${}R$ ein kommutativer Ring und es sei ${}A$ eine kommutative endlich erzeugte ${}R$ -Algebra, die als

{}A=R[X_{1},\ldots ,X_{n}]/\left(F_{1},\ldots ,F_{k}\right)\,

gegeben sei.

Dann ist

${}\Omega _{A{|}R}=\bigoplus _{i=1}^{n}AdX_{i}/\left(dF_{1},\ldots ,dF_{k}\right)\,.$

???: Verzweigung und Kähler-Differentiale

Es sei ${}R\subseteq S$ eine Erweiterung von Zahlbereichen.

Dann ist die Ringerweiterung ${}R\subseteq S$ in einem Primideal ${}{\mathfrak {q}}\in \operatorname {Spek} \left(S\right)$ genau dann verzweigt, wenn

${}\left(\Omega _{S{|}R}\right)_{\mathfrak {q}}\neq 0\,$

ist.

???: Fundamentale Gleichung für Dedekindbereichserweiterungen

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}K$ , ${}K\subseteq L$ eine Körpererweiterung vom Grad ${}n$ und ${}S$ der ganze Abschluss von ${}R$ in ${}L$ . Es sei ${}{\mathfrak {p}}$ ein von ${}0$ verschiedenes Primideal von ${}R$ mit der Primidealzerlegung

{}{\mathfrak {p}}S={\mathfrak {q}}_{1}^{e_{1}}\cdots {\mathfrak {q}}_{k}^{e_{k}}\,

in ${}S$ . Die Körpererweiterungen ${}\kappa ({\mathfrak {p}})\subseteq \kappa ({\mathfrak {q}}_{j})$ haben die Trägheitsgrade ${}f_{j}$ .

Dann ist

${}n=\sum _{j=1}^{k}e_{j}f_{j}\,.$

???: Galoisgruppe auf Ganzheitsring

Es sei ${}R$ ein normaler Integritätsbereich mit Quotientenkörper ${}K$ und sei ${}K\subseteq L$ eine Galoiserweiterung. Es sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$ .

Dann operiert die Galoisgruppe ${}G=\operatorname {Gal} \,(L{|}K)$ auf ${}S$ mit Invariantenring ${}R$ .

???: Ganzheit und Invariantenringe

Es sei ${}R$ ein kommutativer Ring, auf dem eine endliche Gruppe ${}G$ durch Ringautomorphismen operiere.

Dann ist ${}R^{G}\subseteq R$ eine ganze Erweiterung.

???: Bahn und Faser bei Gruppenoperation

Es sei ${}R$ ein kommutativer Ring, auf dem eine endliche Gruppe ${}G$ durch Ringautomorphismen operiere und es sei

\iota ^{*}\colon \operatorname {Spek} \left(R\right)\longrightarrow \operatorname {Spek} \left(R^{G}\right)

die zugehörige Spektrumsabbildung.

Dann gilt für ${}{\mathfrak {p}},{\mathfrak {q}}\in \operatorname {Spek} \left(R\right)$ die Äquivalenz: ${}\iota ^{*}({\mathfrak {p}})=\iota ^{*}({\mathfrak {q}})$ genau dann, wenn es ein ${}\sigma \in G$ mit ${}\sigma ^{*}({\mathfrak {p}})={\mathfrak {q}}$ gibt.

Das heißt, dass die Bahnen der Operation von ${}G$ auf ${}\operatorname {Spek} \left(R\right)$ mit den Fasern von ${}\iota ^{*}$ übereinstimmen.

???: Invariantenring und Quotient der Gruppenoperation

Es sei ${}R$ ein kommutativer Ring, auf dem eine endliche Gruppe ${}G$ durch Ringautomorphismen operiere und es sei

\iota ^{*}\colon \operatorname {Spek} \left(R\right)\longrightarrow \operatorname {Spek} \left(R^{G}\right)

die zugehörige Spektrumsabbildung.

Dann ist ${}\left(\operatorname {Spek} \left(R^{G}\right),\iota ^{*}\right)$ der Quotient der Gruppenoperation von ${}G$ auf ${}\operatorname {Spek} \left(R\right)$ .

???: Fundamentale Gleichung im Galoisfall

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}K$ , ${}K\subseteq L$ eine Galoiserweiterung vom Grad ${}n$ und sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$ . Es sei ${}{\mathfrak {p}}$ ein von ${}0$ verschiedenes Primideal von ${}R$ .

Dann stimmen in der Primidealzerlegung

${}{\mathfrak {p}}S={\mathfrak {q}}_{1}^{e_{1}}\cdots {\mathfrak {q}}_{k}^{e_{k}}\,$

die Exponenten ${}e_{i}$ überein und ebenso stimmen die Trägheitsgrade ${}f_{i}$ überein. Dabei ist

${}n=kef\,.$

???: Eigenschaften der Zerlegungsgruppe

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq L$ eine endliche Galoiserweiterung mit Galoisgruppe ${}G$ . Es sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$ und sei ${}{\mathfrak {q}}$ ein Primideal von ${}S$ über ${}{\mathfrak {p}}$ . Dann gelten folgende Eigenschaften.

Die Zerlegungsgruppe ${}G_{\mathfrak {q}}$ ist genau dann trivial, wenn ${}{\mathfrak {p}}$ voll zerlegt ist.

Die Zerlegungsgruppe ${}G_{\mathfrak {q}}$ ist genau gleich ${}G$ , wenn ${}{\mathfrak {p}}$ unzerlegt ist.

Zu einem weiteren Primideal ${}{\mathfrak {q}}'$ oberhalb von ${}{\mathfrak {p}}$ sind die Zerlegungsgruppen ${}G_{\mathfrak {q}}$ und ${}G_{{\mathfrak {q}}'}$ isomorph.

Es ist
${}{\#\left(G_{\mathfrak {q}}\right)}=ef\,,$

wobei ${}e$ der gemeinsame Verzweigungsindex und ${}f$ der gemeinsame Trägheitsgrad der Primideale oberhalb von ${}{\mathfrak {p}}$ ist.

???: Zerlegungsgruppe und Galoisgruppe der Restekörpererweiterung

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq L$ eine endliche Galoiserweiterung mit Galoisgruppe ${}G$ . Es sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$ und sei ${}{\mathfrak {q}}$ ein Primideal von ${}S$ über ${}{\mathfrak {p}}$ . Dann gelten folgende Eigenschaften.

Es gibt einen natürlichen Gruppenhomomorphismus
$G_{\mathfrak {q}}\longrightarrow \operatorname {Gal} \,(\kappa ({\mathfrak {q}}){|}\kappa ({\mathfrak {p}})).$

Wenn die Erweiterung der Restekörper separabel ist, so handelt es sich bereits um eine Galoiserweiterung, und der Gruppenhomomorphismus ist surjektiv.

Wenn ${}{\mathfrak {q}}$ zusätzlich unverzweigt ist, so liegt ein Isomorphismus vor.

???: Charakterisierung der Verzweigung für Kreisteilungsringe

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

${}q$ ist ein Teiler von ${}n$ .

Das Primideal ${}(q)$ verzweigt in ${}R_{n}$ .

Das Kreisteilungspolynom ${}\Phi _{n}$ ist über ${}\mathbb {Z} /(q)$ nicht separabel.

Das Polynom ${}X^{n}-1$ ist über ${}\mathbb {Z} /(q)$ nicht separabel.

Der Ring ${}\mathbb {Z} /(q)[X]/\left(X^{n}-1\right)$ ist nicht reduziert.

???: Satz über die Zerlegung von Primzahlen in Kreisteilungsringen

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.

???: Quadratischer Zahlbereich in Kreisteilungsringen

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\,.$

???: Quadratisches Reziprozitätsgesetz

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}}\,$

???: Volumen eines Parallelotops und Determinante

Es sei ${}v_{1},\ldots ,v_{n}$ eine Basis im ${}\mathbb {R} ^{n}$ und sei ${}P$ das davon erzeugte Parallelotop.

Dann gilt für das Borel-Lebesgue-Maß ${}\lambda$ auf ${}\mathbb {R} ^{n}$

${}\lambda (P)=\vert {\det \left(v_{1},\ldots ,v_{n}\right)}\vert \,,$

wobei in der Matrix die Koordinaten von ${}v_{i}$ bezüglich der Standardbasis stehen.

???: Gitterpunktsatz von Minkowski

Es sei ${}\Gamma$ ein Gitter im ${}\mathbb {R} ^{n}$ mit Grundmasche ${}{\mathfrak {M}}$ . Es sei ${}T$ eine konvexe, kompakte, zentralsymmetrische Teilmenge in ${}\mathbb {R} ^{n}$ , die zusätzlich die Volumenbedingung

{}\operatorname {Vol} (T)\geq 2^{n}\operatorname {Vol} ({\mathfrak {M}})\,

erfülle. Dann enthält ${}T$ mindestens einen von ${}0$ verschiedenen Gitterpunkt.

???: Zahlbereich und Gitter

Es sei ${}\mathbb {Q} \subseteq K$ eine endliche Körpererweiterung vom Grad ${}n$ mit ${}r$ reellen Einbettungen und ${}s$ Paaren von komplexen Einbettungen. Es sei

\tau ^{\mathbb {R} }\colon K\longrightarrow \mathbb {R} ^{r}\times {\mathbb {C} }^{s}\cong \mathbb {R} ^{n}

die reelle Gesamteinbettung.

Dann ist das Bild des Ganzheitsringes von ${}K$ unter ${}\tau$ ein Gitter in ${}\mathbb {R} ^{n}$

???: Grundmasche und Diskriminante

Es sei ${}R$ ein Zahlbereich mit ${}r$ reellen Einbettungen und ${}s$ Paaren von komplexen Einbettungen. Es sei ${}{\mathfrak {M}}$ eine Grundmasche des Gitters ${}\Gamma _{R}$ unter der reellen Gesamteinbettung

\tau ^{\mathbb {R} }\colon R\longrightarrow \mathbb {R} ^{r}\times {\mathbb {C} }^{s}\cong \mathbb {R} ^{r}\times \mathbb {R} ^{2s}.

Dann ist das Volumen der Grundmasche bezüglich der euklidischen Standardmetrik des ${}\mathbb {R} ^{r}\times \mathbb {R} ^{2s}$ gleich

${}{\begin{aligned}\operatorname {Vol} ({\mathfrak {M}})&={\frac {1}{2^{s}}}{\sqrt {\vert {\triangle _{R}}\vert }}\\\end{aligned}}$

???: Normschranke für Idealvertreter einer Idealklasse

Es sei ${}R$ ein Zahlbereich mit Diskriminante ${}\triangle$ und mit ${}s$ Paaren von komplexen Einbettungen. Dann enthält jede Idealklasse aus der Klassengruppe ein Ideal ${}{\mathfrak {a}}\subseteq R$ , das die Normschranke

{}N({\mathfrak {a}})\leq \left({\frac {2}{\pi }}\right)^{s}{\sqrt {\vert {\triangle }\vert }}\,

erfüllt.

???: Klassenzahl von Zahlbereichen

Es sei ${}R$ ein Zahlbereich.

Dann ist die Divisorenklassengruppe von ${}R$ eine endliche Gruppe.

???: Potenz von Idealen in Zahlbereichen

Es sei ${}R$ ein Zahlbereich und sei ${}{\mathfrak {a}}$ ein Ideal in ${}R$ .

Dann gibt es ein ${}n\geq 1$ derart, dass ${}{\mathfrak {a}}^{n}$ ein Hauptideal ist.

???: Faktorialitätstest für Zahlbereiche

Es sei ${}R$ ein Zahlbereich mit Diskriminante ${}\triangle$ und ${}s$ Paaren von komplexen Einbettungen. Es sei vorausgesetzt, dass jede Primzahl ${}p$ , die die Normbedingung

{}p\leq \left({\frac {2}{\pi }}\right)^{s}{\sqrt {\vert {\triangle }\vert }}\,

erfüllt, ein Primfaktorzerlegung in ${}R$ besitzt.

Dann ist ${}R$ faktoriell.

???: Einheitswurzeln und Kreisteilungskörper in Körper

Es sei ${}K$ ein Körper der Charakteristik ${}0$ und sei ${}n\in \mathbb {N}$ .

Dann enthält ${}K$ genau dann eine primitive ${}n$ -te Einheitswurzel, wenn für den ${}n$ -ten Kreisteilungskörper ${}K_{n}\subseteq K$ gilt.

???: Einheitswurzeln im Kreisteilungskörper

Die Einheitswurzelgruppe des ${}n$ -ten Kreisteilungskörpers ${}K_{n}$ ist

${}\mu _{}\left(K_{n}\right)=\mu _{n}\,$

bei ${}n$ gerade und

${}\mu _{}\left(K_{n}\right)=\mu _{2n}\,$

bei ${}n$ ungerade.

???: Einheitswurzeln in einem Zahlbereich

Es sei ${}R$ ein Zahlbereich.

Dann ist ${}\mu _{}\left(R\right)$ endlich und zyklisch.

???: Einheiten in imaginär-quadratischen Zahlbereichen

Es sei ${}R$ der imaginär-quadratische Zahlbereich mit Diskriminante ${}\triangle$ .

Dann stimmt die Einheitengruppe ${}R^{\times }$ mit der Einheitswurzelgruppe ${}\mu _{}\left(R\right)$ überein. Für diese gibt es die folgenden drei Möglichkeiten.

Bei ${}\triangle =-3$ ist ${}\mu _{}\left(R\right)\cong \mathbb {Z} /(6)$ .

Bei ${}\triangle =-4$ ist ${}\mu _{}\left(R\right)\cong \mathbb {Z} /(4)$ .

Bei ${}\triangle \leq -5$ ist ${}\mu _{}\left(R\right)=\{1,-1\}\cong \mathbb {Z} /(2)$ .

???: Dirichletscher Einheitensatz

Es sei ${}R$ ein Zahlbereich mit ${}r$ reellen Einbettungen und ${}s$ Paaren von komplexen Einbettungen.

Dann ist

${}R^{\times }=\mathbb {Z} ^{r+s-1}\times \mu \,$

mit einer endlichen zyklischen Gruppe ${}\mu$ .

???: Einheiten von quadratischen Zahlbereichen

Es sei ${}D$ eine quadratfreie Zahl und ${}R=A_{D}$ der zugehörige quadratische Zahlbereich.

Wenn ${}D$ positiv ist, so ist die Einheitengruppe isomorph zu ${}\{1,-1\}\times \mathbb {Z}$ .

Wenn ${}D$ negativ ist, so ist die Einheitengruppe endlich.