Typen
:Beispiele
:Konstrukte
:Eigenschaften
:Involvierte Definitionen
:Referenz
:
Definition: Körper
Körper (eng. Fields) sind Mengen
mit zwei Verknüpfungen und sowie zwei verschiedenen Elementen 0 und 1, so dass:
ist kommutativ, assoziativ, mit neutralem Element ( ), jedes Element ist invertierbar ( ) und das inverse Element ist eindeutig. (wir schreiben statt auch einfach ) ist kommutativ, assoziativ, mit neutralem Element ( ), jedes Element (außer der 0) ist invertierbar ( ). und das inverse Element ist eindeutig. (wir schreiben statt auch oder ) - Es gelten die Distributivgesetze
Wir sprechen hier auch von den Körperaxiomen.