Kurs:Proseminar:Hauptsatz über endlich erzeugte abelsche Gruppen (Osnabrück 2011-2012)/latex
Es soll der Hauptsatz über endlich erzeugte Abelsche Gruppen vorgestellt werden. Dieser besagt, dass jede \definitionsverweis {endlich erzeugte}{}{} \definitionsverweis {abelsche Gruppe}{}{} \definitionsverweis {isomorph}{}{} zu einem \definitionsverweis {Produkt}{}{} von \definitionsverweis {Restklassengruppen}{}{} von $(\Z,+)$, die \definitionsverweis {zyklisch}{}{} sind, ist.
\inputdefinition
{}
{
Es sei $I$ eine Menge und zu jedem
\mathl{i \in I}{} sei eine Menge $M_i$ gegeben. Dann nennt man die Menge
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \prod_{i \in I} M_i
}
{ =} { \{ (x_i)_{ i \in I} :\, x_i \in M_i \text{ für alle } i \in I \}
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Produktmenge}{} der $M_i$.
} Ein Element eines Produkts lässt sich also durch ein Tupel von Elementen aus den Faktoren charakterisieren.
Auch an die Definition der zyklischen Gruppe soll kurz erinnert werden.
\inputdefinition
{}
{
Eine \definitionsverweis {Gruppe}{}{} $G$ heißt \definitionswort {zyklisch}{,} wenn sie von einem Element erzeugt wird.
} Es ist leicht zu sehen, dass für alle $n\in \N$ die Gruppe $\Z/(n)$ eine zyklische Gruppe ist. Da außerdem alle Elemente einer zyklischen Gruppe (bei additiver Schreibweise) Vielfache des Erzeugers sind, ist auch klar, dass alle zyklischen Gruppen isomorph zu einer solchen Gruppe sind.
Für zyklische Gruppen ist es trivialerweise klar, dass sie den Hauptsatz erfüllen und auch für endliche Produkte davon. Schon bei
\definitionsverweis {Restklassengruppen}{}{} von Produkten zyklischer Gruppen muss man jedoch ein wenig nachdenken. Identifizieren wir beispielsweise in $\Z^2$ willkürlich einige Elemente mit $0$. Dann müssen wir weitere Elemente miteinander identifizieren, so dass wir wieder eine Gruppe haben (i.e. die Restklassengruppe bilden):
\mathdisp {\Z^2/\left(\begin{pmatrix} 2 \\6 \end{pmatrix},\begin{pmatrix} -4 \\-3 \end{pmatrix},\begin{pmatrix} -2 \\-18 \end{pmatrix}\right)} { . }
Dies ist eine Gruppe, die wir auf jeden Fall durch endlich viele Elemente erzeugen können (es bleiben insgesamt nur endlich viele Elemente übrig), aber für die wir nicht unbedingt eine Produktdarstellung aus zyklischen Gruppen sehen.
\zwischenueberschrift{Elementarteilersatz}
Der Beweis des Hauptsatzes geht hier über den Zwischenschritt des Elementarteilersatzes. In diesem wird gezeigt, dass sich jede \definitionsverweis {Matrix}{}{} über $\Z$ auf bestimmte Weise in einfach beschreibbare Teiler zerlegen lässt.
Es spielen für den Elementarteilersatz zwei \definitionsverweis {Elementarmatrizen}{}{} eine zentrale Rolle und zwar die Folgenden:
Zeilen- bzw. Spaltenvertauschung:
\mathdisp {V_{ij} = \begin{pmatrix}
1 & 0 & \cdots & \cdots & \cdots & \cdots & 0
\\ \vdots & \ddots & \cdots & \cdots & \cdots & \cdots & \vdots
\\ 0 & \cdots & 0 & \cdots & 1 & \cdots & 0
\\ \vdots & \cdots & \cdots & 1 & \cdots & \cdots & \vdots
\\ 0 & \cdots & 1 & \cdots & 0 & \cdots & 0
\\ \vdots & \cdots & \cdots & \cdots & \cdots & \ddots & \vdots
\\ 0 & \cdots & \cdots & \cdots & \cdots & 0 & 1
\end{pmatrix}} { . }
Addition des $a$-fachen der $j$-ten Zeile zur $i$-ten Zeile, bzw. des $a$-fachen der $i$-ten Spalte zur $j$-ten Spalte:
\mathdisp {A_{ij}(a) = \begin{pmatrix}
1 & 0 & \cdots & \cdots & \cdots & \cdots & 0
\\ \vdots & \ddots & \cdots & \cdots & \cdots & \cdots & \vdots
\\ 0 & \cdots & 1 & \cdots & a & \cdots & 0
\\ \vdots & \cdots & \cdots & \ddots & \cdots & \cdots & \vdots
\\ 0 & \cdots & \cdots & \cdots & 1 & \cdots & 0
\\ \vdots & \cdots & \cdots & \cdots & \cdots & \ddots & \vdots
\\ 0 & \cdots & \cdots & \cdots & \cdots & 0 & 1
\end{pmatrix}} { . }
Von links angewendet beschreiben die
\definitionsverweis {Matrizen}{}{} jeweils eine Zeilenoperation, von rechts angewendet eine Spaltenoperation. Wegen
\mathl{A_{ij}(a) \circ A_{ij}(-a) = E_n}{} und
\mathl{V_{ij} \circ V_{ij} = E_n}{} sind die Matrizen
\definitionsverweis {invertierbar}{}{.}
Dies wird später im Beweis des Hauptsatzes wichtig. Die Multiplikation einer Zeile oder Spalte mit einem Skalar $s$ ist über $\Z$ übrigens im Allgemeinen nicht invertierbar, da für die Umkehrabbildung durch $s$ geteilt werden müsste und $s^{-1}$ außer für
\mathl{s = 1, -1}{} nicht in $\Z$ liegt.
\inputfaktbeweis
{Modultheorie/Z/Elementarteilersatz/Fakt}
{Satz}
{Elementarteilersatz}
{
\faktsituation {Es sei $M$ eine
$m \times n$-\definitionsverweis {Matrix}{}{} über $\Z$. Es sei
\mathl{k = {\min { \left( m , n \right) } }}{} das Minimum von $m$ und $n$ und
\mathl{s = \operatorname{rang} \, M}{} der
\definitionsverweis {Rang}{}{}
von $M$.}
\faktfolgerung {Dann gibt es eine Darstellung
\mathdisp {M = L_1 \cdots L_p \cdot D \cdot R_q \cdots R_1} { }
mit invertierbaren
$\Z$-\definitionsverweis {Elementarmatrizen}{}{}
$L_1,\ldots ,L_p$ und $R_1,\ldots ,R_q$ und einer
\definitionsverweis {Diagonalmatrix}{}{}
$D=Diag(n_1,\ldots,n_k)$.}
\faktzusatz {Für $i < s$ (kleiner als der Rang von M) teilt $n_{i}$ jeweils $n_{i+1}$ und für $i>s$ gilt $n_i = 0$.}
\faktzusatz {}
}
{
Wir schreiben
\mathl{M=(a_{i,j})_{1\leq i \leq m, 1\leq j\leq n}}{.} Wir führen Induktion über $k$. Den Induktionsstart beweisen wir, um Wiederholungen zu vermeiden, bei der Rückführung des Induktionsschrittes auf die Induktionsvoraussetzung.
Es sei
\mathl{k_0\in \N}{} also beliebig und die Aussage für
\mathl{k < k_0}{} bewiesen. Zu zeigen: Sie gilt auch für $k=k_0$.
Nehmen wir zunächst
\mathl{a_{1,1} = 0}{} an. Dafür betrachten wir die folgenden Fälle:
\aufzaehlungzwei {Fall: Es gibt
\mathl{a_{i,j} \neq 0}{} mit $i=1$ oder $j=1$. In diesem Fall kann durch Zeilen- oder Spaltenvertauschungen
\mathl{a_{1,1} \neq 0}{} erreicht werden.
} {Fall: Es gibt kein
\mathl{a_{i,j} \neq 0}{} mit $i=1$ oder $j=1$. Dann vertauschen wir die erste und die letzte Zeile und die erste und die letzte Spalte. Nun kann die Matrix
\mathl{(a_{i,j})_{1\leq i \leq m-1, 1\leq j\leq n-1}}{} betrachtet werden für die $k < k_0$ gilt, womit wir für $k > 1$ bei der Induktionsvoraussetzung bezüglich $k$ sind und bei $k = 1$ eine Nullmatrix haben, die die Aussage direkt erfüllt.
}
Es sei also
\mathl{a_{1,1} \neq 0}{.}
Nehmen wir außerdem an, dass $a_{1,1}$ alle $a_{i,j}$ teilt, so können wir sukzessive von allen Zeilen mit $i > 1$ das
\mathl{{ \frac{ a_{i,1} }{ a_{1,1} } }}{-}fache der ersten Zeile und von allen Spalten mit $j > 1$ das
\mathl{{ \frac{ a_{1,j} }{ a_{1,1} } }}{-}fache der ersten Spalte abziehen. Dadurch enthalten die erste Zeile und die erste Spalte nur noch Nullen mit Ausnahme von $a_{1,1}$. Die Induktionsvoraussetzung für $k > 1$ kann daher auf die Matrix
\mathl{M_2=(a_{i,j})_{2\leq i \leq m, 2\leq j\leq n}}{} angewendet werden und für $k = 1$ haben wir trivialerweise eine Diagonalmatrix mit den angegebenen Eigenschaften. Außerdem sind alle $a_{i,j}$ immer noch Vielfache von $a_{1,1}$. Dies stellt sicher, dass alle folgenden Diagonalelemente $n_i$ Vielfache von $n_1 = a_{1,1}$ sind (oder $0$, wenn (siehe oben) irgendwann eine Nullzeile oder Nullspalte erreicht wurde).
Für den Fall, dass $a_{1,1}$ nicht alle Einträge der Matrix teilt, führen wir eine weitere Induktion über
\mathl{\betrag { a_{1,1} }}{.}
Es sei also
\mathl{\betrag { a_{1,1} } = 1}{.} Dann teilt $a_{1,1}$ alle $a_{i,j}$ und wir sind im schon behandelten Fall.
Für den Induktionsschritt können wir direkt annehmen, dass $a_{1,1}$ nicht alle Einträge teilt. Betrachten wir zwei Fälle:
\aufzaehlungzwei {Fall: Es gibt ein
\mathl{a_{i,j}}{} mit $i=1$ oder $j=1$, das kein Vielfaches von $b:=a_{1,1}$ ist. Nehmen wir o.B.d.A. an, dass $i=1$. Durch Division mit Rest findet sich eine eindeutige Darstellung
\mathl{a_{1,j} = cb + r}{} mit
\mathl{0 < r < \betrag { b }}{.} Wir ziehen nun das $c$-fache der ersten Spalte von der $j$-ten Spalte ab und vertauschen die beiden Spalten. Dadurch ist $r$ das neue Element in der linken oberen Ecke
\mathl{(a_{1,1} = r)}{} und damit wegen
\mathl{0 < r < \betrag { b }}{} im Bereich der Induktionsvoraussetzung (der inneren Induktion).
} {Fall: Es findet sich nur für $i,j \geq 2$ ein
\mathl{a_{i,j}}{,} das kein Vielfaches von $a_{1,1}$ ist. In diesem Fall annullieren wir die ersten Einträge der betreffenden Zeile und Spalte, indem wir von der $j$-ten Spalte das
\mathl{{ \frac{ a_{1,j} }{ a_{1,1} } }}{-}fache der ersten Spalte abziehen und genauso von der $i$-ten Zeile das
\mathl{{ \frac{ a_{i,1} }{ a_{1,1} } }}{-}fache der ersten Zeile. Danach addieren wir die $i$-te Zeile zur ersten Zeile, wodurch in der $j$-ten Spalte gilt
\mathl{a_{1,j} = a_{i,j}}{.} Nun kann das selbe Verfahren wie im 1. Fall angewendet werden - $c$ und $r$ mit
\mathl{a_{1,j} = ca_{1,1} + r}{} finden und damit $a_{1,1}$ auf $r$ reduzieren - und die Situation daher auf die Induktionsvoraussetzung zurückgeführt werden.
} Daher gilt der Induktionsschritt zu $k=k_0$ für alle $\betrag { a_{1,1} }$ und daher die Aussage für alle $k$.
Dazu ein kleines Beispiel:
\inputbeispiel{}
{
Wir lösen nach dem im Beweis zu Satz 3 (Elementarteilersatz)
beschriebenen Verfahren die $2\times3$-Matrix
\mathl{M = \begin{pmatrix} 2 & -4 & -2 \\ 6 & -3 & -18 \end{pmatrix}}{} auf.
Es greift zunächst Fall 2 der unteren Fallunterscheidung:
\mavergleichskettealign
{\vergleichskettealign
{ \begin{pmatrix} 2 & -4 & -2 \\ 6 & -3 & -18 \end{pmatrix}
}
{ =} { \begin{pmatrix} 2 & 0 & -2 \\ 6 & 9 & -18 \end{pmatrix}\cdot \begin{pmatrix} 1 & -2 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 \\ 3 & 1 \end{pmatrix}\cdot \begin{pmatrix} 2 & 0 & -2 \\ 0 & 9 & -12 \end{pmatrix}\cdot \begin{pmatrix} 1 & -2 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 \\ 3 & 1 \end{pmatrix}\cdot \begin{pmatrix} 2 & 0 & -2 \\ 9 & 9 & -12 \end{pmatrix}\cdot \begin{pmatrix} 1 & 0 & 0 \\ -1 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}\cdot \begin{pmatrix} 1 & -2 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}
}
{ =} {L_1\cdot \begin{pmatrix} 2 & 0 & -2 \\ 9 & 9 & -12 \end{pmatrix}\cdot R_2\cdot R_1
}
}
{}
{}{.}
Für diese Matrix können wir vorgehen wie in Fall 1 der unteren Fallunterscheidung.
\mavergleichskettealign
{\vergleichskettealign
{ \begin{pmatrix} 2 & 0 & -2 \\ 9 & 9 & -12 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 \\ 4 & 1 \end{pmatrix}\cdot \begin{pmatrix} 2 & 0 & -2 \\ 1 & 9 & -4 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 \\ 4 & 1 \end{pmatrix}\cdot \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}\cdot \begin{pmatrix} 1 & 9 & -4 \\ 2 & 0 & -2 \end{pmatrix}
}
{ =} {L_2\cdot L_3\cdot \begin{pmatrix} 1 & 9 & -4 \\ 2 & 0 & -2 \end{pmatrix}
}
{ } {}
}
{}
{}{.}
Die innere Induktion erlaubt hier also einen Sprung zu einem kleineren $\betrag { a_{1,1} }$. Hier ist das 1 und damit teilt es alle Elemente. Dies erlaubt folgendes Vorgehen:
\mavergleichskettealign
{\vergleichskettealign
{ \begin{pmatrix} 1 & 9 & -4 \\ 2 & 0 & -2 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 \\ 2 & 1 \end{pmatrix}\cdot \begin{pmatrix} 1 & 9 & -4 \\ 0 & -18 & 6 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 \\ 2 & 1 \end{pmatrix}\cdot \begin{pmatrix} 1 & 0 & -4 \\ 0 & -18 & 6 \end{pmatrix}\cdot \begin{pmatrix} 1 & 9 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 \\ 2 & 1 \end{pmatrix}\cdot \begin{pmatrix} 1 & 0 & 0 \\ 0 & -18 & 6 \end{pmatrix}\cdot \begin{pmatrix} 1 & 0 & -4 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}\cdot \begin{pmatrix} 1 & 9 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}
}
{ =} { L_4\cdot \begin{pmatrix} 1 & 0 & 0 \\ 0 & -18 & 6 \end{pmatrix}\cdot R_4\cdot R_3
}
}
{}
{}{.}
Nun können wir einen Rekursionsschritt bezüglich der inneren Induktion anwenden und uns auf die kleine Teilmatrix unten rechts konzentrieren. Das weitere Vorgehen nach dem Verfahren sieht folgendermaßen aus:
\mavergleichskettealign
{\vergleichskettealign
{ \begin{pmatrix} 1 & 0 & 0 \\ 0 & -18 & 6 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 & 0 \\ 0 & 6 & -18 \end{pmatrix}\cdot \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\0 & 1 & 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 & 0 \\ 0 & 6 & 0 \end{pmatrix}\cdot \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & -3 \\0 & 0 & 1 \end{pmatrix}\cdot \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\0 & 1 & 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 & 0 \\ 0 & 6 & 0 \end{pmatrix}\cdot R_6\cdot R_5
}
{ } {}
}
{}
{}{.}
Die resultierende Matrix hat Diagonalform. Es gilt insgesamt
\mavergleichskettealign
{\vergleichskettealign
{M
}
{ =} { \begin{pmatrix} 2 & -4 & -2 \\ 6 & -3 & -18 \end{pmatrix}
}
{ =} {(L_1\cdots L_4)\cdot \begin{pmatrix} 1 & 0 & 0 \\ 0 & 6 & 0 \end{pmatrix}\cdot (R_6\cdots R_1)
}
{ =} { \begin{pmatrix} 2 & 1 \\ 15 & 7 \end{pmatrix}\cdot \begin{pmatrix} 1 & 0 & 0 \\ 0 & 6 & 0 \end{pmatrix}\cdot \begin{pmatrix} -8 & 25 & -4 \\ 3 & -9 & 1 \\-1 & 3 & 0 \end{pmatrix}
}
{ } {}
}
{}
{}{}
und
\mathdisp {D = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 6 & 0 \end{pmatrix}} { . }
}
\zwischenueberschrift{Hauptsatz über endlich erzeugte abelsche Gruppen}
Für den Hauptsatz brauchen wir noch ein kleines Hilfslemma:
\inputfaktbeweis
{Untergruppen_von_Z^m/Endlich_erzeugt/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Jede Untergruppe $U$ von $\Z^m$ lässt sich durch höchstens $m$ Elemente erzeugen.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir beweisen dies durch Induktion über $m$.
Induktionsanfang: Es sei $m = 1$.
Wenn $U = {0}$ wird $U$ durch $0$ erzeugt. Andernfalls ist $U$ nicht die Nullgruppe und enthält daher noch weitere Elemente. Es sei $a \in U$ mit $\betrag { a } \neq 0$ minimal. Behauptung: $U$ wird durch $a$ erzeugt. Es sei $x \in U$ beliebig. Dann liefert Division mit Rest
\mathl{x = aq+r}{} mit $0 \leq r < \betrag { a }$. Wegen
\mathl{r = x-aq}{} ist $r \in U$. Da $a$ minimal ist, muss $r = 0$ sein. Daher wird $U$ tatsächlich durch $a$ erzeugt.
Induktionsvoraussetzung: Es sei jede Untergruppe von $\Z^{m_0}$ für $m_0 < m$ endlich erzeugt durch höchstens $m_0$ Erzeuger (o.B.d.A. können wir hier immer genau $m_0$ Erzeuger
\mathl{y_1,\ldots,y_{m_0}}{} annehmen).
Induktionsschritt: Wir fixieren eine Untergruppe
\mathl{U \subseteq \Z^m}{.} Wir projizieren $\Z^{m}$ kanonisch auf die letzte Komponente:
\maabbeledisp {p} {\Z^{m}} {\Z
} {(a_1,\ldots,a_{m})} {a_{m}
} {.}
Es gilt $\operatorname{kern} p = \Z^{m-1}$. Daher ist $U\cap\operatorname{kern} p$ endlich erzeugt durch
\mathl{y_1,\ldots,y_{m-1}}{} aufgrund der Induktionsvoraussetzung. Es gilt auch $\operatorname{bild} p = \Z$. Daher ist $p(U)$ endlich erzeugt durch $z=p(y_{m})$. Es sei $y \in U$ beliebig. Es gilt
\mathl{p(y) = a_{m}z}{} und
\mathl{y' = y - a_{m}y_{m} \in U\cap\operatorname{kern} p}{.} Daher ist
\mathl{y' = a_1y_1+\ldots+a_{m-1}y_{m-1}}{} und dies führt zu
\mathdisp {y= a_1y_1+...+a_{m}y_{m}} { . }
$U$ ist daher endlich erzeugt durch höchstens $m$ Elemente von $U$.
Wir erinnern außerdem ohne Beweis an folgenden Isomorphiesatz für Gruppen:
\inputfakt{Gruppenhomomorphismus/Surjektiv_und_Restklassengruppe/Fakt}{Satz}{Isomorphiesatz für Gruppen}
{
\faktsituation {Es seien
\mathkor {} {G} {und} {H} {}
\definitionsverweis {Gruppen}{}{}
und sei
\maabbdisp {\varphi} {G} {H
} {}
ein \definitionsverweis {surjektiver}{}{}
\definitionsverweis {Gruppenhomomorphismus}{}{.}}
\faktfolgerung {Dann gibt es eine kanonische
\definitionsverweis {Isomorphie}{}{}
\maabbdisp {\tilde{\varphi}} {G/ \operatorname{kern} \varphi } {H
} {.}}
\faktzusatz {}
\faktzusatz {}
} Damit kommen wir zum Hauptsatz.
\inputfaktbeweis
{Gruppentheorie/Kommutativ/Endlich_erzeugt/Hauptsatz/Fakt}
{Satz}
{Hauptsatz über endlich erzeugte abelsche Gruppen}
{
\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
Satz 6 (Isomorphiesatz für Gruppen)
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
Lemma 5
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
Satz 3 (Elementarteilersatz)
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 Satz 3 (Elementarteilersatz)
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
}
{ } {}
{ } {}
{ } {}
}
{}{.}