Kurs:Zahlentheorie (Osnabrück 2008)/Definitionsliste

Definition:Monoid

Ein Monoid ist eine Menge ${}M$ zusammen mit einer Verknüpfung

$\circ \colon M\times M\longrightarrow M$

und einem ausgezeichneten Element ${}e\in M$ derart, dass folgende beiden Bedingungen erfüllt sind.

1. Die Verknüpfung ist assoziativ, d.h. es gilt

   ${}(x\circ y)\circ z=x\circ (y\circ z)\,$

   für alle ${}x,y,z\in M$.

2. ${}e$ ist neutrales Element der Verknüpfung, d.h. es gilt

   ${}x\circ e=x=e\circ x\,$

   für alle ${}x\in M$.

Definition:Gruppe

Ein Monoid ${}(G,e,\circ )$ heißt Gruppe, wenn jedes Element ein inverses Element besitzt, d.h. wenn es zu jedem ${}x\in G$ ein ${}y\in G$ mit ${}x\circ y=e=y\circ x$ gibt.

Definition:Kommutative Gruppe

Eine Gruppe ${}(G,e,\circ )$ heißt kommutativ (oder abelsch), wenn die Verknüpfung kommutativ ist, wenn also ${}x\circ y=y\circ x$ für alle ${}x,y\in G$ gilt.

Definition:Zyklische Gruppe

Eine Gruppe ${}G$ heißt zyklisch, wenn sie von einem Element erzeugt wird.

Definition:Ring

Ein Ring ${}R$ ist eine Menge mit zwei Verknüpfungen ${}+$ und ${}\cdot$ und mit zwei ausgezeichneten Elementen ${}0$ und ${}1$ derart, dass folgende Bedingungen erfüllt sind:

1. ${}(R,+,0)$ ist eine abelsche Gruppe.
2. ${}(R,\cdot ,1)$ ist ein Monoid.
3. Es gelten die Distributivgesetze, also ${}a\cdot (b+c)=(a\cdot b)+(a\cdot c)$ und ${}(b+c)\cdot a=(b\cdot a)+(c\cdot a)$ für alle ${}a,b,c\in R$.

Definition:Kommutativer Ring

Ein Ring ${}R$ heißt kommutativ, wenn die Multiplikation kommutativ ist.

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:Einheit

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

Definition:Assoziiert

Zwei Elemente ${}a$ und ${}b$ eines kommutativen Ringes ${}R$ heißen assoziiert, wenn es eine Einheit ${}u\in R$ derart gibt, dass ${}a=ub$ 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:Integritätsbereich

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

Definition:Körper

Ein kommutativer Ring ${}R$ heißt Körper, wenn ${}R\neq 0$ ist und wenn jedes von ${}0$ verschiedene Element ein multiplikatives Inverses besitzt.

Definition:Ideal

Eine Teilmenge ${}{\mathfrak {a}}$ eines kommutativen Ringes ${}R$ heißt Ideal, wenn die folgenden Bedingungen erfüllt sind:

1. ${}0\in {\mathfrak {a}}$.
2. Für alle ${}a,b\in {\mathfrak {a}}$ ist auch ${}a+b\in {\mathfrak {a}}$.
3. Für alle ${}a\in {\mathfrak {a}}$ und ${}r\in R$ ist auch ${}ra\in {\mathfrak {a}}$.

Definition:Erzeugtes Ideal

Zu einer Familie von Elementen ${}a_{j}\in R$, ${}j\in J$, in einem kommutativen Ring ${}R$ bezeichnet ${}(a_{j}:j\in J)$ das von den ${}a_{j}$ erzeugte Ideal. Es besteht aus allen (endlichen) Linearkombinationen

$\sum _{j\in J_{0}}r_{j}a_{j},$

wobei ${}J_{0}\subseteq J$ eine endliche Teilmenge und ${}r_{j}\in R$ ist.

Definition:Hauptideal

Ein Ideal ${}{\mathfrak {a}}$ in einem kommutativen Ring ${}R$ der Form

${}{\mathfrak {a}}=(a)=Ra=\{ra:\,r\in R\}\,$

heißt Hauptideal.

Definition:Hauptidealbereich

Ein kommutativer Ring, in dem jedes Ideal ein Hauptideal ist, heißt Hauptidealring. Ein integrer Hauptidealring heißt Hauptidealbereich.

Definition:Gemeinsamer Teiler

