Ein kommutativer Ring mit Eins, in dem jedes von Null verschiedene Element ein multiplikatives Inverses besitzt; äquivalent dazu bilden die von Null verschiedenen Elemente eine abelsche Gruppe unter Multiplikation.

Prinzip

Das grundlegende Prinzip ist, dass alle nichtverschwindenden Skalare Einheiten sind, sodass Division (außer durch Null) stets möglich ist und die lineare Algebra über diesem Körper gut funktioniert.

Demonstration

Die rationalen Zahlen Q, die reellen Zahlen R und endliche Körper F_p (Ganze modulo einer Primzahl p) sind Körper; z. B. ist in F_7 das Inverse von 3 die 5, denn 3·5 = 15 ≡ 1 (mod 7).

Fehlanwendung

Ein Ring als Körper zu bezeichnen, nur weil viele Elemente invertierbar sind; etwa Z ist kein Körper trotz der Einheiten ±1, und eine Lokalisierung ist nur dann ein Körper, wenn alle Nichtnullen invertiert werden.

Konsequenz

Körper dienen als Skalare für Vektorräume, bestimmen die Charakteristik (0 oder eine Primzahl p) und erzwingen bei endlichen Körpern strenge Größeneinschränkungen (Potenz einer Primzahl), was lineare Algebra und Körpererweiterungstheorie ermöglicht.

Umkehrung

Ein nichtkommutativer Divisionsring oder ein Integritätsbereich ohne Inverse für manche Nicht-Null-Elemente steht im Gegensatz zum Körper: Es fehlt entweder die Kommutativität oder die universelle Invertierbarkeit.

Abgrenzung

Er muss kommutativ sein und für jedes von Null verschiedene Element ein multiplikatives Inverses besitzen; der Nullring und Ringe mit Nullteilern sind ausgeschlossen.

Semantische Spannung

Spannung besteht zwischen 'Körper' und 'Divisionsring' (letzterer verzichtet auf Kommutativität) sowie zwischen konkreten Körpern als Skalare und abstrakten Körpern bis auf Isomorphie.

Synthese

Ein Körper ist die kanonische kommutative algebraische Umgebung, in der Addition und Multiplikation einen Ring bilden und jedes Nicht-Null-Element invertierbar ist; dies schafft eine robuste Basis für Division, Vektorräume und Erweiterungstheorie.