Ein kommutativer Ring mit Eins, in dem jedes von Null verschiedene Element ein multiplikatives Inverses besitzt; äquivalent: eine Struktur mit zwei Operationen, die eine abelsche additive Gruppe und auf den von Null verschiedenen Elementen eine abelsche multiplikative Gruppe bildet.

Prinzip

Vollständige multiplikative Invertierbarkeit (außer Null) zusammen mit Kommutativität fordern, sodass Division durch Nicht-Null-Elemente stets möglich ist und die lineare Algebra klassisch funktioniert.

Demonstration

Die rationalen Zahlen Q, die reellen Zahlen R und endliche Körper GF(p) sind Körper; über solchen Körpern haben Vektorräume Basen und wohldefinierte Dimensionen, was klassische lineare Algebra ermöglicht.

Fehlanwendung

Ein Integritätsbereich oder lokaler Ring als Körper zu behandeln, indem man willkürliche Divisionen annimmt, oder das Merkmal zu ignorieren, das Polynomialfaktorisierung und lineare Unabhängigkeit beeinflusst.

Konsequenz

Körper ermöglichen das Lösen linearer Gleichungssysteme mittels Division, dienen als Skalarkörper für Vektorräume und bilden die Grundlage für algebraische Abschlüsse, Galoistheorie und viele Klassifizierungsresultate.

Umkehrung

Die Umkehrung ergibt Ringe, in denen Nicht-Null-Elemente nicht invertierbar sein müssen (z. B. Z), wodurch die Teilbarkeit verschwindet und das Verhalten von Modulen und Gleichungen sich grundlegend ändert.

Abgrenzung

Schließt nichtkommutative Divisionringe (Schiefkörper) aus, wenn Kommutativität verlangt wird; schließt auch den Nullring und Ringe mit Nullteilern aus, da diese die Invertierbarkeit aller Nicht-Null-Elemente nicht erfüllen können.

Semantische Spannung

Spannung zwischen Körpern und Divisionringen (nichtkommutative Analoga) sowie zwischen Körpern verschiedener Charakteristika; manche Konstruktionen in Charakteristik Null versagen in endlicher Charakteristik.

Synthese

Ein Körper ist ein maximal invertierbares kommutatives algebraisches System: ein Ring, in dem jedes Nicht-Null-Element eine Einheit ist, und der als kanonische Skalardomäne für klassische lineare und algebraische Operationen dient.