Es sei ${}R$ ein kommutativer Ring und ${}a_{1},\ldots ,a_{k}\in R$. Dann heißt ein Element ${}t\in R$ gemeinsamer Teiler der ${}a_{1},\ldots ,a_{k}$, wenn ${}t$ jedes ${}a_{i}$ teilt (${}i=1,\ldots ,k$). Ein Element ${}g\in R$ heißt größter gemeinsamer Teiler der ${}a_{1},\ldots ,a_{k}$, wenn ${}g$ ein gemeinsamer Teiler ist und wenn jeder gemeinsame Teiler ${}t$ dieses ${}g$ teilt.

Die Elemente ${}a_{1},\ldots ,a_{k}$ heißen teilerfremd, wenn ${}1$ ihr größter gemeinsamer Teiler ist.

Definition:Euklidischer Bereich

Ein euklidischer Bereich (oder euklidischer Ring) ist ein Integritätsbereich ${}R$, für den eine Abbildung ${}\delta \colon R\setminus \{0\}\rightarrow \mathbb {N}$ existiert, die die folgende Eigenschaft erfüllt:

Für Elemente ${}a,b$ mit ${}b\neq 0$ gibt es ${}q,r\in R$ mit

$a=qb+r{\text{ und }}r=0{\text{ oder }}\delta (r)<\delta (b).$

Definition:Euklidische Restfolge

Es seien Elemente ${}a,b$ (mit $b\neq 0$) eines euklidischen Bereichs ${}R$ mit euklidischer Funktion ${}\delta$ gegeben. Dann nennt man die durch die Anfangsbedingungen ${}r_{0}=a$ und ${}r_{1}=b$ und die mittels der Division mit Rest

${}r_{i}=q_{i}r_{i+1}+r_{i+2}\,$

rekursiv bestimmte Folge ${}r_{i}$ die Folge der euklidischen Reste.

Definition:Faktorieller Bereich

Ein Integritätsbereich heißt faktorieller Bereich, wenn die beiden folgenden Eigenschaften erfüllt sind.

1. Jedes irreduzible Element in ${}R$ ist prim.
2. Jedes Element ${}a\in R$, ${}a\neq 0$, ist ein Produkt aus irreduziblen Elementen.

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:Endlicher Körper

Ein Körper heißt endlich, wenn er nur endlich viele Elemente besitzt.

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:Exponent einer Gruppe

Der Exponent ${}\exp {\left(G\right)}$ einer endlichen Gruppe ${}G$ ist die kleinste positive Zahl ${}n$ mit der Eigenschaft, dass ${}x^{n}=1$ für alle ${}x\in G$ ist.

Definition:Primitive Einheit

Eine Einheit ${}u\in {\left(\mathbb {Z} /(n)\right)}^{\times }$ heißt primitiv (oder eine primitive Einheit), wenn sie die Einheitengruppe erzeugt.

Definition:Quadratischer Rest

Eine ganze Zahl ${}k$ heißt quadratischer Rest modulo ${}n$, wenn es eine Zahl ${}x$ mit

${}x^{2}=k\mod n\,$

gibt. Im anderen Fall heißt ${}k$ ein nichtquadratischer Rest modulo ${}n$.

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:Jacobi-Symbol

Für eine ungerade Zahl ${}n$ und eine ganze Zahl ${}k$ definiert man das Jacobi-Symbol, geschrieben ${}\left({\frac {k}{n}}\right)$ (${}k$ nach ${}n$), wie folgt. Es sei ${}n=p_{1}\cdots p_{r}$ die Primfaktorzerlegung von ${}n$. Dann setzt man

${}\left({\frac {k}{n}}\right):=\left({\frac {k}{p_{1}}}\right)\cdots \left({\frac {k}{p_{r}}}\right)\,.$

Definition:Pythagoreisches Tripel

Ein pythagoreisches Tripel ist eine ganzzahlige Lösung ${}(x,y,z)\in \mathbb {Z} ^{3}$ der diophantischen Gleichung

${}x^{2}+y^{2}=z^{2}\,.$

Es heißt primitiv, wenn ${}x,y,z$ keinen gemeinsamen Teiler besitzen.

Definition:Riemannsche Zetafunktion/Definition

   {{:Riemannsche ${}\zeta$-Funktion|}}

Definition:Primzahlfunktion

Die für ${}x\in \mathbb {R}$ definierte Funktion

