# Diskreter Bewertungsring/Zahlbereich/Lokal/Einführung/Textabschnitt
## Definition

Ein diskreter Bewertungsring $R$ ist ein Hauptidealbereich mit der Eigenschaft, dass es bis auf Assoziiertheit genau ein Primelement in $R$ gibt.
Wir wollen zeigen, dass zu einem Zahlbereich $R$ die Lokalisierung an einem jeden Primideal ein diskreter Bewertungsring ist.

## Lemma

Ein diskreter Bewertungsring ist
ein lokaler, noetherscher Hauptidealbereich mit genau zwei Primidealen, nämlich $0$ und dem maximalen Ideal ${\mathfrak {m}}$.

### Beweis

Ein diskreter Bewertungsring ist kein Körper. In einem Hauptidealbereich, der kein Körper ist, wird jedes maximale Ideal von einen Primelement erzeugt, und die Primerzeuger zu verschiedenen maximalen Idealen können nicht assoziiert sein. Also gibt es genau ein maximales Ideal. Nach Fakt ist ein Hauptidealbereich insbesondere ein Dedekindbereich, sodass es als weiteres Primideal nur noch das Nullideal gibt.
$\Box$

## Definition

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.
Die Ordnung ist also nichts anderes als der Exponent zum (bis auf Assoziiertheit) einzigen Primelement in der Primfaktorzerlegung. Sie hat folgende Eigenschaften.

## Lemma

Es sei $R$ ein diskreter Bewertungsring mit maximalem Ideal ${\mathfrak {m}}=(p)$.
Dann hat die Ordnung

### Beweis

$\Box$
Wir wollen eine wichtige Charakterisierung für diskrete Bewertungsringe beweisen, die insbesondere beinhaltet, dass ein normaler lokaler Integritätsbereich mit genau zwei Primidealen bereits ein diskreter Bewertungsring ist. Dazu benötigen wir einige Vorbereitungen.

## Lemma

Es sei $R$ ein kommutativer Ring und sei $f\in R$ nicht nilpotent.
Dann gibt es ein Primideal ${\mathfrak {p}}$ in $R$ mit $f\notin {\mathfrak {p}}$.

### Beweis

Wir betrachten die Menge der Ideale
    $M={\left\{{\mathfrak {a}}{\text{ Ideal }}\mid f^{r}\not \in {\mathfrak {a}}{\text{ für alle }}r\right\}}\,.$
Diese Menge ist nicht leer, da sie das Nullideal enthält. Ferner ist sie induktiv geordnet (bezüglich der Inklusion). Ist nämlich ${\mathfrak {a}}_{i}$, $i\in I$, eine total geordnete Teilmenge von $M$, so ist deren Vereinigung ebenfalls ein Ideal, das keine Potenz von $f$ enthält. Nach dem Lemma von Zorn gibt es daher maximale Elemente in $M$.
Wir behaupten, dass ein solches maximales Element ${\mathfrak {p}}$ ein Primideal ist. Es sei dazu $g,h\in R$ und $gh\in {\mathfrak {p}}$, und sei $g,h\notin {\mathfrak {p}}$ angenommen. Dann hat man echte Inklusionen
    ${\mathfrak {p}}\subseteq {\mathfrak {p}}+(g),{\mathfrak {p}}+(h)\,.$
Wegen der Maximalität können die beiden Ideale rechts nicht zu $M$ gehören, und das bedeutet, dass es Exponenten $r,s\in \mathbb {N}$ mit
    $f^{r}\in {\mathfrak {p}}+(g)\,\,{\text{ und }}\,\,f^{s}\in {\mathfrak {p}}+(h)$
gibt. Dann ergibt sich der Widerspruch
    $f^{r}f^{s}\in {\mathfrak {p}}+(gh)\subseteq {\mathfrak {p}}\,.$
$\Box$

## Lemma

