Zahlentheorie (Osnabrück 2008)/Vorlesung 23

Aus Wikiversity

< Zahlentheorie (Osnabrück 2008)

Definition (Ordnung an Primstelle)

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

Lemma

Sei $R$ ein ZahlbereichDefinition und ${\mathfrak p} \neq 0$ ein Primideal in $R$ . Dann hat die Ordnung an $\mathfrak p$ , also

$R - \{0\} \longrightarrow \mathbb N,\, f \longmapsto \operatorname{ord}_{\mathfrak p} (f) \, ,$

folgende Eigenschaften.

$\operatorname{ord}_{\mathfrak p} (f g ) = \operatorname{ord}_{\mathfrak p} (f) + \operatorname{ord}_{\mathfrak p} (g)$ .
$\operatorname{ord}_{\mathfrak p} (f +g ) \geq \min \{ \operatorname{ord}_{\mathfrak p} (f) , \operatorname{ord}_{\mathfrak p} (g)\}$ .
$f \in \mathfrak p$ genau dann, wenn $\operatorname{ord}_{\mathfrak p} (f ) \geq 1$ .

Beweis

(1) und (2) folgen direkt aus Lemma 22.14. Bei (3) ist zu beachten, dass für $f \in R$ gilt, dass $f \in {\mathfrak p}$ ist genau dann, wenn $f \in {\mathfrak p} R_{\mathfrak p}$ ist. Letzteres bedeutet nämlich, dass $f=q_1f_1+ \ldots + q_nf_n$ ist mit $f_i \in {\mathfrak p}$ und $q_i \in R_{\mathfrak p}$ , also $q_i=\frac{r_i}{s_i}$ mit $s_i \not\in {\mathfrak p}$ . Mit dem Hauptnenner $s=s_1 \cdots s_n$ ist dann $sf = a_1f_1+ \ldots + a_n f_n \in {\mathfrak p}$ , woraus $f \in {\mathfrak p}$ folgt. Damit folgt die Behauptung aus Lemma 22.14(3).

$\Box$

Definition (Hauptdivisor)

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} (f)$ bezeichnet und als formale Summe

$\operatorname{div} (f) = \sum_{\mathfrak p} \operatorname{ord}_{\mathfrak p} (f) \cdot {\mathfrak p} \,$

geschrieben.

Lemma

Sei $R$ ein ZahlbereichDefinition. Dann hat die Abbildung, die einem Ringelement den Hauptdivisor zuordnet, also

$R - \{0\} \longrightarrow \operatorname{Hauptdivisoren},\, f \longmapsto \operatorname{div}(f) \, ,$

folgende Eigenschaften.

$\operatorname{div} (f g ) = \operatorname{div} (f) + \operatorname{div} (g)$ .
$\operatorname{div} (f +g ) \geq \min \{ \operatorname{div} (f) , \operatorname{div} (g)\}$ .

Hierbei sind die Operationen rechts punktweise definiert.

Beweis

Dies folgt direkt aus Lemma 23.2 durch Betrachtung an den einzelnen Primidealen.

$\Box$

Lemma

Sei $R$ ein ZahlbereichDefinition und $f \in R$ , $f \neq 0$ . Dann ist nur für endlich viele Primideale ${\mathfrak p} \neq 0$ in $R$ die Ordnung $\operatorname{ord}_{\mathfrak p} (f)$ von null verschieden. Das heißt, dass der Hauptdivisor $\operatorname{div} (f)= \sum_{\mathfrak p} \mathrm{ord}_{\mathfrak p} (f) \cdot {\mathfrak p}$ eine endliche Summe ist.

Beweis

Sei ${\mathfrak p} \neq 0$ ein PrimidealDefinition in $R$ und $f \not\in {\mathfrak p}$ . Dann ist $f$ in $R_{\mathfrak p}$ eine EinheitDefinition. Damit ist $\mathrm{ord}_{\mathfrak p} (f) =0$ . Da der Restklassenring $R / (f)$ endlich ist nach Satz 18.12, folgt sofort, dass $f$ nur in endlich vielen Primidealen enthalten ist, und nur für diese ist $\mathrm{ord}_{\mathfrak p} (f) > 0$ .