$x\longmapsto \pi (x):={\#\left({\left\{p\leq x\mid p{\text{ Primzahl}}\right\}}\right)}$

heißt Primzahlfunktion.

Definition:Erste Tschebyschow-Funktion

Die erste Tschebyschow-Funktion ${}\vartheta (x)$ ist durch

${}\vartheta (x)=\sum _{p\leq x,p{\text{ prim}}}\ln(p)\,$

gegeben.

Definition:Mersennesche Primzahl

Eine Primzahl der Form ${}2^{n}-1$ heißt Mersennesche Primzahl.

Definition:Teilersumme

Zu einer natürlichen Zahl ${}n$ bezeichnet man die Summe aller natürlichen Teiler von ${}n$ als ${}\sigma (n)$, also

${}\sigma (n)=\sum _{t{|}n}t\,.$

Definition:Vollkommene Zahl

Eine natürliche Zahl ${}n$ heißt vollkommen, wenn sie mit der Summe all ihrer von ${}n$ verschiedenen Teiler übereinstimmt.

Definition:Defiziente Zahl

Eine natürliche Zahl ${}n$ heißt defizient, wenn die Summe der Teiler kleiner als ${}2n$ ist.

Definition:Abundante Zahl

Eine natürliche Zahl ${}n$ heißt abundant, wenn die Summe der Teiler größer als ${}2n$ ist.

Definition:Sonderbare Zahl

Eine natürliche abundante Zahl heißt sonderbar, wenn sie nicht als eine Teilsumme von ihren echten Teilern darstellbar ist.

Definition:Befreundete Zahlen

Zwei verschiedene natürliche Zahlen ${}m$ und ${}n$ heißen befreundet, wenn ${}m$ gleich der Summe der echten Teiler von ${}n$ ist und umgekehrt.

Definition:Fermatsche Primzahl

Eine Primzahl der Form ${}2^{s}+1$, wobei ${}s$ eine positive natürliche Zahl ist, heißt Fermatsche Primzahl.

Definition:Fermat-Zahl

Eine Zahl der Form ${}2^{2^{r}}+1$, wobei ${}r$ eine natürliche Zahl ist, heißt Fermat-Zahl.

Definition:Sophie-Germain-Primzahl

Eine Primzahl ${}p$ mit der Eigenschaft, dass auch ${}2p+1$ eine Primzahl ist, heißt Sophie-Germain-Primzahl.

Definition:Quasiprim

Eine natürliche Zahl ${}n$ heißt quasiprim zur Basis ${}a$, wenn ${}a^{n-1}=1$ modulo ${}n$ gilt.

Definition:Carmichael-Zahl

Eine natürliche Zahl ${}n$, die nicht prim ist, und die die Eigenschaft besitzt, dass für jede zu ${}n$ teilerfremde ganze Zahl ${}a$

${}a^{n-1}=1\mod n\,$

gilt, heißt Carmichael-Zahl.

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:Algebra

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

Definition:Algebraisches Element

Es sei ${}K$ ein Körper und ${}A$ eine kommutative ${}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:Algebraische Zahlen

Eine komplexe Zahl ${}z$ heißt algebraisch oder algebraische Zahl, wenn sie algebraisch über den rationalen Zahlen ${}\mathbb {Q}$ ist. Andernfalls heißt sie transzendent.

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:Norm eines algebraischen Elementes

Es sei ${}K\subseteq L$ eine endliche Körpererweiterung. Zu einem Element ${}f\in L$ nennt man die Determinante der ${}K$- linearen Abbildung

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

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

Definition:Spur eines algebraischen Elementes

Es sei ${}K\subseteq L$ eine endliche Körpererweiterung. Zu einem Element ${}f\in L$ nennt man die Spur der ${}K$- linearen Abbildung

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

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

Definition:Separable Körpererweiterung

Es sei ${}K\subseteq L$ eine endliche Körpererweiterung. Sie heißt separabel, wenn für jedes Element ${}x\in L$ das Minimalpolynom separabel ist, also in keinem Erweiterungskörper eine mehrfache Nullstelle besitzt.

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:Modul

Es sei ${}R$ ein kommutativer Ring und ${}M=(M,+,0)$ eine additiv geschriebene kommutative Gruppe. Man nennt ${}M$ einen ${}R$-Modul, wenn eine Operation

$R\times M\longrightarrow M,\,(r,v)\longmapsto rv=r\cdot v,$

(Skalarmultiplikation genannt) festgelegt ist, die folgende Axiome erfüllt (dabei seien $r,s\in R$ und $u,v\in M$ beliebig):

1. ${}r(su)=(rs)u$,
2. ${}r(u+v)=(ru)+(rv)$,
3. ${}(r+s)u=(ru)+(su)$,
4. ${}1u=u$.

Definition:Untermodul

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$- Modul. Eine Teilmenge ${}U\subseteq M$ heißt ${}R$-Untermodul, wenn sie eine Untergruppe von ${}(M,0,+)$ ist und wenn für jedes ${}u\in U$ und ${}r\in R$ auch ${}ru\in U$ ist.

Definition:Erzeugendensystem (Modul)

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$- Modul. Eine Familie ${}v_{i}\in M$, ${}i\in I$, heißt Erzeugendensystem für ${}M$, wenn es für jedes Element ${}v\in M$ eine Darstellung

${}v=\sum _{i\in J}r_{i}v_{i}\,$

gibt, wobei ${}J\subseteq I$ endlich ist und ${}r_{i}\in R$.

Definition:Endlicher Modul

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$- Modul. Der Modul ${}M$ heißt endlich erzeugt oder endlich, wenn es ein endliches Erzeugendensystem ${}v_{i}$, ${}i\in I$, für ihn gibt (also mit einer endlichen Indexmenge).

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$ keine weiteren Ideale gibt.

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: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: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:Endlicher Körper

Es sei ${}p$ eine Primzahl und ${}e\in \mathbb {N} _{+}$. Der aufgrund von Satz 19.7 bis auf Isomorphie eindeutig bestimmte endliche Körper mit ${}q=p^{e}$ Elementen wird mit

${\mathbb {F} }_{q}$

bezeichnet.

Definition:Quadratischer Zahlbereich

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

Definition:Quadratfreie Zahl

Eine ganze Zahl heißt quadratfrei, wenn jeder Primfaktor von ihr nur mit einem einfachen Exponenten vorkommt.

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:Norm eines Ideals

Es sei ${}D\neq 0,1$ quadratfrei und ${}A_{D}$ der zugehörige quadratische Zahlbereich. Es sei ${}{\mathfrak {a}}$ ein von ${}0$ verschiedenes Ideal in ${}A_{D}$. Dann nennt man die (endliche) Anzahl des Restklassenringes ${}A_{D}/{\mathfrak {a}}$ die Norm von ${}{\mathfrak {a}}$. Sie wird mit

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

bezeichnet.

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:Nenneraufnahme

Es sei ${}R$ ein Integritätsbereich und sei ${}S\subseteq R$ ein multiplikatives System, ${}0\notin S$. Dann nennt man den Unterring

${}R_{S}:={\left\{{\frac {f}{g}}\mid f\in R,\,g\in S\right\}}\subseteq Q(R)\,$

die Nenneraufnahme zu ${}S$.

Definition:Lokalisierung

Es sei ${}R$ ein Integritätsbereich 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\}}\subseteq Q(R)\,.$

