Körper (Algebra)


Körper (Algebra)

Ein Körper ist im mathematischen Teilgebiet der Algebra eine ausgezeichnete algebraische Struktur, in der die Addition, Subtraktion, Multiplikation und Division wie bei den „normalen“ reellen Zahlen durchgeführt werden können.

Die Bezeichnung Körper wurde im 19. Jahrhundert von Richard Dedekind eingeführt.

Die wichtigsten Körper, die in fast allen Gebieten der Mathematik benutzt werden, sind der Körper \R der reellen Zahlen, der Körper \Q der rationalen Zahlen und der Körper \C der komplexen Zahlen.

Inhaltsverzeichnis

Formale Definition

Allgemeine Definition

Ein Körper ist eine Menge K versehen mit zwei zweistelligen Verknüpfungen+ “ und „\cdot“ (die üblicherweise Addition und Multiplikation genannt werden), für die folgende Bedingungen erfüllt sind:

  1. \left(K,+\right) ist eine abelsche Gruppe (Neutrales Element 0)
  2. \left(K\setminus\left\{0\right\},\cdot\right) ist eine abelsche Gruppe (Neutrales Element 1)
  3. Es gilt das Distributivgesetz: Für alle a, b, c \in K gilt:
    a\cdot\left(b+c\right) = a\cdot b+a\cdot c,    \left(a+b\right)\cdot c= a\cdot c+b\cdot c

Einzelaufzählung der benötigten Axiome

Ein Körper muss also folgende Einzelaxiome erfüllen:

  1. Additive Eigenschaften:
    1. a + (b + c) = (a + b) + c (Assoziativgesetz)
    2. a + b = b + a (Kommutativgesetz)
    3. Es gibt ein Element 0\in K mit 0 + a = a (neutrales Element)
    4. Zu jedem a\in K existiert das additive Inverse a mit ( − a) + a = 0
  2. Multiplikative Eigenschaften:
    1. a\cdot(b\cdot c) = (a\cdot b)\cdot c (Assoziativgesetz)
    2. a\cdot b = b\cdot a (Kommutativgesetz)
    3. Es gibt ein Element 1\in K\setminus\{0\} mit 1\cdot a=a (neutrales Element).
    4. Zu jedem a\in K\setminus\{0\} existiert das multiplikative Inverse a − 1 mit a^{-1}\cdot a=1
  3. Zusammenspiel von additiver und multiplikativer Struktur:
    a\cdot (b+c) = a\cdot b+a\cdot c (Links-Distributivgesetz)

Das Rechts-Distributivgesetz (a+b)\cdot c=a\cdot c+b\cdot c folgt dann aus den übrigen Eigenschaften.:

(a+b)\cdot c=c \cdot (a+b)=c\cdot a+c\cdot b=a\cdot c+b\cdot c

Zusammenfassend werden diese Axiome auch Körperaxiome genannt.

Definition als spezieller Ring

Ein kommutativer unitärer Ring, der nicht der Nullring ist, ist ein Körper, wenn in ihm jedes von Null verschiedene Element ein Inverses bezüglich der Multiplikation besitzt.

Anders formuliert, ist ein Körper ein kommutativer unitärer Ring K, in dem die Einheitengruppe K * gleich K\setminus\{0\}, also maximal groß, ist.

Bemerkungen

Die Definition sorgt dafür, dass in einem Körper in der "gewohnten" Weise Addition, Subtraktion und Multiplikation funktionieren (und die Division mit Ausnahme der nicht definierten Division durch 0):

  • Das Inverse von a bezüglich der Addition ist a und wird meist das additiv Inverse zu a oder auch das Negative von a genannt.
  • Das Inverse von a bezüglich der Multiplikation ist a − 1 und wird das (multiplikativ) Inverse zu oder der Kehrwert von a genannt.
  • 0 ist das einzige Element des Körpers, das keinen Kehrwert hat, die multiplikative Gruppe eines Körpers ist also K^\times=K\setminus\{0\}.

Anmerkung: Die Bildung des Negativen eines Elementes hat nichts mit der Frage zu tun, ob das Element selbst negativ ist; beispielsweise ist das Negative der reellen Zahl − 2 die positive Zahl 2. In einem allgemeinen Körper gibt es keinen Begriff von negativen oder positiven Elementen. (Siehe auch geordneter Körper.)

Verallgemeinerungen: Schiefkörper und Koordinatenkörper

Hauptartikel: Schiefkörper, Ternärkörper

Verzichtet man auf die Bedingung, dass die Multiplikation kommutativ ist, so gelangt man zur Struktur des Schiefkörpers. Es gibt jedoch auch Autoren, die für einen Schiefkörper explizit voraussetzen, dass die Multiplikation nicht kommutativ ist. In diesem Fall ist ein Körper nicht mehr zugleich Schiefkörper. Ein Beispiel ist der Schiefkörper der Quaternionen, der kein Körper ist. Andererseits gibt es Autoren, so Bourbaki, die Schiefkörper als Körper und die hier besprochenen Körper als kommutative Körper bezeichnen.

