Kurs:Algebraische Zahlentheorie (Osnabrück 2026)/Definitionsabfrage

Definition:Einheit

Ein Element ${}u$ in einem kommutativen Ring ${}R$ heißt Einheit, wenn es ein Element  ${}v\in R$  mit  ${}uv=1$  gibt.

Definition:Diophantische Gleichung

Zu einem Polynom  ${}F\in \mathbb {Z} [x_{1},\ldots ,x_{n}]$  heißt

${}F(x_{1},\ldots ,x_{n})=0\,$

eine diophantische Gleichung. Unter einer Lösung einer diophantischen Gleichung versteht man ein ganzzahliges Zahlentupel  ${}(x_{1},\ldots ,x_{n})\in \mathbb {Z} ^{n}$,  das in ${}F$ eingesetzt ${}0$ ergibt.

Definition:Integritätsbereich

Ein kommutativer, nullteilerfreier, von ${}0$ verschiedener Ring heißt Integritätsbereich.

Definition:Teilen (kommutativer Ring)

Es sei ${}R$ ein kommutativer Ring, und ${}a,b$ Elemente in ${}R$. Man sagt, dass ${}a$ das Element ${}b$ teilt (oder dass ${}b$ von ${}a$ geteilt wird, oder dass ${}b$ ein Vielfaches von ${}a$ ist), wenn es ein  ${}c\in R$  derart gibt, dass  ${}b=c\cdot a$  ist. Man schreibt dafür auch ${}a{|}b$.

Definition:Teilerfremd

Es sei ${}R$ ein kommutativer Ring. Man sagt, dass zwei Elemente  ${}a,b\in R$  teilerfremd sind, wenn jedes Element  ${}c\in R$,  das sowohl ${}a$ als auch ${}b$ teilt, eine Einheit ist.

Definition:Irreduzibles Element

Eine Nichteinheit ${}p$ in einem kommutativen Ring heißt irreduzibel (oder unzerlegbar), wenn eine Faktorisierung  ${}p=ab$  nur dann möglich ist, wenn einer der Faktoren eine Einheit ist.

Definition:Primelement

Eine Nichteinheit  ${}p\neq 0$  in einem kommutativen Ring ${}R$ heißt prim (oder ein Primelement), wenn Folgendes gilt: Teilt ${}p$ ein Produkt ${}ab$ mit ${}a,b\in R$, so teilt ${}p$ einen der Faktoren.

Definition:Hauptidealbereich

Ein Integritätsbereich, in dem jedes Ideal ein Hauptideal ist, heißt Hauptidealbereich.

Definition:Faktorieller Bereich

Ein Integritätsbereich heißt faktorieller Bereich, wenn jede Nichteinheit  ${}f\neq 0$  sich als ein Produkt von Primelementen schreiben lässt.

Definition:Nilpotent

Ein Element ${}a$ eines kommutativen Ringes ${}R$ heißt nilpotent, wenn  ${}a^{n}=0$  für eine natürliche Zahl ${}n$ ist.

Definition:Primideal

Ein Ideal ${}{\mathfrak {p}}$ in einem kommutativen Ring ${}R$ heißt Primideal, wenn  ${}{\mathfrak {p}}\neq R$  ist und wenn für  ${}r,s\in R$  mit  ${}r\cdot s\in {\mathfrak {p}}$  folgt:  ${}r\in {\mathfrak {p}}$  oder  ${}s\in {\mathfrak {p}}$. 

Definition:Maximales Ideal

Ein Ideal ${}{\mathfrak {m}}$ in einem kommutativen Ring ${}R$ heißt maximales Ideal, wenn  ${}{\mathfrak {m}}\neq R$  ist und wenn es zwischen ${}{\mathfrak {m}}$ und ${}R$ kein weiteres Ideal gibt.

Definition:Spektrum (kommutativer Ring)

Zu einem kommutativen Ring ${}R$ nennt man die Menge der Primideale von ${}R$ das Spektrum von ${}R$, geschrieben

$\operatorname {Spek} \left(R\right).$

Definition:Offene Menge (Spektrum)

Auf dem Spektrum eines kommutativen Ringes ${}R$ ist die Zariski-Topologie dadurch gegeben, dass zu einer beliebigen Teilmenge  ${}T\subseteq R$  die Mengen

${}D(T):=\left\{{\mathfrak {p}}\in \operatorname {Spek} \left(R\right)\mid T\not \subseteq {\mathfrak {p}}\right\}\,$

als offen erklärt werden.

Definition:Multiplikatives System

Es sei ${}R$ ein kommutativer Ring. Eine Teilmenge  ${}S\subseteq R$  heißt multiplikatives System, wenn die beiden Eigenschaften