Es sei $R$ ein noetherscher lokaler kommutativer Ring. Es sei vorausgesetzt, dass das maximale Ideal ${\mathfrak {m}}$ das einzige Primideal von $R$ ist.
Dann gibt es einen Exponenten $n\in \mathbb {N}$ mit

### Beweis

Wir behaupten zunächst, dass jedes Element in $R$ eine Einheit oder nilpotent ist. Es sei hierzu $f\in R$ keine Einheit. Dann ist $f\in {\mathfrak {m}}$. Angenommen, $f$ ist nicht nilpotent. Dann gibt es nach Fakt ein Primideal ${\mathfrak {p}}$ in $R$ mit $f\notin {\mathfrak {p}}$. Damit ergibt sich der Widerspruch ${\mathfrak {p}}\neq {\mathfrak {m}}$.
Es ist also jedes Element im maximalen Ideal nilpotent. Insbesondere gibt es für ein endliches Erzeugendensystem $f_{1},\ldots ,f_{k}$ von ${\mathfrak {m}}$ eine natürliche Zahl $m$ mit $f_{i}^{m}=0$ für alle $i=1,\ldots ,k$. Sei $n=km$. Dann ist ein beliebiges Element aus ${\mathfrak {m}}^{n}$ von der Gestalt
    ${\left(\sum _{i=1}^{k}a_{i1}f_{i}\right)}{\left(\sum _{i=1}^{k}a_{i2}f_{i}\right)}\cdots {\left(\sum _{i=1}^{k}a_{in}f_{i}\right)}.$
Ausmultiplizieren ergibt eine Linearkombination mit Monomen $f_{1}^{r_{1}}\cdots f_{k}^{r_{k}}$ und $\sum _{i=1}^{k}r_{i}=n$, sodass ein $f_{i}$ mit einem Exponenten $\geq n/k=m$ vorkommt. Daher ist das Produkt $0$.
$\Box$

## Satz

Es sei $R$ ein noetherscher lokaler Integritätsbereich mit der Eigenschaft, dass es genau zwei Primideale $0\subset {\mathfrak {m}}$ gibt. Dann sind folgende Aussagen äquivalent.

### Beweis

$(1)\Rightarrow (2)$ folgt direkt aus der Definition.
$(2)\Rightarrow (3)$ folgt aus Fakt.
$(3)\Rightarrow (4)$ folgt aus Fakt.
$(4)\Rightarrow (5)$. Es sei $f\in {\mathfrak {m}}$, $f\neq 0$. Dann ist $R/(f)$ ein noetherscher lokaler Ring mit nur einem Primideal (nämlich ${\tilde {\mathfrak {m}}}={\mathfrak {m}}R/(f)$). Daher gibt es nach Fakt ein $n\in \mathbb {N}$ mit ${\tilde {\mathfrak {m}}}^{n}=0$. Zurückübersetzt nach $R$ heißt das, dass ${\mathfrak {m}}^{n}\subseteq (f)$ gilt. Wir wählen $n$ minimal mit den Eigenschaften
    ${\mathfrak {m}}^{n}\subseteq (f)\,\,{\text{ und }}\,\,{\mathfrak {m}}^{n-1}\not \subseteq (f).$
Wähle $g\in {\mathfrak {m}}^{n-1}$ mit $g\not \in (f)$ und betrachte
    $h:={\frac {f}{g}}\in Q(R)\,$
(es ist $g\neq 0$). Das Inverse, also $h^{-1}={\frac {g}{f}}$, gehört nicht zu $R$, sonst wäre $g\in (f)$. Da $R$ nach Voraussetzung normal ist, ist $h^{-1}$ auch nicht ganz über $R$. Nach dem Modulkriterium Fakt für die Ganzheit gilt insbesondere für das maximale Ideal ${\mathfrak {m}}\subset R$ die Beziehung
    $h^{-1}{\mathfrak {m}}\not \subseteq {\mathfrak {m}}\,$
ist. Nach Wahl von $g$ ist aber auch
    $h^{-1}{\mathfrak {m}}={\frac {g}{f}}{\mathfrak {m}}\subseteq {\frac {{\mathfrak {m}}^{n}}{f}}\subseteq R\,.$
