## [Körper](/de/node/60190) Definition 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 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 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 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 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 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 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 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 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.