1.  ${}1\in S$, 
2. Wenn  ${}f,g\in S$,  dann ist auch  ${}fg\in S$, 

gelten.

Definition:Überkreuzrelation zu multiplikativem System

Es sei ${}R$ ein kommutativer Ring und  ${}S\subseteq R$  ein multiplikatives System. Auf der Produktmenge ${}R\times S$ nennt man die durch

${}(r,s)\sim (r',s')\,,$

falls es ein  ${}t\in S$  mit  ${}rs't=r'st$  gibt, die durch das multiplikative System gegebene Überkreuzrelation.

Definition:Nenneraufnahme

Es sei ${}R$ ein kommutativer Ring und  ${}S\subseteq R$  ein multiplikatives System. Dann versteht man unter der Nenneraufnahme zu ${}S$ die Quotientenmenge zur Überkreuzrelation auf ${}R\times S$ mit den in Lemma 4.8 beschriebenen Verknüpfungen. Die Nenneraufnahme wird mit ${}R_{S}$ bezeichnet.

Definition:Quotientenkörper

Zu einem Integritätsbereich ${}R$ ist der Quotientenkörper ${}Q(R)$ als die Menge der formalen Brüche

${}Q(R)=\left\{{\frac {r}{s}}\mid r,s\in R,\,s\neq 0\right\}\,$

mit natürlichen Identifizierungen und Operationen definiert.

Definition:Lokaler Ring

Ein kommutativer Ring ${}R$ heißt lokal, wenn ${}R$ genau ein maximales Ideal besitzt.

Definition:Restekörper

Zu einem kommutativen lokalen Ring ${}R$ nennt man den Restklassenkörper ${}R/{\mathfrak {m}}$ zum einzigen maximalen Ideal ${}{\mathfrak {m}}$ von ${}R$ den Restekörper von ${}R$.

Definition:Lokalisierung

Es sei ${}R$ ein kommutativer Ring und sei ${}{\mathfrak {p}}$ ein Primideal. Dann nennt man die Nenneraufnahme an  ${}S=R\setminus {\mathfrak {p}}$  die Lokalisierung von ${}R$ an ${}{\mathfrak {p}}$. Man schreibt dafür ${}R_{\mathfrak {p}}$. Es ist also

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

Definition:Faserring

Zu einem Ringhomomorphismus ${}\varphi \colon R\rightarrow S$ zwischen kommutativen Ringen und einem Primideal  ${}{\mathfrak {q}}\in \operatorname {Spek} \left(R\right)$  nennt man ${}(S/{\mathfrak {q}}S)_{\varphi (R\setminus {\mathfrak {q}})}$ den Faserring über ${}{\mathfrak {q}}$.

Definition:Algebra

Es seien ${}R$ und ${}A$ kommutative Ringe und sei ${}R\rightarrow A$ ein fixierter Ringhomomorphismus. Dann nennt man ${}A$ eine ${}R$-Algebra.

Definition:Körpererweiterung

Es sei ${}L$ ein Körper und  ${}K\subseteq L$  ein Unterkörper von ${}L$. Dann heißt ${}L$ ein Erweiterungskörper (oder Oberkörper) von ${}K$ und die Inklusion  ${}K\subseteq L$  heißt eine Körpererweiterung.

Definition:Endliche Körpererweiterung

Eine Körpererweiterung  ${}K\subseteq L$  heißt endlich, wenn ${}L$ ein endlichdimensionaler Vektorraum über ${}K$ ist.

Definition:Grad einer Körpererweiterung

Es sei  ${}K\subseteq L$  eine endliche Körpererweiterung. Dann nennt man die ${}K$-Vektorraumdimension von ${}L$ den Grad der Körpererweiterung.

Definition:Algebraisches Element

Es sei ${}K$ ein Körper und ${}A$ eine ${}K$-Algebra. Es sei  ${}f\in A$  ein Element. Dann heißt ${}f$ algebraisch über ${}K$, wenn es ein von ${}0$ verschiedenes Polynom  ${}P\in K[X]$  mit  ${}P(f)=0$  gibt.

Definition:Minimalpolynom

Es sei ${}K$ ein Körper und ${}A$ eine ${}K$-Algebra. Es sei  ${}f\in A$  ein über ${}K$ algebraisches Element. Dann heißt das normierte Polynom  ${}P\in K[X]$  mit  ${}P(f)=0$,  welches von minimalem Grad mit dieser Eigenschaft ist, das Minimalpolynom von ${}f$.

Definition:Galoisgruppe

