Zum Inhalt springen

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

Aus Wikiversity

\setcounter{section}{26}






\zwischenueberschrift{Gitter und konvexe Mengen}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {De_Raum_zeit_Minkowski_Bild.jpg} }
\end{center}
\bildtext {Hermann Minkowski (1864-1909)} }

\bildlizenz { De_Raum_zeit_Minkowski_Bild.jpg } {} {Feitscherg} {Commons} {PD} {}


Unser Ziel ist es, zu zeigen, dass die Klassengruppe eines quadratischen Zahlbereichs endlich ist. Zu dem Beweis benötigt man Methoden aus der konvexen Geometrie und einige topologische Begriffe, die im folgenden aufgeführt werden. Man spricht in diesem Zusammenhang von der Geometrie der Zahlen, die mit dem Namen von Minkowski verbunden ist. Der grundlegende Satz ist der Gitterpunktsatz von Minkowski, den wir in dieser Vorlesung vorstellen und beweisen wollen. Im Fall eines quadratischen Zahlbereichs bilden die ganzen Zahlen ein zweidimensionales Gitter, nämlich
\mathl{\Z \oplus \Z \omega}{,} das wir in einem zweidimensionalen reellen Vektorraum auffassen werden. Im imaginär-quadratischen Fall bietet sich die Einbettung in die komplexen Zahlen an. Der Gitterpunktsatz macht eine Aussage darüber, dass gewisse Teilmengen mit hinreichend großem Flächeninhalt \zusatzklammer {oder allgemeiner Volumen} {} {} mindestens zwei Gitterpunkte enthalten müssen.

Wir erinnern zunächst an einige Grundbegriffe aus der konvexen Geometrie, der Topologie und der Maßtheorie.




\inputdefinition
{}
{

Es seien
\mathl{v_1 , \ldots , v_n}{} \definitionsverweis {linear unabhängige}{}{} Vektoren im $\R^n$. Dann heißt die \definitionsverweis {Untergruppe}{}{}
\mathl{\Z v_1 \oplus \cdots \oplus \Z v_n}{} ein \definitionswort {Gitter}{} im $\R^n$.

}

Manchmal spricht man auch von einem vollständigen Gitter. Als Gruppen sind sie isomorph zu $\Z^n$, hier interessieren aber auch Eigenschafen der Einbettung in $\R^n$. Ein Gitter heißt \stichwort {rational} {,} wenn die erzeugenden Vektoren zu $\Q^n$ gehören.




\inputdefinition
{}
{

Eine Teilmenge
\mavergleichskette
{\vergleichskette
{T }
{ \subseteq }{\R^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt \definitionswort {konvex}{,} wenn mit je zwei Punkten
\mavergleichskette
{\vergleichskette
{P,Q }
{ \in }{T }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} auch jeder Punkt der Verbindungsstrecke, also jeder Punkt der Form
\mathdisp {rP+(1-r)Q \text{ mit } r \in [0,1]} { , }
ebenfalls zu $T$ gehört.

}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Convex_set.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Convex set.svg } {Oleg Alexandrov} {} {Commons} {PD} {}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Non_Convex_set.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Non Convex set.svg } {Kilom691} {} {Commons} {CC-by-sa 3.0} {}


Der Durchschnitt von konvexen Teilmengen ist wieder konvex. Daher kann man definieren:




\inputdefinition
{}
{

Zu einer Teilmenge
\mavergleichskette
{\vergleichskette
{U }
{ \subseteq }{ \R^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt die kleinste \definitionsverweis {konvexe Teilmenge}{}{} $T$, die $U$ umfasst, die \definitionswort {konvexe Hülle}{} von $U$.

}

Die konvexe Hülle ist einfach der Durchschnitt von allen konvexen Teilmengen, die $U$ umfassen.






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {ConvexHull.png} }
\end{center}
\bildtext {} }

\bildlizenz { ConvexHull.png } {} {Maksim} {Commons} {PD} {}


Im zweidimensionalen kann man sich die konvexe Hülle so vorstellen, dass man eine Schnur um die fixierten Punkte aus $U$ legt und die Schnur dann zusammen zieht.




