Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I/Vorlesung 19/latex
\setcounter{section}{19}
\zwischenueberschrift{Kommutative Ringe}
Wir erfassen die in der letzten Vorlesung etablierten algebraischen Eigenschaften der ganzen Zahlen mit einem neuen Begriff.
\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.
}
Ein kommutativer Ring ist insbesondere ein kommutativer Halbring, alle für Halbringe geltenden Eigenschaften wie beispielsweise die allgemeine binomische Formel gelten insbesondere auch für kommutative Ringe. Der wesentliche Unterschied liegt in der zusätzlichen Bedingung (1d), der Existenz des Negativen. Dieses Negative ist eindeutig bestimmt: Wenn nämlich sowohl $b$ als auch $c$ die Eigenschaft haben, dass ihre Addition zu $a$ den Wert $0$ ergibt, so erhält man direkt
\mavergleichskettedisp
{\vergleichskette
{b
}
{ =} {b+0
}
{ =} {b+(a+c)
}
{ =} {(b+a)+c
}
{ =} {0+c
}
}
{
\vergleichskettefortsetzung
{ =} {c
}
{ } {}
{ } {}
{ } {}
}{}{.}
Für das zu jedem
\mathl{a \in R}{} eindeutig bestimmte Negative schreiben wir
\mathl{-a}{.} Wegen
\mavergleichskettedisp
{\vergleichskette
{a + (-a)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist $a$ auch das Negative zu $-a$, also
\mavergleichskette
{\vergleichskette
{-(-a)
}
{ = }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{R
}
{ = }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stimmt diese Definition mit der in der letzten Vorlesung gemachten Definition überein, wie der Beweis der Existenz des Negativen in
Lemma 18.8
zeigt.
Mit diesem neuen Begriff können wir festhalten.
\inputfaktbeweis
{Ganze Zahlen/Kommutativer Ring/2/Fakt}
{Satz}
{}
{
\faktsituation {Die
\definitionsverweis {ganzen Zahlen}{}{}
\mathl{(\Z,0,1,+,\cdot)}{}}
\faktfolgerung {bilden einen
\definitionsverweis {kommutativen Ring}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt unmittelbar aus Lemma 18.8.
In einem kommutativen Ring $R$ und Elemente
\mathl{a,b \in R}{} verwendet man
\mavergleichskettedisp
{\vergleichskette
{a-b
}
{ =} { a+ (-b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
als abkürzende Schreibweise. Man spricht von der \stichwort {Subtraktion} {} bzw. der \stichwort {Differenz} {.} Die Subtraktion
\mathl{a-b}{} ist also die Addition von $a$ mit dem Negativen
\zusatzklammer {also $-b$} {} {}
von $b$. Bei natürlichen Zahlen $a,b$ mit
\mavergleichskette
{\vergleichskette
{b
}
{ \leq }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stimmt die innerhalb der natürlichen Zahlen genommenen
\definitionsverweis {Differenz}{}{}
\zusatzklammer {siehe die zehnte Vorlesung} {} {}
mit der hier in $\Z$ über das Negative genommenen Differenz überein. Dies beruht darauf, dass es sich jeweils um eine Lösung der Gleichung
\mavergleichskettedisp
{\vergleichskette
{b+x
}
{ =} {a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
handelt und diese Gleichung eine eindeutige Lösung besitzt.
\inputfaktbeweis
{Kommutativer Ring/Vorzeichen/Elementare Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und seien
\mathl{a,b,c}{} Elemente aus $R$.}
\faktfolgerung {Dann gelten folgende Aussagen.
\aufzaehlungvier{
\mavergleichskettedisp
{\vergleichskette
{0 a
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {\stichwort {Annullationsregel} {}} {} {,}
}{
\mavergleichskettedisp
{\vergleichskette
{ a(-b)
}
{ =} { -(ab)
}
{ =} { (-a)b
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ (-a)(-b)
}
{ =} { ab
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {\stichwort {Vorzeichenregel} {}} {} {,}
}{
\mavergleichskettedisp
{\vergleichskette
{ a(b-c)
}
{ =} {ab-ac
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungvier{Es ist
\mavergleichskette
{\vergleichskette
{a0
}
{ = }{a(0+0)
}
{ = }{a0+a0
}
{ }{}
{ }{}
}
{}{}{.}
Durch beidseitiges Abziehen
\zusatzklammer {also Addition mit \mathlk{-a 0}{}} {} {}
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$.
}{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.
}
Wie in jedem kommutativen Halbring kann man in jedem kommutativen Ring $R$ Ausdrücke der Form $nx$ mit
\mathl{n \in \N}{} und
\mathl{x \in R}{} sinnvoll interpretieren, und zwar ist $nx$ die $n$-fache Summe von $x$ mit sich selbst. Auch die Potenzschreibweise
\mathl{x^n}{} wird wieder verwendet. Darüber hinaus kann man auch für negative Zahlen $-n$ den Ausdruck
\mathl{(-n) x}{} interpretieren, nämlich als
\mavergleichskettedisp
{\vergleichskette
{(-n)x
}
{ =} { n (-x)
}
{ =} { \underbrace{ (-x) + \cdots + (-x) }_{n\text{-mal} }
}
{ } {
}
{ } {
}
}
{}{}{.}
Insbesondere ist
\mavergleichskettedisp
{\vergleichskette
{ - n
}
{ =} { (-n) \cdot 1
}
{ =} { n \cdot (-1)
}
{ =} { \underbrace{ (-1) + \cdots + (-1) }_{n\text{-mal} }
}
{ } {
}
}
{}{}{}
in jedem kommutativen Ring sinnvoll interpretierbar. Dabei gelten naheliegende Rechengesetze, siehe
Aufgabe 19.10.
\zwischenueberschrift{Gruppen}
Wir schauen uns kurz die Addition in einem kommutativen Ring genauer an. Hier begegnen wir einer Struktur, die später bei Körpern wieder auftaucht. Mit dieser Struktur kann man viele strukturelle Gemeinsamkeiten zwischen der Addition \zusatzklammer {in $\Z$} {} {} und der Multiplikation \zusatzklammer {beispielsweise in $\Q \setminus \{ 0 \}$ oder in $\R \setminus \{ 0 \}$} {} {} erfassen.
\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
}
{ } {
}
{ } {
}
}
{}{}{.}
}
}
\inputdefinition
{}
{
Eine
\definitionsverweis {Gruppe}{}{}
\mathl{(G, e, \circ)}{} heißt \definitionswort {kommutativ}{}
\zusatzklammer {oder \definitionswort {abelsch}{}} {} {,}
wenn die Verknüpfung kommutativ ist, wenn also
\mavergleichskette
{\vergleichskette
{ x \circ y
}
{ = }{ y \circ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
\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
}
{ } {}
{ } {}
{ } {}
}{}{.}
Ein kommutativer Ring $R$ ist bezüglich der Addition insbesondere eine kommutative Gruppe. Insbesondere bilden die ganzen Zahlen
\mathl{(\Z,0,+)}{} eine kommutative Gruppe, das inverse Element zu $x$ ist das negative Element $-x$. Allgemein gilt in Gruppen die eindeutige Lösbarkeit von mit der Verknüpfung formulierten Gleichungen.
\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 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.
\zwischenueberschrift{Die Ordnung auf den ganzen Zahlen}
Wir erweitern die
\definitionsverweis {Größergleichrelation}{}{}
auf den natürlichen Zahlen zu einer Ordnung auf den ganzen Zahlen.
\inputdefinition
{}
{
Auf den
\definitionsverweis {ganzen Zahlen}{}{}
definieren wir folgendermaßen die
\definitionswort {Größergleichrelation}{}
$\geq$. Wir sagen
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wenn es eine
\definitionsverweis {natürliche Zahl}{}{}
$n$ mit
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} {b+n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}
Damit gilt bei der Interpretation an der Zahlengeraden wieder, dass
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bedeutet, dass $a$ rechts von $b$ liegt.
\inputbemerkung
{}
{
\aufzaehlungdrei{Wenn
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so ist
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
einfach die
\definitionsverweis {Ordnung}{}{}
auf $\N$, wie unmittelbar aus
Lemma 10.2
folgt.
}{Wenn
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und $b$ negativ, so ist
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da ja dann
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} { b +(a-b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ a-b
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, da ja sowohl
\mathkor {} {a} {als auch} {-b} {}
natürliche Zahlen sind.
}{Wenn
\mathkor {} {a} {und} {b} {}
beide negativ sind, so ist
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
genau dann, wenn
\zusatzklammer {innerhalb der natürlichen Zahlen} {} {}
\mavergleichskettedisp
{\vergleichskette
{-b
}
{ \geq} {-a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Die Beziehung
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b+n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einer natürlichen Zahl $n$ ist ja zu
\mavergleichskette
{\vergleichskette
{-a
}
{ = }{-b-n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
äquivalent, was man als
\mavergleichskette
{\vergleichskette
{-b
}
{ = }{ -a+n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben kann.
}
}
\inputfaktbeweis
{Ganze Zahlen/Negative Zahlen/Direkt/Anordnungseigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {Größergleichrelation}{}{}
$\geq$ auf den
\definitionsverweis {ganzen Zahlen}{}{}}
\faktuebergang {erfüllt die folgenden Eigenschaften.}
\faktfolgerung {\aufzaehlungdrei{Es liegt eine
\definitionsverweis {totale Ordnung}{}{}
vor.
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a+c
}
{ \geq }{b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für beliebige
\mavergleichskette
{\vergleichskette
{ a,b,c
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ab
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für beliebige
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungdrei{Siehe
Aufgabe *****.
}{Die Beziehung
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bedeutet, dass es eine natürliche Zahl $n$ mit
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b+n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Durch beidseitige Addition von $c$ ergibt sich
\mavergleichskette
{\vergleichskette
{a+c
}
{ = }{b+c+n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
was
\mavergleichskette
{\vergleichskette
{a +c
}
{ \geq }{b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bedeutet.
}{Die Voraussetzung bedeutet, dass
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind. Somit ist auch
\mavergleichskette
{\vergleichskette
{ ab
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{ab
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Damit bilden die ganzen Zahlen
\mathl{(\Z, \geq)}{} einen angeordneten Ring im Sinne der folgenden Definition.
\inputdefinition
{}
{
Ein
\definitionsverweis {kommutativer Ring}{}{}
heißt \definitionswort {angeordnet}{,} wenn es eine
\definitionsverweis {totale Ordnung}{}{}
$\geq$ auf $R$ gibt, die die beiden Eigenschaften
\aufzaehlungzwei {Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a+c
}
{ \geq }{b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für beliebige
\mavergleichskette
{\vergleichskette
{a,b,c
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
} {Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ab
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für beliebige
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}
erfüllt.
}
Die erste Eigenschaft nennt man \stichwort {Verträglichkeit mit der Addition} {,} die zweite \stichwort {Verträglichkeit mit der Multiplikation} {.} Neben den ganzen Zahlen werden wir später zwei weitere angeordnete Ringe kennenlernen, nämlich den Körper der rationalen Zahlen und den Körper der reellen Zahlen. Für all diese Ringe bzw. Körper gelten die folgenden Eigenschaften. Man überlege sich für den Fall der ganzen Zahlen, ob und inwiefern sich die Beweise der folgenden Aussagen vereinfachen.
\inputfaktbeweis
{Angeordneter Ring/Elementare Eigenschaften/Fakt}
{Lemma}
{}
{
In einem
\definitionsverweis {angeordneten Ring}{}{}
gelten die folgenden Eigenschaften.
\aufzaehlungzweireihe {\itemfuenf {
\mavergleichskette
{\vergleichskette
{1
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{-a
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{a-b
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{-a
}
{ \leq }{-b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a +c
}
{ \geq }{b+d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} } {\itemfuenf {Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ac
}
{ \geq }{bc
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ac
}
{ \leq }{bc
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ \geq }{0
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{d
}
{ \geq }{0
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ac
}
{ \geq }{bd
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ab
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ab
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} }
}
{
\aufzaehlungzweireihe {\itemfuenf {Nehmen wir an, dass
\mavergleichskette
{\vergleichskette
{1
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nicht gilt. Da eine totale Ordnung vorliegt, muss
\mavergleichskettedisp
{\vergleichskette
{1
}
{ <} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gelten, Dies müssen wir zum Widerspruch führen. Nehmen wir
\mavergleichskette
{\vergleichskette
{1
}
{ < }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
an. Aufgrund der Verträglichkeit mit der Addition kann man beidseitig $-1$ addieren und erhält
\mavergleichskettedisp
{\vergleichskette
{0
}
{ <} {-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aufgrund der Verträglichkeit mit der Multiplikation mit positiven Elementen kann man diese Abschätzung quadrieren und erhält
\mavergleichskettedisp
{\vergleichskette
{0
}
{ \leq} {(-1)(-1)
}
{ =} {1
}
{ } {
}
{ } {}
}
{}{}{,}
also ist zugleich
\mavergleichskette
{\vergleichskette
{1
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
ein Widerspruch.
}{Folgt unmittelbar aus der Verträglichkeit mit der Addition.
}{Folgt unmittelbar aus der Verträglichkeit mit der Addition.
}{Folgt unmittelbar aus der Verträglichkeit mit der Addition.
}{Zweimalige Anwendung der Verträglichkeit mit der Addition liefert
\mavergleichskettedisp
{\vergleichskette
{a+c
}
{ \geq} {a+d
}
{ \geq} {b+d
}
{ } {
}
{ } {
}
}
{}{}{.}
} } {\itemfuenf {Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt sich
\mavergleichskette
{\vergleichskette
{a-b
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach (3). Aus der Verträglichkeit mit der Multiplikation ergibt sich
\mavergleichskettedisp
{\vergleichskette
{ca-cb
}
{ =} {c(a-b)
}
{ \geq} {0
}
{ } {
}
{ } {
}
}
{}{}{.}
Addition mit $cb$ ergibt
\mavergleichskette
{\vergleichskette
{ca
}
{ \geq }{cb
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Siehe
Aufgabe 19.17.
}{Zweimalige Anwendung von (6) liefert
\mavergleichskettedisp
{\vergleichskette
{ ac
}
{ \geq} { bc
}
{ \geq} { bd
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Nach (2) ist
\mavergleichskette
{\vergleichskette
{-b
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{a(-b)
}
{ \geq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
was wiederum
\mavergleichskette
{\vergleichskette
{ab
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bedeutet.
}{Folgt aus (2) und aus
\mavergleichskette
{\vergleichskette
{(-a) (-b)
}
{ = }{ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} }
Die Eigenschaft (2) kann man so verstehen, dass das Negative eines positiven Elementes negativ ist. Allerdings tritt dabei negativ in zwei verschiedenen Bedeutungen auf!
\zwischenueberschrift{Die Teilbarkeitsbeziehung für ganze Zahlen}
Wir wollen die Teilbarkeitsbeziehung von $\N$ auf $\Z$ erweitern.
\inputdefinition
{}
{
Man sagt, dass die ganze Zahl $a$ die ganze Zahl $b$ \definitionswort {teilt}{}
\zusatzklammer {oder dass $b$ von $a$ \definitionswort {geteilt}{} wird, oder dass $b$ ein \definitionswort {Vielfaches}{} von $a$ ist} {} {,}
wenn es eine ganze Zahl $c$ derart gibt, dass
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ c \cdot a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Man schreibt dafür auch $a {{|}} b$.
}
Für natürliche Zahlen
\mathl{a,b}{} gilt
\mathl{a {{|}} b}{} in $\N$ genau dann, wenn
\mathl{a {{|}} b}{} in $\Z$ gilt. Die folgende Aussage ist eine direkte Verallgemeinerung von
Lemma 12.3,
sie beruht ausschließlich auf Eigenschaften eines kommutativen Ringes.
{Teilbarkeitstheorie (Z)/Verschiedene Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {In $\Z$ gelten folgende Teilbarkeitsbeziehungen.}
\faktfolgerung {\aufzaehlungsechs{Für jede ganze Zahl $a$ gilt
\mathkor {} {1 \, {{|}}\, a} {und} {a \,{{|}}\, a} {.}
}{Für jede ganze Zahl $a$ gilt
\mathl{a \,{{|}}\, 0}{.}
}{Gilt
\mathkor {} {a \,{{|}}\, b} {und} {b \,{{|}}\, c} {,}
so gilt auch
\mathl{a \,{{|}}\, c}{.}
}{Gilt
\mathkor {} {a \,{{|}}\, b} {und} {c \,{{|}}\, d} {,}
so gilt auch
\mathl{ac \,{{|}}\, bd}{.}
}{Gilt
\mathl{a \,{{|}}\, b}{,} so gilt auch
\mathl{ac \,{{|}}\, bc}{} für jede ganze Zahl
\mathl{c}{.}
}{Gilt
\mathkor {} {a \,{{|}}\, b} {und} {a \,{{|}}\, c} {,}
so gilt auch
\mathl{a \,{{|}}\, { \left( rb+sc \right) }}{} für beliebige ganze Zahlen $r,s$.
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 19.22. }
\zwischenueberschrift{Die Zifferndarstellung für ganze Zahlen}
Die Zifferndarstellung von natürlichen Zahlen überträgt sich direkt auf ganze Zahlen, wobei die Zifferndarstellung einer negativen Zahl
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {-k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
einfach die Zifferndarstellung von $k$
\zusatzklammer {also der im Betrag genommenen Zahl} {} {}
mit einem Minuszeichen davor ist. Für die schriftliche Durchführung des Addierens, des Multiplizierens und des Subtrahierens geht man abhängig davon vor, ob die beteiligten Zahlen beide positiv, beide negativ oder ob eine positiv, eine negativ ist. Wenn beide positiv sind werden die Verfahren für natürliche Zahlen direkt angewendet. Die Korrektheit der folgenden Regeln beruht auf
Lemma 19.4
und der Korrektheit der schriftlichen Operationen innerhalb der natürlichen Zahlen.
Zur Addition \aufzaehlungzwei {Wenn beide Zahlen negativ sind, so nimmt man den Betrag der beiden Zahlen, addiert diese und nimmt davon das Negative. } {Wenn eine Zahl positiv ist und eine negativ ist, so zieht man von der betragsmäßig größeren Zahl die betragsmäßig kleinere Zahl ab. Wenn die positive Zahl betragsmäßig größer ist, so hat man die Lösung, wenn die negative Zahl betragsmäßig größer ist, so muss man das Errechnete negieren. }
Zur Multiplikation \aufzaehlungzwei {Wenn beide Zahlen negativ sind, so multipliziert man einfach die Beträge der beiden Zahlen miteinander. } {Wenn eine Zahl positiv ist und eine negativ ist, so multipliziert man ebenfalls die Beträge miteinander und nimmt dieses Ergebnis negativ. }
Die Subtraktion fasst man als Addition mit eventuell negativen Zahlen auf.
Wenn eine ganze Zahl in der Form
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {c_k 10^k + c_{k-1} 10^k + \cdots + c_2 10^2 + c_1 10^1 + c_0 10^0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben ist, wobei die $c_i$ beliebige ganze Zahlen sind, so kann man nicht unmittelbar die zugehörige Dezimalentwicklung ablesen, da dies wesentlich davon abhängt, ob die Zahl positiv oder negativ ist.
| << | Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I | >> |
|---|