Es sei  ${}K\subseteq L$  eine Körpererweiterung. Dann nennt man die Automorphismengruppe

${}\operatorname {Gal} \,(L{|}K)=\operatorname {Aut} _{K}\,(L)\,$

die Galoisgruppe der Körpererweiterung.

Definition:Galoiserweiterung

Es sei  ${}K\subseteq L$  eine endliche Körpererweiterung. Sie heißt eine Galoiserweiterung, wenn

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

gilt.

Definition:Frobeniushomomorphismus

Es sei ${}R$ ein kommutativer Ring, der einen Körper der positiven Charakteristik  ${}p>0$  enthalte. Der Frobeniushomomorphismus ist der Ringhomomorphismus

$R\longrightarrow R,\,f\longmapsto f^{p}.$

Definition:Ganzheitsgleichung

Es seien ${}R$ und ${}S$ kommutative Ringe und sei  ${}R\subseteq S$  eine Ringerweiterung. Für ein Element  ${}x\in S$  heißt eine Gleichung der Form

${}x^{n}+r_{n-1}x^{n-1}+r_{n-2}x^{n-2}+\cdots +r_{1}x+r_{0}=0\,,$

wobei die Koeffizienten $r_{i},\,i=0,\ldots ,n-1$, zu ${}R$ gehören, eine Ganzheitsgleichung für ${}x$.

Definition:Ganzes Element

Es seien ${}R$ und ${}S$ kommutative Ringe und  ${}R\subseteq S$  eine Ringerweiterung. Ein Element  ${}x\in S$  heißt ganz (über ${}R$), wenn ${}x$ eine Ganzheitsgleichung mit Koeffizienten aus ${}R$ erfüllt.

Definition:Ganzer Abschluss

Es seien ${}R$ und ${}S$ kommutative Ringe und  ${}R\subseteq S$  eine Ringerweiterung. Dann nennt man die Menge der Elemente  ${}x\in S$,  die ganz über ${}R$ sind, den ganzen Abschluss von ${}R$ in ${}S$.

Definition:Ganze Ringerweiterung

Es seien ${}R$ und ${}S$ kommutative Ringe und sei  ${}R\subseteq S$  eine Ringerweiterung. Dann heißt ${}S$ ganz über ${}R$, wenn jedes Element  ${}x\in S$  ganz über ${}R$ ist.

Definition:Ganz-abgeschlossen

Es seien ${}R$ und ${}S$ kommutative Ringe und  ${}R\subseteq S$  eine Ringerweiterung. Man nennt ${}R$ ganz-abgeschlossen in ${}S$, wenn der ganze Abschluss von ${}R$ in ${}S$ gleich ${}R$ ist.

Definition:Normal

Ein Integritätsbereich heißt normal, wenn er ganz-abgeschlossen in seinem Quotientenkörper ist.

Definition:Normalisierung

Es sei ${}R$ ein Integritätsbereich und ${}Q(R)$ sein Quotientenkörper. Dann nennt man den ganzen Abschluss von ${}R$ in ${}Q(R)$ die Normalisierung von ${}R$.

Definition:Ganzer Zahlbereich

Es sei  ${}\mathbb {Q} \subseteq L$  eine endliche Körpererweiterung. Dann nennt man den ganzen Abschluss von ${}\mathbb {Z}$ in ${}L$ den Ring der ganzen Zahlen in ${}L$. Solche Ringe nennt man auch Zahlbereiche.

Definition:Spur eines Algebraelementes

Es sei ${}R$ ein kommutativer Ring und sei ${}S$ eine kommutative endliche freie ${}R$-Algebra. Zu einem Element  ${}f\in S$  nennt man die Spur des ${}R$-Modulhomomorphismus

$\mu _{f}\colon S\longrightarrow S,\,y\longmapsto fy,$

die Spur von ${}f$. Sie wird mit ${}\operatorname {Spur} \left(f\right)$ bezeichnet.

Definition:Norm

Es sei ${}R$ ein kommutativer Ring und sei ${}S$ eine kommutative endliche freie ${}R$-Algebra. Zu einem Element  ${}f\in S$  nennt man die Determinante des ${}R$-Modulhomomorphismus

$\mu _{f}\colon S\longrightarrow S,\,y\longmapsto fy,$

die Norm von ${}f$. Sie wird mit ${}N(f)$ bezeichnet.

Definition:Diskriminate einer Basis

Es sei  ${}K\subseteq L$  eine endliche Körpererweiterung vom Grad ${}n$ und seien ${}b_{1},\ldots ,b_{n}$ Elemente in ${}L$. Dann wird die Diskriminante von ${}b_{1},\ldots ,b_{n}$ durch

