Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 1/latex
\setcounter{section}{1}
In der Zahlentheorie wollen wir Eigenschaften der ganzen Zahlen verstehen. Dazu ist es sinnvoll, nicht nur $\Z$ selbst zu betrachten, sondern auch davon abgeleitete Objekte, wie Restklassenringe \zusatzklammer {Modulare Arithmetik} {} {,} Ringe der ganzen Zahlen in Körpererweiterungen von $\Q$, wie etwa den Ring der Gaussschen Zahlen, Lokalisierungen und Komplettierungen wie die $p$-adischen Zahlen. Die grundlegende Gemeinsamkeit dieser Objekte ist, dass es sich um kommutative Ringe handelt. Deshalb werden wir von Anfang an die benötigten Begriffe auf der Ringebene entwickeln.
\inputbeispiel{}
{
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
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Erkennt man hier schon eine Struktur? Es ist in der Zahlentheorie üblich, solche Fragen erstmal 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 bereits, dass es sinnvoll ist, zu anderen 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. Wir werden aber im Verlauf der Vorlesung sehen, dass es für Primzahlen mit dieser Restbedingung gilt. Dafür werden wir in einem weiteren Ring arbeiten, nämlich im \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.
}
Die Frage nach den Summen von zwei Quadraten werden wir abschließend in Satz 9.10 beantworten.
Wir erinnern kurz an die Definition eines Ringes und eines kommutativen Ringes.
\inputdefinition
{}
{
Ein \definitionswort {Ring}{} $R$ ist eine Menge mit zwei
\definitionsverweis {Verknüpfungen}{}{}
\mathkor {} {+} {und} {\cdot} {}
und mit zwei ausgezeichneten Elementen
\mathkor {} {0} {und} {1} {}
derart, dass folgende Bedingungen erfüllt sind:
\aufzaehlungdrei{
\mathl{(R, +,0)}{} ist eine
\definitionsverweis {abelsche Gruppe}{}{.}
}{
\mathl{(R, \cdot,1)}{} ist ein
\definitionsverweis {Monoid}{}{.}
}{Es gelten die
\definitionswortenp{Distributivgesetze}{,} also
\mathkor {} {a \cdot (b+c) = ( a \cdot b) + (a \cdot c)} {und} {(b+c) \cdot a = ( b \cdot a) + (c \cdot a)} {}
für alle
\mavergleichskette
{\vergleichskette
{ a,b,c
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
\inputdefinition
{}
{
Ein \definitionsverweis {Ring}{}{} $R$ heißt \definitionswort {kommutativ}{,} wenn die Multiplikation kommutativ ist.
}
Das wichtigste Beispiel für uns ist der (kommutative) Ring der ganzen Zahlen $\Z$. Wir werden aber noch viele weitere Ringe kennenlernen, die zahlentheoretisch relevant sind. Wir verwenden wie üblich die Konvention, dass die Multiplikation stärker bindet als die Addition und schreiben in der Regel $ab$ anstatt
\mathl{a \cdot b}{.}
Oben hatten wir im Zusammenhang mit der Abbildung
\maabb {} {\Z} { \Z/(4)
} {}
den Begriff Ringhomomorphismus erwähnt, den wir hier kurz anführen.
\inputdefinition
{}
{
Es seien
\mathkor {} {R} {und} {S} {}
\definitionsverweis {Ringe}{}{.}
Eine
\definitionsverweis {Abbildung}{}{}
\maabbdisp {\varphi} {R} {S
} {}
heißt \definitionswort {Ringhomomorphismus}{,} wenn folgende Eigenschaften gelten:
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{ \varphi(a+b)
}
{ = }{ \varphi(a) + \varphi(b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}{
\mavergleichskette
{\vergleichskette
{\varphi(1)
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{
\mavergleichskette
{\vergleichskette
{ \varphi(a \cdot b)
}
{ = }{ \varphi(a) \cdot \varphi(b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
\zwischenueberschrift{Teilbarkeitsbegriffe}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{,}
und $a,b$ Elemente in $R$. Man sagt, dass $a$ das Element $b$ \definitionswort {teilt}{}
\zusatzklammer {oder dass $b$ von $a$ geteilt wird, oder dass $b$ ein \definitionswort {Vielfaches}{} von $a$ ist} {} {,}
wenn es ein
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ c \cdot a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Man schreibt dafür auch
\mathl{a {{|}} b}{.}
}
{Kommutative Ringtheorie/Teilbarkeitslehre/Verschiedene Eigenschaften/Fakt}
{Lemma}
{}
{
In einem
\definitionsverweis {kommutativen Ring}{}{} $R$ gelten folgende Teilbarkeitsbeziehungen.
\aufzaehlungsechs{Für jedes Element $a$ gilt
\mathl{1 \, {{|}}\, a}{} und
\mathl{a \,{{|}}\, a}{.}
}{Für jedes Element $a$ gilt
\mathl{a \,{{|}}\, 0}{.}
}{Gilt
\mathl{a \,{{|}}\, b}{} und
\mathl{b \,{{|}}\, c}{,} so gilt auch
\mathl{a \,{{|}}\, c}{.}
}{Gilt
\mathl{a \,{{|}}\, b}{} und
\mathl{c \,{{|}}\, d}{,} so gilt auch
\mathl{ac \,{{|}}\, bd}{.}
}{Gilt
\mathl{a \,{{|}}\, b}{,} so gilt auch
\mathl{ac \,{{|}}\, bc}{} für jedes
\mathl{c \in R}{.}
}{Gilt
\mathl{a \,{{|}}\, b}{} und
\mathl{a \,{{|}}\, c}{,} so gilt auch
\mathl{a \,{{|}}\, rb+sc}{} für beliebige Elemente
\mavergleichskette
{\vergleichskette
{ r,s
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
{ Siehe Aufgabe 1.21. }
\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.
}
\inputbemerkung
{}
{
Eine Einheit ist also ein Element, das die $1$ teilt. Das Element $v$ mit der Eigenschaft
\mathl{uv=1}{} ist dabei eindeutig bestimmt. Hat nämlich auch $w$ die Eigenschaft
\mathl{uw=1}{,} so ist
\mavergleichskettedisp
{\vergleichskette
{v
}
{ =} { v 1
}
{ =} { v (u w)
}
{ =} {(vu)w
}
{ =} {1w
}
}
{
\vergleichskettefortsetzung
{ =} {w
}
{ } {}
{ } {}
{ } {}
}{}{.}
Das im Falle der Existenz eindeutig bestimmte $v$ mit
\mavergleichskette
{\vergleichskette
{ uv
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man das
\zusatzklammer {multiplikativ} {} {}
\definitionswortenp{Inverse}{} zu $u$ und bezeichnet es mit $u^{-1}$. Die Menge aller Einheiten in einem kommutativen Ring bilden eine kommutative Gruppe
\zusatzklammer {bezüglich der Multiplikation mit $1$ als neutralem Element} {} {,}
die man die
\definitionswortenp{Einheitengruppe}{} von $R$ nennt. Sie wird mit $R^{\times}$ bezeichnet.
}
In den Ringen, die uns bisher begegnet sind, sind die Einheitengruppen einfach zu bestimmen. Es ist
\mavergleichskette
{\vergleichskette
{ \Z^{\times}
}
{ = }{\{1,-1\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ { \left( \Z/(4) \right) }^{\times}
}
{ = }{\{1,3\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Im Ring der Gaußschen Zahlen gibt es vier Einheiten:
\mathl{1,-1, { \mathrm i},- { \mathrm i}}{,} siehe die nächste Vorlesung.
\inputdefinition
{}
{
Zwei Elemente $a$ und $b$ eines
\definitionsverweis {kommutativen Ringes}{}{}
$R$ heißen \definitionswort {assoziiert}{,} wenn es eine
\definitionsverweis {Einheit}{}{}
\mavergleichskette
{\vergleichskette
{u
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ub
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}
\inputbemerkung
{}
{
Die Assoziiertheit ist eine Äquivalenzrelation. Siehe Aufgabe 1.7.
}
Das folgende Lemma besagt, dass es für die Teilbarkeitsrelation nicht auf Einheiten und Assoziiertheit ankommt.
{Kommutative Ringtheorie/Teilen und Einheiten/Verschiedene Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {In einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ gelten folgende Teilbarkeitsbeziehungen.}
\faktfolgerung {\aufzaehlungvier{$-1$ ist eine Einheit, die zu sich selbst invers ist.
}{Jede Einheit teilt jedes Element.
}{Sind $a$ und $b$ assoziiert, so gilt
\mathl{a | c}{} genau dann, wenn $b | c$.
}{Teilt $a$ eine Einheit, so ist $a$ selbst eine Einheit.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 1.22. }
Für Teilbarkeitsuntersuchungen sind die beiden folgenden Begriffe fundamental. Unter bestimmten Voraussetzungen, etwa wenn ein Hauptidealbereich vorliegt, sind sie äquivalent.
\inputdefinition
{}
{
Eine
\definitionsverweis {Nichteinheit}{}{}
$p$ in einem
\definitionsverweis {kommutativen Ring}{}{}
heißt \definitionswort {irreduzibel}{}
\zusatzklammer {oder \definitionswort {unzerlegbar}{}} {} {,}
wenn eine Faktorisierung
\mavergleichskette
{\vergleichskette
{p
}
{ = }{ ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nur dann möglich ist, wenn einer der Faktoren eine Einheit ist.
}
\inputdefinition
{}
{
Eine
\definitionsverweis {Nichteinheit}{}{}
\mavergleichskette
{\vergleichskette
{p
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ heißt \definitionswort {prim}{}
\zusatzklammer {oder ein \definitionswort {Primelement}{}} {} {,}
wenn folgendes gilt: Teilt $p$ ein Produkt
\mathbed {ab} {mit}
{a,b \in R} {}
{} {} {} {,}
so teilt $p$ einen der Faktoren.
}
Eine Einheit ist also nach Definition nie ein Primelement. Dies ist eine Verallgemeinerung des Standpunktes, dass $1$ keine Primzahl ist. Dabei ist die $1$ nicht deshalb keine Primzahl, weil sie \anfuehrung{zu schlecht}{} ist, sondern weil sie \anfuehrung{zu gut}{} ist.
\zwischenueberschrift{Integritätsbereiche}
Vor dem nächsten Lemma erinnern wir an den Begriff des Integritätsbereiches. Häufig wird die Teilbarkeitstheorie nur für Integritätsbereiche entwickelt.
\inputdefinition
{}
{
Ein \definitionsverweis {kommutativer}{}{,} \definitionsverweis {nullteilerfreier}{}{,} von $0$ verschiedener \definitionsverweis {Ring}{}{} heißt \definitionswort {Integritätsbereich}{.}
}
Ein \stichwort {Nullteiler} {} ist ein Element $x$ mit der Eigenschaft, dass es ein von $0$ verschiedenes Element $y$ mit
\mavergleichskette
{\vergleichskette
{xy
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Die Null ist in einem vom
\definitionsverweis {Nullring}{}{}
verschieden Ring stets ein Nullteiler. \stichwort {Nullteilerfrei} {} bedeutet, dass die $0$ der einzige Nullteiler ist bzw. dass alle von $0$ verschiedenen Elemente keine Nullteiler oder \stichwort {Nichtnullteiler} {} sind. Nullteilerfrei kann man auch so formulieren, dass aus einer Gleichung
\mavergleichskette
{\vergleichskette
{xy
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt, dass
\mavergleichskette
{\vergleichskette
{x
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{y
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
\inputdefinition
{}
{
Ein
\definitionsverweis {kommutativer Ring}{}{}
$R$ heißt \definitionswort {Körper}{,} wenn
\mavergleichskette
{\vergleichskette
{R
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und wenn jedes von $0$ verschiedene Element ein multiplikatives Inverses besitzt.
}
In einem Körper sind also alle von $0$ verschiedenen Elemente Einheiten \zusatzklammer {und insbesondere Nichtnullteiler} {} {.} Körper sind also insbesondere Integritätsbereiche. In einem Körper ist die Teilbarkeitsbeziehung uninteressant, da jedes von $0$ verschiedene Element jedes andere Element teilt.
\inputfaktbeweis
{Teilbarkeitstheorie/Bereich/Prim ist irreduzibel/Fakt}
{Lemma}
{}
{
In einem \definitionsverweis {Integritätsbereich}{}{} ist ein \definitionsverweis {Primelement}{}{} stets \definitionsverweis {irreduzibel}{}{.}
}
{
Angenommen, wir haben eine Zerlegung
\mavergleichskette
{\vergleichskette
{p
}
{ = }{ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen der Primeigenschaft teilt $p$ einen Faktor, sagen wir
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ps
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskette
{\vergleichskette
{p
}
{ = }{psb
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bzw.
\mavergleichskette
{\vergleichskette
{ p(1-sb)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da $p$ kein Nullteiler ist, folgt
\mavergleichskette
{\vergleichskette
{1
}
{ = }{sb
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
sodass also $b$ eine
\definitionsverweis {Einheit}{}{}
ist.
| Kurs:Zahlentheorie (Osnabrück 2016-2017) | >> |
|---|