\inputdefinition
{}
{

Zu einem durch \definitionsverweis {linear unabhängige}{}{} Vektoren
\mathl{v_1 , \ldots , v_n}{} gegebenen \definitionsverweis {Gitter}{}{} bezeichnet man die \definitionsverweis {konvexe Hülle}{}{} der Vektoren
\mathl{\epsilon_1 v_1 + \cdots + \epsilon_n v_n}{} mit
\mavergleichskette
{\vergleichskette
{ \epsilon_i }
{ \in }{ \{0,1\} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} als die \definitionswort {Grundmasche}{} \zusatzklammer {oder \definitionswort {Fundamentalmasche}{}} {} {} des Gitters.

}

Die in der vorstehenden Definition auftauchenden Vektoren sind die Eckpunkte des von den Basisvektoren $v_1 , \ldots , v_n$ \definitionsverweis {erzeugten Parallelotops}{}{.} Die Elemente der Grundmasche selbst sind alle Vektoren der Form
\mathdisp {r_1v_1 + \cdots + r_nv_n \text{ mit } r_i \in [0,1]} { }
Wir werden die Grundmasche häufig mit $\mathfrak M$ bezeichnen. Zu einem Gitterpunkt $P$ nennt man die Menge
\mathl{P+ {\mathfrak M}}{} eine
\definitionswortenp{Masche}{} des Gitters. Ein beliebiger Punkt
\mavergleichskette
{\vergleichskette
{Q }
{ \in }{ \R^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} hat eine eindeutige Darstellung
\mavergleichskette
{\vergleichskette
{Q }
{ = }{ t_1v_1 + \cdots + t_nv_n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und damit ist
\mavergleichskettedisp
{\vergleichskette
{Q }
{ =} { (\lfloor t_1 \rfloor v_1 + \cdots + \lfloor t_n \rfloor v_n) + ( (t_1 - \lfloor t_1 \rfloor) v_1 + \cdots + (t_n-\lfloor t_n \rfloor) v_n) }
{ } { }
{ } { }
{ } { }
} {}{}{,} wobei der erste Summand zum Gitter gehört und der zweite Summand zur Grundmasche. Insbesondere haben zwei verschiedene Maschen nur Randpunkte, aber keine inneren Punkte gemeinsam.






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Determinant_parallelepiped.svg } }
\end{center}
\bildtext {} }

\bildlizenz { Determinant_parallelepiped.svg } {Claudio Rocchini} {} {Commons} {CC-by-sa 3.0} {}





\inputdefinition
{}
{

Eine Teilmenge
\mavergleichskette
{\vergleichskette
{T }
{ \subseteq }{\R^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt \definitionswort {zentralsymmetrisch}{,} wenn mit jedem Punkt
\mavergleichskette
{\vergleichskette
{P }
{ \in }{T }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} auch der Punkt $-P$ zu $T$ gehört.

}

Der Begriff der Kompaktheit sollte aus den Anfängervorlesungen bekannt sein.




\inputdefinition
{}
{

Ein \definitionsverweis {topologischer Raum}{}{} $X$ heißt \definitionswort {kompakt}{} \zusatzklammer {oder \definitionswort {überdeckungskompakt}{}} {} {,} wenn es zu jeder offenen Überdeckung
\mathdisp {X= \bigcup_{i \in I} U_i \, \, \, \text{ mit } U_i \text{ offen und einer beliebigen Indexmenge }I} { }
eine endliche Teilmenge
\mavergleichskette
{\vergleichskette
{J }
{ \subseteq }{I }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} derart gibt, dass
\mavergleichskettedisp
{\vergleichskette
{ X }
{ =} { \bigcup_{i \in J} U_i }
{ } { }
{ } { }
{ } { }
} {}{}{} ist.

}

Für eine Teilmenge im $\R^n$ ist eine Teilmenge $T$ genau dann kompakt, wenn sie abgeschlossen und beschränkt ist \zusatzklammer {Satz von Heine-Borel} {} {.}

Die endliche Vereinigung von kompakten Mengen ist kompakt. Abgeschlossene Teilmengen von kompakten Mengen sind wieder kompakt. Zu zwei disjunkten kompakten Mengen $X$ und $Y$ in einem metrischen Raum $Z$ gibt es einen Minimalabstand $d$, siehe Aufgabe 26.8. D.h. zu je zwei Punkten \mathkor {} {x \in X} {und} {y \in Y} {} ist
\mavergleichskette
{\vergleichskette
{ d(x,y) }
{ \geq }{d }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

Wir stellen einige Grundbegriffe aus der Maßtheorie zusammen.

Nicht jeder Teilmenge des $\R^n$ kann man sinnvollerweise ein Maß zuordnen. In der Maßtheorie werden die sogenannten Borelmengen eingeführt, und diesen Borelmengen kann ein Maß, das sogenannte Borel-Lebesgue Maß $\lambda$ zugeordnet werden. Die Borelmengen umfassen unter anderem alle offenen Mengen, alle abgeschlossenen Mengen \zusatzklammer {insbesondere alle kompakten Mengen} {} {.} Borelmengen sind unter abzählbarer Vereinigung und abzählbaren Durchschnitten abgeschlossen, und mit einer Borelmenge ist auch deren Komplement eine Borelmenge.

Das Borel-Lebesgue Maß $\lambda$ hat seine Werte in
\mavergleichskette
{\vergleichskette
{ \overline{\R}_{\geq 0} }
{ = }{ \R_{\geq 0} \cup \{\infty\} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und ist durch folgende Eigenschaften charakterisiert \zusatzklammer {der Nachweis der Existenz erfordert einigen Aufwand} {} {:} \aufzaehlungdrei{Für einen Quader $Q$ mit den Seitenlängen
\mathl{s_1 , \ldots , s_n}{} ist
\mavergleichskette
{\vergleichskette
{ \lambda(Q) }
{ = }{ s_1 \cdot s_2 \cdots s_n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Für eine abzählbare Familie von disjunkten Borelmengen
\mathbed {T_i} {}
{i \in I} {}
{} {} {} {,} ist
\mavergleichskette
{\vergleichskette
{ \lambda { \left( \bigcup _{i \in I}T_i \right) } }
{ = }{ \sum_{i \in I} \lambda { \left( T_i \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Das Borel-Lebesgue Maß $\lambda$ ist translationsinvariant, d.h. für eine Borelmenge $T$ und einen Vektor
\mathl{v \in \R^n}{} ist auch die um $v$ verschobene Menge $v+T$ eine Borelmenge mit
\mavergleichskette
{\vergleichskette
{ \lambda(v+T) }
{ = }{ \lambda(T) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }

Weitere wichtige Eigenschaften sind: \auflistungvier{Für $U \subseteq T$ ist
\mathl{\lambda(U) \leq \lambda(T)}{.} }{Teilmengen, die in einem echten linearen Unterraum des $\R^n$ liegen, haben das Maß $0$, siehe Lemma 66.11 (Analysis (Osnabrück 2014-2016)). }{Ein einzelner Punkt und damit auch jede abzählbare Ansammlung von Punkten hat das Maß $0$. }{Unter einer linearen Abbildung \maabb {L} { \R^n} { \R^n } {} verhält sich das Borel-Lebesgue Maß so: Zu einer Borelmenge $T$ ist auch das Bild
\mathl{L(T)}{} eine Borelmenge mit
\mavergleichskette
{\vergleichskette
{ \lambda(L(T)) }
{ = }{ \betrag { \det(L) } \cdot \lambda(T) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} siehe Satz 67.2 (Analysis (Osnabrück 2014-2016)).}

Eine Basis
\mathl{v_1 , \ldots , v_n}{} von $\R^n$ liefert ein Gitter
\mathl{\Gamma \subset \R^n}{} zusammen mit der Grundmasche $\mathfrak M$, nämlich das durch die $v_i$ aufgespannte Parallelotop. Dessen Volumen \zusatzklammer {also dessen Borel-Lebesgue-Maß} {} {} wird im Folgenden eine Rolle spielen. Das Volumen berechnet sich wie folgt: man schreibt die Vektoren $v_i$ \zusatzklammer {die ja jeweils $n$ Einträge haben} {} {} als Spalten einer quadratischen $n \times n$-\definitionsverweis {Matrix}{}{} $M$. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Vol}({\mathfrak M}) }
{ =} { \betrag { \det M } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dies folgt aus \zusatzklammer {bzw. ist äquivalent mit} {} {} der oben zitierten Aussage, wie sich das Borel-Lebesgue-Maß unter linearen Abbildung verhält, wenn man sie auf die lineare Abbildung anwendet, die die Standardektoren $e_i$ auf $v_i$ schickt.

Zu einem Gitter
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subset }{ \R^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt es keine eindeutig definierte Gitterbasis und damit auch keine eindeutig definierte Grundmasche. Wenn beispielsweise
\mathl{v_1,v_2}{} eine Basis eines zweidimensionalen Gitters bilden, so ist auch
\mathl{v_1, v_2+tv_1}{} \zusatzklammer {\mathlk{t \in \Z}{}} {} {} eine Basis desselben Gitters. Wenn man also von einer Grundmasche eines Gitters spricht, so meint man in Wirklichkeit die Grundmasche zu einer fixierten Basis eines Gitters. Wichtig ist dabei, dass das Volumen einer Grundmasche nur vom Gitter selbst abhängt, nicht aber von der Gitterbasis!

Sei nämlich
\mathl{w_1 , \ldots , w_n}{} eine weitere Gitterbasis. Dann gibt es zunächst eine quadratische invertierbare reellwertige Matrix $A$, die den Basiswechsel beschreibt. Da die $w_i$ zum Gitter gehören muss diese Matrix ganzzahlig sein. Aus dem gleichen Grund muss die inverse Matrix ganzzahlig sein. Damit muss die Determinante von $A$ aber entweder $1$ oder $-1$ sein. Nach der Formel für das Maß unter linearen Abbildungen haben also die Parallelotope zur Basis $v$ und zur Basis $w$ das gleiche Volumen. Man spricht daher auch vom Volumen (oder Kovolumen) des Gitters.







\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Mconvexe.png} }
\end{center}
\bildtext {} }

\bildlizenz { Mconvexe.png } {} {Cgolds} {Commons} {CC-by-sa 3.0} {}

Der folgende Satz heißt \stichwort {Gitterpunktsatz von Minkowski} {.}




\inputfaktbeweis
{Konvexe Geometrie/Gitterpunktsatz (Minkowski)/Fakt}
{Satz}
{}
{

Es sei $\Gamma$ ein \definitionsverweis {Gitter}{}{} im $\R^n$ mit \definitionsverweis {Grundmasche}{}{} $\mathfrak M$. Es sei $T$ eine \definitionsverweis {konvexe}{}{,} \definitionsverweis {kompakte}{}{,} \definitionsverweis {zentralsymmetrische}{}{} Teilmenge in $\R^n$, die zusätzlich die Volumenbedingung
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Vol} (T) }
{ \geq} { 2^n\operatorname{Vol} ({\mathfrak M}) }
{ } { }
{ } { }
{ } { }
} {}{}{} erfülle. Dann enthält $T$ mindestens einen von $0$ verschiedenen Gitterpunkt.

}
{

Wir betrachten das verdoppelte Gitter $2 \Gamma$. Ist
\mathl{v_1 , \ldots , v_n}{} eine Basis für $\Gamma$, so ist
\mathl{2v_1 , \ldots , 2v_n}{} eine Basis für $2\Gamma$. Wir bezeichnen die Grundmasche von $2\Gamma$ mit $\mathfrak N$, für ihr Volumen gilt
\mavergleichskette
{\vergleichskette
{ \operatorname{Vol} ( { \mathfrak N }) }
{ = }{ 2^n\operatorname{Vol} ({\mathfrak M}) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zu jeder Masche
\mavergleichskette
{\vergleichskette
{ {\mathfrak N}_Q }
{ = }{ Q+{\mathfrak N} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,}
\mavergleichskette
{\vergleichskette
{Q }
{ \in }{ 2 \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} betrachten wir den Durchschnitt
\mavergleichskettedisp
{\vergleichskette
{T_Q }
{ =} { T \cap {\mathfrak N}_Q }
{ } { }
{ } { }
{ } { }
} {}{}{.} Da $T$ \definitionsverweis {kompakt}{}{} und insbesondere \definitionsverweis {beschränkt}{}{} ist, gibt es nur endlich viele Maschen derart, dass dieser Durchschnitt nicht leer ist. Es seien diese Maschen \zusatzklammer {bzw. ihre Ausgangspunkte bzw. ihre Durchschnitte} {} {} mit
\mathbed {{\mathfrak N}_i \, (\text{bzw. } Q_i \text{bzw. } T_i)} {}
{i \in I} {}
{} {} {} {,} bezeichnet \zusatzklammer {da der Nullpunkt aufgrund der \definitionsverweis {Konvexität}{}{} und der \definitionsverweis {Zentralsymmetrie}{}{} zu $T$ gehört, umfasst $I$ zumindest $2^n$ Elemente} {} {.} Die in die Grundmasche ${\mathfrak N}$ verschobenen Durchschnitte bezeichnen wir mit
\mavergleichskettedisp
{\vergleichskette
{ \tilde{T}_i }
{ \defeq} { T_i - Q_i }
{ } { }
{ } { }
{ } { }
} {}{}{.} Wir behaupten zunächst, dass die $\tilde{T}_i$ nicht paarweise disjunkt sind. Es sei also angenommen, sie wären paarweise disjunkt. Mindestens eines der $T_i$ \zusatzklammer {und damit der $\tilde{T}_i$} {} {} hat positives Volumen, sagen wir für
\mavergleichskette
{\vergleichskette
{i }
{ = }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wegen der angenommenen Disjunktheit sind insbesondere
\mathdisp {X \defeq \tilde{T}_1 \text{ und } Y \defeq \bigcup_{i \in I, i \neq 1 } \tilde{T}_i} { }
disjunkt zueinander. Wir haben also zwei disjunkte kompakte Teilmengen, und diese besitzen einen Minimalabstand $d$ \zusatzklammer {d.h. zu jedem Punkt aus $X$ liegen in einer $d$-Umgebung keine Punkte aus $Y$, siehe Aufgabe 26.9} {} {.} Sei
\mavergleichskette
{\vergleichskette
{x }
{ \in }{X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {innerer Punkt}{}{} \zusatzklammer {den es gibt, da $X$ konvex ist und ein positives Volumen besitzt} {} {} und sei
\mavergleichskette
{\vergleichskette
{y }
{ \in }{Y }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Mit $S$ sei die Verbindungsstrecke von $x$ nach $y$ bezeichnet, die ganz in $\mathfrak N$ verläuft. Wir wählen einen Punkt
\mavergleichskette
{\vergleichskette
{s }
{ \in }{S }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} der weder zu $X$ noch zu $Y$ gehört \zusatzklammer {solche Punkte gibt es wegen des Minimalabstandes} {} {.} Da $s$ sowohl zu $X$ als auch zu $Y$ einen Minimalabstand besitzt, gibt es eine $\epsilon$-Umgebung $B$ von $s$, die disjunkt zu $X$ und $Y$ ist. Wir können ferner annehmen, dass $B$ ganz innerhalb von $\mathfrak N$ liegt \zusatzklammer {wegen der Wahl von $x$} {} {.} Als eine Ballumgebung hat $B$ ein positives Volumen, was zu folgendem Widerspruch führt.
\mavergleichskettealign
{\vergleichskettealign
{ \operatorname{Vol} ({\mathfrak N}) }
{ \geq} { \operatorname{Vol} (X \cup Y \cup B) }
{ =} { \operatorname{Vol} { \left( \bigcup_{i \in I} \tilde{T}_i \right) } + \operatorname{Vol}(B) }
{ >} { \sum_{i \in I} \operatorname{Vol}(\tilde{T}_i) }
{ =} { \sum_{i \in I} \operatorname{Vol}(T_i) }
} {
\vergleichskettefortsetzungalign
{ =} { \operatorname{Vol}(T) }
{ \geq} { 2^n \operatorname{Vol}({\mathfrak M}) }
{ =} { \operatorname{Vol}({\mathfrak N}) }
{ } {}
} {}{.} Es gibt also Indizes
\mavergleichskette
{\vergleichskette
{i }
{ \neq }{j }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und einen Punkt
\mavergleichskette
{\vergleichskette
{z }
{ \in }{ \tilde{T}_i \cap \tilde{T}_j }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \zusatzklammer {$z$ muss selbst nicht zu $T$ gehören} {} {.} Sei
\mathdisp {z_i \defeq z+Q_i \in T_i \text{ und } z_j \defeq z+Q_j \in T_j} { . }
Wegen
\mavergleichskette
{\vergleichskette
{ Q_i,Q_j }
{ \in }{ 2 \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist auch
\mavergleichskette
{\vergleichskette
{ Q_i -Q_j }
{ \in }{ 2 \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und daher
\mavergleichskettedisp
{\vergleichskette
{0 }
{ \neq} { { \frac{ Q_i-Q_j }{ 2 } } }
{ \in} { \Gamma }
{ } { }
{ } { }
} {}{}{.} Aus
\mavergleichskette
{\vergleichskette
{z_j }
{ \in }{T }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt \zusatzklammer {wegen der Zentralsymmetrie} {} {} auch
\mavergleichskette
{\vergleichskette
{- z_j }
{ \in }{ T }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und wegen der Konvexität von $T$ ergibt sich
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ Q_i -Q_j }{ 2 } } }
{ =} { { \frac{ 1 }{ 2 } } (z_i - z) - { \frac{ 1 }{ 2 } } (z_j - z) }
{ =} { { \frac{ 1 }{ 2 } } z_i - { \frac{ 1 }{ 2 } } z_j }
{ \in} {T }
{ } {}
} {}{}{.} Wir haben also einen von Nullpunkt verschiedenen Gitterpunkt in $T$ gefunden.

}


Wir zitieren abschließend ohne Beweis den Hauptsatz über endlich erzeugte kommutative Gruppen. Der anschließende gegebene Spezialfall für die torsionsfreie Situation besagt insbesondere, dass Untergruppen von Gittern als \zusatzklammer {abstrakte Gruppe} {} {} wieder \zusatzklammer {nicht vollständige} {} {} Gitter sind.





\inputfaktbeweisnichtvorgefuehrt
{Gruppentheorie/Kommutativ/Endlich erzeugt/Hauptsatz/Fakt}
{Satz}
{}
{

\faktsituation {Es sei $G$ eine \definitionsverweis {endlich erzeugte}{}{} \definitionsverweis {kommutative Gruppe}{}{.}}
\faktfolgerung {Dann ist $G$ das \definitionsverweis {Produkt}{}{} von \definitionsverweis {zyklischen Gruppen}{}{.} D.h. es gibt eine Isomorphie
\mavergleichskettedisp
{\vergleichskette
{G }
{ \cong} { \Z^r \times \Z/(n_1) \times \cdots \times \Z/(n_s) }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Es sei
\mathl{x_1,\ldots ,x_m}{} ein \definitionsverweis {Erzeugendensystem}{}{} von $G$. Dann ist die Abbildung \maabbeledisp {\varphi} {\Z^m} {G } {(a_1,\ldots ,a_m)} {a_1x_1+\cdots+a_mx_m} {} ein \definitionsverweis {surjektiver}{}{} \definitionsverweis {Homomorphismus}{}{.} Aufgrund von Fakt ***** ist G daher \definitionsverweis {isomorph}{}{} zu
\mathl{\Z^m / \operatorname{kern} \varphi}{.}


$\operatorname{kern} \varphi$ enthält nach Definition des \definitionsverweis {Kerns}{}{} genau alle Darstellungen des \definitionsverweis {neutralen Elements}{}{} von $G$ in $\Z^m$. Damit wir $G$, bzw.
\mathl{\Z^m / \operatorname{kern} \varphi}{} genauer beschreiben können schauen wir uns daher den Kern genauer an.

$\operatorname{kern} \varphi$ ist eine \definitionsverweis {Untergruppe}{}{} von $\Z^m$ und kann daher aufgrund von Fakt ***** durch
\mathl{y_1,\ldots,y_n, y_i\in \Z^m}{} erzeugt werden, wobei
\mathl{n \leq m}{.} Dieses Erzeugendensystem können wir als die Spalten einer $m \times n$-\definitionsverweis {Matrix}{}{} $M$ schreiben. Es gilt dann
\mathdisp {\operatorname{bild} M = \operatorname{kern} \varphi} { . }

Der Fakt ***** erlaubt es, $M=LDR$ zu schreiben, wobei
\mathl{L=L_1\cdots L_p}{} und
\mathl{R=R_q\cdots R_1}{} Hintereinanderschaltungen von über $\Z$ invertierbaren Matrizen sind. Als invertierbare Matrizen bilden $L$ und $R$ die Gruppe $\Z^m$ auf $\Z^m$ ab und ändern dabei nur die Rollen der Koeffizienten (im Allgemeinen mehr als Vertauschen!). Daher ist die Restklassengruppe der durch die Spalten von $M$ erzeugten Untergruppe isomorph zu der Restklassengruppe der durch die Spalten von
\mathl{L^{-1}MR^{-1}=D}{} erzeugten Untergruppe $\operatorname{bild} D$


\mathdisp {\begin{array}{rcl} \Z^m&\stackrel{L^{-1}\cdot\Box\cdot R^{-1} }{\longrightarrow}&\Z^m \\ \Z^m/\operatorname{bild} M&\stackrel{\cong}{\longrightarrow}&\Z^m/\operatorname{bild} L^{-1}MR^{-1}\\ \end{array}} { }

Die Matrix $D$ hat aber nach Fakt ***** die Form $\operatorname{Diag}(n_1,\ldots,n_s,0,\ldots,0)$. Die Gruppe $\operatorname{bild} D$ hat daher die Form
\mathl{(n_1)\times\cdots\times (n_s) \times 0 \times \cdots \times 0}{.}

Daraus folgt schließlich:
\mavergleichskettealign
{\vergleichskettealign
{G }
{ \cong} {\Z^m / \operatorname{kern} \varphi }
{ =} {\Z^m / \operatorname{bild} M }
{ \cong} {\Z^m / \operatorname{bild} D }
{ =} {\Z^m / ((n_1) \times \cdots \times (n_s)\times 0 \times \cdots \times 0) }
} {
\vergleichskettefortsetzungalign
{ =} {\Z / (n_1) \times \cdots \times \Z /(n_s)\times \Z^r }
{ } {}
{ } {}
{ } {}
} {}{.}

}





\inputdefinition
{}
{

Eine \definitionsverweis {kommutative Gruppe}{}{} $G$ heißt \definitionswort {torsionsfrei}{,} wenn für jedes Element
\mathbed {x \in G} {}
{x \neq 0} {}
{} {} {} {,} und
\mavergleichskette
{\vergleichskette
{n }
{ \in }{ \N_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt
\mavergleichskette
{\vergleichskette
{nx }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

} Die additiven Gruppen $\Z, \Z^n, \Q, \R, {\mathbb C}$ sind torsionsfrei, die Restklassengruppen
\mathl{\Z/(n)}{} bei
\mavergleichskette
{\vergleichskette
{n }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} nicht.





\inputfaktbeweisnichtvorgefuehrt
{Elementare Gruppentheorie/Hauptsatz über endlich erzeugte torsionsfreie kommutative Gruppen/Fakt}
{Satz}
{}
{

\faktsituation {Es sei $G$ eine \definitionsverweis {endlich erzeugte}{}{} \definitionsverweis {torsionsfreie}{}{} \definitionsverweis {kommutative Gruppe}{}{.}}
\faktfolgerung {Dann ist $G$ eine \zusatzklammer {endlich-erzeugte} {} {} \definitionsverweis {freie Gruppe}{}{,} d.h. es gibt eine Isomorphie
\mavergleichskettedisp
{\vergleichskette
{G }
{ \cong} { \Z^r }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Dies folgt direkt aus Fakt *****, da im torsionsfreien Fall die endlichen zyklischen Komponenten in der Produktzerlegung gleich $0$ sein müssen.

}



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

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)