Definition:Lokaler Ring

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

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 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} \,(f)$ bezeichnet.

Definition:Hauptdivisor zu Ringelement

Es sei ${}R$ ein Zahlbereich 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}}\,(f)$ 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}}\,(f)\cdot {\mathfrak {p}}\,$

geschrieben.

Definition:Ordnung an Primstelle

Es sei ${}R$ ein Zahlbereich, ${}{\mathfrak {p}}\neq 0$ ein Primideal in ${}R$ und ${}f\in R$, ${}f\neq 0$. Dann heißt die Ordnung ${}\operatorname {ord} \,(f)$ 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}}\,(f)$ bezeichnet.

Definition:Effektiver Divisor

Es sei ${}R$ ein Zahlbereich. 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$ aus ${}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 Zahlbereich und ${}{\mathfrak {a}}\neq 0$ ein von ${}0$ verschiedenes Ideal in ${}R$. Dann nennt man den Divisor

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

mit

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

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

Definition:Ideal zu einem effektiven Divisor

Es sei ${}R$ ein Zahlbereich 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:Divisor

Es sei ${}R$ ein Zahlbereich. 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 Zahlbereich 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}}\,(q)$ 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}}\,(q)\cdot {\mathfrak {p}}\,$

geschrieben.

Definition:Gebrochenes Ideal

Es sei ${}R$ ein Zahlbereich 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 Zahlbereich 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 Zahlbereich 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 Zahlbereich 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 Zahlbereich 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}}\,(f){|}f\in {\mathfrak {f}},\,f\neq 0\right)\,$

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

Definition:Divisorenklassengruppe

Es sei ${}R$ ein Zahlbereich. 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:Normeuklidischer Bereich

Es sei ${}D\neq 0,1$ quadratfrei und ${}A_{D}$ der zugehörige quadratische Zahlbereich. Dann heißt ${}A_{D}$ normeuklidisch, wenn die Normfunktion auf ${}A_{D}$ eine euklidische Funktion ist.

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:Klassenzahl

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