Daher ist $h^{-1}{\mathfrak {m}}$ ein Ideal in $R$, das nicht im maximalen Ideal enthalten ist. Also ist $h^{-1}{\mathfrak {m}}=R$. Das heißt einerseits $h\in {\mathfrak {m}}$ und andererseits gilt für ein beliebiges $x\in {\mathfrak {m}}$ die Beziehung $h^{-1}x\in R$, also $x=h(h^{-1}x)$, also $x\in (h)$ und somit $(h)={\mathfrak {m}}$.
$(5)\Rightarrow (1)$. Sei ${\mathfrak {m}}=(\pi )$. Dann ist $\pi$ ein Primelement und zwar bis auf Assoziiertheit das einzige. Es sei $f\in R$, $f\neq 0$ keine Einheit. Dann ist $f\in {\mathfrak {m}}$ und daher $f=\pi g_{1}$. Dann ist $g_{1}$ eine Einheit oder $g_{1}\in {\mathfrak {m}}$. Im zweiten Fall ist wieder $g_{1}=\pi g_{2}$ und $f=\pi ^{2}g_{2}$.
Wir behaupten, dass man $f=\pi ^{k}u$ mit einem $k\in \mathbb {N}$ und einer Einheit $u$ schreiben kann. Andernfalls könnte man $f=\pi ^{n}g_{n}$ mit beliebig großem $n$ schreiben. Nach Fakt gibt es ein $m\in \mathbb {N}$ mit $(\pi ^{m})={\mathfrak {m}}^{m}\subseteq (f)$. Bei $n\geq m+1$ ergibt sich $\pi ^{m}=af=a\pi ^{m+1}b$ und der Widerspruch $1=ab\pi$.
Es lässt sich also jede Nichteinheit $\neq 0$ als Produkt einer Potenz des Primelements mit einer Einheit schreiben. Insbesondere ist $R$ faktoriell. Für ein beliebiges Ideal ${\mathfrak {a}}=(f_{1},\ldots ,f_{s})$ ist $f_{i}=\pi ^{n_{i}}u_{i}$ mit Einheiten $u_{i}$. Dann sieht man leicht, dass ${\mathfrak {a}}=(\pi ^{n})$ ist mit $n=\min _{i}\{n_{i}\}$.
$\Box$

## Korollar

Es sei $R$ ein Dedekindbereich und sei ${\mathfrak {m}}$ ein maximales Ideal in $R$.
Dann ist die Lokalisierung
ein diskreter Bewertungsring.

### Beweis

Die Lokalisierung $R_{\mathfrak {m}}$ ist lokal nach Fakt, sodass es lediglich die beiden Primideale $0$ und ${\mathfrak {m}}R_{\mathfrak {m}}$ gibt. Ferner ist $R$ noethersch. Da $R$ normal ist, ist nach Fakt auch die Lokalisierung $R_{\mathfrak {m}}$ normal. Wegen Fakt ist $R_{\mathfrak {m}}$ ein diskreter Bewertungsring.
$\Box$

## Bemerkung

Fakt besagt in Verbindung mit Fakt, dass wenn man bei einem Dedekindbereich und spezieller einem Zahlbereich $R$ zur Lokalisierung $R_{\mathfrak {m}}$ an einem maximalen Ideal ${\mathfrak {m}}$ übergeht, dass dort die eindeutige Primfaktorzerlegung gilt.

## Korollar

Es sei $R$ ein Dedekindbereich.
Dann ist $R$ der Durchschnitt von diskreten Bewertungsringen.

### Beweis

Nach Fakt ist
    $R=\bigcap _{\mathfrak {m}}R_{\mathfrak {m}}\,,$
wobei ${\mathfrak {m}}$ durch alle maximalen Ideale von $R$ läuft. Nach Fakt sind die beteiligten Lokalisierungen $R_{\mathfrak {m}}$ allesamt diskrete Bewertungsringe.
$\Box$