Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 12/latex
\setcounter{section}{12}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller47.jpg} }
\end{center}
\bildtext {Heute war es besonders anstrengend, Vorli muss noch mehr schlafen. Ein gesunder Schlaf ist für alle Beteiligten wichtig.} }
\bildlizenz { Waeller47.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
In dieser Vorlesung besprechen wir Restklassenbildung. Dies ist ein wichtiger Spezialfall der Bildung einer Quotientenmenge zu einer Äquivalenzrelation. Ein zusätzlicher Aspekt ist, dass man auf diesen Quotientenmengen Verknüpfungen hat, die sich von der Startmenge her vererben. Unmittelbare Anwendungen sind ein besseres Verständnis der Division mit Rest der ganzen Zahlen, insbesondere der algebraischen Struktur der Reste.
Um die folgenden Aussagen prägnanter formulieren zu können, brauchen wir eigene Begriffe für strukturerhaltende Abbildungen, das sind Abbildungen, die mit den gegebenen Verknüpfungen verträglich sind.
\inputdefinition
{}
{
Es seien
\mathkor {} {(G, \circ, e_G)} {und} {(H, \circ, e_H)} {}
\definitionsverweis {Gruppen}{}{.}
Eine
\definitionsverweis {Abbildung}{}{}
\maabbdisp {\psi} {G} {H
} {}
heißt \definitionswort {Gruppenhomomorphismus}{,} wenn die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ \psi( g \circ g')
}
{ =} { \psi (g) \circ \psi (g')
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{g,g'
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
} Beispielsweise ist eine lineare Abbildung insbesondere ein Gruppenhomomorphismus.
\inputdefinition
{}
{
Es seien
\mathkor {} {R} {und} {S} {}
\definitionsverweis {Ringe}{}{.}
Eine 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{Restklassengruppen}
Bei der folgenden Konstruktion denke man an die Gruppe $\Z$ zusammen mit der Untergruppe $\Z n$ aller Vielfachen zu einer fixierten Zahl $n$, also an die Situation
\mavergleichskette
{\vergleichskette
{\Z n
}
{ \subseteq }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
oder an die Situation eines Untervektorraumes
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{K^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
siehe
Aufgabe 10.15.
\inputdefinition
{}
{
Es sei
\mathl{(G,0,+)}{} eine
\definitionsverweis {kommutative Gruppe}{}{}
und
\mavergleichskette
{\vergleichskette
{H
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Untergruppe}{}{.}
Für Elemente
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
setzen wir
\mavergleichskette
{\vergleichskette
{x
}
{ \sim_H }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {und sagen, dass $x$ und $y$ äquivalent sind} {} {,}
wenn
\mavergleichskette
{\vergleichskette
{x-y
}
{ \in }{H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
In dem eingangs erwähnten Beispiel sind zwei ganze Zahlen äquivalent, wenn ihre Differenz ein Vielfaches von $n$ ist. Diese Äquivalenzrelation wurde schon in Beispiel 10.14 betrachtet. Wir sichern zuerst, dass wirklich in voller Allgemeinheit eine Äquivalenzrelation vorliegt.
\inputfaktbeweis
{Gruppentheorie/Kommutativ/Äquivalenz zu Untergruppe/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mathl{(G,0,+)}{} eine
\definitionsverweis {kommutative Gruppe}{}{,}
\mavergleichskette
{\vergleichskette
{H
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Untergruppe}{}{}
und
\mathl{\sim_H}{} die durch $H$ auf $G$ definierte
\definitionsverweis {Relation}{}{.}}
\faktfolgerung {Dann liegt eine Äquivalenzrelation vor, und die Äquivalenzklasse zu $0$ ist gerade $H$.}
\faktzusatz {}
\faktzusatz {}
}
{
Wegen
\mavergleichskettedisp
{\vergleichskette
{x-x
}
{ =} { 0
}
{ \in} {H
}
{ } {
}
{ } {
}
}
{}{}{}
ist die Relation reflexiv. Mit
\mavergleichskette
{\vergleichskette
{x-y
}
{ \in }{H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{y-x
}
{ \in }{H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
da Untergruppen unter dem Negativen abgeschlossen sind, was die Symmetrie der Relation bedeutet. Mit
\mavergleichskette
{\vergleichskette
{x
}
{ \sim_H }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{y
}
{ \sim_H }{z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{x-y, y-z
}
{ \in }{ H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
ist auch
\mavergleichskettedisp
{\vergleichskette
{x-z
}
{ =} {( x-y )+ (y-z)
}
{ \in} {H
}
{ } {
}
{ } {
}
}
{}{}{,}
da Untergruppen unter der Addition abgeschlossen sind, und somit ist auch
\mavergleichskette
{\vergleichskette
{x
}
{ \sim_H }{z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit ist die Relation auch transitiv. Die Äquivalenz von $x$ mit $0$ bedeutet
\mavergleichskette
{\vergleichskette
{x-0
}
{ = }{x
}
{ \in }{H
}
{ }{
}
{ }{
}
}
{}{}{,}
sodass die letzte Aussage auch klar ist.
Die Äquivalenzklassen heißen in dieser Situation auch die \stichwort {Nebenklassen} {} der Relation. Sie haben die Gestalt
\mavergleichskettedisp
{\vergleichskette
{ [x]
}
{ =} { x+H
}
{ =} { { \left\{ x+h \mid h \in H \right\} }
}
{ } {
}
{ } {
}
}
{}{}{,}
sie bestehen also aus allen Elementen, die man von $x$ aus durch Addition mit einem Element aus $H$ erreichen kann. Man kann sich dabei $H$ als einen mehr oder weniger restriktiven Vorrat an Sprungmöglichkeiten oder Bewegungsmöglichkeiten vorstellen, und die Äquivalenz zwischen
\mathkor {} {x} {und} {y} {}
bedeutet, dass man von $x$ nach $y$ mit einem erlaubten Sprung gelangen kann.
\inputfaktbeweis
{Gruppe/Kommutativ/Restklassengruppe/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mathl{(G,0,+)}{} eine
\definitionsverweis {kommutative Gruppe}{}{,}
\mavergleichskette
{\vergleichskette
{H
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Untergruppe}{}{}
und
\mathl{G/H}{} die
\definitionsverweis {Quotientenmenge}{}{}
zur durch $H$ definierten
\definitionsverweis {Äquivalenzrelation}{}{}
auf $G$ mit der
\definitionsverweis {kanonischen Projektion}{}{}
\maabbeledisp {q} {G} {G/H
} {g} {[g]
} {.}}
\faktfolgerung {Dann gibt es eine eindeutig bestimmte Gruppenstruktur auf
\mathl{G/H}{} derart, dass $q$ ein
\definitionsverweis {Gruppenhomomorphismus}{}{}
ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Da die kanonische Projektion zu einem Gruppenhomomorphismus werden soll, muss die Verknüpfung durch
\mavergleichskettedisp
{\vergleichskette
{ [x] + [y]
}
{ =} { [x + y]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben sein, was bereits die Eindeutigkeit sichert. Wir müssen also zeigen, dass durch diese Vorschrift eine wohldefinierte Verknüpfung auf
\mathl{G/H}{} definiert ist, die unabhängig von der Wahl der Repräsentanten ist. D.h. wir haben für \mathkon { [x]=[x'] } { und } { [y]=[y'] }{ } zu zeigen, dass
\mavergleichskette
{\vergleichskette
{[x+y]
}
{ = }{[x'+ y']
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Nach Voraussetzung können wir \mathkon { x'=x+h } { und } { y'= y+ h' }{ } mit
\mavergleichskette
{\vergleichskette
{h,h'
}
{ \in }{H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben. Damit ist
\mavergleichskettedisp
{\vergleichskette
{ x'+ y'
}
{ =} { (x+h)+(y +h')
}
{ =} { x+y + (h+h')
}
{ } {
}
{ } {
}
}
{}{}{}
und somit ist
\mavergleichskette
{\vergleichskette
{ [x+y]
}
{ = }{ [x'+y']
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Aus der Wohldefiniertheit der Verknüpfung auf
\mathl{G/H}{} und der Surjektivität der kanonischen Projektion folgen die Gruppeneigenschaften und die Homomorphieeigenschaft der Projektion.
\inputdefinition
{}
{
Es sei
\mathl{(G,0,+)}{} eine
\definitionsverweis {kommutative Gruppe}{}{}
und
\mavergleichskette
{\vergleichskette
{H
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Untergruppe}{}{.}
Die
\definitionsverweis {Quotientenmenge}{}{}
\mathdisp {G/H} { }
mit der aufgrund von
Satz 12.5
eindeutig bestimmten Gruppenstruktur heißt \definitionswort {Restklassengruppe}{} von $G$ \definitionswort {modulo}{} $H$. Die Elemente
\mavergleichskette
{\vergleichskette
{ [g]
}
{ \in }{G/H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißen \definitionswort {Restklassen}{.} Für eine Restklasse $[g]$ heißt jedes Element
\mathkor {} {g' \in G} {mit} {[g'] = [g]} {}
ein \definitionswort {Repräsentant}{} von $[g]$.
}
\inputbeispiel{
}
{
Die
\definitionsverweis {Untergruppen}{}{}
der ganzen Zahlen sind nach
Satz 8.4
von der Form
\mathkor {} {\Z n} {mit} {n \geq 0} {.}
Die
\definitionsverweis {Restklassengruppen}{}{}
werden mit
\mathdisp {\Z/(n)} { }
bezeichnet
\zusatzklammer {sprich \anfuehrung{$\Z$ modulo $n$}{}} {} {.}
Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist das einfach $\Z$ selbst, bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist das die
\definitionsverweis {triviale Gruppe}{}{.}
Im Allgemeinen ist die durch die Untergruppe $\Z n$ definierte Äquivalenzrelation auf $\Z$ dadurch gegeben, dass zwei ganze Zahlen
\mathkor {} {a} {und} {b} {}
genau dann äquivalent sind, wenn ihre Differenz
\mathl{a-b}{} zu $\Z n$ gehört, also ein Vielfaches von $n$ ist. Daher ist
\zusatzklammer {bei $n \geq 1$} {} {}
jede ganze Zahl zu genau einer der $n$ Zahlen
\mathdisp {0,1,2 , \ldots , n-1} { }
äquivalent
\zusatzklammer {oder, wie man auch sagt, \stichwort {kongruent modulo $n$} {}} {} {,}
nämlich zum Rest, der sich bei Division durch $n$ ergibt. Diese Reste bilden also ein Repräsentantensystem für die Restklassengruppe, und diese besitzt $n$ Elemente. Diese werden im Allgemeinen mit
\mathl{\overline{0}, \overline{1}, \overline{2} , \ldots , \overline{n-1}}{} bezeichnet. Dabei ist $\overline{0}$ das neutrale Element, das negative Element zu $\overline{k}$ ist
\mathl{\overline{n-k}}{} und die Summe
\mathl{\overline{i} + \overline{k}}{} ist
\mathl{\overline{i+k}}{} bzw.
\mathl{\overline{i+k-n}}{,} falls
\mavergleichskette
{\vergleichskette
{i+k
}
{ \geq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Die Tatsache, dass die Restklassenabbildung
\maabbeledisp {} {\Z} { \Z/(n)
} {a} {[a] = a \! \! \! \mod n
} {,}
ein Homomorphismus ist, kann man auch so ausdrücken, dass der Rest einer Summe von zwei ganzen Zahlen nur von den beiden Resten, nicht aber von den Zahlen selbst, abhängt.
}
\zwischenueberschrift{Restklassenringe}
\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}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Eine Ideal ist insbesondere eine Untergruppe der kommutativen Gruppe
\mathl{(R,+,0)}{.} Bei
\mavergleichskette
{\vergleichskette
{R
}
{ = }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist jede Untergruppe bereits ein Ideal. Die Restklassengruppe
\mathl{R/ {\mathfrak a}}{} ist in kanonischer Weise nach
Satz 12.5
eine kommutative Gruppe und die kanonische Abbildung
\maabbdisp {} {R} {R/ {\mathfrak a}
} {}
ist mit der Addition verträglich. Wir werden sehen, dass man in
\mathl{R/ {\mathfrak a}}{} zusätzlich eine Multiplikation und ein Einselement definieren kann derart, dass $R/ {\mathfrak a}$ zu einem kommutativen Ring wird und dass die kanonische Abbildung auch die Multiplikation respektiert, also ein Ringhomomorphismus ist.
Die Nebenklassen
\mathl{a+ {\mathfrak a}}{} sind gerade die
\definitionsverweis {Nebenklassen}{}{}
zur Untergruppe
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zwei Elemente
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definieren genau dann die gleiche Nebenklasse, also
\mavergleichskette
{\vergleichskette
{ a+ {\mathfrak a}
}
{ = }{ b+ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wenn ihre Differenz
\mathl{a-b}{} zum Ideal gehört.
\inputfaktbeweis
{Kommutativer Ring/Ideal/Restklassenring/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{,}
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Ideal}{}{}
und
\mathl{R/{\mathfrak a}}{} die
\definitionsverweis {Quotientenmenge}{}{}
zur durch ${\mathfrak a}$ definierten
\definitionsverweis {Äquivalenzrelation}{}{}
auf $R$ mit der
\definitionsverweis {kanonischen Projektion}{}{}
\maabbeledisp {q} {R} {R/ {\mathfrak a}
} {g} {[g]
} {.}}
\faktfolgerung {Dann gibt es eine eindeutig bestimmte Ringstruktur auf
\mathl{R/{\mathfrak a}}{} derart, dass $q$ ein
\definitionsverweis {Ringhomomorphismus}{}{}
ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Nach
Satz 12.5
gibt es nur eine Gruppenstruktur auf
\mathl{R/ {\mathfrak a}}{} derart, dass die kanonische Abbildung ein Gruppenhomomorphismus ist. Da ein Ringhomomorphismus insbesondere ein Gruppenhomomorphismus bezüglich der Addition ist, ist dies die einzige additive Struktur, die in Frage kommt.
Da die kanonische Abbildung die Multiplikation respektieren soll, kommt nur
\mathl{\overline{ 1 }\,}{} als neutrales Element der Multiplikation und
\mavergleichskettedisp
{\vergleichskette
{ \overline{ a }\, \overline{ b }\,
}
{ =} { \overline{ ab }\,
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
als Multiplikation in Frage. Wir müssen zeigen, dass diese Multiplikation wohldefiniert ist. Es seien zwei Restklassen mit unterschiedlichen Repräsentanten gegeben, also
\mathkor {} {\overline{ a }\,=\overline{ a' }\,} {und} {\overline{ b }\,=\overline{ b' }\,} {.}
Dann ist
\mathkor {} {a-a' \in {\mathfrak a}} {und} {b-b' \in {\mathfrak a}} {}
bzw.
\mathkor {} {a'=a+x} {und} {b'=b+y} {}
mit
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daraus ergibt sich
\mavergleichskettedisp
{\vergleichskette
{a'b'
}
{ =} {(a+x)(b+y)
}
{ =} {ab+ay+xb+xy
}
{ } {}
{ } {}
}
{}{}{.}
Die drei hinteren Summanden gehören zum Ideal, sodass die Differenz
\mavergleichskette
{\vergleichskette
{ a'b'-ab
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
Aus der Wohldefiniertheit folgen die anderen Eigenschaften und insbesondere, dass ein Ringhomomorphismus in den Restklassenring vorliegt.
Die kanonische Projektion nennt man wieder die
\definitionswortenp{Restklassenabbildung}{} oder den
\definitionswortenp{Restklassenhomomorphismus}{.} Das Bild von
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in
\mathl{R/ {\mathfrak a}}{} wird mit $[a]$, häufig aber auch mit $\overline{a}$ oder einfach mit $a$ selbst bezeichnet und heißt die
\definitionswortenp{Restklasse}{} von $a$. Bei dieser Abbildung gehen genau die Elemente aus dem Ideal auf $0$, d.h. der Kern dieser Restklassenabbildung ist das vorgegebene Ideal.
\zwischenueberschrift{Die Restklassenringe von $\Z$ }
Für uns sind die Restklassenringe zum Ring $\Z$ und zu den Idealen $\Z n$ die wichtigsten Beispiele. Die praktische Bedeutung von Satz 12.9 liegt darin, dass man mit Resten nahezu gedankenlos rechnen darf, wenn man sich für das Restergebnis interessiert. Es ist egal, wann und wie oft man Zahlen durch ihre Reste oder durch andere Zahlen mit dem gleichen Rest ersetzt. In Aufgabe 6.11 und Aufgabe 6.12 hatten wir dies teilweise schon direkt nachgewiesen.
Durch die Konstruktion erhalten wir für jede natürliche Zahl
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einen kommutativen Ring mit $n$ Elementen. Der folgende Satz charakterisiert, wann es sich um einenKörper handelt.
\inputfaktbeweis
{Restklassenringe von Z/Charakterisierung Körper/Prim/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der
\definitionsverweis {Restklassenring}{}{}
\mathl{\Z/(n)}{} ist genau dann ein
\definitionsverweis {Körper}{}{,}}
\faktfolgerung {wenn $n$ eine
\definitionsverweis {Primzahl}{}{}
ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der Restklassenring gleich $\Z$ selbst und kein Körper. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besteht der Restklassenring aus nur einem Element und es ist
\mavergleichskette
{\vergleichskette
{ \overline{ 0 }\,
}
{ = }{ \overline{ 1 }\,
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dies ist bei einem Körper explizit ausgeschlossen, und $1$ ist keine Primzahl. Es sei also von nun an
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn $n$ keine Primzahl ist, so gibt es eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {rs
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit kleineren Zahlen
\mavergleichskettedisp
{\vergleichskette
{1
}
{ <} {r,s
}
{ <} {n
}
{ } {
}
{ } {
}
}
{}{}{.}
Im Restklassenring
\mathl{\Z/(n)}{} bedeutet dies, dass die Restklassen
\mathkor {} {\overline{ r }\,} {und} {\overline{ s }\,} {}
nicht $0$ sind, dass aber ihr Produkt
\mavergleichskettedisp
{\vergleichskette
{ \overline{ r }\, \overline{ s }\,
}
{ =} { \overline{ rs }\,
}
{ =} { \overline{ n }\,
}
{ =} { 0
}
{ } {
}
}
{}{}{}
ist. Das kann nach
Lemma 5.14
in einem Körper nicht sein.
Sei nun $n$ eine Primzahl. Wir müssen zeigen, dass jede von $0$ verschiedene Restklasse
\mathbed {\overline{ r }\,} {}
{0 < r < n} {}
{} {} {} {,}
ein inverses Element besitzt. Da $n$ prim ist, sind
\mathkor {} {r} {und} {n} {}
\definitionsverweis {teilerfremd}{}{.}
Nach
dem Lemma von Bezout
gibt es ganze Zahlen
\mathl{a,b}{} mit
\mavergleichskettedisp
{\vergleichskette
{ar+bn
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies führt im Restklassenring zur Identität
\mavergleichskettealign
{\vergleichskettealign
{ \overline{ 1 }\,
}
{ =} { \overline{ ar +bn }\,
}
{ =} { \overline{ a }\, \overline{ r }\, + \overline{ b }\, \overline{ n }\,
}
{ =} { \overline{ a }\, \overline{ r }\,
}
{ } {
}
}
{}
{}{,}
die besagt, dass
\mathkor {} {\overline{ r }\,} {und} {\overline{ a }\,} {}
invers zueinander sind.
Der Beweis zeigt auch, wie man zu einem Element $r$ zwischen $1$ und der Primzahl $p$ das Inverse in
\mathl{\Z/(p)}{} findet. Man muss mit Hilfe des euklidischen Algorithmus in $\Z$ eine Darstellung der $1$ finden. Aus
\mavergleichskettedisp
{\vergleichskette
{ar+b p
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
lässt sich dann ablesen, dass die Restklasse von $a$ das inverse Element zu $r$ ist.
\inputbeispiel{}
{
Der Restklassenkörper
\mavergleichskette
{\vergleichskette
{ \Z/(7)
}
{ = }{ \{0,1,2,3,4,5,6\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
hat die folgenden Verknü\-pfungstabellen:
- %Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $+$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ $2$ }
\renewcommand{\leitzeilevier}{ $3$ }
\renewcommand{\leitzeilefuenf}{ $4$ }
\renewcommand{\leitzeilesechs}{ $5$ }
\renewcommand{\leitzeilesieben}{ $6$ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ $+$ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\renewcommand{\leitspaltedrei}{ $2$ }
\renewcommand{\leitspaltevier}{ $3$ }
\renewcommand{\leitspaltefuenf}{ $4$ }
\renewcommand{\leitspaltesechs}{ $5$ }
\renewcommand{\leitspaltesieben}{ $6$ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 0 }
\renewcommand{\aeinsxzwei}{ 1 }
\renewcommand{\aeinsxdrei}{ 2 }
\renewcommand{\aeinsxvier}{ 3 }
\renewcommand{\aeinsxfuenf}{ 4 }
\renewcommand{\aeinsxsechs}{ 5 }
\renewcommand{\aeinsxsieben}{ 6 }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 1 }
\renewcommand{\azweixzwei}{ 2 }
\renewcommand{\azweixdrei}{ 3 }
\renewcommand{\azweixvier}{ 4 }
\renewcommand{\azweixfuenf}{ 5 }
\renewcommand{\azweixsechs}{ 6 }
\renewcommand{\azweixsieben}{ 0 }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 2 }
\renewcommand{\adreixzwei}{ 3 }
\renewcommand{\adreixdrei}{ 4 }
\renewcommand{\adreixvier}{ 5 }
\renewcommand{\adreixfuenf}{ 6 }
\renewcommand{\adreixsechs}{ 0 }
\renewcommand{\adreixsieben}{ 1 }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ 3 }
\renewcommand{\avierxzwei}{ 4 }
\renewcommand{\avierxdrei}{ 5 }
\renewcommand{\avierxvier}{ 6 }
\renewcommand{\avierxfuenf}{ 0 }
\renewcommand{\avierxsechs}{ 1 }
\renewcommand{\avierxsieben}{ 2 }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ 4 }
\renewcommand{\afuenfxzwei}{ 5 }
\renewcommand{\afuenfxdrei}{ 6 }
\renewcommand{\afuenfxvier}{ 0 }
\renewcommand{\afuenfxfuenf}{ 1 }
\renewcommand{\afuenfxsechs}{ 2 }
\renewcommand{\afuenfxsieben}{ 3 }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ 5 }
\renewcommand{\asechsxzwei}{ 6 }
\renewcommand{\asechsxdrei}{ 0 }
\renewcommand{\asechsxvier}{ 1 }
\renewcommand{\asechsxfuenf}{ 2 }
\renewcommand{\asechsxsechs}{ 3 }
\renewcommand{\asechsxsieben}{ 4 }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ 6 }
\renewcommand{\asiebenxzwei}{ 0 }
\renewcommand{\asiebenxdrei}{ 1 }
\renewcommand{\asiebenxvier}{ 2 }
\renewcommand{\asiebenxfuenf}{ 3 }
\renewcommand{\asiebenxsechs}{ 4 }
\renewcommand{\asiebenxsieben}{ 5 }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitsiebenxsieben
- %Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\cdot$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ $2$ }
\renewcommand{\leitzeilevier}{ $3$ }
\renewcommand{\leitzeilefuenf}{ $4$ }
\renewcommand{\leitzeilesechs}{ $5$ }
\renewcommand{\leitzeilesieben}{ $6$ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ $\cdot$ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\renewcommand{\leitspaltedrei}{ $2$ }
\renewcommand{\leitspaltevier}{ $3$ }
\renewcommand{\leitspaltefuenf}{ $4$ }
\renewcommand{\leitspaltesechs}{ $5$ }
\renewcommand{\leitspaltesieben}{ $6$ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 0 }
\renewcommand{\aeinsxzwei}{ 0 }
\renewcommand{\aeinsxdrei}{ 0 }
\renewcommand{\aeinsxvier}{ 0 }
\renewcommand{\aeinsxfuenf}{ 0 }
\renewcommand{\aeinsxsechs}{ 0 }
\renewcommand{\aeinsxsieben}{ 0 }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 0 }
\renewcommand{\azweixzwei}{ 1 }
\renewcommand{\azweixdrei}{ 2 }
\renewcommand{\azweixvier}{ 3 }
\renewcommand{\azweixfuenf}{ 4 }
\renewcommand{\azweixsechs}{ 5 }
\renewcommand{\azweixsieben}{ 6 }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 0 }
\renewcommand{\adreixzwei}{ 2 }
\renewcommand{\adreixdrei}{ 4 }
\renewcommand{\adreixvier}{ 6 }
\renewcommand{\adreixfuenf}{ 1 }
\renewcommand{\adreixsechs}{ 3 }
\renewcommand{\adreixsieben}{ 5 }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ 0 }
\renewcommand{\avierxzwei}{ 3 }
\renewcommand{\avierxdrei}{ 6 }
\renewcommand{\avierxvier}{ 2 }
\renewcommand{\avierxfuenf}{ 5 }
\renewcommand{\avierxsechs}{ 1 }
\renewcommand{\avierxsieben}{ 4 }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ 0 }
\renewcommand{\afuenfxzwei}{ 4 }
\renewcommand{\afuenfxdrei}{ 1 }
\renewcommand{\afuenfxvier}{ 5 }
\renewcommand{\afuenfxfuenf}{ 2 }
\renewcommand{\afuenfxsechs}{ 6 }
\renewcommand{\afuenfxsieben}{ 3 }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ 0 }
\renewcommand{\asechsxzwei}{ 5 }
\renewcommand{\asechsxdrei}{ 3 }
\renewcommand{\asechsxvier}{ 1 }
\renewcommand{\asechsxfuenf}{ 6 }
\renewcommand{\asechsxsechs}{ 4 }
\renewcommand{\asechsxsieben}{ 2 }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ 0 }
\renewcommand{\asiebenxzwei}{ 6 }
\renewcommand{\asiebenxdrei}{ 5 }
\renewcommand{\asiebenxvier}{ 4 }
\renewcommand{\asiebenxfuenf}{ 3 }
\renewcommand{\asiebenxsechs}{ 2 }
\renewcommand{\asiebenxsieben}{ 1 }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitsiebenxsieben
}