$\Box$

Definition (Effektiver Divisor)

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}$ .

Obiges Lemma zeigt, dass ein Hauptdivisor zu einem ganzen Element wirklich ein effektiver Divisor ist. Wir werden im Weiteren sehen, dass die Frage, welche Divisoren Hauptdivisoren sind, eng mit der Frage nach der Faktorialität von Zahlbereichen zusammenhängt. Der Zugang über Divisoren hat den Vorteil, dass er erlaubt (siehe weiter unten), eine Gruppe, die sogenannte Divisorenklassengruppe einzuführen, die die Abweichung von der Faktorialität messen kann.

Definition (Effektiver Divisor zu einem Ideal)

Sei $R$ ein Zahlbereich und ${\mathfrak a} \neq 0$ ein von null 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} \{\operatorname{ord}_{\mathfrak p}(f) : \, f \in {\mathfrak a},\, f \neq 0 \} \,$

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

Bemerkung

Man kann den Divisor zu einem Ideal auch durch

$\operatorname{div}({\mathfrak a}) = \operatorname{min} \{ \operatorname{div}(f) : \, f \in {\mathfrak a},\, f \neq 0 \} \,$

definieren, wobei das Minimum über Divisoren komponentenweise erklärt ist. Es gibt im Allgemeinen kein Element, das an allen Primstellen simultan das Minimum annimmt. Da zu einem einzelnen Element $0 \neq f \in {\mathfrak a}$ der zugehörige Hauptdivisor nur an endlich vielen Stellen von null verschieden ist, gilt das erst recht für den Divisor zu einem Ideal.

Die Ordnung $\operatorname{ord}_{\mathfrak p}({\mathfrak a})$ kann man auch als Ordnung des Ideals $\operatorname{ord}({\mathfrak a} R_{\mathfrak p})$ im diskreten Bewertungsring $R_{\mathfrak p}$ ansehen. Dieses Ideal hat einen Erzeuger $p k$ , wobei $p$ ein Primelement im diskreten Bewertungsring ist; die Ordnung ist dann $k$ .

Lemma

Sei $R$ ein ZahlbereichDefinition. Dann erfüllt die Zuordnung (für von null verschiedene Ideale)

${\mathfrak a} \longmapsto \operatorname{div} ({\mathfrak a}) \,$

folgende Eigenschaften:

$\operatorname{div} ({\mathfrak p}) = 1 \cdot {\mathfrak p}$ für ein Primideal ${\mathfrak p} \neq 0$ .
$\operatorname{div} ({\mathfrak a} \cdot {\mathfrak b})= \operatorname{div}({\mathfrak a}) + \operatorname{div} ({\mathfrak b})$ .
Für ${\mathfrak a} \subseteq {\mathfrak b}$ ist $\operatorname{div} ({\mathfrak a}) \geq \operatorname{div} ({\mathfrak b})$ .
$\operatorname{div} ({\mathfrak a} + {\mathfrak b})= \operatorname{min}\{\operatorname{div} ({\mathfrak a}), \operatorname{div} ({\mathfrak b})\}$ .

Beweis

