Kurs:Vorkurs Mathematik (Osnabrück 2009)/Vorlesung 7/latex
\setcounter{section}{7}
\zwischenueberschrift{Körper}
Wir werden von nun an den axiomatischen Aufbau der reellen Zahlen besprechen. Diese Axiome gliedern sich in algebraische Axiome, Anordnungsaxiome und das Vollständigkeitsaxiom. Die algebraischen Axiome werden im Begriff des Körpers zusammengefasst.
\inputdefinition
{Körper}
{
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)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
In einem Körper gilt die \stichwort {Klammerkonvention} {,} dass die Multiplikation stärker bindet als die Addition. 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 Körper werden als \stichwort {Nullelement} {} und als \stichwort {Einselement} {} bezeichnet. Nach der Definition müssen sie verschieden sein.
Die wichtigsten Beispiele für einen Körper sind für uns die rationalen Zahlen und die reellen Zahlen.
\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 7.6 (1)
\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.
}
\inputfaktuebergangbeweis
{Körpertheorie/Eindeutigkeit des Negativen und des Inversen/Fakt}
{Lemma}
{}
{
In einem
\definitionsverweis {Körper}{}{}
$K$ ist zu einem Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das Element $y$ mit
\mavergleichskette
{\vergleichskette
{x+y
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eindeutig bestimmt. Bei
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch das Element $z$ mit
\mavergleichskette
{\vergleichskette
{xz
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eindeutig bestimmt.
}
{Diese Aussage ist also eine Eindeutigkeitsaussage, und zwar wird behauptet, dass es nur ein Element gibt mit der Eigenschaft, dass seine Summe mit einem vorgegebenen $x$ gleich $0$ ist. Diese Eigenschaft bestimmt also das Element eindeutig. Eine solche Eindeutigkeitsaussage wird dadurch bewiesen, dass man sich zwei beliebige Elemente hernimmt, von denen man annimmt, dass sie beide die Eigenschaft erfüllen, darüber hinaus ist nichts von ihnen bekannt. Man muss dann zeigen, dass die beiden Elemente gleich sind. Häufig wählt man für die beiden Elemente ähnliche Symbole, um anzudeuten, dass sie die gleiche Eigenschaft erfüllen.}
{
Es sei $x$ vorgegeben und seien
\mathkor {} {y} {und} {y'} {}
Elemente mit
\mavergleichskette
{\vergleichskette
{ x+y
}
{ = }{ 0
}
{ = }{x+y'
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gilt
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} {y+0
}
{ =} {y+(x+y')
}
{ =} {(y+x)+y'
}
{ =} {(x+y)+y'
}
}
{
\vergleichskettefortsetzung
{ =} { 0+y'
}
{ =} {y'
}
{ } {}
{ } {}
}{}{.}
Insgesamt ist also
\mavergleichskette
{\vergleichskette
{y
}
{ = }{y'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für den zweiten Teil sei $x$ mit
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Es seien
\mathkor {} {z} {und} {z'} {}
Elemente mit
\mavergleichskette
{\vergleichskette
{ xz
}
{ = }{ 1
}
{ = }{x z'
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} {z1
}
{ =} {z(xz')
}
{ =} {(zx)z'
}
{ =} {1z'
}
}
{
\vergleichskettefortsetzung
{ =} {z'
}
{ } {}
{ } {}
{ } {}
}{}{.}
Also ist
\mavergleichskette
{\vergleichskette
{z
}
{ = }{z'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
{Diese Aussage ist also eine Eindeutigkeitsaussage, und zwar wird behauptet, dass es nur ein Element gibt mit der Eigenschaft, dass seine Summe mit einem vorgegebenen $x$ gleich $0$ ist. Diese Eigenschaft bestimmt also das Element eindeutig. Eine solche Eindeutigkeitsaussage wird dadurch bewiesen, dass man sich zwei beliebige Elemente hernimmt, von denen man annimmt, dass sie beide die Eigenschaft erfüllen, darüber hinaus ist nichts von ihnen bekannt. Man muss dann zeigen, dass die beiden Elemente gleich sind. Häufig wählt man für die beiden Elemente ähnliche Symbole, um anzudeuten, dass sie die gleiche Eigenschaft erfüllen.}
Zu einem Element
\mathl{a \in K}{} nennt man das nach diesem Lemma eindeutig bestimmte Element $b$ mit
\mathl{a+b=0}{} das \stichwort {Negative} {} von $a$ und bezeichnet es mit $-a$. 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 Negativen zurückgeführt.
Das zu
\mathbed {a \in K} {}
{a \neq 0} {}
{} {} {} {,}
nach diesem Lemma eindeutig bestimmte Element $c$ mit
\mathl{ac=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
\mathdisp {a/b = \frac{a}{b} = ab^{-1}} { . }
Die beiden linken Ausdrücke sind also eine Abkürzung für den rechten Ausdruck.
\zwischenueberschrift{Exkurs: Gruppentheorie}
Die beiden Eindeutigkeitsbeweise im vorausgegangenen Lemma zeigen eine ähnliche Struktur. Wenn man im ersten Teilbeweis überall die Addition durch die Multiplikation und die $0$ durch die $1$ ersetzt und die Symbole anpasst, so erhält man den zweiten Teilbeweis. Insbesondere fällt auf, dass im ersten Teilbeweis nur die Addition vorkommt, nicht aber die Multiplikation, und dass nur das Nullsymbol $0$ vorkommt. Wenn man die Beweisschritte anschaut, so sieht man, dass von der Axiomenmenge des Körpers nur ein Bruchteil verwendet wurde, und zwar ausschließlich solche Axiome, die sich auf die Addition beziehen. Im zweiten Beweisteil ist es genau umgekehrt.
Ein wesentlicher Vorteil der axiomatischen Methode ist, dass man stets weiß, was man verwenden darf und was nicht, und damit ist auch stets klar, was man in einem Beweis verwendet hat und was nicht. Wenn man in einem umfassenden Axiomensystem einen Beweis erbracht hat und dann schaut, welche der Axiome man wirklich verwendet hat \zusatzklammer {sozusagen sich das Beweisprotokoll noch mal ansieht} {} {} und diese eine echte Teilmenge des Axiomensystems bilden, so kann man die Aussage auch mit diesem kleineren Axiomensystem beweisen. Da man in der Mathematik nichts verschenken möchte, und insbesondere keine überflüssigen Voraussetzungen mitschleppen möchte, fasst man Axiome zu kleineren Einheiten zusammen, und leitet aus ihnen so viel wie möglich ab. Dies ist aus ökonomischen Gründen auch dann sinnvoll, wenn man sich nur für ein einziges mathematisches Objekt interessiert, für das ein reichhaltiges Axiomensystem zur Verfügung steht \zusatzklammer {wie wir für die reellen Zahlen} {} {.}
Für den Körperbegriff heißt dies beispielsweise, dass es sinnvoll ist, zu untersuchen, welche Eigenschaften man für die Addition allein aus den Gesetzen der Addition und welche Eigenschaften man für die Multiplikation allein aus den Gesetzen der Multiplikation beweisen kann. Dabei fällt auf, dass von den algebraischen Eigenschaften her eine weitgehende Parallelität zwischen diesen beiden Operationen besteht, die sich auch in den obigen Eindeutigkeitsbeweisen niederschlug. Es ist also sinnvoll, diese Parallelitäten auf den Punkt zu bringen und durch ein gemeinsames übergeordnetes Vokabular auszudrücken. Dies geschieht mit dem Begriff der \stichwort {Gruppe} {.}
\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
}
{ } {
}
{ } {
}
}
{}{}{.}
}
}
Man beachte, dass kein Kommutativitätsgesetz vorausgesetzt wird, sodass man die zweifachen Formulierungen in Teil (2) und (3) benötigt
\zusatzklammer {eine Gruppe, wo zusätzlich die Kommutativität gilt, heißt
\definitionswortenp{kommutative Gruppe}{}} {} {.}
Die Symbole $\circ$ für die Verknüpfung und $e$ für das neutrale Element sind willkürlich gewählt, man könnte sie auch anders nennen. Es ist aber sinnvoll, bei der abstrakten Einführung eine Bezeichnung zu wählen, die intuitiv nicht vorbelastet ist. Eine Bezeichnung wie $\cdot$ für die Verknüpfung und $1$ für das neutrale Element birgt die Gefahr, dass man sich zu Schlüssen verleiten lässt, die von der Multiplikation von Zahlen her vertraut sind, die aber eventuell für eine beliebige Gruppe nicht gelten müssen.
Die additiven Körperaxiome kann man nun so lesen, dass die Menge $K$ zusammen mit dem ausgezeichneten Element $0$ und der Addition $+$ als Verknüpfung eine Gruppe bildet, die zusätzlich kommutativ ist. Ebenso bildet die Menge
\mathl{K \setminus \{0\}}{}
\zusatzklammer {also ganz $K$ ohne die $0$} {} {}
mit dem neutralen Element $1$
\zusatzklammer {das wegen der expliziten Voraussetzung der Körperaxiome von $0$ verschieden ist und daher zu
\mathl{K \setminus \{0\}}{} gehört} {} {}
und der Multiplikation $\cdot$ eine
\zusatzklammer {ebenfalls kommutative} {} {}
Gruppe. Wenn ein Körper $K$ vorliegt, so hat man also zugleich zwei Gruppen vorliegen, es ist aber falsch zu sagen, dass $K$ auf zweifache Weise eine Gruppe ist, da einerseits $K$ mit der Addition und andererseits
\mathl{K \setminus \{0\}}{}
\zusatzklammer {und eben nicht $K$} {} {}
eine Gruppe mit der Multiplikation bildet.
Weitere Beispiele für Gruppen sind
\mathl{(\Z,+,0)}{,}\zusatzfussnote {Eine Gruppe wird häufig in \stichwort {Tupelschreibweise} {} in der Form (Gruppe, Operation, neutrales Element) geschrieben} {.} {} dagegen ist $\Z$ mit der Multiplikation und ebensowenig
\mathl{\Z \setminus \{0\}}{} keine Gruppe. Eine Gruppe ist niemals leer, da es ja ein neutrales Element enthalten muss. Die Menge, die nur aus einem einzigen Element besteht, ist mit der einzig darin möglichen Verknüpfung und dem einzig darin möglichen neutralen Element eine Gruppe. Man spricht von der \stichwort {trivialen Gruppe} {.} Eine weitere Gruppe ist die zweielementige Menge
\mathdisp {(\{-1,1\}, \cdot, 1 )} { }
mit der von $\Z$ bekannten Multiplikation.
In einer Gruppe ist zu einem Element
\mathl{x \in G}{} das Element $y$ mit der Eigenschaft
\mathl{x\circ y=e= y \circ x}{}
\zusatzklammer {das es aufgrund der Gruppenaxiome geben muss} {} {}
eindeutig bestimmt. Wenn nämlich
\mathkor {} {y} {und} {y'} {}
beide diese Eigenschaft besitzen, so gilt
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} {y \circ e
}
{ =} {y \circ (x \circ y')
}
{ =} {(y \circ x) \circ y'
}
{ =} {e \circ y'
}
}
{
\vergleichskettefortsetzung
{ =} {y'
}
{ } {}
{ } {}
{ } {}
}{}{.}
Man beachte, dass in diesen Beweis die Bedingungen an
\mathkor {} {y} {und} {y'} {}
nicht völlig symmetrisch eingehen. Diese Eindeutigkeit erlaubt es, das zu einem Gruppenelement
\mathl{x \in G}{} eindeutig bestimmte inverse Element als
\mathdisp {x^{-1}} { }
zu bezeichnen.
Im Fall eines Körpers haben wir damit einen einzigen Beweis für die Eindeutigkeit des Negativen \zusatzklammer {also des Inversen der Addition} {} {} und des Inversen der Multiplikation gefunden.
In der Mathematik geht es zu einem beträchtlichen Teil um die Lösung von Gleichungen, und zwar um die Existenz von Lösungen, die Berechnung von Lösungen und die Eindeutigkeit von Lösungen. Bei einer Gruppe besitzen die formulierbaren Einzelgleichungen eine eindeutige Lösung. Insofern handelt es sich bei einer Gruppe um eine besonders einfache mathematische Struktur.
\inputfaktbeweis
{Gruppe/Lösbarkeit von Gleichungen/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei
\mathl{(G,e,\circ)}{} eine
\definitionsverweis {Gruppe}{}{.}}
\faktfolgerung {Dann besitzen zu je zwei Gruppenelementen
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die beiden Gleichungen
\mathdisp {a \circ x=b \text{ und } y \circ a=b} { }
eindeutige Lösungen
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten die linke Gleichung. Aus beidseitiger Multiplikation\zusatzfussnote {Hier wird das Gleichheitsprinzip angewendet: wenn $x=y$ ist, so kann man beidseitig eine beliebige Abbildung $\varphi$ anwenden und erhält eine neue Gleichung $\varphi(x)= \varphi(y)$. Im vorliegenden Fall ist die beidseitige Multiplikation mit einem festen Gruppenelement auch eine Abbildung} {.} {.} mit $a^{-1}$
\zusatzklammer {bzw. mit $a$} {} {}
von links folgt, dass nur
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} { a^{-1} \circ b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
als Lösung in Frage kommt. Wenn man dies einsetzt, so sieht man, dass es sich in der Tat um eine Lösung handelt.
\inputfaktbeweis
{Körper/Elementare Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und seien
\mathl{a,b,c,a_1 , \ldots , a_r, b_1 , \ldots , b_s}{} Elemente aus $K$.}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungsechs{
\mavergleichskette
{\vergleichskette
{a0
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\stichwort {Annullationsregel} {}} {} {.}
}{
\mavergleichskettedisp
{\vergleichskette
{ (-a)b
}
{ =} {-ab
}
{ =} { a(-b)
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {\stichwort {Vorzeichenregel} {}} {} {.}
}{
\mavergleichskettedisp
{\vergleichskette
{ (-a)(-b)
}
{ =} {ab
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ a(b-c)
}
{ =} { ab-ac
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}{Aus
\mavergleichskette
{\vergleichskette
{a \cdot b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\stichwort {Nichtnullteilereigenschaft} {}} {} {.}
}{
\mavergleichskette
{\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 {}
}
{
\aufzaehlungsechs{Es ist
\mavergleichskette
{\vergleichskette
{a0
}
{ = }{a(0+0)
}
{ = }{a0+a0
}
{ }{}
{ }{}
}
{}{}{.}
Durch beidseitiges Abziehen
\zusatzklammer {also Addition mit dem Negativen von \mathlk{a0}{}} {} {}
von $a0$ ergibt sich die Behauptung.
}{
\mavergleichskettedisp
{\vergleichskette
{ (-a)b +ab
}
{ =} {(-a+a)b
}
{ =} { 0b
}
{ =} { 0
}
{ } {}
}
{}{}{} nach Teil (1). Daher ist
\mathl{(-a)b}{} das
\zusatzklammer {eindeutig bestimmte} {} {}
Negative von $ab$. Die zweite Gleichheit folgt analog.
}{Nach (2) ist
\mavergleichskette
{\vergleichskette
{ (-(-a))b
}
{ = }{(-a)(-b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und wegen
\mavergleichskette
{\vergleichskette
{ -(-a)
}
{ = }{ a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt die Behauptung.
}{Dies folgt auch aus dem bisher Bewiesenen.
}{ Nehmen wir an, dass
\mathkor {} {a} {und} {b} {}
beide von $0$ verschieden sind. Dann gibt es dazu 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
\mavergleichskette
{\vergleichskette
{ab
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher ist nach der Annullationsregel
\mavergleichskettedisp
{\vergleichskette
{ (ab) { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0 { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{,} sodass sich der Widerspruch
\mavergleichskette
{\vergleichskette
{0
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt.
}{Dies folgt aus einer Doppelinduktion, siehe
Aufgabe 7.1.
}
\zwischenueberschrift{Fußnoten}