${}\triangle (b_{1},\ldots ,b_{n})=\det \left(\operatorname {Spur} \left(b_{i}b_{j}\right)_{i,j}\right)\,$

definiert.

Definition:Diskriminante eines Zahlbereichs

Es sei ${}R$ der Zahlbereich zur endlichen Körpererweiterung  ${}\mathbb {Q} \subseteq L$.  Dann nennt man die Diskriminante einer Ganzheitsbasis von ${}R$ die Diskriminante von ${}R$ (und die Diskriminante von ${}L$).

Definition:Komplexe Ganzheitsmatrix

Es sei ${}R$ ein Zahlbereich vom Grad ${}n$ und

$\tau \colon R\longrightarrow {\mathbb {C} }^{n}$

die komplexe Gesamteinbettung. Es sei ${}b_{1},\ldots ,b_{n}$ eine Ganzheitsbasis von ${}R$. Dann nennt man die komplexe ${}n\times n$-Matrix

$\left(\tau _{j}(b_{k})\right)_{1\leq j,k\leq n}$

die komplexe Ganzheitsmatrix (zu dieser Basis).

Definition:Quadratischer Zahlbereich

Ein quadratischer Zahlbereich ist der Ring der ganzen Zahlen in einem Erweiterungskörper von ${}\mathbb {Q}$ vom Grad ${}2$.

Definition:Reell- und imaginär-quadratische Zahlbereiche

Es sei  ${}D\neq 0,1$  quadratfrei und sei ${}A_{D}$ der zugehörige quadratische Zahlbereich. Dann heißt ${}A_{D}$ reell-quadratisch, wenn ${}D$ positiv ist, und imaginär-quadratisch, wenn ${}D$ negativ ist.

Definition:Konjugation

Es sei  ${}D\neq 0,1$  eine quadratfreie Zahl und sei ${}\mathbb {Q} [{\sqrt {D}}]$ die zugehörige quadratische Körpererweiterung und ${}A_{D}$ der zugehörige quadratische Zahlbereich. Dann wird der Automorphismus (auf ${}\mathbb {Q} [{\sqrt {D}}]$, auf ${}\mathbb {Z} [{\sqrt {D}}]$ und auf ${}A_{D}$)

$a+b{\sqrt {D}}\longmapsto a-b{\sqrt {D}}$

als Konjugation bezeichnet.

Definition:Noetherscher Ring

Ein kommutativer Ring ${}R$ heißt noethersch, wenn jedes Ideal darin endlich erzeugt ist.

Definition:Dedekindbereich

Einen Integritätsbereich ${}R$ nennt man einen Dedekindbereich, wenn er noethersch und normal ist und wenn jedes von ${}0$ verschiedene Primideal darin maximal ist.

Definition:Norm eines Ideals

Zu einem Ideal  ${}{\mathfrak {a}}\neq 0$  in einem Zahlbereich ${}R$ heißt die (endliche) Anzahl des Restklassenringes ${}R/{\mathfrak {a}}$ die Norm von ${}{\mathfrak {a}}$. Sie wird mit

$N\left({\mathfrak {a}}\right)$

bezeichnet.

Definition:Diskreter Bewertungsring

Ein diskreter Bewertungsring ${}R$ ist ein Hauptidealbereich mit der Eigenschaft, dass es bis auf Assoziiertheit genau ein Primelement in ${}R$ gibt.

Definition:Ordnung (diskreter Bewertungsring)

Zu einem Element $f\in R,\,f\neq 0$, in einem diskreten Bewertungsring ${}R$ mit Primelement ${}p$ heißt die Zahl  ${}n\in \mathbb {N}$  mit der Eigenschaft  ${}f=up^{n}$,  wobei ${}u$ eine Einheit bezeichnet, die Ordnung von ${}f$. Sie wird mit ${}\operatorname {ord} \,\left(f\right)$ bezeichnet.

Definition:Ordnung an Primstelle

Es sei ${}R$ ein Dedekindbereich,  ${}{\mathfrak {p}}\neq 0$  ein Primideal in ${}R$ und  ${}f\in R$,   ${}f\neq 0$.  Dann heißt die Ordnung ${}\operatorname {ord} \,\left(f\right)$ im diskreten Bewertungsring ${}R_{\mathfrak {p}}$ die Ordnung von ${}f$ am Primideal ${}{\mathfrak {p}}$ (oder an der Primstelle ${}{\mathfrak {p}}$ oder in ${}R_{\mathfrak {p}}$). Sie wird mit ${}\operatorname {ord} _{\mathfrak {p}}\,\left(f\right)$ bezeichnet.