Für jedes Element $f \in {\mathfrak p}$ gilt auch $f \in {\mathfrak p}R_{\mathfrak p}$ und daher ist $\operatorname{ord}_{\mathfrak p}(f) \geq 1$ . Umgekehrt besitzt der diskrete Bewertungsring $R_{\mathfrak p}$ ein Element $p$ , das das maximale Ideal ${\mathfrak p}R_{\mathfrak p}$ erzeugt und die Ordnung eins hat. Man kann schreiben $p = a / b$ mit $a,b \in R$ und $b \not\in {\mathfrak p}$ . Dabei ist $a \in {\mathfrak p}$ und $a$ hat in $R_{\mathfrak p}$ die Ordnung eins. Sei nun ${\mathfrak q} \neq {\mathfrak p}$ ein weiteres Primideal $\neq 0$ . Da beide maximal sind gibt es ein Element $g \in {\mathfrak p}$ , $g \not\in {\mathfrak q}$ . Dieses hat dann in ${\mathfrak q}$ die Ordnung $0$ .
Fixiere ein Primideal ${\mathfrak p}$ . Sei $h \in {\mathfrak a} \cdot {\mathfrak b}$ und schreibe $h= \sum_{i=1}^k r_i f_ig_i$ mit $f_i \in {\mathfrak a}$ und $g_i \in {\mathfrak b}$ . Dann ist nach Lemma 23.4

$\operatorname{div} (h) \geq \operatorname{min} \{ \operatorname{div} (r_i f_ig_i) : i=1 , \ldots ,k \} \geq \operatorname{min} \{ \operatorname{div} ( f_i) + \operatorname{div} (g_i) : i =1 , \ldots ,k \} \geq \operatorname{div} ( {\mathfrak a} ) + \operatorname{div} ({\mathfrak b}) \, .$

Für die Umkehrung schreiben wir $\operatorname{div}({\mathfrak a})= \sum_{\mathfrak q} n_{\mathfrak q}\cdot {\mathfrak q}$ und $\operatorname{div}({\mathfrak b})= \sum_{\mathfrak q} m_{\mathfrak q}\cdot {\mathfrak q}$ . Zu fixiertem ${\mathfrak p}$ gibt es ein $f \in {\mathfrak a}$ und ein $g \in {\mathfrak b}$ mit $\operatorname{ord}_{\mathfrak p}(f) = n_{\mathfrak p}$ und $\operatorname{ord}_{\mathfrak p}(g) = m_{\mathfrak p}$ . Dann ist $fg \in {\mathfrak a}{\mathfrak b}$ und

$\operatorname{ord}_{\mathfrak p}(fg) = \operatorname{ord}_{\mathfrak p}(f) + \operatorname{ord}_{\mathfrak p}(g) = n_{\mathfrak p} + m_{\mathfrak p} \, .$
Das ist trivial.
Die Abschätzung „ $\geq$ “ folgt aus $\operatorname{div} (f+g) \geq \operatorname{min}\{\operatorname{div} (f), \operatorname{div}(g)\}$ . Die Abschätzung „ $\leq$ “ folgt aus Teil (3).

$\Box$

Definition (Ideal zu einem effektiven Divisor)

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

$\{ f \in R: \operatorname{div} (f) \geq D \} \,$

das Ideal zum Divisor

D

. Es wird mit $\operatorname{Id} (D)$ bezeichnet.

In der vorstehenden Definition verwenden wir die Konvention, dass in Ungleichungen der Ausdruck $\operatorname{div}(0)$ als $\infty$ zu verstehen ist. Damit gehört also $0$ zu $\operatorname{Id}(D)$ . Es ergibt sich sofort, dass es sich in der Tat um ein Ideal handelt. Es ist auch nicht das Nullideal, da wir zu den endlich vielen Primidealen ${\mathfrak p}_i$ , $i=1, \ldots ,k$ , mit $n_i = n_{ {\mathfrak p}_i} > 0$ Elemente $0 \neq f_i \in {\mathfrak p}_i$ wählen können. Dann gehört aber das Produkt $f_1^{n_1} \cdots f_k^{n_k}$ zu dem zu $D$ gehörenden Ideal.

Der folgende Satz zeigt, dass die beiden soeben eingeführten Zuordnungen zwischen den effektiven Divisoren und den von null verschiedenen Idealen in einem Zahlbereich invers zueinander sind. Dies sollte man als eine einfache und übersichtliche Beschreibung für die Menge aller Ideale ansehen.

Satz (Ideale und effektive Divisoren)

Sei $R$ ein ZahlbereichDefinition. Dann sind die Zuordnungen

