Diskreter Bewertungsring

Im mathematischen Teilgebiet der kommutativen Algebra sind diskrete Bewertungsringe spezielle lokale Ringe mit besonders guten Eigenschaften.

Definition

Ein diskreter Bewertungsring ist ein lokaler Hauptidealring, der kein Körper ist.

Ein Erzeuger des maximalen Ideals heißt uniformisierendes Element oder kurz Uniformisierendes. Man schreibt auch kurz DVR (für discrete valuation ring) oder DBR.

Eigenschaften

Ein diskreter Bewertungsring ist ein Dedekindring, insbesondere ein regulärer lokaler Integritätsring.
Das Spektrum Spec eines diskreten Bewertungsringes besteht aus genau zwei Punkten:
- Einem abgeschlossenen Punkt, dem speziellen Punkt, zugehörig zum maximalen Ideal $(\pi)$ (wenn $\pi$ das uniformisierende Element ist)
- und einem nicht abgeschlossenen (aber offenen) Punkt, dem generischen Punkt .
Für einen diskreten Bewertungsring wird durch $Quot(R)\rightarrow {\mathbb Z};{\frac {a}{b}}\mapsto v_{{\pi }}(a)-v_{{\pi }}(b)$ eine diskrete Bewertung auf dem Quotientenkörper definiert (wenn $v_{{\pi }}(a)=n$ für $(a)=(\pi )^{n}$ in ). Diese Bewertung hat als Bewertungsring.
Ordnet man einem diskret bewerteten Körper seinen Bewertungsring ${\mathcal O}_{F}$ zu und wendet darauf obige Konstruktion an, so erhält man einen diskret bewerteten Körper, der isomorph zu ist. Mit anderen Worten: Diese Konstruktionen induzieren eine Äquivalenz von Kategorien zwischen diskret bewerteten Körpern und diskreten Bewertungsringen.

Beispiele

Der Ring der ganzen p-adischen Zahlen $\mathbb Z_p$ für jede Primzahl . $\mathbb {Z}$ ist dicht in $\mathbb Z_p$ .
Der Ring der rationalen Zahlen, die p-adisch ganz sind, für eine Primzahl
${\mathbb Z}_{{(p)}}=\left.\left\{{\frac zn}\,\right|z,n\in {\mathbb Z},p\nmid n\right\}$ .
Es ist ${\mathbb Z}_{{(p)}}={\mathbb Z}_{p}\cap {\mathbb Q}$ und $\mathbb {Z}$ ist dicht in ${\mathbb Z}_{{(p)}}$ .
Der Ring der formalen Potenzreihen in einer Unbestimmten über einem Körper .
Der Ring der konvergenten Potenzreihen

${\mathbb C}\{T\}=\left.\left\{\sum _{{i=0}}^{\infty }a_{i}T^{i}\,\right|\exists r>0\colon \sum _{{i=0}}^{\infty }a_{i}z^{i}\ {\mathrm {konvergiert\ f{\ddot u}r}}\ |z|<r\right\}\subset {\mathbb C}[[T]].$

Der lokale Ring zu einem glatten Punkt einer algebraischen Kurve.

Basierend auf einem Artikel in:

Wikipedia.de