In der analytischen Geometrie werden Körper zur Koordinatendarstellung von Punkten in affinen und projektiven Räumen verwendet, siehe Affine Koordinaten, Projektives Koordinatensystem. In der synthetischen Geometrie, in der auch Räume (insbesondere Ebenen) mit schwächeren Eigenschaften untersucht werden, benutzt man als Koordinatenbereiche („Koordinatenkörper“) auch Verallgemeinerungen der Schiefkörper, nämlich Alternativkörper, Quasikörper und Ternärkörper.

Eigenschaften und Begriffe

  • Es gibt genau eine „0“ (Null-Element, neutrales Element bzgl. der Körper-Addition) und eine „1“ (Eins-Element, neutrales Element bzgl. der Körper-Multiplikation) in einem Körper.
  • Jeder Körper ist ein Ring. Die Eigenschaften der multiplikativen Gruppe heben den Körper aus den Ringen heraus. Wenn die Kommutativität der multiplikativen Gruppe nicht gefordert wird, erhält man den Begriff des Schiefkörpers.
  • Jeder Körper ist nullteilerfrei. Das heißt, dass ein Produkt zweier Elemente des Körpers genau dann 0 ist, wenn mindestens einer der beteiligten Faktoren 0 ist.
  • Jedem Körper lässt sich eine Charakteristik zuordnen, die entweder 0 oder eine Primzahl ist.
  • Die kleinste Teilmenge eines Körpers, die selbst noch alle Körperaxiome erfüllt, heißt sein Primkörper. Der Primkörper ist entweder der Körper \Q der rationalen Zahlen (bei Körpern der Charakteristik 0) oder ein endlicher Restklassenkörper \Z/p\Z (bei Körpern der Charakteristik p, speziell bei allen endlichen Körpern, s.u.).
  • Jeder Körper ist ein Vektorraum über sich selbst (das heißt mit sich selbst als zugrundeliegendem Skalarkörper), darüber hinaus existieren über allen Körpern Vektorräume beliebiger Dimension. (→ Hauptartikel Vektorraum).
  • Ein wichtiges Mittel, um einen Körper K algebraisch zu untersuchen ist der Polynomring K\left[ X \right] der Polynome in einer Variablen mit Koeffizienten aus K.
  • Wenn in einem Körper eine Totalordnung definiert ist, die mit der Addition und der Multiplikation verträglich ist, spricht man von einem geordneten Körper und nennt die Totalordnung auch Anordnung des Körpers.
  • Wenn in dieser Anordnung jedes Körperelement α durch eine endliche Summe des Einselementes übertroffen werden kann (\alpha<1+1+\cdots +1), sagt man, der Körper erfüllt das Archimedische Axiom oder auch er ist archimedisch geordnet.
  • In der Bewertungstheorie werden bestimmte Körper mit Hilfe einer Bewertungsfunktion untersucht. Man nennt sie dann bewertete Körper.

Körpererweiterung

Hauptartikel: Körpererweiterung

Eine Teilmenge K eines Körpers L, die selbst mit dessen Operationen wieder einen Körper bildet, wird Unter- oder Teilkörper genannt. Das Paar K und L heißt Körpererweiterung K \subset L, L / K oder L | K. Beispielsweise ist der Körper der rationalen Zahlen \mathbb{Q} ein Teilkörper der reellen Zahlen \R.

Eine Teilmenge U eines Körpers K ist ein Teilkörper, wenn sie folgende Eigenschaften hat:

  • 1_{K} \in U
  • a,b \in U\ \Rightarrow\ a + b \in U,\  a \cdot b \in U (Abgeschlossenheit bezüglich Addition und Multiplikation)
  • a \in U\  \Rightarrow\ -a \in U (Jedes additive Inverse von U ist in U.)
  • a \in U \setminus \{0\}\  \Rightarrow\  a^{-1} \in U (Das multiplikativ Inverse zu jedem Element aus U mit Ausnahme der Null ist in U.)

Beispiele und Gegenbeispiele

  • Bekannte Beispiele für Körper sind
  • Die Menge der ganzen Zahlen (\Bbb Z,+,\cdot) mit den üblichen Verknüpfungen ist kein Körper: Zwar ist  (\Bbb Z,+) eine Gruppe mit neutralem Element 0 und jedes a\in\Bbb Z besitzt das additive Inverse a, aber  (\Bbb{Z}\setminus \{0\},\cdot) ist keine Gruppe. Immerhin ist 1 das neutrale Element, aber außer zu 1 und − 1 gibt es keine multiplikativen Inversen (zum Beispiel ist 3 − 1 = 1 / 3 keine ganze, sondern eine echt rationale Zahl):
  • Das Konzept, mit dem sich der Integritätsring der ganzen Zahlen zum Körper der rationalen Zahlen erweitern und in diesen einbetten lässt, kann auf beliebige Integritätsringe verallgemeinert werden:

Endliche Körper

Hauptartikel: Endlicher Körper

+ O I A B
O O I A B
I I O B A
A A B O I
B B A I O
· O I A B
O O O O O
I O I A B
A O A B I
B O B I A

Ein Körper ist ein endlicher Körper, wenn seine Grundmenge K endlich ist. Die endlichen Körper sind in folgendem Sinne vollständig klassifiziert: Jeder endliche Körper hat genau q = pn Elemente mit einer Primzahl p und einer positiven natürlichen Zahl n. Bis auf Isomorphie gibt es zu jedem solchen q genau einen endlichen Körper, der mit \Bbb F_q bezeichnet wird. Jeder Körper \Bbb F_{p^n} hat die Charakteristik p. Als Beispiel werden hier die Additions- und Multiplikationstafeln des \Bbb F_4 gezeigt; farbig hervorgehoben dessen Unterkörper \Bbb F_2.

Im Spezialfall n = 1 erhalten wir zu jeder Primzahl p den Körper \Bbb F_p, der isomorph zum Restklassenkörper \Z / p\Z ist.

Geschichte

Wesentliche Ergebnisse der Körpertheorie sind Évariste Galois und Ernst Steinitz zu verdanken.

Literatur

Weblinks


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Körper — Das Wort Körper hat verschiedene Bedeutungen: in der Biologie der Leib, das optisch in Erscheinung tretende Material oder ein Teil davon, siehe Körper (Biologie) in der Physik ein Objekt, das Raum einnimmt und Masse hat, siehe Körper (Physik) In… …   Deutsch Wikipedia

  • Algebra (Struktur) — Algebra über einem Körper berührt die Spezialgebiete Mathematik Abstrakte Algebra Lineare Algebra Kommutative Algebra ist Spezialfall von Algebraische Struktur Vektorraum …   Deutsch Wikipedia

  • Algebra (Begriffsklärung) — Algebra bezeichnet in der Mathematik: Algebra, ein Teilgebiet der Mathematik mit den weiteren Teilgebieten Elementare Algebra Abstrakte Algebra Lineare Algebra Kommutative Algebra Universelle Algebra Computeralgebra Außerdem bezeichnet man mit… …   Deutsch Wikipedia

  • Algebra über einem Körper — Eine Algebra über einem Körper K, Algebra über K oder K Algebra (früher auch als lineare Algebra bezeichnet)[1] ist ein Vektorraum, der um eine (hinreichend gutartige) Multiplikation erweitert wurde. Inhaltsverzeichnis 1 Definition 2… …   Deutsch Wikipedia

  • Algebra — Aryabhata I …   Deutsch Wikipedia

  • Körper — Leib; Corpus (lat.); Korpus * * * Kör|per [ kœrpɐ], der; s, : 1. Organismus eines Lebewesens, der die jeweilige Erscheinung, Gestalt eines Menschen oder Tieres ausmacht: der menschliche, ein schöner Körper; den ganzen Körper waschen; ein… …   Universal-Lexikon

  • Algebra — Al|ge|bra [ algebra], die; : Teilgebiet der Mathematik, das sich besonders mit Gleichungen und mit den Verknüpfungen mathematischer Strukturen befasst: eine Eins in Algebra haben. * * * Ạl|ge|bra auch: Ạl|geb|ra 〈österr. [ ′ ] f.; ; unz.; Math.〉… …   Universal-Lexikon

  • Algebra (Mengensystem) — In der Mathematik ist eine (Mengen )Algebra ein Grundbegriff der Maßtheorie. Er bezeichnet ein nicht leeres Mengensystem, das vereinigungs und komplementstabil ist (Ereignissystem). Felix Hausdorff nannte aufgrund einer entfernten Ähnlichkeit zur …   Deutsch Wikipedia

  • algebra, modern — ▪ mathematics Introduction also called  abstract algebra        branch of mathematics concerned with the general algebraic structure of various sets (such as real numbers (real number), complex numbers (complex number), matrices (matrix), and… …   Universalium

  • Algebra über einem kommutativen Ring — Als Algebra über einem kommutativen Ring oder R Algebra (wobei R ein kommutativer Ring ist) bezeichnet man eine algebraische Struktur, die aus einem Modul über einem kommutativen Ring und einer zusätzlichen, mit der Modulstruktur verträglichen… …   Deutsch Wikipedia


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.