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 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 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 eine Primzahl, so ist der Restklassenring ${\mathbb Z}/p{\mathbb Z}$ ein Körper, genauer ein endlicher Körper mit Elementen. Er wird Restklassenkörper modulo 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.

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

Restklassenkörper lokaler Ringe

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

Restklassenkörper diskreter Bewertungsringe

Sei ${\mathcal O}$ der Bewertungsring eines diskret bewerteter Körpers . 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 uniformisierendem Element und man bezeichnet ${\mathcal {O}}/(\pi )$ in diesem Fall auch als Restklassenkörper von .

Restklassenkörper von Punkten auf Schemata

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

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

Basierend auf einem Artikel in:

Wikipedia.de