Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 1/latex
\setcounter{section}{1}
Wir besprechen einige typische Situationen, die zur algebraischen Zahlentheorie führen.
\zwischenueberschrift{Primfaktorzerlegung in $\Z$ und sonstwo}
In den ganzen Zahlen $\Z$ gilt die eindeutige Primfaktorzerlegung, d.h. jede ganze Zahl
\mavergleichskette
{\vergleichskette
{n
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
lässt sich als ein
\zusatzklammer {bei einer negativen Zahl braucht man noch das Vorzeichen $-1$} {} {}
Produkt von
\zusatzklammer {positiven} {} {}
Primzahlen schreiben, wobei die Anzahl der auftretenden Primzahlen, die Primfaktoren, eindeutig bestimmt ist. Beispielsweise ist
\mavergleichskettedisp
{\vergleichskette
{175
}
{ =} { 5 \cdot 5 \cdot 7
}
{ =} { 5 \cdot 7 \cdot 5
}
{ =} { 5^2 \cdot 7
}
{ } {
}
}
{}{}{.}
Für eine Primzahl ist diese Faktorzerlegung einfach die Zahl selbst. In einem größeren Ring, beispielsweise einem Körper, ergeben sich neue Darstellungsmöglichkeiten. Es ist in $\R$
\mavergleichskettedisp
{\vergleichskette
{7
}
{ =} { { \frac{ 7 }{ 5 } } \cdot 5
}
{ =} { 7 \cdot 5^{-1} \cdot 5
}
{ =} { 7 \cdot \pi^{-1} \pi
}
{ } {
}
}
{}{}{.}
Das sind natürlich Uneindeutigkeiten, die sich einfach daraus ergeben, dass es Elemente gibt, die ein Inverses besitzen. Wenn man an
\mavergleichskette
{\vergleichskette
{7
}
{ = }{ (-1) (-7)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
denkt, gibt es dieses Phänomen schon in $\Z$. Wir halten kurz die folgende Definition fest.
\inputdefinition
{}
{
Ein Element $u$ in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ heißt \definitionswort {Einheit}{,} wenn es ein Element
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{uv
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
In $\Z$ sind nur
\mathkor {} {1} {und} {-1} {}
Einheiten, der Einfluss auf die Teilbarkeitstheorie ist daher sehr überschaubar. Ein kommutativer Ring ist genau dann ein Körper, wenn in ihm jedes von $0$ verschiedene Element eine Einheit ist
\zusatzklammer {der Nullring ist kein Körper, da in ihm sogar die $0$ eine Einheit ist} {} {.}
Deshalb gibt es in einem Körper keine aussagekräftige Teilbarkeitstheorie. Ein anderes Phänomen sind die Faktorzerlegungen
\mavergleichskettedisp
{\vergleichskette
{7
}
{ =} { \sqrt{7} \cdot \sqrt{7}
}
{ =} { \sqrt[3] {7} \cdot \sqrt[3] {7} \cdot \sqrt[3]{7}
}
{ =} {\sqrt[4] {7} \cdot \sqrt[4] {7} \cdot \sqrt[4]{7} \cdot \sqrt[4]{7}
}
{ } {
}
}
{}{}{.}
In diesem Sinne kann man beliebig weitermachen, es gibt dann für die Zahl $7$ beliebig lange zunehmend feinere Zerlegungen - aber keine Primfaktorzerlegung.
Betrachten wir genauer die Zerlegung
\mavergleichskettedisp
{\vergleichskette
{7
}
{ =} { \sqrt{7} \cdot \sqrt{7}
}
{ } {
}
{ } {}
{ } {}
}
{}{}{.}
Diese hat nichts mit Einheiten zu tun, sondern allein mit der Existenz der Quadratwurzel
\zusatzklammer {oder in den weiteren Fällen mit der Existenz der dritten oder vierten Wurzel} {} {}
der $7$. Um eine solche Faktorzerlegung hinzuschreiben, braucht man nicht die vollen reellen Zahlen, sondern eben nur diese Wurzeln. Um die erste Gleichung ausdrücken zu können, braucht man nur das neue Element
\mathl{\sqrt{7}}{} mit der charakteristischen Eigenschaft, dass das Produkt mit sich selbst gleich $7$ ist. Doch allein diese Hinzunahme, also die Mengen $\N \cup \{ \sqrt{7} \}$ bzw. $\Z \cup \{ \pm \sqrt{7} \}$ liefert keine sinnvolle algebraische Struktur, da darin weder die Multiplikation
\mathl{4 \cdot \sqrt{7}}{} noch die Addition
\mathl{4 + \sqrt{7}}{} definiert ist. Da verliert man also viel zu viel. Man möchte \anfuehrung{nur}{} die Quadratwurzel aus $7$ hinzutun, aber gleichzeitig sinnvolle algebraische Strukturen erhalten. Mit $\sqrt{7}$ muss dann auch beispielsweise
\mathl{13-22 \sqrt{7}}{} drin sein. Zahlen von dieser Form sind offenbar additiv abgeschlossen und sind aber auch multiplikativ abgeschlossen, es gilt ja
\mavergleichskettedisp
{\vergleichskette
{ { \left( a+ b \sqrt{7} \right) } { \left( c+ d \sqrt{7} \right) }
}
{ =} { { \left( ac+ 7bd \right) } + { \left( ad+bc \right) } \sqrt{7}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für beliebige
\mavergleichskette
{\vergleichskette
{a,b,c,d
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Diese Zahlen bilden also wieder einen kommutativen Ring, und zwar kann man ihn als Unterring der reellen Zahlen realisieren, weshalb die Assoziativität der Verknüpfungen direkt erfüllt ist. Wir haben also eine Ringerweiterung
\mavergleichskettedisp
{\vergleichskette
{ \Z
}
{ \subseteq} { \Z[\sqrt{7}]
}
{ =} { \Z + \Z \sqrt{7}
}
{ =} { { \left\{ a+b \sqrt{7} \mid a,b \in \Z \right\} }
}
{ \defeqr} { R
}
}
{}{}{,}
wobei die ganzen Zahlen den Summen
\mathl{a+b \sqrt{7}}{} mit
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
entsprechen, wobei die Addition in $R$ komponentenweise und die Multiplikation wie in $\R$ bzw. explizit wie oben bzw. distributiv unter Verwendung der einzigen relevanten Regel
\mavergleichskettedisp
{\vergleichskette
{ \sqrt{7} \cdot \sqrt{7}
}
{ =} { 7
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erklärt ist. Die Darstellung
\mathl{a + b \sqrt{7}}{} eines Elementes aus $R$ ist ferner eindeutig, d.h.
\mavergleichskette
{\vergleichskette
{ a + b \sqrt{7}
}
{ = }{ a' + b' \sqrt{7}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nur bei
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} {a'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{b
}
{ =} {b'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
möglich. Anderfalls hätte man eine Gleichung
\mavergleichskettedisp
{\vergleichskette
{r
}
{ =} {s \sqrt{7}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathkor {} {r,s \in \Z} {} {r,s \neq 0} {,}
woraus sich
\mavergleichskettedisp
{\vergleichskette
{ \sqrt{7}
}
{ =} { { \frac{ r }{ s } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
im Widerspruch zur Irrationalität von Quadratwurzeln auf Primzahlen ergibt, die aus der eindeutigen Primfaktorzerlegung in $\Z$ folgt, siehe
Aufgabe 1.2.
\zusatzklammer {der Spezialfall, die Irrationalität der Quadratwurzel aus $2$, ist ein typisches Beispiel für einen Widerspruchsbeweis aus den Anfängervorlesungen, siehe
Satz 4.6 (Mathematik für Anwender (Osnabrück 2023-2024))} {} {.}
Aufgrund der definierenden Gleichung sieht man direkt, dass $7$ in $R$ nicht mehr prim ist, sondern nichttriviale Teiler, nämlich $\sqrt{7}$ besitzt, wobei wir aber die exakten Definitionen noch nicht fixiert haben. Zunächst muss man sich klar machen, dass $7$
\zusatzklammer {und $\sqrt{7}$} {} {}
keine Einheit in $R$ wird. Dies kann man aber wegen
\mavergleichskettedisp
{\vergleichskette
{ 7( a+b \sqrt{7})
}
{ =} { 7a + 7b \sqrt{7}
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{}
sofort ausschließen. Was aber keineswegs klar ist, ob es in $R$ weitere Faktorzerlegungen für $7$ gibt, ob $\sqrt{7}$ prim ist, ob es neue Einheiten in $R$ gibt, wie sich die Existenz von $\sqrt{7}$ auf die Faktorzerlegung von anderen ganzen Zahlen auswirkt. Um Zerlegungsphänome von der Bauart
\mavergleichskettedisp
{\vergleichskette
{7
}
{ =} {u (u^{-1} 7)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer Einheit $u$ auszuschließen bzw. zu erkennen, müssen wir zuerst wissen, ob in $R$ neue Einheiten dazukommen. Mit dem Argument von eben kann man direkt einsehen, dass ganze Zahlen $\neq 1,-1$ in $R$ Nichteinheiten bleiben. Es gibt aber in der Tat eine Vielzahl von neuen Einheiten! Betrachten wir in $R$ die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ (8 +3 \sqrt{7})(8-3 \sqrt{7})
}
{ =} { 64 -9 \cdot 7
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{,}
die ja besagt, dass die beiden Elemente
\mathkor {} {8 + 3 \sqrt{7}} {und} {8 - 3 \sqrt{7}} {}
zueinander invers sind und damit Einheiten sind. Damit sind auch alle Zahlen der Form
\mathl{\pm { \left( 8 + 3 \sqrt{7} \right) }^n}{}
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{n
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
Einheiten, und das sind alle Einheiten von $R$, siehe die 25. Vorlesung. Die Existenz von Einheiten erschwert die Entscheidung, ob eine Faktorzerlegung auf Einheiten beruht oder auf eine Zerlegung in substantiell grundlegendere Bestandteile. Handelt es sich beispielsweise
bei
\mavergleichskettedisp
{\vergleichskette
{ (5 + 4 \sqrt{7})( -5+4 \sqrt{7})
}
{ =} { -25 +16 \cdot 7
}
{ =} { -25+ 112
}
{ =} { 87
}
{ =} { 3 \cdot 29
}
}
{}{}{}
um zwei wesentlich verschiedene Faktorzerlegungen der $87$ in $R$? Hier haben wir schon zum zweiten Mal die dritte binomische Formel ausgenutzt, um durch eine Multiplikation von zwei Zahlen aus $R$ wieder in $\Z$ zu landen. Wegen
\mavergleichskettedisp
{\vergleichskette
{3
}
{ =} { (2 + \sqrt{7} )(-2+ \sqrt{7})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
kann man aber die $3$ weiter zerlegen. Der erste Faktor kommt auch in der Zerlegung
\mavergleichskettedisp
{\vergleichskette
{5+4 \sqrt{7}
}
{ =} { (2+ \sqrt{7})(6- \sqrt{7})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vor. In der verfeinerten Zerlegung
\mavergleichskettedisp
{\vergleichskette
{87
}
{ =} {(2 + \sqrt{7} )(-2 + \sqrt{7})(6- \sqrt{7})(6+ \sqrt{7})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
kommen somit beide obigen Zerlegungen vor, die sich daher als keine Primfaktorzerlegung erweisen. Das ist also wie bei
\mavergleichskettedisp
{\vergleichskette
{210
}
{ =} { 6 \cdot 35
}
{ =} { 10 \cdot 21
}
{ =} { 2 \cdot 3 \cdot 5 \cdot 7
}
{ } {
}
}
{}{}{,}
allerdings mit dem Unterschied, dass es in $R$ zunächst einmal keine systematische Methode gibt, Zahlen auf die Primeigenschaft zu überprüfen.
Eine wichtige Fragestellung der algebraischen Zahlentheorie ist, wie sich Teilereigenschaften und die Primfaktorzerlegungen von $\Z$ ändern, wenn man zusätzliche Elemente hinzunimmt. Typischerweise werden dabei die Primfaktorzerlegungen zerstört, es entstehen aber neue Faktorzerlegungen \zusatzklammer {nicht unbedingt Primfaktorzerlegungen} {} {,} die selbst wieder zahlentheoretischen Sachverhalte ausdrücken und sichtbar machen.
\zwischenueberschrift{Summe von Quadraten}
Betrachten wir die Frage, welche natürlichen Zahlen die Summe von zwei Quadratzahlen sind. Anders formuliert, für welche $n$ hat die Gleichung
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {x^2+y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Lösungen mit ganzen Zahlen $x,y$? Es ist
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} { 0+0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{1
}
{ =} {1+0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{2
}
{ =} {1+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mathdisp {3} { }
\mavergleichskettedisp
{\vergleichskette
{4
}
{ =} {4+0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{5
}
{ =} {4+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mathdisp {6} { }
\mathdisp {7} { }
\mavergleichskettedisp
{\vergleichskette
{8
}
{ =} {4+4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{9
}
{ =} {9+0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{10
}
{ =} {9+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mathdisp {11} { }
\mathdisp {12} { }
\mavergleichskettedisp
{\vergleichskette
{13
}
{ =} {9+4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mathdisp {14} { }
\mathdisp {15} { }
\mavergleichskettedisp
{\vergleichskette
{16
}
{ =} {16+0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{17
}
{ =} {16+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{18
}
{ =} {9+9
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mathdisp {19} { }
\mavergleichskettedisp
{\vergleichskette
{20
}
{ =} {16+4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mathdisp {21} { }
Erkennt man hier schon eine Struktur? Es ist in der Zahlentheorie üblich, solche Fragen erst einmal für
\definitionsverweis {Primzahlen}{}{}
zu verstehen, und die Ergebnisse dann auf zusammengesetzte Zahlen zu übertragen. Von den Primzahlen $\leq 20$ sind
\mathl{3,7,11,19}{} keine Summe von zwei Quadraten, während
\mathl{2, 5,13}{} und $17$ es sind. Es fällt auf, dass die erste Reihe alle den Rest $3$ bei Division durch $4$ haben, und die zweite Reihe (von $2$ abgesehen) den Rest $1$. Hier zeigt sich, dass es sinnvoll ist, zu anderen, hier endlichen, Ringen überzugehen, um Fragen über natürliche oder ganze Zahlen zu beantworten. Die Restabbildung zur \stichwort {Division mit Rest} {} durch $4$ ist ein
\definitionsverweis {Ringhomomorphismus}{}{}
\maabbeledisp {} {\Z} { \Z/(4) = \{0,1,2,3\}
} {n} { n \mod 4
} {.}
Dabei ist in $\Z/(4)$ die Addition und die Multiplikation modulo $4$ erklärt, also etwa
\mavergleichskette
{\vergleichskette
{3 \cdot 3
}
{ = }{9
}
{ = }{1
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Abbildung respektiert also die Addition und die Multiplikation. Wenn nun die Gleichung
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {x^2+y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
in $\Z$ eine Lösung besitzt, so liefert das sofort auch eine Lösung modulo $4$, nämlich
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {x^2+y^2 \mod 4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bzw.
\mavergleichskettedisp
{\vergleichskette
{ (n \mod 4 )
}
{ =} {(x \mod 4)^2+ (y \mod 4)^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
oder
\mavergleichskettedisp
{\vergleichskette
{ \bar{n}
}
{ =} { \bar{x} ^2+ \bar{y}^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nun sind aber in
\mathl{\Z/(4)}{} die Quadrate einfach
\mavergleichskettedisp
{\vergleichskette
{0^2
}
{ =} {2^2
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{1^2
}
{ =} {3^2
}
{ =} {1
}
{ } {
}
{ } {
}
}
{}{}{}
und damit sind $0,1$ und $2$ Summen von zwei Quadraten in
\mathl{\Z/(4)}{,} aber nicht $3$. Es bestätigt sich also bereits die obige Beobachtung, dass natürliche Zahlen (nicht nur Primzahlen), die den Rest $3$ modulo $4$ haben, nicht die Summe von zwei Quadraten sein können.
Für Primzahlen mit dem Rest $1$ modulo $4$ liefert die Betrachtung im Restklassenring
\mathl{\Z/(4)}{} natürlich nur, dass eine notwendige Bedingung erfüllt ist, woraus sich natürlich noch lange nicht auf eine Darstellung als Summe von zwei Quadraten schließen lässt. Die Zahl $21$ zeigt auch, dass eine Zahl, die modulo $4$ den Rest $1$ besitzt, nicht notwendig selbst die Summe von zwei Quadraten ist.
Eine wichtige Umformulierung der Frage erhält man, wenn man wie oben zu einer quadratischen Erweiterung übergeht, nämlich zum \stichwort {Ring der Gaußschen Zahlen} {}
\mavergleichskettedisp
{\vergleichskette
{ \Z[ { \mathrm i} ]
}
{ =} {\Z \oplus \Z { \mathrm i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {einem Unterring der komplexen Zahlen} {} {.}
Dort können wir
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {x^2+y^2
}
{ =} {(x+ { \mathrm i} y)(x- { \mathrm i} y)
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben, wodurch die Frage, ob eine Zahl Summe von zwei Quadraten ist, mit der Frage der multiplikativen Zerlegung von natürlichen Zahlen in diesem neuen Ring in Zusammenhang gebracht wird. Insbesondere ist eine Primzahl, die Summe von zwei Quadraten ist, im Ring der Gaußschen Zahlen nicht mehr prim
\zusatzklammer {die hingeschriebenen Faktoren können keine Einheiten sein} {} {.}
Die Frage nach den Summen von zwei Quadraten werden wir abschliesend in Satz 9.11 beantworten.
\zwischenueberschrift{Pellsche Gleichung}
Betrachten wir eine Zahlbereichserweiterung
\mavergleichskettedisp
{\vergleichskette
{\Z
}
{ =} { \Z[\sqrt{D}]
}
{ =} { \Z \oplus \Z \sqrt{D}
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer ganzen Zahl $D$, die beiden Fälle
\mavergleichskette
{\vergleichskette
{D
}
{ = }{7
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{D
}
{ = }{-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
haben wir schon etwas genauer in den Blick genommen
\zusatzklammer {es sei $D$
\definitionsverweis {quadratfrei}{}{,}
enthalte also keinen Primfaktor mehrfach} {} {.}
Auch der Frage, wie in diesen Ringen die Einheiten aussehen, sind wir schon begegnet. Betrachten wir allgemein die Bedingung, ob es zu
\mathl{a+b\sqrt{D}}{} ein Element
\mathl{c+e\sqrt{D}}{} mit
\mavergleichskettedisp
{\vergleichskette
{ { \left( a+b\sqrt{D} \right) } { \left( c+e\sqrt{D} \right) }
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn
\mathkor {} {a} {und} {b} {}
nicht teilerfremd sind, so kann es keine Lösung geben, seien also
\mathkor {} {a} {und} {b} {}
teilerfremd. Dann folgt aus
\mavergleichskettedisp
{\vergleichskette
{bc +ae
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
dass bis auf einen gemeinsamen Vorfaktor
\mavergleichskettedisp
{\vergleichskette
{c
}
{ =} {fa
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{e
}
{ =} { -fb
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt, und der Vorfaktor muss
\mathkor {} {1} {oder} {-1} {}
sein. Die Frage nach den Einheiten ist also im Wesentlichen die Frage, ob
\mavergleichskettedisp
{\vergleichskette
{ { \left( a+b\sqrt{D} \right) } { \left( a-b\sqrt{D} \right) }
}
{ =} { a^2-b^2D
}
{ =} { \pm 1
}
{ } {
}
{ } {
}
}
{}{}{.}
Es geht also darum, welche ganzzahligen Lösungen bei gegebenem $D$ die Gleichung
\mavergleichskettedisp
{\vergleichskette
{x^2 - y^2D
}
{ =} { \pm 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
besitzt. Man spricht von der \stichwort {Pellschen Gleichung} {,} deren Lösungsverhalten wesentlich von $D$ positiv oder negativ abhängt.
\zwischenueberschrift{Diophantische Gleichungen}
Eine besondere Herausforderung innerhalb der Zahlentheorie sind diophantische Gleichungen.
\inputdefinition
{}
{
Zu einem Polynom
\mavergleichskette
{\vergleichskette
{F
}
{ \in }{ \Z[x_1 , \ldots , x_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\mavergleichskettedisp
{\vergleichskette
{F(x_1 , \ldots , x_n)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine
\definitionswort {diophantische Gleichung}{.}
Unter einer Lösung einer diophantischen Gleichung versteht man ein ganzzahliges Zahlentupel
\mavergleichskette
{\vergleichskette
{(x_1 , \ldots , x_n)
}
{ \in }{ \Z^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das in $F$ eingesetzt $0$ ergibt.
}
Die Pellsche Gleichung haben wir schon erwähnt, bei linearen diophantischen Gleichungen ist das Lösungsverhalten einfach zu verstehen, die Gleichung
\mavergleichskettedisp
{\vergleichskette
{x^2+y^2
}
{ =} { z^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist die Frage nach \stichwort {Pythagoreischen Tripeln} {,} was ebenfalls gut verstanden ist. Eine wesentliche Frage bei diophantischen Gleichungen ist, ob es überhaupt, eventuell abgesehen von trivialen Lösungen, ganzzahlige Lösungen gibt. Ein weiteres wichtiges Problem ist, ob es endlich viele oder unendlich viele ganzzahlige Lösungen gibt. Ein großes zahlentheoretisches Problem, das erst 1995 gelöst wurde, ist das Problem von Fermat, ob die Gleichung
\mavergleichskettedisp
{\vergleichskette
{x^n+y^n
}
{ =} { z^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nichttriviale ganzzahlige Lösungen
\mathl{(x,y,z)}{} besitzt, in denen alle Einträge nicht $0$ sind.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Andrew_wiles1-3.jpg} }
\end{center}
\bildtext {Andrew Wiles (*1953)} }
\bildlizenz { Andrew wiles1-3.jpg } {C. J. Mozzochi, Princeton N.J} {Nyks} {Commons} {freie Verwendung, copyright C. J. Mozzochi, Princeton N.J.} {http://www.mozzochi.org/deligne60/Deligne1/_DSC0024.jpg}
{Zahlentheorie/Großer Fermat/Satz von Wiles/Fakt}
{Satz}
{}
{
Die diophantische Gleichung
\mavergleichskettedisp
{\vergleichskette
{ x^n+ y^n
}
{ =} { z^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
besitzt für kein
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine ganzzahlige nichttriviale Lösung.
}
{
Der Beweis für diese Aussage geht bei Weitem über den Inhalt einer Vorlesung über elementare oder algebraische Zahlentheorie hinaus.
Der Beweis für diesen Satz verwendet die reichhaltige Theorie der elliptischen Kurven. Vor diesem Beweis wurden die besten Resultate zu diesem Problem mit Methoden der algebraischen Zahlentheorie erzielt, und zwar konnten sehr viele Exponenten erledigt werden. Die Grundidee geht folgendermaßen: Die Fermat-Gleichung erhält einen neuartigen Charakter, wenn man sie in dem Ring betrachten, der aus $\Z$ entsteht, wenn man eine $n$-te Einheitswurzel $\zeta$ hinzunimmt. Das ist eine Zahl, deren $n$-te Potenz $1$ ist. Solche Einheitswurzeln gibt es innerhalb der komplexen Zahlen, beispielsweise ist
\mathl{e^{2 \pi { \mathrm i}/n }}{} eine primitive $n$-te Einheitswurzel. Wichtig sind hier aber die algebraischen Eigenschaften. Jedenfalls kann man die etwas umgeschriebene Fermatgleichung
\mavergleichskettedisp
{\vergleichskette
{ x^n-z^n
}
{ =} { - y^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
unter Verwendung einer primitiven Einheitswurzel als
\mavergleichskettedisp
{\vergleichskette
{x^n-z^n
}
{ =} { (x-z)(x- \zeta z) \cdots (x- \zeta^{n-1} z)
}
{ =} { -y^n
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben. Somit hat man zwei ziemlich verschiedene Faktorzerlegungen einer Zahl. Wenn man jetzt noch was weiß, dass in diesem neuen Ring die eindeutige Primfaktorzerlegung gilt, so kann man
\zusatzklammer {das sind dann immer noch mehrere Schritte} {} {}
daraus einen Widerspruch ableiten. An dieser STelle gibt es eine schlechte und eine gute Nachricht: Diese Ringe besitzen häufig nicht die eindeutige Primfaktorzerlegung, das angedeutete Argument funktioniert aber auch noch dann, wenn man weiß, dass die sogenannte Klassengruppe des Ringes eine gewisse Eigenschaft erfüllt, die deutlich schwächer als die eindeutige Primfaktorzerlegung ist.
Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die imaginäre Einheit ${ \mathrm i}$ eine vierte primitive Einheitswurzel
\zusatzklammer {wegen
\mavergleichskettek
{\vergleichskettek
{ { \mathrm i}^4
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {,}
in diesem Fall gilt
\mavergleichskettedisp
{\vergleichskette
{y^4-z^4
}
{ =} { (x-z)(x- { \mathrm i} z) (x+ z)(x + { \mathrm i} z)
}
{ =} { -y^4
}
{ } {
}
{ } {
}
}
{}{}{}
und man kann die Situation im Ring der Gaußschen Zahlen $\Z[{ \mathrm i}]$ analysieren.
\inputbeispiel{}
{
Als Kuriosität erwähnen wir, dass die von Euler vermutete teilweise Verallgemeinerung des Fermatschen Problems, dass die Gleichungen
\mavergleichskettedisp
{\vergleichskette
{x^4+y^4+z^4
}
{ =} {u^4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{x^5+y^5+z^5 +u^5
}
{ =} {v^5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
usw. keine ganzzahlige Lösung besitzen, also dass zwischen $n$ $n$-ten Potenzen keine additive Beziehung bestehen kann, nicht gilt. Die einfachsten Gegenbeispiele sind
\mavergleichskettedisp
{\vergleichskette
{95 800^4 + 217 519^4 + 414 560^4
}
{ =} { 422 481^4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{27^5 + 84^5 + 110^5 + 133^5
}
{ =} {144^5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}