Körper/Ring vorausgesetzt/Einführung/Textabschnitt

Definition

Ein kommutativer Ring ${}R$ heißt Körper, wenn  ${}R\neq 0$  ist und wenn jedes von ${}0$ verschiedene Element ein multiplikatives Inverses besitzt.

Ein Körper ist also insbesondere ein kommutativer Ring. Jede Eigenschaft, die in einem kommutativen Ring gilt, gilt auch in einem Körper (aber nicht umgekehrt).

Die wichtigsten Körper sind für uns der Körper der rationalen Zahlen, der Körper der reellen Zahlen und der Körper der komplexen Zahlen. Der Körper mit zwei Elementen wurde in Beispiel besprochen. Wir werden weitere endliche Körper in der zwölften Vorlesung konstruieren. Zu einem Element  ${}x\in K$  bezeichnet man, wie in jedem kommutativen Ring, dasjenige Element, das mit ${}x$ addiert die ${}0$ ergibt, als das Negative von ${}x$, geschrieben ${}-x$. Zu einem Element ${}x\in K$, ${}x\neq 0$, bezeichnet man dasjenige Element, das mit ${}x$ multipliziert die ${}1$ ergibt, als das Inverse von ${}x$ (oder den Kehrwert von ${}x$ oder die zu ${}x$ reziproke Zahl), geschrieben ${}x^{-1}$. Auch dieses ist eindeutig bestimmt.

Bemerkung  

In einem Körper ${}K$ wird für beliebige Elemente ${}x,y\in K$ mit ${}y\neq 0$, die Bruchschreibweise

${}{\frac {x}{y}}:=x\cdot y^{-1}\,$

verwendet. Es handelt sich also um eine Abkürzung für das Produkt von ${}x$ mit dem inversen Element von ${}y$. Die Zahl ${}{\frac {x}{y}}$ ist das eindeutig bestimmte Element, das mit ${}y$ multipliziert das Element ${}x$ ergibt. Diese Schreibweise passt mit der Bruchschreibweise für rationale Zahlen zusammen, da ja

${}{\frac {a}{b}}\cdot b={\frac {a}{b}}\cdot {\frac {b}{1}}={\frac {ab}{b}}=a\,$

ist.

Die Berechnung von

${}{\frac {x}{y}}=x:y\,$

nennt man Division, wobei ${}x$ der Dividend und ${}y$ der Divisor der Division heißt, das Ergebnis heißt Quotient.

Bemerkung  

In einem Körper ${}K$ ist wie in jedem kommutativen Ring die additive Struktur ${}(K,0,+)$ eine kommutative Gruppe. Insbesondere besitzt in jedem Körper eine Gleichung der Form

${}a+x=b\,$

mit  ${}a,b\in K$  eine eindeutige Lösung, nämlich

${}b-a=b+(-a)\,,$

wie sich direkt aus Fakt ergibt. Darüber hinaus ist zu jedem Körper ${}K$ die multiplikative Struktur, wenn man die ${}0$ herausnimmt, also ${}(K\setminus \{0\},\cdot ,1)$ eine kommutative Gruppe. Dies bedeutet wiederum, dass eine Gleichung der Form

${}c\cdot x=d\,$

mit  ${}c,d\neq 0$  eine eindeutige Lösung in ${}K$ besitzt, nämlich

${}dc^{-1}={\frac {d}{c}}\,.$

Die folgende Eigenschaft heißt die Nichtnullteilereigenschaft eines Körpers. Sie gilt auch für ${}\mathbb {Z}$, im Allgemeinen aber nicht für jeden kommutativen Ring, siehe Aufgabe.

Lemma

Es sei ${}K$ ein Körper. Aus  ${}a\cdot b=0$ 

folgt  ${}a=0$  oder  ${}b=0$. 

Beweis

Siehe Aufgabe.

$\Box$

In einem Körper ${}K$ kann man die Potenzschreibweise erweitern, da ja ${}K\setminus \{0\}$ eine Gruppe ist und man daher zu ${}x\in K$, ${}x\neq 0$ und  ${}n\in \mathbb {Z}$  der Ausdruck ${}x^{n}$ wohldefiniert ist. Wie bei jeder Gruppe ist zu einer natürlichen Zahl  ${}n\in \mathbb {N}$  ${}x^{n}$ das ${}n$-fache Produkt von ${}x$ mit sich selbst (${}n$ Faktoren), was den Fall  ${}x^{0}=1$  miteinschließt. Für negatives  ${}n\in \mathbb {Z} _{-}$  schreibt man  ${}n=-k$  mit  ${}k\in \mathbb {N} _{+}$  und setzt

${}x^{n}:={\left(x^{-1}\right)}^{k}={\left(x^{-1}\right)}^{-n}={\left(x^{-n}\right)}^{-1}\,.$

Für diese Potenzen gelten insbesondere die in Fakt formulierten Potenzgesetze, die die Potenzgesetze für positive Exponenten (siehe Fakt), die in jedem kommutativen Halbring gelten, wesentlich erweitern.