${\mathfrak a} \longmapsto \operatorname{div}({\mathfrak a}) \, \, \, \mbox{ und } \, \, \, D \longmapsto \operatorname{Id}(D) \,$

zueinander inverse Abbildungen zwischen der Menge der von null verschiedenen Ideale und der Menge der effektiven Divisoren. Diese Bijektion übersetzt das Produkt von Idealen in die Summe von Divisoren.

Beweis

Wir starten mit einem Ideal $\mathfrak a \neq 0$ und vergleichen $\mathfrak a$ und $\operatorname{Id} (\operatorname{div}(\mathfrak a))$ . Sei zunächst $f \in \mathfrak a$ . Es ist dann $\operatorname{ord}_{\mathfrak p} (f) \geq \operatorname{min}\{\operatorname{ord}_{\mathfrak p}(g):\, g \in {\mathfrak a} \}$ für jedes Primideal ${\mathfrak p} \neq 0$ , so dass natürlich $\operatorname{div}(f) \geq \operatorname{div}({\mathfrak a})$ gilt. Also ist $f \in \operatorname{Id}(\operatorname{div}(\mathfrak a))$ . Ist hingegen $f \not\in \mathfrak a$ , so gibt es (nach Aufgabe 22.7) auch ein Primideal ${\mathfrak p} \neq 0$ mit $f \not\in {\mathfrak a}R_{\mathfrak p}$ . Da $R_{\mathfrak p}$ ein diskreter Bewertungsring ist, gilt $\operatorname{ord}_{\mathfrak p} (f) < \operatorname{ord}_{\mathfrak p} ({\mathfrak a})$ . Also ist $\operatorname{div}(f) \not\geq \operatorname{div}({\mathfrak a})$ und somit $f \not\in \operatorname{Id}(\operatorname{div}(\mathfrak a))$ .

Wir starten nun mit einem effektiven Divisor $D$ und vergleichen $D$ mit $\operatorname{div}(\operatorname{Id}(D))$ . Die Abschätzung $D \leq \operatorname{div}(\operatorname{Id}(D))$ ist trivial. Für die andere Richtung fixieren wir ein Primideal ${\mathfrak p}$ und bezeichnen mit $n_{\mathfrak p}$ die Ordnung von $D$ an dieser Primstelle. Wir haben ein $f \in \operatorname{Id}(D)$ zu finden, das an der Stelle ${\mathfrak p}$ die Ordnung $n_{\mathfrak p}$ besitzt. Es sei $p \in {\mathfrak p}$ ein Element in $R$ derart, dass $p$ in $R_{\mathfrak p}$ das maximale Ideal erzeugt. Es seien ${\mathfrak q}_1 , \ldots,{\mathfrak q}_k$ alle Primideale $\neq {\mathfrak p}$ , an denen $D$ von null verschieden ist. Da alle von null verschiedenen Primideale in $R$ maximal sind, gibt es zu jedem ${\mathfrak q}_i$ ein $h i$ mit $h_i \in {\mathfrak q}_i$ und $h_i \not\in {\mathfrak p}$ . Dann hat, für hinreichend große $ν i$ , das Element

$f= p^{n_{\mathfrak p} }\prod_{i=1}^k h_i^{\nu_i} \,$

einerseits die Eigenschaft $\operatorname{div}(f) \geq D$ , also $f \in \operatorname{Id}(D)$ , und andererseits die Eigenschaft $\operatorname{ord}_{\mathfrak p}(f)=\operatorname{ord}_{\mathfrak p}(p^{n_{\mathfrak p} })= n_{\mathfrak p}$ wie gewünscht, da die

h i

in ${\mathfrak p}$ die Ordnung null haben.

Der Zusatz folgt aus Lemma 23.9.

$\Box$

Korollar

Sei $R$ ein Zahlbereich und seien ${\mathfrak a}$ und ${\mathfrak b}$ Ideale in $R$ . Dann gilt ${\mathfrak a} \subseteq {\mathfrak b}$ genau dann, wenn es ein Ideal ${\mathfrak c}$ gibt mit ${\mathfrak a} ={\mathfrak b}{\mathfrak c}$ .

