blob: 1754ce607a28880e3750dd3e0d8e5d376cd9a631 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
%
% koerper.tex -- Definition eines Körpers
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschwêizer Fachhochschule
%
\subsection{Körper
\label{buch:subsection:koerper}}
Die Multiplikation ist in einer Algebra nicht immer umkehrbar.
Die Zahlenkörper von Kapitel~\ref{buch:chapter:zahlen} sind also
sehr spezielle Algebren, man nennt sie Körper.
In diesem Abschnitt sollen die wichtigsten Eigenschaften von Körpern
zusammengetragen werden.
\begin{definition}
Ein Körper $K$ ist ein additive Gruppe mit einer multiplikativen
Verknüpfung derart, dass $K^* = K \setminus \{0\}$ eine Gruppe bezüglich
der Multiplikation ist.
Ausserdem gelten die Distributivgesetze
\[
(a+b)c = ac+bc
\qquad a,b,c\in K.
\]
\end{definition}
Ein Körper ist also ein Ring derart, dass die Einheitengruppe $K^*$ ist.
\begin{beispiel}
Die Menge $\mathbb{F}_2=\{0,1\}$ mit der Additions- und
Mutliplikationstabelle
\begin{center}
\begin{tabular}{|>{$}c<{$}|>{$}c<{$}>{$}c<{$}|}
\hline
+&0&1\\
\hline
0&0&1\\
1&1&0\\
\hline
\end{tabular}
\qquad
\qquad
\qquad
\begin{tabular}{|>{$}c<{$}|>{$}c<{$}>{$}c<{$}|}
\hline
\cdot&0&1\\
\hline
0&0&0\\
1&0&1\\
\hline
\end{tabular}
\end{center}
ist der kleinste mögliche Körper.
\end{beispiel}
\begin{beispiel}
Die Menge der rationalen Funktionen
\[
\mathbb{Q}(z)
=
\biggl\{
f(z)
=
\frac{p(z)}{q(z)}
\,
\bigg|
\,
\begin{minipage}{5.5cm}
\raggedright
$p(z), q(z)$ sind Polynome mit rationalen Koeffizienten, $q(z)\ne 0$
\end{minipage}
\,
\biggr\}
\]
ist ein Körper.
\end{beispiel}
|
