Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 2/latex
\setcounter{section}{2}
\zwischenueberschrift{Ringe}
Die wichtigsten mathematischen Strukturen wie $\Z,\Q,\R$ besitzen nicht nur eine, sondern zwei Verknüpfungen.
\inputdefinition
{}
{
Ein \definitionswort {Ring}{} $R$ ist eine Menge mit zwei
\definitionsverweis {Verknüpfungen}{}{}
\mathkor {} {+} {und} {\cdot} {}
und mit zwei ausgezeichneten Elementen
\mathkor {} {0} {und} {1} {}
derart, dass folgende Bedingungen erfüllt sind:
\aufzaehlungdrei{
\mathl{(R, +,0)}{} ist eine
\definitionsverweis {abelsche Gruppe}{}{.}
}{
\mathl{(R, \cdot,1)}{} ist ein
\definitionsverweis {Monoid}{}{.}
}{Es gelten die
\definitionswortenp{Distributivgesetze}{,} also
\mathkor {} {a \cdot (b+c) = ( a \cdot b) + (a \cdot c)} {und} {(b+c) \cdot a = ( b \cdot a) + (c \cdot a)} {}
für alle
\mavergleichskette
{\vergleichskette
{ a,b,c
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
\inputdefinition
{}
{
Ein \definitionsverweis {Ring}{}{} $R$ heißt \definitionswort {kommutativ}{,} wenn die Multiplikation kommutativ ist.
}
In einem kommutativen Ring muss man nicht zwischen den beiden Formen des Distributivgesetzes unterscheiden. Das Basismodell für einen \zusatzklammer {kommutativen} {} {} Ring bildet die Menge der ganzen Zahlen $\Z$ mit der natürlichen Addition und Multiplikation. Die $0$ ist das neutrale Element der Addition und die $1$ ist das neutrale Element der Multiplikation. Der Nachweis, dass $\Z$ die Axiome eines Ringes, also die oben aufgelisteten Eigenschaften, erfüllt, beruht letztlich auf den Peano-Axiomen für die natürlichen Zahlen $\N$ und ist ziemlich formal. Darauf wollen wir verzichten und stattdessen diese seit langem vertrauten Gesetzmäßigkeiten akzeptieren.
Die natürlichen Zahlen bilden keinen Ring, da sie noch nicht einmal eine additive Gruppe bilden. Die Zahlbereiche
\mathl{\Q, \R, {\mathbb C}}{} sind ebenfalls kommutative Ringe, wobei der Nachweis der Eigenschaften dadurch geschieht, dass man die Konstruktion dieser Zahlbereiche aus den \anfuehrung{vorhergehenden}{} betrachtet
\zusatzklammer {etwa $\R$ aus $\Q$} {} {}
und die Gültigkeit
\zusatzklammer {in $\R$} {} {}
auf die Gültigkeit im \anfuehrung{Vorgänger}{}
\zusatzklammer {$\Q$} {} {}
zurückführt.
Wir benutzen allgemein die \stichwort {Klammerkonvention} {,} dass Punktrechnung stärker bindet als Strichrechnung, d.h. wir schreiben einfach
\mathl{ab+cd}{} statt
\mathl{(ab)+(cd)}{.} Das Inverse zu
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bezüglich der Addition, das es ja immer gibt, schreiben wir als $-a$ und nennen es das \stichwort {Negative} {} von $a$. Statt
\mathl{a+(-b)}{} schreiben wir
\mathl{a-b}{.} An weiteren Notationen verwenden wir für ein Ringelement
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und eine natürliche Zahl
\mathl{n \in \N}{} die Schreibweisen
\mathkor {} {na=a + \cdots + a \, \, (n \text{ Summanden})} {und} {a^n =a \cdots a \, \, (n \text{ Faktoren})} {.}
Bei einem negativen
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ na
}
{ = }{ (-n)(-a)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu interpretieren
\zusatzklammer {dies beruht auf den \anfuehrung{Potenzgesetzen}{} in einer Gruppe aus der ersten Vorlesung, wobei hier die Gruppe additiv geschrieben wird und deshalb Vielfache genommmen werden} {} {}
\zusatzklammer {dagegen macht
\mathl{a^n}{} mit negativen Exponenten im Allgemeinen keinen Sinn} {} {.}
Statt
\mavergleichskette
{\vergleichskette
{ n1
}
{ = }{ n1_R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben wir einfach $n$
\zusatzklammer {bzw. manchmal $n_R$} {} {,}
d.h. jede ganze Zahl findet sich in jedem Ring wieder.
\inputbeispiel{}
{
Die einelementige Menge
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ \{0\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man zu einem
\definitionsverweis {Ring}{}{}
machen, indem man sowohl die Addition als auch die Multiplikation auf die einzig mögliche Weise erklärt, nämlich durch
\mathkor {} {0+0=0} {und} {0 \cdot 0=0} {.}
In diesem Fall ist
\mavergleichskette
{\vergleichskette
{ 1
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
dies ist also ausdrücklich erlaubt. Diesen Ring nennt man den
\definitionswortenp{Nullring}{.}
}
Nach dem Nullring ist der folgende Ring der zweitkleinste Ring.
\inputbeispiel{}
{
Wir suchen nach einer
\definitionsverweis {Ringstruktur}{}{}
auf der Menge
\mathl{\{0,1\}}{.} Wenn $0$ das neutrale Element einer Addition und $1$ das neutrale Element der Multiplikation sein soll, so ist dadurch schon alles festgelegt, da
\mathl{1+1=0}{} sein 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 {kommutativen Ring}{}{}
handelt
\zusatzklammer {sogar um einen
\definitionsverweis {Körper}{}{}} {} {.}
}
Eine \anfuehrung{natürliche}{} Interpretation dieses Ringes gewinnt man, wenn man sich die geraden ganzen Zahlen durch $0$ und die ungeraden ganzen Zahlen durch $1$ repräsentiert denkt. Beispielsweise ist die Summe zweier ungerader Zahlen stets gerade, was der obigen Gleichung
\mavergleichskette
{\vergleichskette
{1+1
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
entspricht.
Zu jeder natürlichen Zahl
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man einen kommutativen Ring
\mathl{\Z/(n)}{} definieren, nämlich als die Menge
\mathl{\{ 0,1,2 , \ldots , n-2,n-1 \}}{,} wobei die Addition und die Multiplikation zuerst in $\N$ ausgeführt wird und davon der Rest bei Division durch $n$ genommen wird. Die exakte Durchführung dieser Konstruktion und der Nachweis der Ringeigenschaften verschieben wir auf später, es ist aber sinnvoll, diese
\zusatzklammer {verglichen mit $\Z, \Q, \R$} {} {}
untypischen Ringe schon jetzt zur Verfügung zu haben. Der obige Ring mit zwei Elementen ist beispielsweise gleich
\mathl{\Z/(2)}{.}
\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
\mavergleichskette
{\vergleichskette
{ (-a)(-b)
}
{ = }{ (-(-a))b
}
{ }{
}
{ }{}
{ }{}
}
{}{}{}
und wegen
\mavergleichskette
{\vergleichskette
{ -(-a)
}
{ = }{ a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {dies gilt in jeder Gruppe} {} {}
folgt die Behauptung.
}{Dies folgt auch aus dem bisher Bewiesenen.
}{Dies folgt aus einer Doppelinduktion.
}
\zwischenueberschrift{Die Binomialkoeffizienten}
Die \stichwort {erste binomische Formel} {} besagt bekanntlich
\mavergleichskettedisp
{\vergleichskette
{(a+b)^2
}
{ =} { a^2 +2ab +b^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für die dritte Potenz einer Summe gilt
\mavergleichskettedisp
{\vergleichskette
{(a+b)^3
}
{ =} { a^3 +3a^2b +3ab^2+b^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und für die vierte Potenz
\mavergleichskettedisp
{\vergleichskette
{(a+b)^4
}
{ =} { a^4 +4a^3b+6 a^2b^2 +4ab^3+b^4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In dieser Weise kann man jede Potenz einer Summe als Summe von Produkten ausdrücken, wobei die auftretenden Koeffizienten \stichwort {Binomialkoeffizienten} {} heißen. Diese werden mit Hilfe der Fakultät definiert, wobei die Fakultät $n!$ einer natürlichen Zahl durch
\mavergleichskettedisp
{\vergleichskette
{n!
}
{ =} {n\cdot (n-1) \cdot (n-2) \cdots 3 \cdot 2 \cdot 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert ist.
\inputdefinition
{}
{
Es seien
\mathkor {} {k} {und} {n} {}
natürliche Zahlen mit
\mavergleichskette
{\vergleichskette
{k
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann nennt man
\mavergleichskettedisp
{\vergleichskette
{ \binom { n } { k }
}
{ \defeq} {{ \frac{ n ! }{ k ! ( n - k)! } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
den \definitionswort {Binomialkoeffizienten}{} \anfuehrung{$n$ über $k$ }{.}
}
Diesen Bruch kann man auch als
\mathdisp {{ \frac{ n(n-1)(n-2) \cdots (n-k+2)(n-k+1) }{ k(k-1) (k-2) \cdots 2 \cdot 1 } }} { }
schreiben, da die Faktoren aus
\mathl{(n-k)!}{} auch in $n!$ vorkommen und daher kürzbar sind. In dieser Darstellung stehen im Zähler und im Nenner gleich viele Faktoren. Gelegentlich ist es sinnvoll, auch negative $k$ oder
\mavergleichskette
{\vergleichskette
{k
}
{ > }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zuzulassen und in diesen Fällen die Binomialkoeffizienten gleich $0$ zu setzen.
Von der Definition her ist es nicht sofort klar, dass es sich bei den Binomialkoeffizienten um natürliche Zahlen handelt. Dies folgt aus der folgenden Beziehung.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Pascal_triangle.svg} }
\end{center}
\bildtext {Das \stichwort {Dreieck der Binomialkoeffizienten} {} war in Indien und in Persien schon um 1000 bekannt,} }
\bildlizenz { Pascal triangle.svg } {} {Kazukiokumura} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Yanghui_triangle.gif} }
\end{center}
\bildtext {in China heißt es \stichwort {Yanghui-Dreieck} {}
\zusatzklammer {nach Yang Hui (um 1238-1298)} {} {,}} }
\bildlizenz { Yanghui triangle.gif } {} {Noe} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {TrianguloPascal.jpg} }
\end{center}
\bildtext {in Europa heißt es das \stichwort {Pascalsche Dreieck} {}
\zusatzklammer {nach Blaise Pascal (1623-1662)} {} {.}} }
\bildlizenz { TrianguloPascal.jpg } {Pascal} {Drini} {Commons} {PD} {}
{Binomialkoeffizient/Summe in Pascaldreieck/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {Binomialkoeffizienten}{}{}}
\faktfolgerung {erfüllen die rekursive Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \binom { n+1 } { k }
}
{ =} { \binom { n } { k } + \binom { n } { k-1 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 2.6. }
Der Binomialkoeffizient
\mathl{\binom { n } { k }}{} hat die folgende inhaltliche Bedeutung: Er gibt für eine $n$-elementige Menge $M$ die Anzahl sämtlicher $k$-elementigen Teilmengen von $M$ an, siehe
Aufgabe 2.7.
Wenn
\mavergleichskette
{\vergleichskette
{ k
}
{ > }{ n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist oder wenn $k$ negativ ist so setzt man den Binomialkoeffizienten gleich null.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {A_plus_b_au_carre.svg} }
\end{center}
\bildtext {} }
\bildlizenz { A plus b au carre.svg } {} {Alkarex} {Commons} {CC-by-sa 2.0} {}
Die folgende \stichwort {allgemeine binomische Formel} {} bringt die Addition und die Multiplikation in einem kommutativen Ring miteinander in Beziehung.
\inputfaktbeweis
{Kommutative Ringtheorie/Binomi/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{} und
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Ferner sei $n$ eine natürliche Zahl.}
\faktfolgerung {Dann gilt
\mathdisp {( a + b )^{n} = \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k}} { . }
}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion nach $n$. Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
steht einerseits
\mavergleichskette
{\vergleichskette
{ (a+b)^0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und andererseits
\mavergleichskette
{\vergleichskette
{a^0b^0
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.} Es sei die Aussage bereits für $n$ bewiesen. Dann ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{(a+b)^{n+1}
}
{ =} {(a+b) (a+b)^n
}
{ =} {(a+b) { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) }
}
{ =} {a \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k}\right) + b \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right)
}
{ =} {\sum_{ k=0 } ^{ n } \binom { n } { k } a^{k+1} b^{n - k} + \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k+1}
}
}
{
\vergleichskettefortsetzungalign
{ =} {\sum_{ k= 1 } ^{ n+1 } \binom { n } { k-1 } a^{k} b^{n - k+1} + \sum_{ k=0 } ^{ n+1 } \binom { n } { k } a^{k} b^{n - k+1}
}
{ =} { \sum_{ k= 1 } ^{ n+1 } \left( \binom { n } { k-1 } + \binom { n } { k } \right) a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k=1 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k= 0 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k}
}
}
{}{.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Binomio_al_cubo.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Binomio al cubo.svg } {Drini} {} {Commons} {PD} {}
\zwischenueberschrift{Nichtnullteiler und Integritätsbereiche}
\inputdefinition
{}
{
Ein Element $a$ in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ heißt \definitionswort {Nullteiler}{,} wenn es ein von $0$ verschiedenes Element $b$ mit
\mavergleichskette
{\vergleichskette
{ ab
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Andernfalls heißt es ein
\definitionswort {Nichtnullteiler}{.}
}
Die Eins ist stets ein Nichtnullteiler, da aus
\mavergleichskette
{\vergleichskette
{ 1b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sofort
\mathl{b=0}{} folgt. Andererseits ist das Nullelement stets ein Nullteiler, es sei denn, der Nullring liegt vor. In
\mathl{\Z/(6)}{} gilt
\mavergleichskette
{\vergleichskette
{2 \cdot 3
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher sind
\mathkor {} {2} {und} {3} {}
Nullteiler in diesem Ring. Die folgende Aussage bedeutet, dass man in einer Gleichung Nichtnullteiler weg\stichwort {kürzen} {} kann.
\inputfaktbeweis
{Kommutative Ringtheorie/Nichtnullteiler und Kürzung/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{} und sei
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Nichtnullteiler}{}{.}}
\faktfolgerung {Dann folgt aus einer Gleichung
\mavergleichskettedisp
{\vergleichskette
{fx
}
{ =} {fy
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
dass
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein muss.}
\faktzusatz {}
\faktzusatz {}
}
{
Man kann die Gleichung zu
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} {fx-fy
}
{ =} {f(x-y)
}
{ } {}
{ } {}
}
{}{}{.}
umschreiben. Da $f$ ein Nichtnullteiler ist, ist
\mavergleichskette
{\vergleichskette
{ x-y
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Ein Ring, bei dem es außer der Null keine Nullteiler gibt, heißt \stichwort {nullteilerfrei} {.}
\inputdefinition
{}
{
Ein \definitionsverweis {kommutativer}{}{,} \definitionsverweis {nullteilerfreier}{}{,} von $0$ verschiedener \definitionsverweis {Ring}{}{} heißt \definitionswort {Integritätsbereich}{.}
}
Die Eigenschaft, dass jedes Element $\neq 0$ ein Nichtnullteiler ist, kann man auch so ausdrücken, dass aus
\mavergleichskette
{\vergleichskette
{ ab
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stets
\mathkor {} {a=0} {oder} {b=0} {}
folgt, bzw., dass mit
\mathkor {} {a \neq 0} {und} {b \neq 0} {}
auch
\mavergleichskette
{\vergleichskette
{ ab
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
\zwischenueberschrift{Unterringe}
Wir haben die Kette von Unterringen
\mavergleichskettedisp
{\vergleichskette
{ \Z
}
{ \subseteq} { \Q
}
{ \subseteq} { \R
}
{ \subseteq} { {\mathbb C}
}
{ } {
}
}
{}{}{}
im Sinne der folgenden Definition.
\inputdefinition
{}
{
Eine Teilmenge
\mavergleichskette
{\vergleichskette
{S
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eines
\definitionsverweis {Ringes}{}{}
nennt man einen \definitionswort {Unterring}{,} wenn sowohl
\mathl{(S,+,0)}{} eine
\definitionsverweis {Untergruppe}{}{}
von
\mathl{(R,+,0)}{} als auch
\mathl{(S,\cdot,1)}{} ein
\definitionsverweis {Untermonoid}{}{}
von
\mathl{(R,\cdot,1)}{} ist.
}
Diese Bedingung besagt insbesondere, dass sich die Addition und die Multiplikation von $R$ auf $S$ einschränken lässt. Ein Unterring ist selbst ein Ring. Zum Nachweis, dass eine gegebene Teilmenge
\mavergleichskette
{\vergleichskette
{ S
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Unterring ist, hat man Folgendes zu zeigen.
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{ 0,1
}
{ \in }{ S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{$S$ ist abgeschlossen unter der Addition und der Multiplikation.
}{Mit
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{ -f
}
{ \in }{S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Die natürlichen Zahlen $\N$ erfüllen in $\Z$ die ersten beiden Bedingungen, aber nicht die dritte. Die Menge aller geraden Zahlen erfüllen alle Bedingungen außer der, dass die $1$ dazugehört. Ebenso ist $\{0\}$ kein Unterring, da darin die $1$ fehlt
\zusatzklammer {obwohl im Nullring für sich betrachtet
\mavergleichskette
{\vergleichskette
{ 0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, das ist aber nicht die $1$ von $\Z$} {} {.}
Die Menge
\mathl{\{-1,0,1\}}{} erfüllt die erste und die dritte Bedingung und ist abgeschlossen unter der Multiplikation, aber nicht unter der Addition. Die ganzen Zahlen $\Z$ haben überhaupt nur sich selbst als Unterring.
Zu einer Teilmenge
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eines Ringes definiert man den durch $M$ \stichwort {erzeugten Unterring} {} als den kleinsten Unterring von $R$, der $M$ umfasst. Wir bezeichnen ihn mit $\Z[M]$, da ja jeder Unterring automatisch alle Vielfachen der $1$ enthalten muss. Dieser kleinste Unterring ist der Durchschnitt über alle Unterringe, die $M$ umfassen. Er besteht aus allen Termen, die man mit den Elementen aus $M$ und ihren Negativen mit Addition und Multiplikation erhalten kann.