Beweis

Die Implikation „ $\Leftarrow$ “ gilt in beliebigen kommutativen Ringen. Die andere Implikation ist richtig, wenn ${\mathfrak a}=0$ ist. Wir können also annehmen, dass die beteiligten Ideale von null verschieden sind. Die Bedingung impliziert nach Lemma 23.9, dass $\operatorname{div}({\mathfrak a}) \geq \operatorname{div}({\mathfrak b})$ ist. Somit ist $\operatorname{div}({\mathfrak a})=\operatorname{div}({\mathfrak b}) + E$ mit einem effektiven Divisor $E$ . Nach dem Bijektionssatz (Satz 23.11) übersetzt sich dies zurück zu ${\mathfrak a} ={\mathfrak b} \cdot \operatorname{Id}(E)$ , so dass mit ${\mathfrak c}=\operatorname{Id}(E)$ die rechte Seite erfüllt ist.

$\Box$

DDR Briefmarke

Satz (Eindeutige Idealzerlegung nach Dedekind)

Sei $R$ ein ZahlbereichDefinition und ${\mathfrak a} \neq 0$ ein Ideal in $R$ . Dann gibt es eine Produktdarstellung

${\mathfrak a} = {\mathfrak p}_1^{r_1} \cdots {\mathfrak p}_k^{r_k} \,$

mit (bis auf die Reihenfolge) eindeutig bestimmten Primidealen ${\mathfrak p}_i \neq 0$ aus

R

und eindeutig bestimmten Exponenten

r i

, $i = 1, \ldots , k$ .

Beweis

Wir benutzen die bijektive Beziehung (Satz 23.11) zwischen Idealen $\neq 0$ und effektiven Divisoren. Auf der Seite der Divisoren haben wir offenbar eine eindeutige Darstellung

$\operatorname{div}({\mathfrak a}) = \sum_{i=1}^k r_i \mathfrak p_i \,$

mit geeigneten Primidealen $\mathfrak p_i$ . Wendet man auf diese Darstellung die Abbildung $D \mapsto \operatorname{Id}(D)$ an, so erhält man links das Ideal zurück. Es genügt also zu zeigen, dass der Divisor rechts auf das Ideal ${\mathfrak p}_1^{r_1} \cdots {\mathfrak p}_k^{r_k}$ abgebildet wird. Dies folgt aber sofort aus Teil (1) und (2) des Lemmas 23.9.

$\Box$

Korollar

Sei $R$ ein ZahlbereichDefinition und $f \in R$ , $f \neq 0$ . Dann gibt es eine Produktdarstellung für das Hauptideal

$(f) = {\mathfrak p}_1^{r_1} \cdots {\mathfrak p}_k^{r_k} \,$

mit (bis auf die Reihenfolge) eindeutig bestimmten Primidealen ${\mathfrak p}_i \neq 0$ aus

R

und eindeutig bestimmten Exponenten

r i

, $i = 1, \ldots , k$ .

Beweis

Dies folgt direkt aus Satz 23.13.

$\Box$

<< | Kurs:Zahlentheorie (Osnabrück 2008) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)

Zahlentheorie (Osnabrück 2008)/Vorlesung 23

Aus Wikiversity

Inhaltsverzeichnis

Definition (Ordnung an Primstelle)

Lemma

Beweis

Definition (Hauptdivisor)

Lemma

Beweis

Lemma

Beweis

Definition (Effektiver Divisor)

Definition (Effektiver Divisor zu einem Ideal)

Bemerkung

Lemma

Beweis

Definition (Ideal zu einem effektiven Divisor)

Satz (Ideale und effektive Divisoren)

Beweis

Korollar

Beweis

Satz (Eindeutige Idealzerlegung nach Dedekind)

Beweis

Korollar

Beweis

Ansichten

Persönliche Werkzeuge

Suche

Navigation

Aktuell

Werkzeuge