Definition:Hauptdivisor zu Ringelement

Es sei ${}R$ ein Dedekindbereich und ${}f\in R$, ${}f\neq 0$. Dann heißt die Abbildung, die jedem Primideal  ${}{\mathfrak {p}}\neq 0$  in ${}R$ die Ordnung ${}\operatorname {ord} _{\mathfrak {p}}\,\left(f\right)$ zuordnet, der durch ${}f$ definierte Hauptdivisor. Er wird mit ${}\operatorname {div} \left(f\right)$ bezeichnet und als formale Summe

${}\operatorname {div} \left(f\right)=\sum _{\mathfrak {p}}\operatorname {ord} _{\mathfrak {p}}\,\left(f\right)\cdot {\mathfrak {p}}\,$

geschrieben.

Definition:Effektiver Divisor

Es sei ${}R$ ein Dedekindbereich. Ein effektiver Divisor ist eine formale Summe

$\sum _{\mathfrak {p}}n_{\mathfrak {p}}\cdot {\mathfrak {p}},$

die sich über alle Primideale  ${}{\mathfrak {p}}\neq 0$  von ${}R$ erstreckt und wobei ${}n_{\mathfrak {p}}$ natürliche Zahlen sind mit  ${}n_{\mathfrak {p}}=0$  für fast alle ${}{\mathfrak {p}}$.

Definition:Effektiver Divisor zu einem Ideal

Es sei ${}R$ ein Dedekindbereich und  ${}{\mathfrak {a}}\neq 0$  ein von ${}0$ verschiedenes Ideal in ${}R$. Dann nennt man den Divisor

${}\operatorname {div} \left({\mathfrak {a}}\right)=\sum _{\mathfrak {p}}m_{\mathfrak {p}}\cdot {\mathfrak {p}}\,$

mit

${}m_{\mathfrak {p}}=\operatorname {ord} _{\mathfrak {p}}\,\left({\mathfrak {a}}\right):=\operatorname {min} \left(\operatorname {ord} _{\mathfrak {p}}\,\left(f\right){|}f\in {\mathfrak {a}},\,f\neq 0\right)\,$

den Divisor zum Ideal ${}{\mathfrak {a}}$.

Definition:Ideal zu einem effektiven Divisor

Es sei ${}R$ ein Dedekindbereich und

${}D=\sum _{\mathfrak {p}}n_{\mathfrak {p}}\cdot {\mathfrak {p}}\,$

ein effektiver Divisor (wobei ${}{\mathfrak {p}}$ durch die Menge der Primideale ${}\neq 0$ läuft). Dann nennt man

$\left\{f\in R\mid \operatorname {div} \left(f\right)\geq D\right\}$

das Ideal zum Divisor ${}D$. Es wird mit ${}\operatorname {Id} (D)$ bezeichnet.

Definition:Produktring

Es seien ${}R_{1},\ldots ,R_{n}$ kommutative Ringe. Dann heißt das Produkt

$R_{1}\times \cdots \times R_{n},$

versehen mit komponentenweiser Addition und Multiplikation, der Produktring der ${}R_{i}$, ${}i=1,\ldots ,n$.

Definition:Idempotentes Element

Ein Element ${}e$ eines kommutativen Ringes heißt idempotent, wenn  ${}e^{2}=e$  gilt.

Definition:Divisor

Es sei ${}R$ ein Dedekindbereich. Ein Divisor ist eine formale Summe

$\sum _{\mathfrak {p}}n_{\mathfrak {p}}\cdot {\mathfrak {p}},$

die sich über alle Primideale  ${}{\mathfrak {p}}\neq 0$  aus ${}R$ erstreckt und wobei ${}n_{\mathfrak {p}}$ ganze Zahlen mit  ${}n_{\mathfrak {p}}=0$  für fast alle ${}{\mathfrak {p}}$ sind.

Definition:Hauptdivisor

Es sei ${}R$ ein Dedekindbereich und ${}q\in Q(R)$, ${}q\neq 0$. Dann heißt die Abbildung, die jedem Primideal  ${}{\mathfrak {p}}\neq 0$  in ${}R$ die Ordnung ${}\operatorname {ord} _{\mathfrak {p}}\,\left(q\right)$ zuordnet, der durch ${}q$ definierte Hauptdivisor. Er wird mit ${}\operatorname {div} \left(q\right)$ bezeichnet und als formale Summe

${}\operatorname {div} \left(q\right)=\sum _{\mathfrak {p}}\operatorname {ord} _{\mathfrak {p}}\,\left(q\right)\cdot {\mathfrak {p}}\,$

geschrieben.

