Rationale Zahlen/Brüche/Körper/2/Einführung/Textabschnitt

Definition

Ein kommutativer Ring $R$ heißt Körper, wenn  $R\ne 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 beiden wichtigsten Körper sind für uns der Körper der rationalen Zahlen und der Körper der reellen Zahlen, der Körper mit zwei Elementen wurde in Beispiel besprochen. 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\ne 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\ne 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ßen; 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\ne 0$  eine eindeutige Lösung in $K$ besitzt, nämlich

$d{c}^{-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.

$◻$

In einem Körper $K$ kann man die Potenzschreibweise erweitern. Zu $x\in K$, $x\ne 0$, und einer natürlichen Zahl  $n\in \mathbb{N}$  versteht man, wie in jedem kommutativen Ring, unter $x^n$ das $n$-fache Produkt von $x$ mit sich selbst ($n$ Faktoren). 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 die folgenden Potenzgesetze , die die Potenzgesetze für positive Exponenten (siehe Fakt), die in jedem kommutativen Halbring gelten, wesentlich erweitern.

Lemma

Es sei $K$ ein Körper und seien  $a,b\ne 0$  Elemente aus $K$. Dann gelten die folgenden Potenzgesetze für  $m,n\in \mathbb{Z}$. 

1. Es ist

   ${\left(a^{-1}\right)}^{-1}=a.$

2. Es ist  $a^{-n}={\left(a^{-1}\right)}^n$  das inverse Element zu $a^n$.

3. $a^{m+n}=a^m\cdot a^n.$

4. $(a^m{)}^n=a^{mn}.$

5. $(a\cdot b{)}^n=a^n\cdot b^n.$

Beweis

(1) folgt aus Aufgabe, da $K\setminus \{0\}$ eine Gruppe ist. (2). Bei  $n\in \mathbb{N}$  ist die linke Gleichheit eine Definition und die Behauptung folgt aus

${\left(a^{-1}\right)}^n\cdot a^n={\left(a^{-1}a\right)}^n=1.$

Daraus folgt auch die Aussage für negatives $n$. Für (3), (4), (5) siehe Aufgabe.

$◻$