Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 21/latex
\setcounter{section}{21}
\zwischenueberschrift{Ideale und ihre Norm in einem quadratischen Zahlbereich}
Wir beschreiben nun die Ideale in einem quadratischen Zahlbereich genauer. Eine Strukturtheorie ist wichtig in Hinblick auf die Endlichkeit der Klassenzahl. Wir wissen bereits aufgrund von Korollar 18.9, dass jedes von $0$ verschiedene Ideal von zwei Elementen über $\Z$ erzeugt wird. Genauer gilt.
\inputfaktbeweis
{Zahlentheorie/Quadratischer Zahlbereich/Basis für Ideale/Fakt}
{Satz}
{}
{
Es sei $A_D$ ein
\definitionsverweis {quadratischer Zahlbereich}{}{}
mit Ganzheitsbasis
\mathl{1, \omega}{}
\zusatzklammer {im Sinne von
Satz 20.9} {} {}
und sei ${\mathfrak a}$ ein von $0$ verschiedenes
\definitionsverweis {Ideal}{}{}
in $A_D$. Dann besitzt ${\mathfrak a}$ eine
$\Z$-\definitionsverweis {Basis}{}{}
aus zwei Elementen $a$ und $b$, wobei
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{(a)
}
{ = }{ \Z \cap {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{b
}
{ =} {\alpha + \beta \omega
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ \beta
}
{ =} { \min\{ {{|}}\tilde{\beta}{{|}} :\, \tilde{\alpha} + \tilde{\beta}\omega \in {\mathfrak a}, \, \tilde{\beta} \neq 0\}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gewählt werden kann.
}
{
Es seien
\mathl{a \in \N}{} und
\mathl{b= \alpha + \beta \omega}{} wie im Satz beschrieben gewählt. Da $a$ und $\beta$ nicht $0$ sind folgt, dass $a$ und $b$
\definitionsverweis {linear unabhängig}{}{}
über $\Q$ sind. Es bleibt also zu zeigen, dass jedes Element
\mathl{\tilde{\alpha} + \tilde{\beta}\omega \in {\mathfrak a}}{} sich als
\mathl{n_1a+n_2b}{} mit
\mathl{n_1,n_2 \in \Z}{} schreiben lässt. Es gibt eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{ \tilde{\alpha} + \tilde{\beta}\omega
}
{ =} {q_1a+q_2b
}
{ =} {q_1a+q_2( \alpha + \beta\omega)
}
{ =} { q_1a+q_2\alpha + q_2\beta \omega
}
{ } {
}
}
{}{}{}
mit
\mathl{q_1,q_2 \in \Q}{.} Dann ist
\mavergleichskette
{\vergleichskette
{ \tilde{\beta}
}
{ = }{q_2 \beta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Zahlen $\beta$ und $\tilde{\beta}$ beschreiben beide einen $\omega$-Koeffizienten von Elementen in ${\mathfrak a}$, und $\beta$ war betragsmäßig minimal gewählt, so dass $q_2$ ganzzahlig sein muss
\zusatzklammer {alle $\omega$-Koeffizienten bilden ein Ideal in $\Z$} {} {.}
Wir ziehen in der obigen Gleichung
\mathl{q_2 b \in {\mathfrak a}}{} ab und erhalten
\mavergleichskettedisp
{\vergleichskette
{ q_1a
}
{ =} {\tilde{\alpha} + \tilde{\beta} \omega - q_2 b
}
{ =} {\tilde{\alpha} + \tilde{\beta} \omega - q_2( \alpha + \beta \omega)
}
{ =} { \tilde{\alpha} - q_2 \alpha
}
{ } {
}
}
{}{}{,}
und dies gehört zu
\mathl{\Z \cap {\mathfrak a}}{.} Also handelt es sich um ein ganzzahliges Vielfaches von $a$ und somit ist auch
\mathl{q_1 \in \Z}{.}
In der soeben konstruierten $\Z$-Basis von ${\mathfrak a}$ können wir sowohl $a$ als auch $\beta$ positiv wählen. Der Restklassenring
\mathl{A_D/{\mathfrak a}}{} ist eine endliche Erweiterung des endlichen Ringes
\mathl{\Z/(a)}{,} also selbst endlich. Im folgenden Diagramm sind die beiden horizontalen Abbildungen injektiv.
\mathdisp {\begin{matrix} \Z & \longrightarrow & A_D \\ \downarrow & & \downarrow \\ \Z/(a) & \longrightarrow & A_D/{\mathfrak a} \, . \end{matrix}} { }
Wegen der surjektiven Abbildung
\maabb {} {A_D/(a) } { A_D/{\mathfrak a}
} {}
und aufgrund von
Korollar 18.11
wissen wir, dass der Restklassenring maximal $a^2$ Elemente besitzt.
\inputbeispiel{}
{
Wir betrachten im
\definitionsverweis {quadratischen Zahlbereich}{}{}
$R$ zu
\mavergleichskette
{\vergleichskette
{D
}
{ = }{-5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das
\definitionsverweis {Ideal}{}{}
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}
}
{ =} {
(2, 1+ \sqrt{-5})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da es sich nicht um das Einheitsideal handelt, ist unmittelbar klar, dass bereits eine
$\Z$-\definitionsverweis {Basis}{}{}
im Sinne von
Satz 21.1
vorliegt. Die
\definitionsverweis {Norm}{}{}
dieses Ideals ist $2$. Die Normen der beiden Elemente sind
\mavergleichskettedisp
{\vergleichskette
{N(2)
}
{ =} {4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{N(1 + \sqrt{-5})
}
{ =} {(1 + \sqrt{-5})(1 - \sqrt{-5})
}
{ =} { 6
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputfaktbeweis
{Zahlentheorie/Quadratischer Zahlbereich/Restklassenring/Beschreibung/Fakt}
{Satz}
{}
{
Es sei $A_D$ ein
\definitionsverweis {quadratischer Zahlbereich}{}{}
mit
$\Z$-\definitionsverweis {Basis}{}{}
$1$ und $\omega$ und sei ${\mathfrak a}$ ein von Null verschiedenes Ideal in $A_D$. Es sei $a$ und
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ \alpha + \beta \omega
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine $\Z$-Basis
\zusatzklammer {mit
\mathl{a, \beta}{} positiv} {} {}
wie im
Satz 21.1
konstruiert. Dann werden die Elemente im Restklassenring
\mathl{A_D/{\mathfrak a}}{} eindeutig durch die Elemente
\mathdisp {{ \left\{ r+s \omega \mid 0 \leq r < a , \, 0 \leq s < \beta \right\} }} { }
repräsentiert. Insbesondere besitzt der Restklassenring
\mathl{a \cdot \beta}{} Elemente.
}
{
Es sei
\mathl{r+s \omega}{} ein beliebiges Element in $A_D$. Durch Addition von Vielfachen von
\mathl{b=\alpha + \beta \omega}{} kann man erreichen, dass die zweite Komponente zwischen
\mathkor {} {0} {und} {\beta -1} {}
liegt. Durch Addition von Vielfachen von $a$ kann man dann erreichen, dass auch die erste Komponente zwischen
\mathkor {} {0} {und} {a -1} {}
liegt, ohne die zweite Komponente zu verändern. Es wird also jede Restklasse durch Elemente im angegebenen Bereich repräsentiert.
Es seien nun
\mathl{r+s \omega}{} und
\mathl{\tilde{r}+ \tilde{s} \omega}{} im angegebenen Bereich und angenommen, dass sie das gleiche Element im Restklassenring repräsentieren. Es sei
\mathl{\tilde{s} \geq s}{.} Dann gehört die Differenz
\mathl{\tilde{r} -r + (\tilde{s}-s) \omega}{} zu ${\mathfrak a}$ und die zweite Komponente liegt zwischen $0$ und
\mathl{\beta -1}{.} Aufgrund der Wahl von $\beta$ muss diese Komponente $0$ sein. Dann ist aber
\mathl{\tilde{r} -r}{} ein Vielfaches von $a$ und wegen
\mavergleichskette
{\vergleichskette
{ \betrag { \tilde{r} -r }
}
{ < }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
muss
\mavergleichskette
{\vergleichskette
{\tilde{r} -r
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein, so dass also die beiden Elemente übereinstimmen und der Repräsentant eindeutig ist.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ D
}
{ \neq }{ 0,1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {quadratfrei}{}{}
und $A_D$ der zugehörige
\definitionsverweis {quadratische Zahlbereich}{}{.}
Es sei ${\mathfrak a}$ ein von $0$ verschiedenes
\definitionsverweis {Ideal}{}{}
in $A_D$. Dann nennt man die
\zusatzklammer {endliche} {} {}
Anzahl des Restklassenringes
\mathl{A_D/{\mathfrak a}}{} die \definitionswort {Norm}{} von ${\mathfrak a}$. Sie wird mit
\mathdisp {N({\mathfrak a})} { }
bezeichnet.
}
Mit der Norm lässt sich obiger Satz wie folgt ausdrücken.
\inputfaktbeweis
{Zahlentheorie/Quadratischer Zahlbereich/Norm/Beschreibung mit Basis/Fakt}
{Korollar}
{}
{
Es sei $A_D$ ein
\definitionsverweis {quadratischer Zahlbereich}{}{}
mit
$\Z$-\definitionsverweis {Basis}{}{}
\mathkor {} {1} {und} {\omega} {}
und sei ${\mathfrak a}$ ein von $0$ verschiedenes
\definitionsverweis {Ideal}{}{}
in $A_D$. Es sei $a$ und
\mathl{b=\alpha + \beta \omega}{} eine $\Z$-Basis von ${\mathfrak a}$
\zusatzklammer {mit
\mathl{a, \beta}{} positiv} {} {}
wie im
Satz 21.1
konstruiert. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ N({\mathfrak a})
}
{ =} {a \beta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Dies folgt unmittelbar aus Satz 21.3.
\inputfaktbeweis
{Zahlentheorie/Quadratischer Zahlbereich/Norm/Beschreibung mit beliebiger Basis/Fakt}
{Korollar}
{}
{
Es sei $A_D$ ein
\definitionsverweis {quadratischer Zahlbereich}{}{}
mit
$\Z$-\definitionsverweis {Basis}{}{}
\mathkor {} {1} {und} {\omega} {}
und sei ${\mathfrak a}$ ein von $0$ verschiedenes
\definitionsverweis {Ideal}{}{}
in $A_D$. Es sei
\mathl{u= u_1 + u_2 \omega}{} und
\mathl{v=v_1+v_2 \omega}{} eine $\Z$-Basis von ${\mathfrak a}$. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ N( {\mathfrak a} )
}
{ =} { \betrag { \det \begin{pmatrix} u_1 & v_1 \\ u_2 & v_2 \end{pmatrix} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Die Aussage ist für eine $\Z$-Basis der Form
\mathkor {} {a} {und} {b=\alpha + \beta \omega} {,}
wie sie im
Satz 21.1
konstruiert wurde, richtig. Für eine beliebige $\Z$-Basis
\mathl{u,v}{} gibt es eine Übergangsmatrix $M$ mit
\mathkor {} {u=Ma} {und} {v=Mb} {.}
Dabei ist $M$ ganzzahlig und ihre Determinante hat den Betrag $1$, so dass sich der Betrag der Determinante der Basis nicht ändert.
Für ein Element und das davon erzeugte Hauptideal stimmen die beiden Normbegriffe überein.
\inputfaktbeweis
{Zahlentheorie/Quadratischer Zahlbereich/Norm/Element und Hauptideal/Fakt}
{Satz}
{}
{
Es sei $A_D$ ein
\definitionsverweis {quadratischer Zahlbereich}{}{}
und sei
\mavergleichskette
{\vergleichskette
{ f
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element. Setze
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ = }{ (f)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gilt
\mavergleichskette
{\vergleichskette
{ N( {\mathfrak a} )
}
{ = }{ \betrag {N(f)}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
{
Sei
\mavergleichskette
{\vergleichskette
{f
}
{ = }{ f_1 + f_2 \omega
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathdisp {\omega = \begin{cases} \sqrt{D}, & \text{falls } D = 2,3 \mod 4 \, , \\
\frac{1+\sqrt{D} }{2}, & \text{falls } D = 1 \mod 4 \, .
\end{cases}} { }
Die Norm von $f$ ist dann
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ N(f)
}
{ =} { f \overline{f}
}
{ =} {\begin{cases} { \left( f_1+f_2\sqrt{D} \right) } { \left( f_1-f_2\sqrt{D} \right) } = f_1^2-f_2^2 D, & \text{falls } D = 2,3 \mod 4 \, ,\\ { \left( f_1+\frac{1}{2}f_2 + \frac{f_2\sqrt{D} }{2} \right) } { \left( f_1+\frac{1}{2}f_2 - \frac{f_2\sqrt{D} }{2} \right) } = { \left( f_1+ \frac{1}{2} f_2 \right) }^2- \frac{f_2^2}{4}D, & \text{falls } D = 1 \mod 4 \, . \end{cases}
}
{ } {
}
{ } {
}
}
{}
{}{}
Wir berechnen nun die Norm des von $f$ erzeugten Ideals
\mathl{{\mathfrak a}=(f)}{} mit Hilfe von
Korollar 21.6.
Eine $\Z$-Basis des Ideals ist offenbar gegeben durch $f$ und $f \omega$, wobei
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ f \omega
}
{ =} { f_1 \omega+f_2 \omega^2
}
{ =} { \begin{cases} f_2D +f_1 \omega , & \text{falls } D = 2,3 \mod 4 \, ,\\ f_2 \frac{D-1}{4} +( f_1+f_2) \omega , & \text{falls } D = 1 \mod 4 \end{cases}
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Im ersten Fall haben wir
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \det \begin{pmatrix} f_1 & f_2D \\ f_2 & f_1 \end{pmatrix} }
}
{ =} { \betrag { f_1^2 -f_2^2D }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und im zweiten Fall ist
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \det \begin{pmatrix} f_1 & f_2 \frac{D-1}{4} \\ f_2 & f_1 +f_2 \end{pmatrix} }
}
{ =} { \betrag { f_1(f_1+f_2)-f_2^2\frac{D-1}{4} }
}
{ =} { \betrag { f_1^2 +f_1f_2+\frac{1}{4}f_2^2 - \frac{1}{4}f_2^2 D }
}
{ } {
}
{ } {
}
}
{}{}{,}
was mit den obigen Ergebnissen übereinstimmt.
\inputbeispiel{}
{
Wir betrachten im
\definitionsverweis {quadratischen Zahlbereich}{}{}
$R$ zu
\mavergleichskette
{\vergleichskette
{D
}
{ = }{-5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das
\definitionsverweis {Ideal}{}{}
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}
}
{ =} { (2, 1+ \sqrt{-5})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir behaupten, dass es kein Hauptideal ist und verwenden dabei, dass die
\definitionsverweis {Norm}{}{}
dieses Ideals gleich $2$ ist. Wäre nämlich
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ = }{(f)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einem
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so müsste nach
Satz 21.7
auch
\mavergleichskettedisp
{\vergleichskette
{ \betrag { N(f) }
}
{ =} {2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gelten. Allerdings ist die Norm von
\mavergleichskette
{\vergleichskette
{f
}
{ = }{a+b \sqrt{-5}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gleich
\mavergleichskette
{\vergleichskette
{N(f)
}
{ = }{ a^2+ 5b^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und dies kann nicht gleich $2$ sein.
}
\inputbeispiel{}
{
Wir betrachten im
\definitionsverweis {quadratischen Zahlbereich}{}{}
$R$ zu
\mavergleichskette
{\vergleichskette
{D
}
{ = }{-5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das
\definitionsverweis {Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ = }{ (2, 1+ \sqrt{-5})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das nach
Beispiel 21.8
kein Hauptideal ist. Es sei $S$ der ganze Abschluss von $R$
\zusatzklammer {oder von $\Z$} {} {}
im Erweiterungskörper
\mavergleichskette
{\vergleichskette
{L
}
{ = }{ \Q[\sqrt{-5}, \sqrt{2}]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vom Grad vier über $\Q$. Wir haben also eine Kette
\mavergleichskettedisp
{\vergleichskette
{\Z
}
{ \subset} { R
}
{ \subset} { S
}
{ } {
}
{ } {
}
}
{}{}{}
von Zahlbereichen. Wir behaupten, dass das
\definitionsverweis {Erweiterungsideal}{}{}
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p} S
}
{ =} { (2, 1+ \sqrt{-5} )S
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein Hauptideal in $S$ ist, und zwar behaupten wir, dass $\sqrt{2}$ ein Idealerzeuger davon ist. Dazu betrachten wir zunächst das rationale Element
\mavergleichskette
{\vergleichskette
{z
}
{ = }{ { \frac{ \sqrt{2} + \sqrt{2} \cdot \sqrt{-5} }{ 2 } }
}
{ = }{ { \frac{ 1 + \sqrt{-5} }{ \sqrt{2} } }
}
{ \in }{ L
}
{ }{
}
}
{}{}{.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{z^2
}
{ =} { { \left( { \frac{ \sqrt{2} + \sqrt{2} \cdot \sqrt{-5} }{ 2 } } \right) }^2
}
{ =} { { \frac{ 2 -2 \cdot 5 +4 \sqrt{-5} }{ 4 } }
}
{ =} { -2 + \sqrt{-5}
}
{ \in} {R
}
}
{}{}{}
erfüllt $z$ eine Ganzheitsgleichung über $R$ und gehört somit zu $S$
\zusatzklammer {ebenso, wenn im Zähler ein Minuszeichen steht} {} {.}
Die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p} S
}
{ =} { (\sqrt{2})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
folgt einerseits aus
\mavergleichskettedisp
{\vergleichskette
{2
}
{ =} { \sqrt{2} \cdot \sqrt{2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{1+ \sqrt{-5}
}
{ =} { z \cdot \sqrt{2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und andererseits aus
\mavergleichskettedisp
{\vergleichskette
{ - \sqrt{2} \cdot 2 + { \frac{ 1-\sqrt{-5} }{ \sqrt{2} } } (1+ \sqrt{-5})
}
{ =} { - \sqrt{2} \cdot 2 + { \frac{ 6 }{ \sqrt{2} } }
}
{ =} { - \sqrt{2} \cdot 2 + 3 \cdot \sqrt{2}
}
{ =} { \sqrt{2} (-2+3)
}
{ =} { \sqrt{2}
}
}
{}{}{.}
}
\inputfaktbeweis
{Zahlentheorie/Quadratischer Zahlbereich/Ideal und konjugiertes Ideal/Produktbeschreibung/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $A_D$ ein
\definitionsverweis {quadratischer Zahlbereich}{}{}
und sei
\mathl{{\mathfrak a}}{} ein von $0$ verschiedenes
\definitionsverweis {Ideal}{}{}
in $A_D$.}
\faktfolgerung {Dann gilt
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a} \overline{ {\mathfrak a} }
}
{ =} {( N({\mathfrak a}) )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei ${\mathfrak a}$ durch eine $\Z$-Basis
\mathl{a,b=\alpha + \beta \omega}{} wie im
Satz 21.1
gegeben. Das konjugierte Ideal $\overline{ {\mathfrak a} }$ hat die Basis $a$ und $\overline{b}$. Das
\definitionsverweis {Produktideal}{}{}
\mathl{{\mathfrak a} \overline{ {\mathfrak a} }}{} hat die vier Erzeuger
\mathdisp {a^2, N(b), a \bar{b}, ab} { . }
Wir behaupten, dass dieses Ideal gleich dem von
\mathl{(a \beta)}{} erzeugten Ideal ist, was ja nach
Korollar 21.5
die Norm von ${\mathfrak a}$ ist. Zunächst teilt $\beta$ sowohl $a$ als auch $\alpha$
- Wegen
\mathl{a\omega \in {\mathfrak a}}{} hat man nämlich eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{ a \omega
}
{ =} { \gamma a + \delta (\alpha + \beta \omega)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{\gamma, \delta \in \Z}{.} Daraus folgt durch Koeffizientenvergleich einerseits
\mavergleichskette
{\vergleichskette
{ a
}
{ = }{ \delta \beta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und andererseits
\mavergleichskette
{\vergleichskette
{ \gamma a + \delta \alpha
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
woraus nach Kürzen mit $\delta$ sich
\mavergleichskettedisp
{\vergleichskette
{ \alpha
}
{ =} {- \gamma \beta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt. Insbesondere ist
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a}
}
{ =} { (a, \alpha + \beta \omega)
}
{ =} { (\beta\delta, - \beta \gamma + \beta\omega)
}
{ =} { (\beta) ( \delta , -\gamma + \omega )
}
{ } {
}
}
{}{}{.}
Mit dem Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak b}
}
{ = }{( \delta ,- \gamma + \omega )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
können wir wegen
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a} \overline{ {\mathfrak a} }
}
{ =} { (\beta ^2) {\mathfrak b} \overline{ {\mathfrak b} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und wegen
\mavergleichskette
{\vergleichskette
{ N( {\mathfrak a} )
}
{ = }{ a \beta
}
{ = }{ \delta \beta ^2
}
{ = }{ \beta ^2 N({\mathfrak b} )
}
{ }{
}
}
{}{}{}
annehmen, dass
\mavergleichskette
{\vergleichskette
{\beta
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
In dieser neuen Situation müssen wir
\mathl{{\mathfrak a}\bar{\mathfrak a}=(a)}{} zeigen. Aufgrund von
\mathl{N(b) \in {\mathfrak a} \cap \Z =(a)}{} haben wir die Inklusion
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} \overline{ {\mathfrak a} }
}
{ \subseteq }{ (a)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir betrachten die Inklusionskette
\zusatzklammer {in $A_D$} {} {}
\mavergleichskettedisp
{\vergleichskette
{ { \left( a^2, N(b), a { \left( b + \overline{b} \right) } \right) }
}
{ \subseteq} { { \left( a^2, N(b), a b, a\overline{b} \right) }
}
{ =} { {\mathfrak a} \overline{ {\mathfrak a} }
}
{ \subseteq} { (a)
}
{ } {
}
}
{}{}{.}
Es sei
\mathl{c \in \Z}{} der Erzeuger des Ideals links. Wir behaupten zunächst, dass die linke Inklusion eine Gleichheit ist. Dafür betrachten wir die Norm und die Spur von
\mathl{{ \frac{ ab }{ c } }}{} und erhalten
\mavergleichskettedisp
{\vergleichskette
{ N { \left( \frac{a b}{c} \right) }
}
{ =} { \frac{N(a) N(b)}{N(c)}
}
{ =} { \frac{a^2 N(b)}{c^2}
}
{ \in} { \Z
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ S { \left( \frac{a b}{c} \right) }
}
{ =} {\frac{1}{c} S (a b)
}
{ =} { \frac{1}{c} (a b + a\bar{b} )
}
{ \in} { \Z
}
{ } {
}
}
{}{}{.}
Damit gehören die Norm und die Spur zu $\Z$ und damit ist
nach Lemma 20.8
das Element selbst ganz und somit ist $ab$ ein Vielfaches von $c$. Wir wissen also
\mavergleichskettedisp
{\vergleichskette
{ \frac{ab}{c}
}
{ =} {\frac{a(\alpha+\omega)}{c}
}
{ =} { \frac{\alpha}{c} a + \frac{a}{c}\omega
}
{ \in} { A_D
}
{ } {
}
}
{}{}{}
und damit ist
\mathl{\frac{a}{c} \in \Z}{.} Also wird $a$ von $c$ geteilt und in der Inklusionskette gilt Gleichheit.
\inputfaktbeweis
{Quadratischer Zahlbereich/Norm von Idealen/Multiplikativität/Fakt}
{Korollar}
{}
{
Es sei $A_D$ ein
\definitionsverweis {quadratischer Zahlbereich}{}{}
und seien $\mathfrak a$ und $\mathfrak b$ von Null verschiedene Ideale in $A_D$. Dann gilt
\mavergleichskettedisp
{\vergleichskette
{ N({\mathfrak a } { \mathfrak b})
}
{ =} { N({\mathfrak a})N({\mathfrak b})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Wir wenden
Satz 21.10
wiederholt für Ideale an und erhalten
\mavergleichskettedisp
{\vergleichskette
{ (N({\mathfrak a } { \mathfrak b}))
}
{ =} { ( {\mathfrak a } { \mathfrak b}) \overline{({\mathfrak a } { \mathfrak b})}
}
{ =} { {\mathfrak a } { \mathfrak b} \overline{ {\mathfrak a } } \overline{ \mathfrak b}
}
{ =} { {\mathfrak a } \overline{ {\mathfrak a } } { \mathfrak b} \overline{ \mathfrak b}
}
{ =} { ( N({\mathfrak a}) )( N({\mathfrak b}))
}
}
{
\vergleichskettefortsetzung
{ =} { ( N({\mathfrak a}) N({\mathfrak b}) )
}
{ } {}
{ } {}
{ } {}
}{}{.}
Da die Norm eines Ideals stets positiv ist folgt aus dieser Idealidentität die Gleichheit
\mavergleichskette
{\vergleichskette
{N({\mathfrak a } { \mathfrak b})
}
{ = }{ N({\mathfrak a}) N({\mathfrak b})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die obige Definition der Norm eines Ideals, die wir nur für quadratische Zahlbereiche gefasst haben, lässt sich auf beliebige Zahlbereiche erweitern. Dafür gelten entsprechende Eigenschaften, was wir im Rahmen dieser Vorlesung nicht ausführen werden.
\inputdefinition
{}
{
Zu einem
\definitionsverweis {Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem
\definitionsverweis {Zahlbereich}{}{}
$R$ heißt die
\zusatzklammer {endliche} {} {}
Anzahl des
\definitionsverweis {Restklassenringes}{}{}
\mathl{R/{\mathfrak a}}{} die \definitionswort {Norm}{} von ${\mathfrak a}$. Sie wird mit
\mathdisp {N { \left( {\mathfrak a} \right) }} { }
bezeichnet.
}
| << | Kurs:Zahlentheorie (Osnabrück 2016-2017) | >> |
|---|