Definition:Gebrochenes Ideal

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}Q(R)$. Dann nennt man einen endlich erzeugten ${}R$-Untermodul ${}{\mathfrak {f}}$ des ${}R$-Moduls ${}Q(R)$ ein gebrochenes Ideal.

Definition:Gebrochenes Hauptideal

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}Q(R)$. Dann nennt man ein gebrochenes Ideal der Form  ${}{\mathfrak {f}}=Rq$  mit  ${}q\in Q(R)$  ein gebrochenes Hauptideal.

Definition:Produkt von gebrochenen Idealen

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}Q(R)$. Dann definiert man für gebrochene Ideale ${}{\mathfrak {f}}$ und ${}{\mathfrak {g}}$ das Produkt ${}{\mathfrak {f}}\cdot {\mathfrak {g}}$ als den von allen Produkten erzeugten ${}R$-Untermodul von ${}Q(R)$, also

${}{\mathfrak {f}}\cdot {\mathfrak {g}}:=R\langle gf:\,f\in {\mathfrak {f}},\,g\in {\mathfrak {g}}\rangle \,,$

wobei die Produkte in ${}Q(R)$ zu nehmen sind.

Definition:Gebrochenes Ideal zu einem Divisor

Es sei ${}R$ ein Dedekindbereich und

${}D=\sum _{\mathfrak {p}}n_{\mathfrak {p}}\cdot {\mathfrak {p}}\,$

ein Divisor (wobei ${}{\mathfrak {p}}$ durch die Menge der Primideale ${}\neq 0$ läuft). Dann nennt man

$\left\{f\in Q(R)\mid \operatorname {div} \left(f\right)\geq D\right\}$

das gebrochene Ideal zum Divisor ${}D$. Es wird mit ${}\operatorname {Id} (D)$ bezeichnet.

Definition:Divisor zum gebrochenen Ideal

Es sei ${}R$ ein Dedekindbereich und  ${}{\mathfrak {f}}\neq 0$  ein von ${}0$ verschiedenes gebrochenes Ideal. Dann nennt man den Divisor

${}\operatorname {div} ({\mathfrak {f}})=\sum _{\mathfrak {p}}m_{\mathfrak {p}}\cdot {\mathfrak {p}}\,$

mit

${}m_{\mathfrak {p}}=\operatorname {min} \left(\operatorname {ord} _{\mathfrak {p}}\,\left(f\right){|}f\in {\mathfrak {f}},\,f\neq 0\right)\,$

den Divisor zum gebrochenen Ideal ${}{\mathfrak {f}}$.

Definition:Divisorenklassengruppe

Es sei ${}R$ ein Dedekindbereich. Es sei ${}\operatorname {Div} \left(R\right)$ die Gruppe der Divisoren und  ${}H\subseteq \operatorname {Div} \left(R\right)$  sei die Untergruppe der Hauptdivisoren. Dann nennt man die Restklassengruppe

${}\operatorname {DKG} \left(R\right)=\operatorname {Div} \left(R\right)/H\,$

die Divisorenklassengruppe von ${}R$.

Definition:Monogene Algebra

Eine ${}R$-Algebra ${}A$ über einem kommutativen Ring ${}R$ heißt monogen, wenn sie als  ${}A=R[X]/{\mathfrak {a}}$  mit einem Ideal  ${}{\mathfrak {a}}\subseteq R[X]$  geschrieben werden kann.

Definition:Kreisteilungskörper

Der ${}n$-te Kreisteilungskörper ist der Zerfällungskörper des Polynoms

$X^{n}-1$

über ${}\mathbb {Q}$.

Definition:Eulersche ${}\varphi$-Funktion

Zu einer natürlichen Zahl ${}n$ bezeichnet ${}{\varphi (n)}$ die Anzahl der Elemente von ${}(\mathbb {Z} /(n))^{\times }$. Man nennt ${}{\varphi (n)}$ die Eulersche Funktion.

Definition:Kreisteilungspolynom

Es sei  ${}n\in \mathbb {N} _{+}$  und seien ${}z_{1},\ldots ,z_{\varphi (n)}$ die primitiven komplexen Einheitswurzeln. Dann heißt das Polynom

${}\Phi _{n}=\prod _{i=1}^{\varphi (n)}\left(X-z_{i}\right)\in {\mathbb {C} }[X]\,$

das ${}n$-te Kreisteilungspolynom.

Definition:Kreisteilungsring

Es sei  ${}n\in \mathbb {N} _{+}$.  Der Ring der ganzen Zahlen im ${}n$-ten Kreisteilungskörper heißt ${}n$-ter Kreisteilungsring.

Definition:Verzweigungsindex

