Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 2/latex
\setcounter{section}{2}
\zwischenueberschrift{Ideale}
Alle Vielfachen der $5$, also
\mathl{\Z 5}{,} bilden ein Ideal im Sinne der folgenden Definition.
\inputdefinition
{}
{
Eine Teilmenge ${\mathfrak a}$ eines
\definitionsverweis {kommutativen Ringes}{}{}
$R$ heißt \definitionswort {Ideal}{,} wenn die folgenden Bedingungen erfüllt sind:
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für alle
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{a+b
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für alle
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{ra
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
\inputdefinition
{}
{
Zu einer Familie von Elementen
\mathbed {a_j \in R} {}
{j \in J} {}
{} {} {} {,}
in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ bezeichnet
\mathl{(a_j: j \in J)}{} das von den $a_j$ \definitionswort {erzeugte Ideal}{.} Es besteht aus allen
\zusatzklammer {endlichen} {} {}
\definitionswort {Linearkombinationen}{}
\mathdisp {\sum_{j \in J_0} r_j a_j} { , }
wobei
\mavergleichskette
{\vergleichskette
{J_0
}
{ \subseteq }{J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine endliche Teilmenge und
\mathl{r_j \in R}{} ist.
}
\inputdefinition
{}
{
Ein
\definitionsverweis {Ideal}{}{}
${\mathfrak a}$ in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ der Form
\mavergleichskettedisp
{\vergleichskette
{{\mathfrak a}
}
{ =} {(a)
}
{ =} {Ra
}
{ =} {\{ra:\, r \in R\}
}
{ } {}
}
{}{}{}
heißt \definitionswort {Hauptideal}{.}
}
Mit dem Idealbegriff lassen sich Teilbarkeitsbeziehungen ausdrücken.
{Kommutative Ringtheorie/Teilbarkeit/Hauptidealcharakterisierung/Fakt}
{Lemma}
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und
\mathl{a,b \in R}{.} Dann gelten folgende Aussagen.
\aufzaehlungdrei{Das Element $a$ ist ein Teiler von $b$ (also
\mathl{a {{|}} b}{),} genau dann, wenn
\mathl{(b) \subseteq (a)}{.}
}{$a$ ist eine Einheit genau dann, wenn
\mathl{(a)=R=(1)}{.}
}{Ist $R$ ein Integritätsbereich, so gilt
\mathl{(a) = (b)}{} genau dann, wenn $a$ und $b$ assoziiert sind.}
{ Siehe Aufgabe 2.20. }
\inputdefinition
{}
{
Ein \definitionsverweis {kommutativer Ring}{}{,} in dem jedes \definitionsverweis {Ideal}{}{} ein \definitionsverweis {Hauptideal}{}{} ist, heißt \definitionswort {Hauptidealring}{.} Ein \definitionsverweis {integrer}{}{} Hauptidealring heißt \definitionswort {Hauptidealbereich}{.}
}
\zwischenueberschrift{Größter gemeinsamer Teiler}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und
\mathl{a_1 , \ldots , a_k \in R}{.} Dann heißt ein Element
\mathl{t \in R}{} \definitionswort {gemeinsamer Teiler}{} der
\mathl{a_1 , \ldots , a_k}{,} wenn $t$ jedes $a_i$ teilt
\zusatzklammer {$i=1 , \ldots , k$} {} {.}
Ein Element
\mathl{g \in R}{} heißt \definitionswort {größter gemeinsamer Teiler}{} der
\mathl{a_1 , \ldots , a_k}{,} wenn $g$ ein gemeinsamer Teiler ist und wenn jeder gemeinsame Teiler $t$ dieses $g$ teilt.
Die Elemente
\mathl{a_1 , \ldots , a_k}{} heißen \definitionswort {teilerfremd}{}, wenn $1$ ihr größter gemeinsamer Teiler ist.
}
\inputbemerkung
{}
{
Eine Einheit ist immer ein gemeinsamer Teiler für jede Auswahl von Elementen. Ein größter gemeinsamer Teiler muss im Allgemeinen nicht existieren. Ist $t$ ein gemeinsamer Teiler der
\mathl{a_1 , \ldots , a_k}{} und $u$ eine Einheit, so ist auch $ut$ ein gemeinsamer Teiler der
\mathl{a_1, \ldots ,a_k}{.} Die Elemente
\mathl{a_1 , \ldots , a_k}{} sind \stichwort {teilerfremd} {} genau dann, wenn jeder gemeinsame Teiler davon eine Einheit ist
\zusatzklammer {es gibt noch andere Definitionen von teilerfremd, die nicht immer inhaltlich mit dieser übereinstimmen} {} {.}
}
\inputfaktbeweis
{Teilbarkeitstheorie/Gemeinsame Teiler/Idealcharakterisierung/Fakt}
{Lemma}
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{,}
\mathl{a_1 , \ldots , a_k \in R}{} und
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ = }{(a_1 , \ldots , a_k )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das davon
\definitionsverweis {erzeugte Ideal}{}{.}
Ein Element
\mathl{t \in R}{} ist ein
\definitionsverweis {gemeinsamer Teiler}{}{}
von
\mathl{a_1 , \ldots , a_k \in R}{} genau dann, wenn
\mathl{{\mathfrak a} \subseteq (t)}{} ist, und $t$ ist ein größter gemeinsamer Teiler genau dann, wenn für jedes
\mathl{s \in R}{} mit
\mathl{{\mathfrak a} \subseteq (s)}{} folgt, dass
\mathl{(t) \subseteq (s)}{} ist. Ein größter gemeinsamer Teiler erzeugt also ein minimales Hauptoberideal von ${\mathfrak a}$.
}
{
Aus
\mathl{{\mathfrak a} =(a_1, \ldots, a_k ) \subseteq (t)}{} folgt sofort
\mathl{(a_i) \subseteq (t)}{} für
\mathl{i=1 , \ldots , k}{,} was gerade bedeutet, dass $t$ diese Elemente teilt, also ein gemeinsamer Teiler ist. Es sei umgekehrt $t$ ein gemeinsamer Teiler. Dann ist
\mathl{a_i \in (t)}{} und da
\mathl{{\mathfrak a} =(a_1, \ldots, a_k )}{} das kleinste Ideal ist, das alle $a_i$ enthält, muss
\mathl{{\mathfrak a} \subseteq (t)}{} gelten. Der zweite Teil folgt sofort aus dem ersten.
Bevor wir mit der Teilbarkeitstheorie für Hauptidealbereiche fortfahren, wollen wir zunächst zeigen, dass die ganzen Zahlen einen Hauptidealbereich bilden. Dies geschieht über den Begriff des Euklidischen Bereiches, der an die Division mit Rest anknüpft. Im Ring der ganzen Zahlen gilt die Division mit Rest, ebenso in einem Polynomring in einer Variablen über einem Körper. Ihre Bedeutung liegt grob gesprochen darin, dass sie ein Maß dafür liefert, wie weit eine Zahl davon entfernt ist, eine andere zu teilen.
\zwischenueberschrift{Division mit Rest}
Für ganze Zahlen
\mathl{a, b}{,}
\mathl{b \neq 0}{,} gibt es
\zusatzklammer {eindeutig bestimmte} {} {}
ganze Zahlen
\mathl{q , r}{} mit
\mathdisp {a = qb+r \text{ und } 0 \leq r < \betrag { b }} { . }
Dabei bezeichnet
\mathl{{{|}} \, \,{{|}}}{} den Betrag einer ganzen Zahl. Das Symbol $q$ soll dabei an Quotient erinnern und $r$ an Rest. Teilt man die Gleichung durch $b$, so erhält man in $\Q$ die Beziehung
\mathdisp {\frac{a}{b} = q + \frac{r}{b} \text{ mit } q \in {\Z} \text{ und }0 \leq \frac{r}{b} < 1} { . }
\inputdefinition
{}
{
Ein \definitionswort {euklidischer Bereich}{} \zusatzklammer {oder \definitionswort {euklidischer Ring}{}} {} {} ist ein \definitionsverweis {Integritätsbereich}{}{} $R$, für den eine Abbildung \maabb {\delta} { R \setminus \{0\} } { \N } {} existiert, die die folgende Eigenschaft erfüllt:
Für Elemente
\mathl{a , b}{} mit
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es
\mavergleichskette
{\vergleichskette
{q,r
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathdisp {a = qb+r \text{ und } r=0 \text{ oder } \delta (r)< \delta (b)} { . }
}
Die in der Definition auftauchende Abbildung $\delta$ nennt man auch \stichwort {euklidische Funktion} {.} Die ganzen Zahlen $\Z$ bilden also einen euklidischen Ring mit dem Betrag als euklidischer Funktion.
\inputbeispiel{}
{
Für einen Körper $K$ ist der Polynomring
\mathl{K[X]}{} in einer Variablen ein euklidischer Bereich, wobei die euklidische Funktion $\delta$ durch die Gradfunktion gegeben ist. Viele Parallelen zwischen dem Polynomring
\mathl{K[X]}{} und $\mathbb Z$ beruhen auf dieser Eigenschaft. Die Gradfunktion hat die Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ \delta(fg)
}
{ =} { \delta(f) + \delta(g)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbeispiel{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Gaussian_integer_lattice.svg} }
\end{center}
\bildtext {Gaußsche Zahlen als Gitterpunkte in der komplexen Zahlenebene} }
\bildlizenz { Gaussian integer lattice.svg } {Gunther} {Gunther} {Commons} {CC-by-sa 3.0} {}
Eine Gaußsche Zahl $z$ ist durch
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{ a + b { \mathrm i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben, wobei $a$ und $b$ ganze Zahlen sind. Die Menge dieser Zahlen wird mit
\mathl{\Z[ { \mathrm i} ]}{} bezeichnet. Die Gaußschen Zahlen sind die Gitterpunkte, d.h. die Punkte mit ganzzahligen Koordinaten, in der komplexen Ebene. Sie bilden mit komponentenweiser Addition und mit der induzierten komplexen Multiplikation einen kommutativen Ring.
Eine euklidische Funktion ist durch die Norm $N$ gegeben, die durch
\mavergleichskette
{\vergleichskette
{ N (a+b{ \mathrm i} )
}
{ \defeq }{ a^2 +b^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert ist. Man kann auch
\mavergleichskette
{\vergleichskette
{ N(z)
}
{ = }{z \cdot \overline{ z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben, wobei $\overline{ z }$ die
\definitionsverweis {komplexe Konjugation}{}{}
bezeichnet. Die Norm ist das Quadrat des komplexen Absolutbetrages und wie dieser multiplikativ, also
\mavergleichskette
{\vergleichskette
{ N (zw)
}
{ = }{ N(z)N(w)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Mit der Norm lassen sich auch leicht die Einheiten von
\mathl{\Z [{ \mathrm i}]}{} bestimmen: ist
\mavergleichskette
{\vergleichskette
{ wz
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so ist auch
\mavergleichskette
{\vergleichskette
{ N (zw)
}
{ = }{ N(z)N(w)
}
{ = }{ 1
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{ N(z)
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit sind genau die Elemente
\mathl{\{1,-1,{ \mathrm i},-{ \mathrm i} \}}{} diejenigen Gaußschen Zahlen, die Einheiten sind.
}
\inputfaktbeweis
{Gaußsche Zahlen/Norm ist euklidische Funktion/Fakt}
{Lemma}
{}
{
Der Ring der Gaußschen Zahlen ist mit der Normfunktion ein \definitionsverweis {euklidischer Bereich}{}{.}
}
{
Es seien
\mathl{w,z \in \Z[{ \mathrm i}]}{,}
\mathl{z \neq 0}{.} Wir betrachten den Quotienten
\mavergleichskettedisp
{\vergleichskette
{ \frac{w}{z}
}
{ =} { \frac{w \bar{z} }{z \bar{z} }
}
{ =} { q_1 + q_2 { \mathrm i}
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ist eine komplexe Zahl mit rationalen Koeffizienten, also
\mathl{q_1, q_2 \in \Q}{.} Es gibt ganze Zahlen
\mathl{a_1, a_2}{} mit
\mathl{{{|}}q_1-a_1{{|}}, {{|}}q_2-a_2{{|}} \leq 1/2}{.} Damit ist
\mavergleichskettedisp
{\vergleichskette
{ q_1 + q_2 { \mathrm i}
}
{ =} {a_1 +a_2 { \mathrm i} + (q_1-a_1) + (q_2-a_2) { \mathrm i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{a_1 +a_2 { \mathrm i} \in \Z[{ \mathrm i}]}{.} Ferner ist
\mavergleichskettealign
{\vergleichskettealign
{ N((q_1-a_1) + (q_2-a_2){ \mathrm i})
}
{ =} { (q_1-a_1)^2 + (q_2-a_2)^2
}
{ \leq} {{ \left( \frac{1}{2} \right) }^2 + { \left( \frac{1}{2} \right) }^2
}
{ <} { 1
}
{ } {
}
}
{}
{}{.}
Multiplikation mit $z$ ergibt
\mavergleichskettedisp
{\vergleichskette
{w
}
{ =} {z(a_1 +a_2 { \mathrm i}) + z((q_1-a_1) + (q_2-a_2){ \mathrm i})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und aus der Multiplikativität der Norm folgt
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ N { \left( z { \left( (q_1-a_1) + (q_2-a_2){ \mathrm i} \right) } \right) }
}
{ =} { N(z) N { \left( (q_1-a_1) + (q_2-a_2){ \mathrm i} \right) }
}
{ <} { N(z)
}
{ } {
}
{ } {
}
}
{}{}{.}
Für eine unvollständige Liste von Primfaktorzerlegungen im Ring der Gaußschen Zahlen siehe hier oder hier.
Folgendes Lemma hilft bei der Bestimmung der Primelemente der Gaußschen Zahlen und in ähnlichen Ringen.
\inputfaktbeweis
{Euklidische Bereiche/Multiplikative euklidische Funktionen/Primkriterium/Fakt}
{Lemma}
{}
{
Es sei $R$ ein
\definitionsverweis {euklidischer Bereich}{}{} mit einer multiplikativen euklidischen Funktion
\maabbdisp {N} {R \setminus \{0\} } {\N_+
} {}
\zusatzklammer {es werden also nur positive Werte angenommen} {} {.}
Ist dann für
\mathl{f \in R}{} die Zahl
\mathl{N(f)}{} prim, so ist $f$
\definitionsverweis {irreduzibel}{}{} in $R$.
}
{
Sei
\mavergleichskette
{\vergleichskette
{f
}
{ = }{gh
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Faktorzerlegung. Dann ist
\mavergleichskette
{\vergleichskette
{ N(f)
}
{ = }{N(g)N(h)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und da nach Voraussetzung
\mathl{N(f)}{} eine Primzahl ist, folgt, dass einer der Faktoren, sagen wir
\mathl{N(h)}{,} eine Einheit ist, also
\mavergleichskette
{\vergleichskette
{N(h)
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir wenden auf $1$ und $h$ die Division mit Rest an und erhalten
\mavergleichskettedisp
{\vergleichskette
{1
}
{ =} { qh+r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskette
{\vergleichskette
{r
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist oder
\mavergleichskette
{\vergleichskette
{N(r)
}
{ < }{ N(h)
}
{ = }{1
}
{ }{
}
{ }{
}
}
{}{}{.}
Letzteres ist aber ausgeschlossen, so dass
\mavergleichskette
{\vergleichskette
{r
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein muss und damit ist $h$ eine Einheit. Also ist $f$ irreduzibel.
Wir werden später sehen, dass in euklidischen Bereichen irreduzible Elemente bereits prim sind. Das vorstehende Lemma ist also ein Kriterium für Primelemente. Die Umkehrung gilt übrigens nicht. Z. B. ist $3$ ein Primelement in
\mathl{\Z[ { \mathrm i} ]}{,} aber $N(3)=9$ ist keine Primzahl.
Nach den Gaußschen Zahlen sind die sogenannten Eisenstein-Zahlen ein wichtiges Beispiel für quadratische Zahlbereiche.
\inputbeispiel{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Eisenstein_integer_lattice.png} }
\end{center}
\bildtext {Eisenstein-Zahlen als Punkte eines Dreiecksgitters in der komplexen Zahlenebene} }
\bildlizenz { Eisenstein integer lattice.png } {Gunther} {Gunther} {Commons} {CC-by-sa 3.0} {}
Die Eisenstein-Zahlen sind komplexe Zahlen der Form
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} {a + b { \left( \frac{1}{2} +\frac{\mathrm i}2\sqrt3 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit ganzen Zahlen $a$ und $b$. Insbesondere ist
\mavergleichskettedisp
{\vergleichskette
{ \omega
}
{ =} { -\frac{1}{2} +\frac{\mathrm i}2\sqrt3
}
{ =} { e^{2\pi\mathrm i/3}
}
{ } {
}
{ } {
}
}
{}{}{}
eine Eisenstein-Zahl. Diese Zahl ist zugleich eine
\zusatzklammer {primitive} {} {}
dritte Einheitswurzel
\zusatzklammer {also \mathlk{\omega^3=1}{}} {} {,}
so dass der Ring der Eisenstein-Zahlen zugleich der dritte Kreisteilungsring ist. Wegen
\mavergleichskette
{\vergleichskette
{ \omega^3-1
}
{ = }{(\omega -1)(\omega^2+\omega +1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \omega
}
{ \neq} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ \omega^2 + \omega + 1
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Die Eisenstein-Zahlen enthalten den Ring
\mathl{\Z[\sqrt{-3}]=\Z \oplus \Z\sqrt{-3}}{.} Im obigen Bild besteht dieser Ring aus jeder zweiten horizontalen Zeile des Gitters und ist damit ein rechtwinkliges Gitter. Es gilt der folgende Satz.
\inputfaktbeweis
{Quadratische Zahlbereiche/Eisenstein-Zahlen und Z(Wurzel -3)/Euklidisch/Fakt}
{Satz}
{}
{
Für den Ring
\mathl{\Z[\sqrt{-3}]}{} ist die Norm
\zusatzklammer {das Quadrat des komplexen Betrages} {} {}
keine euklidische Funktion, aber für den Ring der Eisenstein-Zahlen
\mathl{\Z[\omega]}{} mit
\mavergleichskette
{\vergleichskette
{ \omega
}
{ = }{ \frac{-1+\sqrt{3} { \mathrm i} }{2}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Norm eine euklidische Funktion.
}
{
Wie dem Beweis zur Euklidizität der Gaußschen Zahlen zu entnehmen ist, ist für einen Unterring der komplexen Zahlen der Form
\mavergleichskette
{\vergleichskette
{ \Gamma
}
{ = }{ \Z \oplus \Z x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{ x
}
{ \notin }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
die Norm eine euklidische Funktion genau dann, wenn sich zu jedem Element
\mavergleichskette
{\vergleichskette
{ z
}
{ \in }{ \Q(\Gamma)
}
{ = }{ \Q \oplus \Q x
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element
\mavergleichskette
{\vergleichskette
{ u
}
{ \in }{ \Gamma
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
findet, das zu $z$ einen Abstand kleiner als $1$ besitzt. Es sei zunächst
\mathl{\Gamma = \Z \oplus \Z \sqrt{-3}}{.} Das Element
\mavergleichskette
{\vergleichskette
{ \omega
}
{ = }{ { \frac{ -1+\sqrt{-3} }{ 2 } }
}
{ \in }{ \Q(\Gamma)
}
{ }{
}
{ }{
}
}
{}{}{}
hat den minimalen Abstand zu den vier Gitterpunkten
\mathl{(0,0), (-1,0), (0,\sqrt{3}), (-1, \sqrt{3})}{,} und dieser ist stets
\mavergleichskettedisp
{\vergleichskette
{ \betrag { { \frac{ -1+\sqrt{-3} }{ 2 } } }
}
{ =} { \sqrt{ { \frac{ 1 }{ 4 } } + { \frac{ 3 }{ 4 } } }
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{.}
Für den Ring der Eisenstein-Zahlen
\mathl{\Z[\omega]}{} sind die Gittermaschen gleichmäßige Dreiecke mit Seitenlänge eins, und jede komplexe Zahl hat zu mindestens einem Gitterpunkt einen Abstand $<1$.
Es lässt sich zeigen, dass der Ring
\mathl{\Z[\sqrt{-3}]}{} auch keine andere euklidische Funktion besitzt
\zusatzklammer {er ist auch kein Hauptidealbereich, noch nicht mal, wie wir später sehen und erklären werden, normal} {} {.}
Eine wichtige Konsequenz aus der Existenz einer euklidischen Funktion ist, dass ein Hauptidealbereich vorliegt.
\inputfaktbeweis
{Euklidischer Bereich/Hauptidealbereich/Fakt}
{Satz}
{}
{
Ein \definitionsverweis {euklidischer Bereich}{}{} ist ein \definitionsverweis {Hauptidealbereich}{}{.}
}
{
Es sei $I$ ein von $0$ verschiedenes Ideal. Betrachte die nichtleere Menge
\mathdisp {{ \left\{ \delta(a) \mid a \in I , \, a \neq 0 \right\} }} { . }
Diese Menge hat ein Minimum $m$, das von einem Element
\mathl{b \in I, \, b \neq 0}{,} herrührt, sagen wir
\mathl{m= \delta(b)}{.} Wir behaupten, dass
\mavergleichskette
{\vergleichskette
{I
}
{ = }{(b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Dabei ist die Inklusion \anfuehrung{$\supseteq$}{} klar. Zum Beweis der Inklusion \anfuehrung{$\subseteq$}{} sei
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Aufgrund der Definition eines euklidischen Bereiches gilt
\mavergleichskette
{\vergleichskette
{a
}
{ = }{qb+r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{r
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{ \delta(r)
}
{ < }{ \delta (b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und der Minimalität von $\delta(b)$ kann der zweite Fall nicht eintreten. Also ist
\mavergleichskette
{\vergleichskette
{r
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $a$ ist ein Vielfaches von $b$.
| << | Kurs:Zahlentheorie (Osnabrück 2016-2017) | >> |
|---|