Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil I/Vorlesung 3/latex
\setcounter{section}{3}
\epigraph { Kultur ist Reichtum an Problemen. } { Egon Friedell }
\zwischenueberschrift{Gruppen}
In der linearen Algebra wird im Allgemeinen ein \stichwort {Grundkörper} {} $K$ zugrunde gelegt, über dem sich alles aufbaut. Der wichtigste Körper ist für uns der Körper der reellen Zahlen $\R$, den wir schon verwendet haben und der in der Analysis axiomatisch eingeführt wird. Wie die reellen Zahlen ist ein Körper durch die Existenz von zwei Verknüpfungen mit bestimmten Eigenschaften festgelegt, nämlich einer Addition und einer Multiplikation. Erstaunlicherweise gehören diese beiden Verknüpfungen \zusatzklammer {bei der Multiplikation muss man die $0$ herausnehmen} {} {} für sich genommen zu einer wichtigen algebraische Struktur: Es handelt sich um Gruppen.
\inputdefinition
{}
{
Eine Menge $G$ mit einem ausgezeichneten Element
\mavergleichskette
{\vergleichskette
{e
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und mit einer
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {} {G \times G} {G
} {(g,h)} { g \circ h
} {,}
heißt
\definitionswort {Gruppe}{,}
wenn folgende Eigenschaften erfüllt sind.
\aufzaehlungdrei{Die Verknüpfung ist \stichwort {assoziativ} {,} d.h. für alle
\mavergleichskette
{\vergleichskette
{ f,g,h
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskettedisp
{\vergleichskette
{ (f \circ g) \circ h
}
{ =} { f \circ (g \circ h)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Das Element $e$ ist ein \stichwort {neutrales Element} {,} d.h. für alle
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskettedisp
{\vergleichskette
{ g \circ e
}
{ =} { g
}
{ =} { e \circ g
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Zu jedem
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein \stichwort {inverses Element} {,} d.h. es gibt ein
\mavergleichskette
{\vergleichskette
{h
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ h \circ g
}
{ =} { g \circ h
}
{ =} { e
}
{ } {
}
{ } {
}
}
{}{}{.}
}
}
Eine Gruppe heißt \stichwort {kommutativ} {,} wenn die Verknüpfung kommutativ ist. Wichtige Beispiele für kommutative Gruppen sind
\mathl{(\Z,0,+)}{,}
\mathl{(\R,0,+)}{,}
\mathl{(\R \setminus \{0\},1, \cdot )}{} oder
\mathl{(\R^n, 0, +)}{} mit der komponentenweisen Null
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} {(0,0 , \ldots , 0)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und der komponentenweisen Addition.
In einer Gruppe
\mathl{(G,e,\circ)}{} ist das neutrale Element eindeutig bestimmt. Wenn nämlich $e'$ ein weiteres Element mit der für das neutrale Element charakteristischen Eigenschaft, also
\mavergleichskettedisp
{\vergleichskette
{ x \circ e'
}
{ =} { e' \circ x
}
{ =} {x
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mathl{x \in G}{,} ist, so ergibt sich direkt
\mavergleichskettedisp
{\vergleichskette
{e
}
{ =} {e \circ e'
}
{ =} {e'
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputfaktbeweis
{Gruppe/Eindeutige Existenz des Inversen/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mathl{(G, e, \circ)}{} eine
\definitionsverweis {Gruppe}{}{.}}
\faktfolgerung {Dann ist zu jedem
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das Element
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{x \circ y
}
{ =} { y \circ x
}
{ =} { e
}
{ } {
}
{ } {
}
}
{}{}{}
eindeutig bestimmt.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{x \circ y
}
{ =} { y \circ x
}
{ =} { e
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{x \circ z
}
{ =} { z \circ x
}
{ =} {e
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ y
}
{ =} { y \circ e
}
{ =} { y \circ ( x \circ z )
}
{ =} { ( y \circ x) \circ z
}
{ =} { e \circ z
}
}
{
\vergleichskettefortsetzung
{ =} { z
}
{ } {}
{ } {}
{ } {}
}{}{.}
Solche abstrakte Strukturen wie eine Gruppe führen ein Doppelleben: Einerseits sind sie wirklich nur die gegebene formale Struktur, die Elemente sind nur irgendwelche Elemente einer irgendwie gegebenen Menge, die Verknüpfung ist irgendeine Verknüpfung, unter der man sich nichts Bestimmtes vorstellen soll. Die gewählten Symbole sind willkürlich und ohne Bedeutung. Andererseits erhalten solche abstrakte Strukturen dadurch ihr Leben, dass konkrete mathematische Strukturen darunter subsummiert werden können. Die konkreten Strukturen sind \stichwort {Beispiele} {} oder \stichwort {Modelle} {} für die abstrakte Struktur
\zusatzklammer {und sie sind mathematikhistorisch auch die Motivation, abstraktere Strukturen einzuführen} {} {.}
Beide Ebenen sind wichtig, man sollte sie aber stets auseinander halten.
Die Gruppentheorie ist ein eigenständiger Zweig in der Mathematik, den wir hier aber nicht systematisch entwickeln werden. Stattdessen beschäftigen wir uns mit Ringen und vor allem mit Körpern.
\zwischenueberschrift{Ringe}
\inputdefinition
{}
{
Eine Menge $R$ heißt ein \definitionswort {Ring}{,} wenn es zwei
\definitionsverweis {Verknüpfungen}{}{}
\zusatzklammer {genannt \stichwort {Addition} {} und \stichwort {Multiplikation} {}} {} {}
\mathdisp {+: R \times R \longrightarrow R \text{ und } \cdot: R \times R \longrightarrow R} { }
und
\zusatzklammer {nicht notwendigerweise verschiedene} {} {}
Elemente
\mavergleichskette
{\vergleichskette
{0,1
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt, die die folgenden Eigenschaften erfüllen.
\aufzaehlungdrei{Axiome der Addition
\aufzaehlungvier{Assoziativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{a,b,c
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{ (a + b) + c
}
{ = }{ a + (b + c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Kommutativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{a+b
}
{ = }{b+a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{$0$ ist das neutrale Element der Addition, d.h. für alle
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{a+0
}
{ = }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Existenz des Negativen: Zu jedem
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein Element
\mavergleichskette
{\vergleichskette
{b
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a+b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}{Axiome der Multiplikation
\aufzaehlungzwei {Assoziativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{a,b,c
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{ (a \cdot b) \cdot c
}
{ = }{ a \cdot (b \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {$1$ ist das neutrale Element der Multiplikation, d.h. für alle
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ a \cdot 1
}
{ = }{1 \cdot a
}
{ = }{ a
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}{Distributivgesetz:
Für alle
\mavergleichskette
{\vergleichskette
{a,b,c
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{ a \cdot (b+c)
}
{ = }{(a \cdot b) + (a \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ (b+c) \cdot a
}
{ = }{ (b \cdot a) + (c \cdot a)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
\inputdefinition
{}
{
Ein \definitionsverweis {Ring}{}{} $R$ heißt \definitionswort {kommutativ}{,} wenn die Multiplikation kommutativ ist.
}
Die wichtigsten kommutativen Ringe sind für uns die Mengen der ganzen Zahlen $\Z$, die rationalen Zahlen $\Q$ und die reellen Zahlen $\R$. Dass all diese Axiome für die reellen Zahlen
\zusatzklammer {und die rationalen Zahlen} {} {}
mit den natürlichen Verknüpfungen gelten, ist aus der Schule bekannt. Eine axiomatische Begründung ist möglich, wird aber hier nicht durchgeführt. Mit der Addition ist ein Ring
\mathl{(R,0,+)}{} insbesondere eine kommutative Gruppe.
In einem Ring gilt die \stichwort {Klammerkonvention} {,} dass die Multiplikation stärker bindet als die Addition
\zusatzklammer {\stichwort {Punktrechnung vor Strichrechnung} {}} {} {.}
Man kann daher
\mathl{a \cdot b + c \cdot d}{} statt
\mathl{(a \cdot b) +( c \cdot d)}{} schreiben. Zur weiteren Notationsvereinfachung wird das Produktzeichen häufig weggelassen. Die besonderen Elemente
\mathkor {} {0} {und} {1} {}
in einem Ring werden als \stichwort {Nullelement} {} und als \stichwort {Einselement} {} bezeichnet. Zu einem Element
\mathl{a \in R}{} nennt man das nach
Lemma 3.2
eindeutig bestimmte Element $y$ mit
\mathl{a+y=0}{} das \stichwort {Negative} {} von $a$ und bezeichnet es mit $-a$. Es ist
\mathl{-(-a)=a}{,} da wegen
\mathl{a+(-a)=0}{} das Element $a$ gleich dem eindeutig bestimmten Negativen von $-a$ ist. Statt
\mathl{b+(-a)}{} schreibt man abkürzend
\mathl{b-a}{} und spricht von der \stichwort {Differenz} {.} Die Differenz ist also keine grundlegende Verknüpfung, sondern wird auf die Addition mit dem Negativen zurückgeführt.
Die folgenden Eigenschaften sind für den Ring der reellen Zahlen vertraut, wir beweisen sie aber allein aus den Axiomen eines Rings. Sie gelten daher für jeden Ring.
\inputfaktbeweis
{Ring/Elementare Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein
\definitionsverweis {Ring}{}{} und seien
\mathl{a,b,c,a_1 , \ldots , a_r, b_1 , \ldots , b_s}{} Elemente aus $R$.}
\faktfolgerung {Dann gelten folgende Aussagen.
\aufzaehlungfuenf{
\mavergleichskettedisp
{\vergleichskette
{0 a
}
{ =} {a 0
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {\stichwort {Annullationsregel} {}} {} {,}
}{
\mavergleichskettedisp
{\vergleichskette
{ a(-b)
}
{ =} { -(ab)
}
{ =} { (-a)b
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ (-a)(-b)
}
{ =} { ab
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {\stichwort {Vorzeichenregel} {}} {} {,}
}{\mathkor {} {a(b-c)=ab-ac} {und} {(b-c)a=ba-ca} {,}
}{
\mavergleichskettedisp
{\vergleichskette
{ { \left( \sum_{i = 1}^r a_i \right) } { \left( \sum_{k = 1}^s b_k \right) }
}
{ =} {\sum_{ 1 \leq i \leq r,\, 1 \leq k \leq s } a_ib_k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {\stichwort {allgemeines Distributivgesetz} {}} {} {.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir beweisen im nicht kommutativen Fall je nur eine Hälfte.
\aufzaehlungfuenf{Es ist
\mavergleichskette
{\vergleichskette
{a0
}
{ = }{a(0+0)
}
{ = }{a0+a0
}
{ }{}
{ }{}
}
{}{}{.}
Durch beidseitiges Abziehen von $a0$ ergibt sich die Behauptung.
}{
\mavergleichskettedisp
{\vergleichskette
{ (-a)b +ab
}
{ =} {(-a+a)b
}
{ =} { 0b
}
{ =} { 0
}
{ } {}
}
{}{}{}
nach Teil (1). Daher ist $(-a)b$ das
\zusatzklammer {eindeutig bestimmte} {} {}
Negative von $ab$.
}{Nach (2) ist
\mathl{(-a)(-b) = (-(-a))b}{} und wegen $-(-a)=a$
\zusatzklammer {dies gilt in jeder Gruppe} {} {}
folgt die Behauptung.
}{Dies folgt auch aus dem bisher Bewiesenen.
}{Dies folgt aus einer einfachen Doppelinduktion.
}
\zwischenueberschrift{Körper}
Einen Großteil der linearen Algebra kann man über einem beliebigen Ring aufbauen, was aber einen ungleich umfassenderen Begriffsapparat erfordert. Stattdessen werden wir stets über einem Körper arbeiten.
\inputdefinition
{}
{
Ein
\definitionsverweis {kommutativer Ring}{}{}
$R$ heißt \definitionswort {Körper}{,} wenn
\mavergleichskette
{\vergleichskette
{R
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und wenn jedes von $0$ verschiedene Element ein multiplikatives Inverses besitzt.
}
Ausgeschrieben bedeutet dies:
\inputdefinition
{}
{
Eine Menge $K$ heißt ein \definitionswort {Körper}{,} wenn es zwei
\definitionsverweis {Verknüpfungen}{}{}
\zusatzklammer {genannt Addition und Multiplikation} {} {}
\mathdisp {+: K \times K \longrightarrow K \text{ und } \cdot: K \times K \longrightarrow K} { }
und zwei verschiedene Elemente
\mavergleichskette
{\vergleichskette
{0,1
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt, die die folgenden Eigenschaften erfüllen.
\aufzaehlungdrei{Axiome der Addition
\aufzaehlungvier{Assoziativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{ a,b,c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt:
\mavergleichskette
{\vergleichskette
{ (a + b) + c
}
{ = }{ a + (b + c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Kommutativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{a+b
}
{ = }{b+a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{$0$ ist das neutrale Element der Addition, d.h. für alle
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{a+0
}
{ = }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Existenz des Negativen: Zu jedem
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein Element
\mavergleichskette
{\vergleichskette
{b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a+b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}{Axiome der Multiplikation
\aufzaehlungvier{Assoziativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{ a,b,c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt:
\mavergleichskette
{\vergleichskette
{ (a \cdot b) \cdot c
}
{ = }{ a \cdot (b \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Kommutativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{ a \cdot b
}
{ = }{b \cdot a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{$1$ ist das neutrale Element der Multiplikation, d.h. für alle
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ a \cdot 1
}
{ = }{ a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Existenz des Inversen: Zu jedem
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein Element
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a \cdot c
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}{Distributivgesetz:
Für alle
\mavergleichskette
{\vergleichskette
{ a,b,c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{a \cdot (b+c)
}
{ = }{ (a \cdot b) + (a \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Die oben beschriebenen Eigenschaften
\zusatzklammer {und Konventionen} {} {}
für Ringe gelten insbesondere für Körper. Unter Verwendung des Gruppenbegriffs kann man auch sagen, dass ein Körper eine Menge mit zwei Verknüpfungen
\mathkor {} {+} {und} {\cdot} {}
und zwei fixierten Elementen
\mathl{0 \neq 1}{} ist, derart, dass
\mathl{(K,+,0)}{} und
\mathl{(K \setminus \{0\}, \cdot, 1)}{} jeweils kommutative Gruppen\zusatzfussnote {Das beinhaltet hier insbesondere, dass die Multiplikation sich zu einer Verknüpfung auf
\mathl{K \setminus \{0\}}{} einschränken lässt. Aus den Körperaxiomen folgt dies, wie wir gleich sehen werden} {.} {}
sind und dass das Distributivgesetz gilt.
Zu einem Element
\mathl{x \in K}{} und einer natürlichen Zahl
\mathl{n \in \N}{} definiert man
\mathl{nx}{} als die $n$-fache Summe von $x$ mit sich selbst. Dabei setzt man
\mathl{0x=0}{.} Für
\mavergleichskettedisp
{\vergleichskette
{n 1_K
}
{ =} { \underbrace{1_K+ 1_K + \cdots + 1_K }_{n {Summanden} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreibt man auch einfach
\mathl{n_K}{} oder $n$. Man findet also jede natürliche Zahl in jedem Körper
\zusatzklammer {auch in jedem Ring} {} {}
wieder, allerdings kann es sein, dass diese Zuordnung nicht injektiv ist und beispielsweise
\mavergleichskette
{\vergleichskette
{2
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{7
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem Körper gilt
\zusatzklammer {siehe die Beispiele weiter unten} {} {.}
Für negative ganze Zahlen $n$ setzt man
\mavergleichskettedisp
{\vergleichskette
{nx
}
{ =} {(-n) (-x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $-x$ das Negative von $x$ in dem Körper ist. Aufgrund von
Aufgabe 3.26
passt alles zusammen. Z.B. kann man
\mathl{(-n) (-x)}{} wie eben als die $-n$-fache Summe von $-x$ mit sich selbst verstehen oder als Produkt aus $-x$ und $-n$, letzteres als die $-n$-fache Summe von $1_K$ mit sich selbst.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Function-1_x.svg} }
\end{center}
\bildtext {Der Graph zur reellen Funktion, die einer Zahl
\mathl{a \neq 0}{} ihr Inverses zuordnet. Im Nullpunkt ist die Abbildung nicht definiert und auch nicht stetig fortsetzbar.} }
\bildlizenz { Function-1 x.svg } {} {Qualc1} {Commons} {CC-by-sa 2.5} {}
Das zu
\mathbed {a \in K} {}
{a \neq 0} {}
{} {} {} {,}
nach
Lemma 3.2
\zusatzklammer {hier lohnt sich schon der Gruppenbegriff} {} {}
eindeutig bestimmte Element $z$ mit
\mavergleichskette
{\vergleichskette
{ az
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man das \stichwort {Inverse} {} von $a$ und bezeichnet es mit $a^{-1}$.
Für
\mathbed {a,b \in K} {}
{b \neq 0} {}
{} {} {} {,}
schreibt man auch abkürzend
\mavergleichskettedisp
{\vergleichskette
{ a/b
}
{ \defeq} { { \frac{ a }{ b } }
}
{ \defeq} {ab^{-1}
}
{ } {
}
{ } {
}
}
{}{}{.}
Die beiden linken Ausdrücke sind also Abkürzungen für den rechten Ausdruck.
Zu einem Körperelement
\mathl{a \in K}{} und
\mathl{n \in \N}{} wird die $n$-\stichwort {Potenz} {,} geschrieben
\mathl{a^n}{,} als das $n$-fache Produkt von $a$ mit sich selbst definiert
\zusatzklammer {$n$ gibt die Anzahl der Faktoren an} {} {.}
Man setzt weiterhin
\mathl{a^0=1}{,} und bei
\mathl{a \neq 0}{} wird für
\mathl{n \in \N_+}{} der Ausdruck
\mathl{a^{-n}}{} als
\mathl{(a^{-1})^n}{} interpretiert.
Ein \anfuehrung{kurioser}{} Körper wird im folgenden Beispiel beschrieben. Dieser Körper mit zwei Elementen ist in der Informatik und der Kodierungstheorie wichtig, wird für uns aber keine große Rolle spielen. Er zeigt, dass es nicht für jeden Körper sinnvoll ist, seine Elemente auf der Zahlengeraden zu verorten.
\inputbeispiel{}
{
Wir suchen nach einer
\definitionsverweis {Körperstruktur}{}{}
auf der Menge
\mathl{\{0,1\}}{.} Wenn $0$ das neutrale Element einer Addition und $1$ das neutrale Element einer Multiplikation sein soll, so ist dadurch schon alles festgelegt, da
\mavergleichskette
{\vergleichskette
{1+1
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein muss, da $1$ ein inverses Element bezüglich der Addition besitzen muss, und da in jedem Körper
nach Lemma 3.5
\mavergleichskette
{\vergleichskette
{0 \cdot 0
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gelten muss. Die Operationstafeln sehen also wie folgt aus.
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $+$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ }
\renewcommand{\leitzeilevier}{ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\renewcommand{\leitspaltedrei}{ }
\renewcommand{\leitspaltevier}{ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\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}{ }
\renewcommand{\aeinsxvier}{ }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 1 }
\renewcommand{\azweixzwei}{ 0 }
\renewcommand{\azweixdrei}{ }
\renewcommand{\azweixvier}{ }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ }
\renewcommand{\adreixzwei}{ }
\renewcommand{\adreixdrei}{ }
\renewcommand{\adreixvier}{ }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ }
\renewcommand{\avierxzwei}{ }
\renewcommand{\avierxdrei}{ }
\renewcommand{\avierxvier}{ }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\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}{ }
\tabelleleitzweixzwei
und
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\cdot$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ }
\renewcommand{\leitzeilevier}{ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\renewcommand{\leitspaltedrei}{ }
\renewcommand{\leitspaltevier}{ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\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}{ }
\renewcommand{\aeinsxvier}{ }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 0 }
\renewcommand{\azweixzwei}{ 1 }
\renewcommand{\azweixdrei}{ }
\renewcommand{\azweixvier}{ }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ }
\renewcommand{\adreixzwei}{ }
\renewcommand{\adreixdrei}{ }
\renewcommand{\adreixvier}{ }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ }
\renewcommand{\avierxzwei}{ }
\renewcommand{\avierxdrei}{ }
\renewcommand{\avierxvier}{ }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\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}{ }
\tabelleleitzweixzwei
Durch etwas aufwändiges Nachrechnen stellt man fest, dass es sich in der Tat um einen \definitionsverweis {Körper}{}{}
handelt.
}
\inputbeispiel{}
{
Auf der Menge
\mathl{\{0,1,2,3,4,5,6\}}{}
\zusatzklammer {mit sieben Elementen} {} {}
kann man durch die Festlegungen
%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
ebenfalls einen Körper machen. Ohne weitere Theorie ist der Nachweis der Körpereigenschaften sehr aufwändig.
}
\inputfaktbeweis
{Körper/Integritätsbereich/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{.}}
\faktvoraussetzung {Aus
\mavergleichskette
{\vergleichskette
{a \cdot b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}}
\faktfolgerung {folgt
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Nehmen wir an, dass
\mathkor {} {a} {und} {b} {}
beide von $0$ verschieden sind. Dann gibt es dazu
\definitionsverweis {inverse Elemente}{}{}
\mathkor {} {a^{-1}} {und} {b^{-1}} {}
und daher ist
\mavergleichskette
{\vergleichskette
{ (ab) { \left( b^{-1} a^{-1} \right) }
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Andererseits ist aber nach Voraussetzung
\mathl{ab=0}{} und daher ist nach
Lemma 3.5 (1)
\mavergleichskettedisp
{\vergleichskette
{ (ab) { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0 { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{,} so dass sich der Widerspruch
\mathl{0=1}{} ergibt.