Zu einem injektiven Ringhomomorphismus  ${}R\subseteq S$  zwischen diskreten Bewertungsringen nennt man die Ordnung einer Ortsuniformisierenden von ${}R$ in ${}S$ den Verzweigungsindex der Erweiterung.

Definition:Verzweigung

Ein injektiver Ringhomomorphismus  ${}R\subseteq S$  zwischen diskreten Bewertungsringen heißt verzweigt, wenn seine Verzweigungsordnung ${}\geq 2$ ist.

Definition:Modul der Kähler-Differentiale

Es sei ${}R$ ein kommutativer Ring und ${}A$ eine kommutative ${}R$-Algebra. Der von allen Symbolen ${}d(a)$, ${}a\in A$, erzeugte ${}A$-Modul, modulo den Identifizierungen

$d(ab)=ad(b)+bd(a){\text{ für alle }}a,b\in A$

und

$d(ra+sb)=rd(a)+sd(b){\text{ für alle }}r,s\in R{\text{ und }}a,b\in A,$

heißt Modul der Kähler-Differentiale von ${}A$ über ${}R$. Er wird mit

$\Omega _{A{|}R}$

bezeichnet.

Definition:Trägheitsgrad

Es sei  ${}R\subseteq S$  eine endliche Erweiterung von kommutativen Ringen, sei ${}{\mathfrak {p}}$ ein Primideal von ${}R$ und ${}{\mathfrak {q}}$ ein Primideal von ${}S$ über ${}{\mathfrak {p}}$. Dann nennt man den Grad der Erweiterung der Restekörper  ${}\kappa ({\mathfrak {p}})\subseteq \kappa ({\mathfrak {q}})$  den Trägheitsgrad von ${}{\mathfrak {q}}$ über ${}{\mathfrak {p}}$.

Definition:Voll zerlegtes Primideal

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$. Ein von ${}0$ verschiedenes Primideal ${}{\mathfrak {p}}$ von ${}R$ heißt voll zerlegt in ${}S$, wenn es ${}n$ Primideale in ${}S$ oberhalb von ${}{\mathfrak {p}}$ gibt.

Definition:Unzerlegtes Primideal

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$. Ein von ${}0$ verschiedenes Primideal ${}{\mathfrak {p}}$ von ${}R$ heißt unzerlegt in ${}S$, wenn es genau ein Primideal in ${}S$ oberhalb von ${}{\mathfrak {p}}$ gibt.

Definition:Invariantenring

Es sei ${}G$ eine Gruppe, die auf einem kommutativen Ring ${}R$ als Gruppe von Ringautomorphismen operiert (von rechts). Dann bezeichnet man

${}R^{G}=\left\{f\in R\mid f\sigma =f{\text{ für alle }}\sigma \in G\right\}\,$

als den Invariantenring (oder Fixring) von ${}R$ unter der Operation von ${}G$.

Definition: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$. Dann nennt man

${}G_{\mathfrak {q}}=\left\{\sigma \in G\mid \sigma ({\mathfrak {q}})={\mathfrak {q}}\right\}\,$

die Zerlegungsgruppe zu ${}{\mathfrak {q}}$.

Definition:Zerlegungskörper

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$. Dann nennt man den Fixkörper zur Zerlegungsgruppe ${}G_{\mathfrak {q}}$ den Zerlegungskörper zu ${}{\mathfrak {q}}$. Er wird mit ${}Z_{\mathfrak {q}}$ bezeichnet.

Definition:Trägheitsgruppe

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$. Dann nennt man

${}I_{\mathfrak {q}}=\left\{\sigma \in G_{\mathfrak {q}}\mid \sigma {|}_{\kappa ({\mathfrak {q}})}=\operatorname {Id} \right\}\,$

die Trägheitsgruppe zu ${}{\mathfrak {q}}$.

Definition:Trägheitskörper

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$. Dann nennt man den Fixkörper zur Trägheitsgruppe ${}I_{\mathfrak {q}}$ den Trägheitskörper zu ${}{\mathfrak {q}}$. Er wird mit ${}T_{\mathfrak {q}}$ bezeichnet.

Definition:Legendre-Symbol

Für eine ungerade Primzahl ${}p$ und eine zu ${}p$ teilerfremde Zahl  ${}k\in \mathbb {Z}$  definiert man das Legendre-Symbol, geschrieben ${}\left({\frac {k}{p}}\right)$ (sprich „ ${}k$ nach ${}p$“), durch

$\left({\frac {k}{p}}\right):={\begin{cases}1,{\text{ falls }}k{\text{ quadratischer Rest modulo }}p{\text{ ist}},\\-1,{\text{ falls }}k{\text{ kein quadratischer Rest modulo }}p{\text{ ist}}.\end{cases}}\,$

