Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Elementarteilersatz/Textabschnitt/latex

\setcounter{section}{6}

Wir wollen hier als Ergänzung noch den Elementarteilersatz für euklidische Bereiche beweisen. Der Beweis verläuft exakt gleich wie in Satz 3 (Proseminar:Hauptsatz über endlich erzeugte abelsche Gruppen (Osnabrück 2011-2012)) über
\mathl{\Z}{,} nur, dass eben statt des Betrags (der Rangfunktion in $\Z$) die allgemeine Rangfunktion
\mathl{\delta}{} des euklidischen Bereichs benutzt wird.

\inputfaktbeweis
{Modultheorie/Hauptidealbereich/euklidisch/Elementarteilersatz/Fakt}
{Satz}
{Elementarteilersatz (euklidisch)}
{

\faktsituation {Es sei $A$ ein \definitionsverweis {euklidischer Bereich}{}{} und sei $M$ eine $m \times n$-\definitionsverweis {Matrix}{}{} über $A$. Es sei
\mathl{k = {\min { \left( m , n \right) } }}{} das Minimum von $m$ und $n$.}
\faktfolgerung {Dann gibt es eine Darstellung
\mathdisp {M = L_1 \cdots L_p \cdot D \cdot R_q \cdots R_1} { }
mit invertierbaren $A$-\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 {Es gibt ein $s$ mit $0\leq s \leq k$ und folgender Eigenschaft: Für $i < s$ 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{\delta(a_{1,1})}{.}

Es sei also
\mathl{\delta(a_{1,1}) = \operatorname{min}(\delta(A))}{.} 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{\delta(r) < \delta(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{\delta(r) < \delta(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 - $q$ und $r$ mit
\mathl{a_{1,j} = qa_{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 $\delta(a_{1,1})$ und daher die Aussage für alle $k$.

}

Der Elementarteilersatz kann benutzt werden um den Hauptsatz über endlich erzeugte abelsche Gruppen zu beweisen. Dieser Satz ist das Gruppenäquivalent zu Satz 4.10, den wir schon auf andere Weise bewiesen haben. Man kann auch diesen allgemeineren Satz über die folgende allgemeinere Version des Elementarteilersatzes beweisen. Diese allgemeine Version steht hier ohne Beweis, der Beweis findet sich aber zum Beispiel im Lehrbuch der Algebra von Günter Scheja und Uwe Storch bei Satz 61.18.

\inputfakt{Modultheorie/Hauptidealbereiche/Elementarteilersatz/Fakt}{Satz}{Elementarteilersatz} {

\faktsituation {Es sei $U$ ein \definitionsverweis {Untermodul}{}{} eines \definitionsverweis {endlichen}{}{,} \definitionsverweis {freien}{}{} \definitionsverweis {Moduls}{}{} $M$ mit \definitionsverweis {Rang}{}{} $r$ über dem \definitionsverweis {Hauptidealbereich}{}{} $R$.}
\faktfolgerung {Dann besitzt $U$ ein \definitionsverweis {Erzeugendensystem}{}{}
\mathl{u_1,\ldots,u_n}{,} für das gilt:

\aufzaehlungdrei{Es gibt eine \definitionsverweis {Basis}{}{}
\mathl{x_1,\ldots,x_r}{} von $M$ und Ringelemente
\mathl{e_1,\ldots,e_n\in R}{} mit $u_i=e_ix_i$ für alle
\mathl{i\in \{1,\ldots,n\}}{.} }{Die $e_i$ sind alle von $0$ verschieden. }{ $e_{i+1}$ teilt $e_i$ für $i\in \{1,\ldots,n-1\}$. }}
\faktzusatz {}
\faktzusatz {}

}