Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 20/latex
\setcounter{section}{20}
in dieser Vorlesung besprechen wir zwei esentliche Hilfsmittel zum Beweis des Satzes von Mordell-Weil, nämlich die sogenannten \zusatzklammer {schwachen} {} {} Höhenfunktionen auf einer kommutativen Gruppe, mit denen man die endliche Erzeugtheit der Gruppe nachweisen kann, und die Beträge auf Zahlkörpern, mit denen man auf dem projektiven Raum und dann auch auf elliptischen Kurven Höhenfunktionen konstruieren kann.
\zwischenueberschrift{Höhenfunktionen auf einer Gruppe}
\inputdefinition
{}
{
Es sei $G$ eine
\definitionsverweis {kommutative Gruppe}{}{}
und sei
\maabbdisp {h} {G} { \R_{\geq 0}
} {}
eine Funktion.
Wir nennen $h$ eine
\definitionswort {schwache Höhenfunktion}{,}
wenn folgende Eigenschaften erfüllt sind.
\aufzaehlungdrei{Zu
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es eine reelle Zahl $S_1$ derart, dass
\mavergleichskettedisp
{\vergleichskette
{ h(P+Q)
}
{ \leq} { 2 h(Q) +S_1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{Q
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}{Es gibt eine natürliche Zahl
\mavergleichskette
{\vergleichskette
{m
}
{ \in }{ \N_{\geq 2}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und eine Konstante $S_2$ derart, dass
\mavergleichskettedisp
{\vergleichskette
{ h(mP)
}
{ \geq} { m^2 h(P) -S_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}{Für jede Schranke $S$ ist die Menge
\mathdisp {{ \left\{ x \in G \mid h(x) \leq S \right\} }} { }
endlich.
}
}
Wenn man die Rolle des $m$ aus Teil (2) betonen möchte, so spricht man von einer schwachen Höhenfunktion für die $m$-Vervielfachung.
\inputbeispiel{}
{
Auf dem $\Z^n$ induzierte jede
\definitionsverweis {Norm}{}{}
auf $\R^n$ über
\mavergleichskette
{\vergleichskette
{ h(P)
}
{ = }{ \Vert {P} \Vert^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {schwache Höhenfunktion}{}{.}
Die Endlichkeitsbedingung (3) ist klar
\zusatzklammer {man denke etwa an die
\definitionsverweis {Maximumsnorm}{}{}} {} {.}
Die Dreiecksabschätzung ergibt
\mavergleichskettealign
{\vergleichskettealign
{ h(P+Q)
}
{ =} { \Vert {P+Q} \Vert^2
}
{ \leq} { { \left( \Vert {P} \Vert + \Vert {Q} \Vert \right) }^2
}
{ =} { \Vert {P} \Vert^2 + \Vert {Q} \Vert^2 + 2 \Vert {P} \Vert \cdot \Vert {Q} \Vert
}
{ =} { h(Q) + \Vert {P} \Vert^2 + 2 \Vert {P} \Vert \cdot \Vert {Q} \Vert
}
}
{
\vergleichskettefortsetzungalign
{ \leq} { 2 h(Q) + S_1
}
{ } {}
{ } {}
{ } {}
}
{}{,}
wobei die letzte Abschätzung darauf beruht, dass bei fixiertem $P$ bis auf endlich viele Ausnahmen
\mavergleichskette
{\vergleichskette
{ \Vert {P} \Vert
}
{ \leq }{ { \frac{ 1 }{ 2 } } \Vert {Q} \Vert
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. In der Eigenschaft (2) gilt Gleichheit mit
\mavergleichskette
{\vergleichskette
{ S_2
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}
\inputfaktbeweis
{Kommutative Gruppe/Schwache Höhenfunktion/Endlich erzeugt/Charakterisierung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $G$ eine
\definitionsverweis {kommutative Gruppe}{}{}
und sei
\mavergleichskette
{\vergleichskette
{m
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine fixierte natürliche Zahl.}
\faktfolgerung {Dann ist $G$ genau dann
\definitionsverweis {endlich erzeugt}{}{,}
wenn $G$ eine
\definitionsverweis {schwache Höhenfunktion}{}{}
für die $m$-Vervielfachung besitzt und die
\definitionsverweis {Restklassengruppe}{}{}
$G/ mG$
\definitionsverweis {endlich}{}{}
ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei zunächst $G$ endlich erzeugt. Dann ist
nach dem Hauptsatz über endlich erzeugte abelsche Gruppen
\mavergleichskettedisp
{\vergleichskette
{G
}
{ =} { \Z^r \times T
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer endlichen Torsionsgruppe $T$. Wir betrachten
\mathdisp {\Z^r \times T \stackrel{p_1}{ \longrightarrow} \Z^r \hookrightarrow \R^r} { . }
Dann ergibt jede Norm auf $\R^r$ im Quadrat genommen eine
\definitionsverweis {schwache Höhenfunktion}{}{}
auf $G$, siehe
Beispiel 20.2.
Ferner ist
\mavergleichskettedisp
{\vergleichskette
{ G/mG
}
{ =} { \Z^r \times T/ m { \left( \Z^r \times T \right) }
}
{ =} { { \left( \Z/(m) \right) }^r \times T/mT
}
{ } {
}
{ } {
}
}
{}{}{}
endlich.
Zum Beweis der Umkehrung sei eine schwache Höhenfunktion $h$ gegeben und sei
\mavergleichskette
{\vergleichskette
{A
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Repräsentantensystem für die nach Voraussetzung endliche Restklassengruppe $G/mG$. Zu jedem
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es eine reelle Zahl $S_1(a)$ derart, dass
\mavergleichskettedisp
{\vergleichskette
{ h(-a+Q)
}
{ \leq} { 2 h(Q) + S_1(a)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{Q
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir setzen
\mavergleichskettedisp
{\vergleichskette
{S
}
{ \defeq} { S_2 + \max \{ S_1(a),\, a \in A \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $S_2$ von der zweiten Eigenschaft einer schwachen Höhenfunktion herrührt. Zu jedem
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{[P]
}
{ = }{[a]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in $G/mG$, daher gibt es ein
\mavergleichskette
{\vergleichskette
{P'
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{P
}
{ = }{ mP' +a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in $G$. Dabei gilt
\mavergleichskettealign
{\vergleichskettealign
{ h(P')
}
{ \leq} { { \frac{ 1 }{ m^2 } } { \left( h(mP')+S_2 \right) }
}
{ =} { { \frac{ 1 }{ m^2 } } { \left( h(P-a)+S_2 \right) }
}
{ \leq} { { \frac{ 1 }{ m^2 } } { \left( 2 h(P) + S_1(a)+S_2 \right) }
}
{ \leq} { { \frac{ 1 }{ m^2 } } { \left( 2 h(P) + S \right) }
}
}
{}
{}{.}
Die Konstruktion
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} { mP'+a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
können wir iterieren, wir setzen
\mavergleichskette
{\vergleichskette
{P_0
}
{ = }{P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{P_0
}
{ =} { mP_1+a_1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{P_1
}
{ =} { mP_2+a_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
etc. Dabei gilt die rekursive Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ h (P_{n+1} )
}
{ \leq} { { \frac{ 1 }{ m^2 } } { \left( 2h (P_n) + S \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit unter Verwendung der geometrischen Reihe
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ h(P_n)
}
{ \leq} { \left( \frac{ 2 }{ m^2 } \right)^n h(P)+ { \frac{ S }{ m^2 } } { \left( 1 + { \frac{ 2 }{ m^2 } } + \left( \frac{ 2 }{ m^2 } \right)^2 + \cdots + \left( \frac{ 2 }{ m^2 } \right)^{n-1} \right) }
}
{ \leq} { \left( \frac{ 2 }{ m^2 } \right)^n h(P) + { \frac{ S }{ m^2 } } \cdot { \frac{ m^2 }{ m^2-2 } }
}
{ \leq} { \left( \frac{ 1 }{ 2 } \right)^n h(P) + { \frac{ S }{ m^2-2 } }
}
{ } {
}
}
{}
{}{.}
Für $n$ hinreichend groß ist somit
\mavergleichskettedisp
{\vergleichskette
{h(P_n)
}
{ \leq} { 1 + { \frac{ S }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es ist daher
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} { m^nP_n + \sum_{j = 1}^n m^{j-1} a_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit gewissen
\mavergleichskette
{\vergleichskette
{a_j
}
{ \in }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit ist insgesamt die endliche Menge
\mathdisp {A \cup { \left\{ Q \in G \mid h(Q) \leq 1 + { \frac{ S }{ 2 } } \right\} }} { }
ein Erzeugendensystem der Gruppe.
\zwischenueberschrift{Bewertungen und Beträge auf einem Zahlkörper}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.}
Eine Funktion
\maabbeledisp {\betrag { - }} {K} { \R
} {f} { \betrag { f }
} {}
heißt
\definitionswort {Betrag}{}
\zusatzklammer {oder
\definitionswort {Absolutbetrag}{}} {} {}
auf $K$, wenn die folgenden Bedingungen erfüllt sind.
\aufzaehlungvier{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { f }
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $f$.
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { f }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{f
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{ \betrag { fg }
}
{ =} { \betrag { f } \cdot\betrag { g }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{ \betrag { f+g }
}
{ \leq} {\betrag { f }+ \betrag { g }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
}
Beispielsweise ist der übliche Betrag auf den rationalen oder reellen oder komplexen Zahlen ein Absolutbetrag in diesem Sinne.
\inputbeispiel{}
{
Es sei $K$ ein \definitionsverweis {Zahlkörper}{}{} und sei \maabb {} {K} { {\mathbb K} } {} eine reelle oder komplexe Einbettung. Dann induziert der gewöhnliche \definitionsverweis {Betrag}{}{} einen \definitionsverweis {Betrag}{}{} auf $K$.
} Zu einer komplexen Einbettung definiert dabei die konjugiert-komplexe Einbettung den gleichen Betrag auf $K$.
Mit der Festlegung
\mavergleichskettedisp
{\vergleichskette
{ d(f,g)
}
{ =} { \betrag { f-g }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wird ein Körper mit einem Betrag zu einem
\definitionsverweis {metrischen Raum}{}{,}
siehe
Aufgabe 20.2.
Zu einem
\definitionsverweis {Primideal}{}{}
${\mathfrak p}$ in einem
\definitionsverweis {Zahlbereich}{}{}
$R$ zu einer
\definitionsverweis {endlichen Körpererweiterung}{}{}
\mavergleichskette
{\vergleichskette
{\Q
}
{ \subseteq }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist $R_{\mathfrak p}$ nach
Korollar 22.18 (Zahlentheorie (Osnabrück 2016-2017))
ein
\definitionsverweis {diskreter Bewertungsring}{}{}
und die zugehörige Ordnung
\maabbeledisp {} {K \setminus \{0\} } { \Z
} {f} { \operatorname{ord}_{ {\mathfrak p} } \, (f)
} {,}
besitzt die Eigenschaften
\aufzaehlungzwei {
\mavergleichskette
{\vergleichskette
{ \operatorname{ord} \, (fg)
}
{ = }{ \operatorname{ord} \, (f) + \operatorname{ord} \, (g)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{ \operatorname{ord} \, (f+g)
}
{ \geq }{ \min \{ \operatorname{ord} \, (f) , \operatorname{ord} \, (g) \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Häufig setzt man
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ord} \, (0)
}
{ =} { \infty
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputfaktbeweis
{Zahlbereich/Bewertung/Betrag/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{,}
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {maximales Ideal}{}{}
und
\mathl{\operatorname{ord} \, (-)}{} die zugehörige
\definitionsverweis {Bewertung}{}{}
auf
\mavergleichskette
{\vergleichskette
{K
}
{ = }{Q(R)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann ist zu einer reellen Zahl
\mavergleichskette
{\vergleichskette
{a
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch
\mavergleichskettedisp
{\vergleichskette
{ \betrag { f }_{\mathfrak p}
}
{ \defeq} { a^{- \operatorname{ord} \, (f) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein
\definitionsverweis {Betrag}{}{}
auf $K$ gegeben
\zusatzklammer {hierbei ist $a^{- \infty}$ als $0$ zu interpretieren} {} {.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die drei ersten Eigenschaften eines Betrages folgen unmittelbar aus grundlegenden Gesetzen, siehe
Lemma 27.8 (Grundkurs Mathematik (Osnabrück 2022-2023))
und
Lemma 27.9 (Grundkurs Mathematik (Osnabrück 2022-2023)).
Die Dreiecksabschätzung folgt aus
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { f+g }_{\mathfrak p}
}
{ =} { a^{- \operatorname{ord} \, (f+g) }
}
{ \leq} {a^{ - \operatorname{min} \left( \operatorname{ord} \, (f) ,\, \operatorname{ord} \, (g) \right) }
}
{ =} { a^{ \operatorname{max} \left( - \operatorname{ord} \, (f) ,\, - \operatorname{ord} \, (g) \right) }
}
{ =} { \operatorname{max} \left( a^{ -\operatorname{ord} \, (f) } ,\, a^{- \operatorname{ord} \, (g) } \right)
}
}
{
\vergleichskettefortsetzungalign
{ \leq} { a^{- \operatorname{ord} \, (f) } + a^{- \operatorname{ord} \, (g) }
}
{ =} { \betrag { f }_{\mathfrak p} + \betrag { g }_{\mathfrak p}
}
{ } {}
{ } {}
}
{}{.}
\inputdefinition
{}
{
Ein \definitionsverweis {Betrag}{}{} \maabbdisp {\betrag { - }} {K} { \R } {} auf einem \definitionsverweis {Körper}{}{} $K$ heißt \definitionswort {archimedisch}{,} wenn die Menge $\N$ in $K$ nicht \definitionsverweis {beschränkt}{}{} ist.
}
Ein Betrag ist genau dann nichtarchimedisch, wenn die Dreiecksabschäzung in der verschärften Form
\mavergleichskettedisp
{\vergleichskette
{ \betrag { f+g }
}
{ \leq} { \operatorname{max} \left( \betrag { f } ,\, \betrag { g } \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt, siehe
Aufgabe 20.9.
In
Lemma 20.6
wurde mitbewiesen, dass die Beträge, die von einer Bewertung herrühren, nichtarchimedisch sind.
\inputbemerkung
{}
{
Die gewählte Basis $a$ in
Lemma 20.6
spielt dabei für die topologischen Eigenschaften des Betrags keine wesentliche Rolle. Um aber ein sinnvolles funktorielles
\zusatzklammer {bezüglich von endlichen Körpererweiterungen} {} {}
Verhalten zu erhalten, sind verschiedene Normierungen sinnvoll. Die wichtigsten Möglichkeiten sind die folgenden, wobei wir die Notation von
Lemma 20.6
übernehmen und wobei
\mathl{N { \left( {\mathfrak p} \right) }}{} die
\definitionsverweis {Norm}{}{}
von ${\mathfrak p}$ bezeichnet, also die Anzahl der Elemente im Restklassenkörper
\mathl{R/{\mathfrak p}}{.}
\aufzaehlungdrei{
\mavergleichskettedisp
{\vergleichskette
{ \betrag { h }_{ {\mathfrak p}, \text{ nat} }
}
{ \defeq} { N { \left( {\mathfrak p} \right) }^{ -\operatorname{ord}_{ {\mathfrak p} } \, (h) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ist wohl der natürlichste Betrag.
}{
\mavergleichskettedisp
{\vergleichskette
{ \betrag { h }_{ {\mathfrak p} }
}
{ \defeq} { N { \left( {\mathfrak p} \right) }^{ - \operatorname{ord}_{ {\mathfrak p} } \, (h) / e( {\mathfrak p} )f( {\mathfrak p} ) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskette
{\vergleichskette
{e
}
{ = }{ e( {\mathfrak p} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den
\definitionsverweis {Verzweigungsindex}{}{}
und
\mavergleichskette
{\vergleichskette
{f
}
{ = }{f( {\mathfrak p} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {Trägheitsgrad}{}{}
von ${\mathfrak p}$ über
\mavergleichskette
{\vergleichskette
{ (p)
}
{ = }{ \Z \cap {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bezeichnet. Diese Normierung besitzt den Vorteil, dass die Einschränkung dieses Betrages auf $\Q$ den nichtarchimedischen Standardbetrag
\mavergleichskettedisp
{\vergleichskette
{ \betrag { h }_p
}
{ =} { p^{- \operatorname{ord}_{ p } \, (h) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt, es sich also um eine Ausdehnung eines rationalen Standardbetrages handelt. Mit
\mavergleichskette
{\vergleichskette
{h
}
{ = }{ gp^\alpha
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in $\Q$,
\mavergleichskette
{\vergleichskette
{\alpha
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{\operatorname{ord}_{ p } \, (g)
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
ist ja
\mavergleichskette
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p} } \, (p)
}
{ = }{ e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ N { \left( {\mathfrak p} \right) }
}
{ = }{ p^f
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { h }_{ {\mathfrak p} }
}
{ \defeq} { N { \left( {\mathfrak p} \right) }^{ \frac{ - \operatorname{ord}_{ {\mathfrak p} } \, (g p^\alpha ) }{ ef } }
}
{ =} { N { \left( {\mathfrak p} \right) }^{ \frac{ - \alpha \operatorname{ord}_{ {\mathfrak p} } \, ( p) }{ ef } }
}
{ =} { { \left( p^f \right) }^{ \frac{ - \alpha e }{ ef } }
}
{ =} { p^{-\alpha}
}
}
{}
{}{.}
Zwischen dem natürlichen Betrag aus (1) und dem Standardbetrag aus (2) besteht somit insbesondere der Zusammenhang
\mavergleichskettedisp
{\vergleichskette
{ \betrag { h }_{ {\mathfrak p} \text{ nat} }
}
{ =} { \betrag { h }_{ {\mathfrak p} }^{ef}
}
{ =} { \betrag { h }_{ {\mathfrak p} }^{n_{\mathfrak p} }
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei wir eben
\mavergleichskettedisp
{\vergleichskette
{ n_{\mathfrak p}
}
{ =} { ef
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
setzen. Diese Zahl stimmt mit dem sogenannten
\definitionsverweis {lokalen Grad}{}{}
überein.
}{Der absolute Betrag ist
\mavergleichskettedisp
{\vergleichskette
{ \betrag { h }_{ {\mathfrak p} \text{ abs} }
}
{ \defeq} { N { \left( {\mathfrak p} \right) }^{ - \operatorname{ord}_{ {\mathfrak p} } \, (h) / \operatorname{grad}_{ \Q} K }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Normierung berücksichtigt, dass über dem Primideal $(p)$ aus $\Z$ in $R$ mehrere Primideale
\mathl{{\mathfrak p}_1 , \ldots , {\mathfrak p}_k}{} liegen, die jeweils zu Beträgen in $K$ Anlass geben und sich sozusagen der eine standardisierte Betrag $\betrag { - }_p$ auf mehrere Beträge verteilt. Nach
Satz 20.4 (Algebraische Zahlentheorie (Osnabrück 2020-2021))
gilt dabei
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{grad}_{ \Q} K
}
{ =} { \sum_{j = 1}^k e_jf_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Somit ist, wieder mit
\mavergleichskette
{\vergleichskette
{h
}
{ = }{gp^\alpha
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wie oben,
\mavergleichskettealign
{\vergleichskettealign
{ \prod_{ j = 1}^k \betrag { h }_{ {\mathfrak p}_j \text{ abs} }
}
{ =} { \prod_{ j = 1}^k N { \left( {\mathfrak p}_j \right) }^{ \frac{ - \operatorname{ord}_{ {\mathfrak p}_j } \, (h) }{ \operatorname{grad}_{ \Q} K } }
}
{ =} { \prod_{ j = 1}^k { \left( p^{f_j} \right) }^{ \frac{ - \operatorname{ord}_{ {\mathfrak p}_j } \, (p^\alpha ) }{ \operatorname{grad}_{ \Q} K } }
}
{ =} { \prod_{ j = 1}^k { \left( p^{f_j} \right) }^{ \frac{ - \alpha e_j }{ \operatorname{grad}_{ \Q} K } }
}
{ =} { \prod_{ j = 1}^k p^{ \frac{ - \alpha e_j f_j }{ \operatorname{grad}_{ \Q} K } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { p^{ \frac{ - \alpha \sum_{ j = 1}^k e_j f_j }{ \operatorname{grad}_{ \Q} K } }
}
{ =} { p^{ - \alpha }
}
{ =} { \betrag { h }_p
}
{ } {}
}
{}{.}
}
}
\inputdefinition
{}
{
Unter $M_\Q$ versteht man die Menge bestehend aus dem archimedischen Standardbetrag
\mavergleichskettedisp
{\vergleichskette
{ \betrag { - }
}
{ =} { \betrag { - }_\infty
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und aus den Beträgen $\betrag { - }_p$ zu jeder Primzahl $p$, die durch
\mavergleichskettedisp
{\vergleichskette
{ \betrag { f }_p
}
{ \defeq} { p^{- \operatorname{ord}_{ p } \, (f) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben sind.
}
\inputdefinition
{}
{
Es sei $K$ ein \definitionsverweis {Zahlkörper}{}{.} Mit $M_K$ bezeichnet man die Menge der \definitionsverweis {Beträge}{}{} auf $K$, deren Einschränkung auf $\Q$ mit einem \definitionsverweis {rationalen Standardbetrag}{}{} übereinstimmt.
} Man spricht von den Standardbeträgen auf $K$. Die $1$ hat unter jedem Standardbetrag den Wert $1$. Das gleiche gilt für jede \definitionsverweis {Einheit}{}{} aus dem \definitionsverweis {Ring der ganzen Zahlen}{}{} zu $K$.
\inputdefinition
{}
{
Zu einer
\definitionsverweis {endlichen Körpererweiterung}{}{}
\mavergleichskette
{\vergleichskette
{\Q
}
{ \subseteq }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einem
\definitionsverweis {Betrag}{}{}
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{M_K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man den
\definitionsverweis {Grad}{}{}
der Körpererweiterung der Komplettierungen
\mavergleichskette
{\vergleichskette
{\Q_v
}
{ \subseteq }{ K_v
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den
\definitionswort {lokalen Grad}{}
in $v$.
}
Zu
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{M_K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreibt man auch
\mavergleichskettedisp
{\vergleichskette
{ \Vert {-} \Vert_v
}
{ =} { \betrag { - }_v^{n_v}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $n_v$ den
\definitionsverweis {lokalen Grad}{}{}
bezeichnet. Für einen nichtarchimedischen Betrag zu einem Primideal ${\mathfrak p}$
\zusatzklammer {aus dem Zahlbereich $R$ zu $K$} {} {}
über
\mathl{(p)}{} ist $n_v$ das Produkt aus
\definitionsverweis {Trägheitsgrad}{}{,}
also dem Grad der Körpererweiterung
\mavergleichskettedisp
{\vergleichskette
{ \Z/(p)
}
{ \subseteq} { \kappa ( {\mathfrak p} )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und dem
\definitionsverweis {Verzweigungsindex}{}{}
von
\mavergleichskettedisp
{\vergleichskette
{ \Z_{(p)}
}
{ \subseteq} { R_{\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei einem archimedischen Betrag ist der lokale Grad $1$ im reellen und $2$ im komplexen Fall.