Definition:Quadratische Gaußsumme

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.

Definition:Gitter

Es seien ${}v_{1},\ldots ,v_{n}$ linear unabhängige Vektoren im ${}\mathbb {R} ^{n}$. Dann heißt die Untergruppe ${}\mathbb {Z} v_{1}\oplus \cdots \oplus \mathbb {Z} v_{n}$ ein Gitter im ${}\mathbb {R} ^{n}$.

Definition:Konvexe Teilmenge

Eine Teilmenge  ${}T\subseteq \mathbb {R} ^{n}$  heißt konvex, wenn mit je zwei Punkten  ${}P,Q\in T$  auch jeder Punkt der Verbindungsstrecke, also jeder Punkt der Form

$rP+(1-r)Q{\text{ mit }}r\in [0,1],$

ebenfalls zu ${}T$ gehört.

Definition:Konvexe Hülle

Zu einer Teilmenge  ${}U\subseteq \mathbb {R} ^{n}$  heißt die kleinste konvexe Teilmenge ${}T$, die ${}U$ umfasst, die konvexe Hülle von ${}U$.

Definition:Grundmasche

Zu einem durch linear unabhängige Vektoren ${}v_{1},\ldots ,v_{n}$ gegebenen Gitter bezeichnet man die konvexe Hülle der Vektoren ${}\epsilon _{1}v_{1}+\cdots +\epsilon _{n}v_{n}$ mit  ${}\epsilon _{i}\in \{0,1\}$  als die Grundmasche (oder Fundamentalmasche) des Gitters.

Definition:Zentralsymmetrisch

Eine Teilmenge  ${}T\subseteq \mathbb {R} ^{n}$  heißt zentralsymmetrisch, wenn mit jedem Punkt  ${}P\in T$  auch der Punkt ${}-P$ zu ${}T$ gehört.

Definition:Kompakt (Überdeckungskompakt)

Ein topologischer Raum ${}X$ heißt kompakt (oder überdeckungskompakt), wenn es zu jeder offenen Überdeckung

$X=\bigcup _{i\in I}U_{i}\,\,\,{\text{ mit }}U_{i}{\text{ offen und einer beliebigen Indexmenge }}I$

eine endliche Teilmenge  ${}J\subseteq I$  derart gibt, dass

${}X=\bigcup _{i\in J}U_{i}\,$

ist.

Definition:Reelle Ganzheitsmatrix

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

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

die reelle Gesamteinbettung. Es sei ${}b_{1},\ldots ,b_{n}$ eine Ganzheitsbasis von ${}R$. Dann nennt man die reelle ${}n\times n$-Matrix

$\left(\tau _{j}^{\mathbb {R} }\left(b_{k}\right)\right)_{1\leq j,k\leq n}$

die reelle Ganzheitsmatrix (zu dieser Basis).

Definition:Klassenzahl

Es sei ${}R$ ein Zahlbereich. Dann nennt man die Anzahl der Elemente in der Klassengruppe von ${}R$ die Klassenzahl von ${}R$.

Definition:Fundamentaleinheit

Eine Familie von Einheiten  ${}u_{1},\ldots ,u_{m}\in R$  in einem Zahlbereich ${}R$ heißt ein System von Fundamentaleinheiten, wenn man jede Einheit ${}u$ von ${}R$ in eindeutiger Weise als

${}u=\zeta u_{1}^{n_{1}}\cdots u_{m}^{n_{m}}\,$

mit einer Einheitswurzel ${}\zeta$ und ganzzahligen Exponenten ${}n_{j}$ schreiben kann.

Definition:Regulator

Es sei ${}R$ ein Zahlbereich mit ${}r$ reellen Einbettungen und ${}s$ Paaren von komplexen Einbettungen und es sei ${}u_{1},\ldots ,u_{r+s-1}$ ein System von Fundamentaleinheiten. Dann nennt man den Betrag der Determinante der reellen ${}(r+s-1)\times (r+s-1)$-Matrix

${\begin{pmatrix}L_{1}(u_{1})&\ldots &L_{1}(u_{r+s-1})\\\vdots &\ddots &\vdots \\L_{r+s-1}(u_{1})&\ldots &L_{r+s-1}(u_{r+s-1})\end{pmatrix}},$

wobei  ${}L=(L_{1},\ldots ,L_{r+s})$  die logarithmische Gesamtabbildung bezeichnet, den Regulator von ${}R$. Er wird mit ${}\operatorname {Reg} (R)$ bezeichnet.