Restklassenkörper

Restklassenkörper spielen in verschiedenen Bereichen der Algebra und Zahlentheorie eine wichtige Rolle. In ihrer einfachsten Form sind sie die mathematische Abstraktion des Restes bei der Division durch eine Primzahl, in der algebraischen Geometrie treten sie auf, wenn die lokale Struktur eines geometrischen Objektes in einem Punkt beschrieben wird.

Definition

Sei $A$ ein Ring mit einem maximalen Ideal ${\mathfrak {m}}$. Dann heißt der Faktorring $A/{\mathfrak {m}}$, der als Faktorring eines maximalen Ideals ein Körper ist, der Restklassenkörper von $A$ bezüglich ${\mathfrak {m}}$.

Beispiele

Restklassenkörper modulo einer Primzahl

Sei $A=\mathbb {Z}$ der Ring der ganzen Zahlen. Da $\mathbb {Z}$ ein Hauptidealring ist, sind maximale Ideale von $\mathbb {Z}$ gerade die von Primelementen erzeugten Ideale. Ist also $p$ eine Primzahl, so ist der Restklassenring $\mathbb {Z} /p\mathbb {Z}$ ein Körper, genauer ein endlicher Körper mit $p$ Elementen. Er wird Restklassenkörper modulo $p$ genannt und üblicherweise mit $\mathbb {F} _{p}$ bezeichnet. Man beachte jedoch, dass es auch endliche Körper $\mathbb {F} _{p^{2}}$,$\mathbb {F} _{p^{3}},\ldots$ gibt, die mit den jeweiligen Restklassenringen nichts zu tun haben.

Restklassenkörper sind spezielle Beispiele primer Restklassengruppen.

Für weitere Details zu endlichen Körpern siehe endlicher Körper.

Restklassenkörper lokaler Ringe

Sei $A$ ein lokaler Ring, also ein Ring, in dem es nur ein maximales Ideal ${\mathfrak {m}}$ gibt. Dann gibt es zu $A$ nur einen Restklassenkörper, nämlich $A/{\mathfrak {m}}$, und wir sprechen von dem Restklassenkörper von $A$.

Restklassenkörper diskreter Bewertungsringe

Sei ${\mathcal {O}}$ der Bewertungsring eines diskret bewerteten Körpers $K$. Dann ist ${\mathcal {O}}$ ein lokaler Hauptidealring, sodass das maximale Ideal von ${\mathcal {O}}$ von einem Element $\pi$ erzeugt wird. Ein solches Element nennt man ein uniformisierendes Element und man bezeichnet ${\mathcal {O}}/(\pi )$ in diesem Fall auch als Restklassenkörper von $K$.

Restklassenkörper von Punkten auf Schemata

Sei $X$ ein Schema mit einem Punkt $x\in X$. Dann wird der Restklassenkörper des lokalen Ringes ${\mathcal {O}}_{X,x}$ der Restklassenkörper von $X$ in $x$ genannt und wird üblicherweise mit $\kappa (x)$ bezeichnet.

Ist $X$ ein Schema über einem Körper $k$, so sind alle Restklassenkörper von $X$ Körpererweiterungen von $k$. Ist $X/k$ lokal endlichen Typs und $x\in X$ ein abgeschlossener Punkt, so ist $\kappa (x)$ eine endliche Erweiterung von $k$. Dies ist im Wesentlichen die Aussage des hilbertschen Nullstellensatzes.