Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 28/latex

Aus Wikiversity
Zur Navigation springen Zur Suche springen

\setcounter{section}{28}

Der historische Ursprung der quadratischen Zahlbereiche wue auch der Klassengruppe liegt in der besonders von Gauß entwickelten Theorie der quadratischen Formen. In der ersten Vorlesung haben wir gefragt, welche Zahlen als Summe von zwei Quadratzahlen darstellbar sind, also von der Form
\mathl{x^2+y^2}{} sind, und dies haben wir im weiteren Verlauf mit der Norm im Ring der Gaußschen Zahlen
\mathl{\Z[ { \mathrm i} ]}{} in Verbindung gebracht. Einen ähnlichen Zusammenhang gibt es zu jeder binären quadratischen Form.






\zwischenueberschrift{Binäre quadratische Formen}




\inputdefinition
{}
{

Unter einer \definitionswort {binären quadratischen Form}{} versteht man einen Ausdruck der Gestalt
\mathdisp {aX^2+bXY+cY^2} { }
mit
\mathl{a,b,c \in \Z}{.}

}

Die
\mathl{a,b,c}{} heißen die Koeffizienten der quadratischen Form. Wir fassen eine binäre quadratische Form $F$ als eine Abbildung \maabbeledisp {} {\Z^2} {\Z } {(x,y)} {ax^2+bxy+cy^2 } {,} auf. Die Matrix
\mathdisp {\begin{pmatrix} a & { \frac{ 1 }{ 2 } }b \\ { \frac{ 1 }{ 2 } }b & c \end{pmatrix}} { }
heißt die \stichwort {Gramsche Matrix} {} zur Form $F$. Mit ihr kann man
\mavergleichskettedisp
{\vergleichskette
{F(x,y) }
{ =} { \left( x , \, y \right) \begin{pmatrix} a & { \frac{ 1 }{ 2 } }b \\ { \frac{ 1 }{ 2 } }b & c \end{pmatrix} \begin{pmatrix} x \\y \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} schreiben.




\inputdefinition
{}
{

Zu einer \definitionsverweis {binären quadratischen Form}{}{}
\mathdisp {aX^2+bXY+cY^2} { }
nennt man
\mathdisp {b^2-4ac} { }
die \definitionswort {Diskriminante}{} der Form.

}

Die Diskriminante kann man auch als
\mathl{-1 { \frac{ 1 }{ 4 } }}{} der Determinante von
\mathl{\begin{pmatrix} a & { \frac{ 1 }{ 2 } }b \\ { \frac{ 1 }{ 2 } }b & c \end{pmatrix}}{} ansehen. Wir werden diese Diskriminante bald mit der Diskriminante eines quadratischen Zahlbereiches in Verbindung bringen.




\inputdefinition
{}
{

Man sagt, dass eine ganze Zahl $n$ durch eine \definitionsverweis {binäre quadratische Form}{}{}
\mathdisp {aX^2+bXY+cY^2} { }
\definitionswort {darstellbar}{} ist, wenn es ganze Zahlen
\mathl{(x,y) \in \Z^2}{} mit
\mavergleichskettedisp
{\vergleichskette
{n }
{ =} {ax^2+bxy+cy^2 }
{ } { }
{ } { }
{ } { }
} {}{}{} gibt.

} Die Zahlen
\mathl{a,c,a+b+c}{} sind unmittelbar darstellbar. Im Allgemeinen ist es schwierig, die Mengen aller darstellbaren Zahlen zu beschreiben. Für die quadratische Form
\mathl{X^2+Y^2}{} bedeutet die Darstellbarkeit, dass $n$ eine Summe von zwei Quadraten ist. Zur Beantwortung dieser Frage ist die Betrachtung der Faktorzerlegung in $\Z[ { \mathrm i} ]$ hilfreich.




\inputdefinition
{}
{

Eine \definitionsverweis {binäre quadratische Form}{}{}
\mathl{aX^2+bXY+cY^2}{} heißt \definitionswort {einfach}{,} wenn die Koeffizienten
\mathl{a,b,c}{} \definitionsverweis {teilerfremd}{}{} sind.

}

Wenn $g$ der größte gemeinsame Teiler von
\mathl{a,b,c}{} ist, so nennt man die durch
\mathdisp {{ \frac{ a }{ g } } X^2 + { \frac{ b }{ g } } XY + { \frac{ c }{ g } } Y^2} { }
gegebene Form die \stichwort {Vereinfachung} {} der ursprünglichen Form. Es handelt sich dann um eine einfache Form.

Zu einer Matrix
\mathl{M= \begin{pmatrix} r & s \\ t & u \end{pmatrix}}{} mit ganzzahligen Einträgen
\mathl{r,s,t,u \in \Z}{} und einer binären quadratischen Form
\mavergleichskette
{\vergleichskette
{F }
{ = }{aX^2+bXY+cY^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} erhält man durch die Hintereinanderschaltung
\mathdisp {\Z^2 \stackrel{M}{\longrightarrow} \Z^2 \stackrel{F} {\longrightarrow} \Z} { }
die neue quadratische Form
\mavergleichskette
{\vergleichskette
{F' }
{ = }{ F \circ M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wenn man die Variablen links mit $V,W$ bezeichnet, so liegt insgesamt die quadratische Form vor, die ein Tupel $(v,w)$ auf
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ a { \left( rv+sw \right) }^2 + b { \left( rv+sw \right) } { \left( tv+uw \right) } + c { \left( tv+uw \right) }^2 }
{ =} { { \left( a r^2+ brt +ct^2 \right) } v^2 + { \left( 2ars + bru+bst +2c tu \right) } vw + { \left( as^2+bsu +cu^2 \right) } w^2 }
{ } { }
{ } { }
{ } { }
} {}{}{} abbildet. Die neuen Koeffizienten der transformierten Form sind also \mathlistdisp {a' = a r^2+ brt +ct^2} {} {b' =2ars + bru+bst +2c tu} {und} {c' = as^2+bsu +cu^2} {.} Dies können wir auch als Matrixgleichung als
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} a' & { \frac{ 1 }{ 2 } } b' \\ { \frac{ 1 }{ 2 } } b' & c' \end{pmatrix} }
{ =} { \begin{pmatrix} r & t \\ s & u \end{pmatrix} \begin{pmatrix} a & { \frac{ 1 }{ 2 } } b \\ { \frac{ 1 }{ 2 } } b & c \end{pmatrix} \begin{pmatrix} r & s \\ t & u \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} schreiben, siehe Aufgabe 28.5. Die Matrix $M$ ist über $\Z$ genau dann invertierbar, wenn ihre Determinante gleich $1$ oder gleich $-1$ ist, siehe Aufgabe 28.1. Bei einer solchen invertierbaren Transformation ändern sich wesentliche Eigenschaften der Form nicht.




\inputdefinition
{}
{

Zwei \definitionsverweis {binäre quadratische Formen}{}{}
\mathdisp {F= aX^2+bXY+cY^2 \text{ und } F'= a'X^2+b'XY+c'Y^2} { }
heißen \definitionswort {äquivalent}{,} wenn es eine ganzzahlige invertierbare $2 \times 2$-Matrix $M$ mit
\mavergleichskettedisp
{\vergleichskette
{F' }
{ =} { F M }
{ } { }
{ } { }
{ } { }
} {}{}{} gibt.

}




\inputdefinition
{}
{

Zwei \definitionsverweis {binäre quadratische Formen}{}{}
\mathdisp {F= aX^2+bXY+cY^2 \text{ und } F'= a'X^2+b'XY+c'Y^2} { }
heißen \definitionswort {strikt äquivalent}{,} wenn es eine ganzzahlige $2 \times 2$-Matrix $M$ mit Determinante $1$ und mit
\mavergleichskettedisp
{\vergleichskette
{F' }
{ =} { F M }
{ } { }
{ } { }
{ } { }
} {}{}{} gibt.

}

Die Formen
\mathl{aX^2+bXY+cY^2}{} und
\mathl{aX^2-bXY+cY^2}{} sind zueinander \zusatzklammer {über die Matrix \mathlk{\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}}{}} {} {} äquivalent, aber im Allgemeinen nicht strikt äquivalent.





\inputfaktbeweis
{Z/Binäre quadratische Form/Äquivalenz/Eigenschaften/Fakt}
{Lemma}
{}
{

\faktsituation {}
\faktfolgerung {\aufzaehlungdrei{ Die \definitionsverweis {Äquivalenz}{}{} und die \definitionsverweis {strikte Äquivalenz}{}{} von \definitionsverweis {binären quadratischen Formen}{}{} ist eine \definitionsverweis {Äquivalenzrelation}{}{.} }{Die \definitionsverweis {Diskriminante}{}{} einer binären quadratischen Form hängt nur von deren Äquivalenzklasse ab. }{Die \definitionsverweis {dargestellen Zahlen}{}{} hängen nur von der Äquivalenzklasse der Form ab. }}
\faktzusatz {}
\faktzusatz {}

}
{

\aufzaehlungdrei{Diese beiden Aussagen folgen daraus, dass das Produkt invertierbarer Matrizen \zusatzklammer {über $\Z$} {} {} wieder invertierbar ist und aus dem Determinantenmultiplikationssatz. }{Wir arbeiten mit der Umrechnungsregel für die Koeffizienten in Matrixform, also
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} a' & { \frac{ 1 }{ 2 } } b' \\ { \frac{ 1 }{ 2 } } b' & c' \end{pmatrix} }
{ =} { \begin{pmatrix} r & t \\ s & u \end{pmatrix} \begin{pmatrix} a & { \frac{ 1 }{ 2 } } b \\ { \frac{ 1 }{ 2 } } b & c \end{pmatrix} \begin{pmatrix} r & s \\ t & u \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} Der Determinantenmultiplikationssatz liefert
\mavergleichskettealign
{\vergleichskettealign
{ \operatorname{diskr} (F) }
{ =} { -4 \cdot \det \begin{pmatrix} b' & 2c' \\ 2a' & b' \end{pmatrix} }
{ =} { -4 \cdot ( \pm 1 ) \det \begin{pmatrix} b & 2c \\ 2a & b \end{pmatrix} (\pm 1) }
{ =} { -4 \cdot \det \begin{pmatrix} b & 2c \\ 2a & b \end{pmatrix} }
{ =} {\operatorname{diskr} (F) }
} {} {}{.} }{Dies folgt unmittelbar aus dem kommutativen Diagramm
\mathdisp {\begin{matrix}\Z^2 & \stackrel{ M }{\longrightarrow} & \Z^2 & \\ & \!\!\! \!\! F' \searrow & \downarrow F \!\!\! \!\! & \\ & & \Z & \!\!\!\!\! \!\!\! \, . \\ \end{matrix}} { }
}

}

Wir brauchen noch ein etwas abstrakteres Konzept von einer quadratischen Form.


\inputdefinition
{}
{

Sei $R$ ein \definitionsverweis {kommutativer Ring}{}{.} Eine \definitionswort {quadratische Form}{} auf einem $R$-\definitionsverweis {Modul}{}{} $L$ ist eine Abbildung \maabbdisp {Q} {L} {R } {,} die die beiden Eigenschaften \aufzaehlungzwei {
\mavergleichskettedisp
{\vergleichskette
{ Q(rv) }
{ =} { r^2 Q(v) }
{ } { }
{ } { }
{ } { }
} {}{}{} für alle
\mathl{r \in R}{} und
\mathl{v \in L}{,} } {
\mavergleichskettedisp
{\vergleichskette
{ Q(u+v) + Q(u-v) }
{ =} { 2 Q(u) + 2Q(v) }
{ } { }
{ } { }
{ } { }
} {}{}{} für alle
\mathl{u,v \in L}{,} } erfüllt.

}

Eine binäre quadratische Form auf $\Z^2$ ist eine quadratische Form in diesem Sinne, siehe Aufgabe 28.13. Auf einem freien $\Z$-Modul $L$ vom Rang zwei, der also isomorph zu $\Z^2$ ist, gibt es keine kanonische $\Z$-Basis, so dass eine quadratische Form auf ihm zunächst nicht in der expliziten Form von oben gegeben ist. Erst die Fixierung eines Isomorphismus \maabbdisp {} {\Z^2} {L } {} führt $Q$ in die explizite Form über. Bei einer anderen Basis ändern sich zwar die Koeffizienten, doch sind die zugehörigen expliziten binären quadratischen Formen zueinander äquivalent, da sie durch die invertierbaren Basiswechselmatrizen ineinander überführt werden. Insbesondere ist die Diskriminante einer quadratischen Form auf $L$ wohldefiniert.






\zwischenueberschrift{Binäre quadratische Formen und quadratische Zahlbereiche}

Ein quadratischer Zahlbereich
\mavergleichskette
{\vergleichskette
{R }
{ \subset }{ \Q[\sqrt{D}] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist nach Korollar 18.10 als Gruppe isomorph zu $\Z^2$. Ferner erfüllt die Norm \maabbeledisp {N} { \Q[\sqrt{D}]} { \Q } { x+ y \sqrt{D} } { x^2 - y^2 D } {,} die Eigenschaften einer quadratischen Form. Die Werte der Norm eingeschränkt auf den Ganzheitsring \zusatzklammer {und auf jedes Ideal} {} {} liegen in $\Z$, deshalb liegt ein freier $\Z$-Modul vom Rang zwei zusammen mit einer quadratischen Form vor.


\inputbeispiel{}
{

Wir bestimmen für die \definitionsverweis {quadratischen Zahlbereiche}{}{} $R$ die binäre quadratische Form, die auf $R$ durch die Norm gegeben ist. Sei also $R$ der Ganzheitsring in
\mathl{K=\Q[\sqrt{D}]}{} zu einer quadratfreien Zahl $D \neq 0,1$.

Sei zunächst
\mavergleichskettedisp
{\vergleichskette
{D }
{ =} {2,3 \mod 4 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dann ist der Ganzheitsring nach Satz 20.9 gleich $\Z[\sqrt{D} ]$ und wir arbeiten mit der $\Z$-Basis
\mathl{1, \sqrt{D}}{.} Die Norm eines Elementes
\mathl{x + y \sqrt{D}}{} ist somit
\mavergleichskettedisp
{\vergleichskette
{N( x+y \sqrt{D} ) }
{ =} { \det \begin{pmatrix} x & Dy \\ y & x \end{pmatrix} }
{ =} {x^2 - Dy^2 }
{ } { }
{ } { }
} {}{}{} und dies ist die explizite Beschreibung der durch die Norm gegebenen quadratischen Form. Ihre \definitionsverweis {Diskriminante}{}{} ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{diskr} (N) }
{ =} { 4 D }
{ } { }
{ } { }
{ } { }
} {}{}{,} was gemäß Lemma 20.10 mit der \definitionsverweis {Diskriminante}{}{}
\mathl{\triangle (R)}{} des Zahlbereichs übereinstimmt.

Sei nun
\mavergleichskettedisp
{\vergleichskette
{D }
{ =} {1 \mod 4 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dann ist der Ganzheitsring nach Satz 20.9 gleich $\Z[ \omega ]$ mit
\mavergleichskettedisp
{\vergleichskette
{\omega }
{ =} { { \frac{ 1+ \sqrt{D} }{ 2 } } }
{ } { }
{ } { }
{ } { }
} {}{}{} und wir arbeiten mit der $\Z$-Basis
\mathl{1, \omega}{.} Die Norm eines Elementes
\mathl{x + y \omega}{} ist wegen
\mavergleichskettedisp
{\vergleichskette
{ { \left( x + y \omega \right) } \omega }
{ =} { x \omega +y \omega^2 }
{ =} { x \omega + y { \left( { \frac{ D-1 }{ 4 } } + \omega \right) } }
{ =} { y { \frac{ D-1 }{ 4 } } + (x+y) \omega }
{ } { }
} {}{}{} gleich
\mavergleichskettedisp
{\vergleichskette
{N( x+y \omega) }
{ =} { \det \begin{pmatrix} x & { \frac{ D-1 }{ 4 } }y \\ y & x+y \end{pmatrix} }
{ =} {x^2 +xy - { \frac{ D-1 }{ 4 } } y^2 }
{ =} {x^2 +xy + { \frac{ 1-D }{ 4 } } y^2 }
{ } { }
} {}{}{} und dies ist die explizite Beschreibung der durch die Norm gegebenen quadratischen Form. Ihre \definitionsverweis {Diskriminante}{}{} ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{diskr} (N) }
{ =} {1 + ( D-1) }
{ =} {D }
{ } { }
{ } { }
} {}{}{,} was gemäß Lemma 20.10 mit der \definitionsverweis {Diskriminante}{}{} $\triangle (R)$ des Zahlbereichs übereinstimmt.


}

Eine solche Interpretation der Norm gilt nicht nur für den ganzen Zahlbereich, sondern auch für jedes Ideal davon.





\inputfaktbeweis
{Quadratischer Zahlbereich/Ideal/Vereinfacht/Quadratische Form/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $R$ ein \definitionsverweis {quadratischer Zahlbereich}{}{} und es sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ \subseteq }{R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein von $0$ verschiedenes \definitionsverweis {Ideal}{}{} in $R$.}
\faktfolgerung {Dann wird durch
\mathl{f \mapsto { \frac{ N(f) }{ N( {\mathfrak a} ) } }}{} eine \definitionsverweis {binäre quadratische Form}{}{} auf ${\mathfrak a}$ definiert, die \definitionsverweis {einfach}{}{} ist und deren \definitionsverweis {Diskriminante}{}{} gleich der \definitionsverweis {Diskriminante}{}{} des Zahlbereiches $R$ ist.}
\faktzusatz {}
\faktzusatz {}

}
{

Die Norm ist eine quadratische Form auf ${\mathfrak a}$ mit Werten in $\Z$. Zu jedem Element
\mathl{f \in {\mathfrak a}}{} liegt ein surjektiver Restklassenhomomorphismus \maabbdisp {} { R/(f) } { R/ {\mathfrak a} } {} vor. Beide Restklassenringe sind nach Satz 18.14 endlich, und somit ist die Anzahl von
\mathl{R/ {\mathfrak a}}{} ein Teiler der Anzahl von
\mathl{R/(f)}{.} Diese Anzahlen sind aber nach Definition bzw. \zusatzklammer {bis auf das Vorzeichen} {} {} nach Satz 21.7 gleich \mathkor {} {N( {\mathfrak a} )} {bzw.} {N(f)} {.} Die Quotienten
\mathl{{ \frac{ N(f) }{ N( {\mathfrak a} ) } }}{} liegen also in $\Z$ und es liegt eine ganzzahlige quadratische Form vor. Diese ist nach Korollar 18.9 binär.

Mit einer beliebigen $\Z$-\definitionsverweis {Basis}{}{}
\mathl{s,t}{} des Ideals ${\mathfrak a}$ ist die durch die Norm gegebene binäre quadratische Form durch die Werte
\mathl{N(s), N(s+t),N(t)}{} festgelegt, und zwar lautet die explizite Beschreibung
\mathdisp {N(s)X^2 +( N(s+t)-N(s)-N(t) )XY + N(t)Y^2} { . }
Mit der Konjugation gilt
\mavergleichskettedisp
{\vergleichskette
{N(s) }
{ =} {s \overline{s} }
{ } { }
{ } { }
{ } { }
} {}{}{,}
\mavergleichskettedisp
{\vergleichskette
{N(t) }
{ =} {t \overline{t} }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{N(s+t) }
{ =} {(s+t) \overline{(s+t) } }
{ =} { s \overline{s} +s \overline{t} + t\overline{s} + t \overline{t} }
{ } { }
{ } { }
} {}{}{.} Somit ist der mittlere Koeffizient der quadratischen Form gleich
\mavergleichskettedisp
{\vergleichskette
{ N(s+t)-N(s)-N(t) }
{ =} { s \overline{t} + t\overline{s} }
{ } { }
{ } { }
{ } { }
} {}{}{} und die Diskriminate der quadratischen Form ist gleich
\mavergleichskettedisp
{\vergleichskette
{ ( s \overline{t} + t\overline{s})^2-4 N(s)N(t) }
{ =} { ( s \overline{t} - t\overline{s})^2 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Wir ziehen nun die Basis
\mathl{(a,b)}{} des Ideals gemäß Satz 21.1 heran. Die Diskriminante ist dann
\mavergleichskettedisp
{\vergleichskette
{ (a \overline{b} - \overline{a} b )^2 }
{ =} { a^2 (\overline{b} - b)^2 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Ja nach Fall ist die Klammer rechts gleich
\mathl{2 \beta \sqrt{D}}{} bzw. gleich
\mathl{2 \beta \omega- \beta}{.} Im ersten Fall ist das Quadrat davon gleich
\mathl{4 \beta^2 D}{.} Im zweiten Fall ist das Quadrat davon gleich
\mathl{\beta^2 (2 \omega -1)^2 = \beta^2 D}{.} Wenn man also die Norm durch die Norm des Ideals dividiert, die ja nach Korollar 21.5 gleich $a \beta$ ist, so ergibt sich in beiden Fällen eine quadratische Form, deren Diskriminante gleich der Diskriminante des Zahlbereiches ist. Da die Diskriminante \zusatzklammer {bis eventuell auf den Faktor $4$} {} {} quadratfrei ist, folgt nach Aufgabe 28.12, dass die Form einfach ist.

}





\inputbeispiel{}
{

Wir betrachten im \definitionsverweis {quadratischen Zahlbereich}{}{} $R$ zu
\mavergleichskette
{\vergleichskette
{D }
{ = }{-5 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} das \definitionsverweis {Ideal}{}{}
\mathdisp {(2, 1+ \sqrt{-5})} { , }
wobei die Erzeuger zugleich eine $\Z$-\definitionsverweis {Basis}{}{} sind. Die \definitionsverweis {Norm}{}{} dieses Ideals ist $2$ und die durch die Norm gegebene \definitionsverweis {quadratische Form}{}{} hat bezüglich dieser Basis die Gestalt
\mathdisp {4x^2 +4xy +6y^2} { . }
Durch Vereinfachung im Sinne von Lemma 28.10, also Division durch die Norm des Ideals, gelangt man zur quadratischen Form
\mathdisp {2x^2 +2xy +3y^2} { }
mit der Diskriminante
\mavergleichskettedisp
{\vergleichskette
{4 -4 \cdot 2 \cdot 3 }
{ =} {-20 }
{ =} { 4 (-5) }
{ } { }
{ } { }
} {}{}{.} Diese Form ist nicht zur Hauptfrom der Diskriminante $-20$ aquivalent, denn diese ist
\mathl{x^2+5y^2}{.} Letztere stellt beispielsweise den Wert $5$ dar, erstere nicht.


}

Zwei zueinander äquivalente Ideale definieren eine Äquivalenzklasse von binären quadratischen Formen. Um strikte Äquivalenzklassen zu erhalten, muss man die strikte Äquivalenz von Idealen einführen.


\inputdefinition
{}
{

Es sei $R$ ein \definitionsverweis {Zahlbereich}{}{.} Zwei \definitionsverweis {gebrochene Ideale}{}{} \mathkor {} {{\mathfrak f}} {und} {{\mathfrak g}} {} heißen \definitionswort {strikt äquivalent}{,} wenn es ein
\mathbed {h \in Q(R)} {}
{h \neq 0} {}
{} {} {} {,} mit positiver Norm derart gibt, dass
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak f} }
{ =} {(h) {\mathfrak g} }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}

Wenn man die strikte Äquivalenzklasse der Form erhalten möchte, so darf man nicht mit einer beliebigen $\Z$-Basis des Ideals arbeiten, da beispielsweise die Vertauschung der Basiselemente die strikte Äquivalenzklasse der Form vertauscht. Stattdessen muss man mit einer orientierten Basis des Ideals arbeiten. Wir repräsentieren die positive Orientierung durch die Basis aus Satz 21.1. Die Übergangsmatrix zwischen zwei orientierungstreuen Basen besitzt die Determinante $1$.





\inputfaktbeweis
{Quadratischer Zahlbereich/Ideal mit vereinfachter Norm/Binäre quadratische Form/Korrespondenz/Strikte Äquivalenz/Fakt}
{Satz}
{}
{

\faktsituation {Es sei $R$ der \definitionsverweis {quadratische Zahlbereich}{}{} zur \definitionsverweis {quadratfreien}{}{} Zahl
\mathl{D\neq 0,1}{} mit \definitionsverweis {Diskriminante}{}{} $\triangle=\triangle(R)$.}
\faktfolgerung {Dann ist die Abbildung
\mathdisp {{\mathfrak a} \longmapsto { \left( {\mathfrak a} , { \frac{ N( - ) }{ N( {\mathfrak a} ) } } \right) }} { , }
die einem \zusatzklammer {orientierten} {} {} Ideal $\neq 0$ die durch die vereinfachte Norm gegebe binäre quadratische Form zuordnet, mit der strikten Äquivalenz von Idealen bzw. Formen verträglich, und stiftet eine Bijektion zwischen den strikten Idealklassen und den strikten Äquivalenzklassen von \definitionsverweis {einfachen}{}{} quadratischen Formen mit Diskriminante $\triangle$.}
\faktzusatz {}
\faktzusatz {}

}
{

Dass die Zuordnung aus einem Ideal eine binäre quadratische Form mit der entsprechenden Diskriminante macht, wurde in Lemma 28.10 gezeigt. Es seien \mathkor {} {{\mathfrak a}} {und} {{\mathfrak b}} {} strikt äquivalente Ideale, d.h. es gibt ein
\mathl{h \in R}{} mit positiver Norm und mit
\mavergleichskette
{\vergleichskette
{ {\mathfrak b} }
{ = }{ (h) {\mathfrak a} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Für jedes
\mathl{f \in {\mathfrak a}}{} gilt nach Satz 21.7 und Kollorar 21.11
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ N ( h f) }{ N ( {\mathfrak b} ) } } }
{ =} { { \frac{ N(h) N(f) }{ N ( (h) {\mathfrak a} ) } } }
{ =} { { \frac{ N(h) N(f) }{ N ((h)) N ({\mathfrak a} ) } } }
{ =} {{ \frac{ N(h) N(f) }{ \betrag { N (h) } N ({\mathfrak a} ) } } }
{ =} {{ \frac{ N(f) }{ N ({\mathfrak a} ) } } }
} {} {}{,} daher ist das Diagramm
\mathdisp {\begin{matrix}{\mathfrak a} & \stackrel{ { \frac{ N(-) }{ N( {\mathfrak a} ) } } }{\longrightarrow} & \Z & \\ \!\!\! \!\! \cdot h \downarrow & \nearrow { \frac{ N(-) }{ N( {\mathfrak b} ) } } \!\!\! \!\! & \\ {\mathfrak b} & & & & \!\!\!\!\! \!\!\! \\ \end{matrix}} { }
kommutativ. Da die Multiplikation mit $h$ ein $R$-\definitionsverweis {Modulisomorphismus}{}{} und insbesondere ein \zusatzklammer {orientierter} {} {} Gruppenisomorphismus zwischen
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ \cong }{ \Z^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ {\mathfrak b} }
{ \cong }{ \Z^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, der durch eine Matrix mit Determinante $1$ gegeben ist, bedeutet dies, dass die quadratischen Formen strikt äquivalent sind.

Es sei nun eine einfache binäre quadratische Form
\mathl{ax^2 +bxy+cy^2}{} gegeben, deren Diskriminante
\mathl{b^2-4ac}{} gleich der Diskriminante des Zahlbereichs, also gleich \mathkor {} {D} {bzw.} {4D} {} sei. Im zweiten Fall ist $b$ gerade und somit ist in beiden Fällen
\mathl{{ \frac{ b - \sqrt{ \triangle } }{ 2 } }}{} ein Element aus $R$.

Bei
\mavergleichskette
{\vergleichskette
{a }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} betrachten wir
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a} }
{ =} { \Z a + \Z { \frac{ b - \sqrt{ \triangle } }{ 2 } } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dies ist ein Ideal.

Wegen Korollar 21.6 ist
\mavergleichskettedisp
{\vergleichskette
{ N( {\mathfrak a} ) }
{ =} { \betrag { -a } }
{ =} { a }
{ } { }
{ } { }
} {}{}{}
\mavergleichskettedisp
{\vergleichskette
{N(a) }
{ =} {a^2 }
{ } { }
{ } { }
{ } { }
} {}{}{,} und \zusatzklammer {für den Fall \mathlk{D=2,3 \mod 4}{}} {} {}
\mavergleichskettealign
{\vergleichskettealign
{N { \left( { \frac{ b - \sqrt{ \triangle } }{ 2 } } \right) } }
{ =} {N { \left( { \frac{ b - 2 \sqrt{ D } }{ 2 } } \right) } }
{ =} { { \left( { \frac{ b }{ 2 } } - \sqrt{D} \right) } { \left( { \frac{ b }{ 2 } } + \sqrt{D} \right) } }
{ =} { { \frac{ b^2 }{ 4 } } -D }
{ =} { { \frac{ b^2 -4D }{ 4 } } }
} {
\vergleichskettefortsetzungalign
{ =} { { \frac{ b^2 - \triangle }{ 4 } } }
{ =} {{ \frac{ b^2 -(b^2- 4ac ) }{ 4 } } }
{ =} { ac }
{ } {}
} {}{} und
\mavergleichskettealign
{\vergleichskettealign
{N { \left( a + { \frac{ b - \sqrt{ \triangle } }{ 2 } } \right) } }
{ =} { N { \left( { \frac{ 2a+b }{ 2 } } - \sqrt{D} \right) } }
{ =} { { \left( { \frac{ 2a+b }{ 2 } } \right) }^2 -D }
{ =} { { \frac{ 4a^2 +4ab +b^2 -4D }{ 4 } } }
{ =} {{ \frac{ 4a^2 +4ab +b^2 -(b^2 - 4ac) }{ 4 } } }
} {
\vergleichskettefortsetzungalign
{ =} {a^2+ab +ac }
{ } {}
{ } {}
{ } {}
} {}{.} Wenn man diese drei charakteristischen Werte durch
\mavergleichskette
{\vergleichskette
{N( {\mathfrak a} ) }
{ = }{ a }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} dividiert, so erhält man die Werte $a,c$ und
\mathl{a+b+c}{,} was mit den Werten der vorgegebenen quadratischen Form übereinstimmt.

Für den Fall
\mavergleichskette
{\vergleichskette
{a }
{ < }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} setzt man
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a} }
{ =} { \sqrt{\triangle} \cdot { \left( a \Z + { \frac{ b - \sqrt{\triangle} }{ 2 } } \Z \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{,} siehe Aufgabe 18.18.

Schließlich seien Ideale \mathkor {} {{\mathfrak a}} {und} {{\mathfrak a}'} {} gegeben mit der Eigenschaft, dass ihre durch die vereinfachte Norm gegebenen quadratischen Formen strikt äquivalent sind. Diese strikte Äquivalenz bedeutet, dass sie durch eine Matrix $M$ mit Determinante $1$ miteinander verbunden sind. Es liegt also die Situation
\mathdisp {{\mathfrak a} \longrightarrow \Z^2 \stackrel{M}{ \longrightarrow} \Z^2 \longrightarrow {\mathfrak a}'} { }
vor. Wir multiplizieren das Ideal ${\mathfrak a}$ mit
\mathl{N( {\mathfrak a}' )}{} und das Ideal ${\mathfrak a}'$ mit
\mathl{N( {\mathfrak a} )}{.} Dann haben beide Ideale die gleiche Norm, die Matrix überträgt sich entsprechend und somit können wir annehmen, dass eine normerhaltende $\Z$-\definitionsverweis {lineare Abbildung}{}{} \maabbdisp {} { {\mathfrak a} } { {\mathfrak a}' } {} vorliegt. Diese induziert eine normerhaltende $\Q$-\definitionsverweis {lineare Abbildung}{}{} \maabbdisp {} {\Q[ \sqrt{D}] } { \Q[ \sqrt{D}] } {.} Nach Aufgabe 28.19 ist dies die Multiplikation mit einem Element $h$ des Körpers
\mathl{\Q[\sqrt{D}]}{} \zusatzklammer {die Determinantenbedingung schließt die Konjugation aus} {} {.} Es ist also
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a}' }
{ =} { (h) {\mathfrak a} }
{ } { }
{ } { }
{ } { }
} {}{}{.} Da jedes Ideal positive ganze Zahlen enthält, muss der Faktor $h$ \zusatzklammer {wie zuvor die Idealnormen} {} {} eine positive Norm besitzen.

}


Die Konjugation auf $R$ führt ein Ideal ${\mathfrak a}$ in das konjugierte Ideal $\overline{ {\mathfrak a} }$ über. Dabei wird die Norm der Elemente und auch die vereinfachte Norm nicht geändert. Die resultierenden quadratischen Formen sind also äquivalent, im Allgemeinen aber nicht strikt äquivalent, da die Determinante der Konjugation gleich $-1$ ist. Die beiden Ideale müssen aber nicht äquivalent sein.

<< | Kurs:Zahlentheorie (Osnabrück 2016-2017) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)