Ein Ring mit Eins, in dem jedes von Null verschiedene Element ein multiplikatives Inverses besitzt, wobei die Multiplikation nicht notwendigerweise kommutativ sein muss; auch als schiefer Körper (skew field) bezeichnet.

Prinzip

Zentrales Prinzip ist die universelle Invertierbarkeit der Nicht-Null-Elemente bei gleichzeitiger Zulassung der Nichtkommutativität; die Menge der Nicht-Null-Elemente bildet eine (möglicherweise nichtabelsche) Gruppe, der Zentrum ist ein Körper.

Demonstration

Die Hamiltonschen Quaternionen H sind ein Standardbeispiel: jedes nichtnullte Quaternion ist invertierbar, aber die Multiplikation ist nicht kommutativ; das Inverse erhält man mittels Konjugation geteilt durch die Norm.

Fehlanwendung

Ein Divisionsring wie einen Körper zu behandeln und Kommutativität anzunehmen; das führt zu falschen Schlüssen über Polynomverhalten oder die Zentralität von Koeffizienten, wenn man über einer schiefen Basis arbeitet.

Konsequenz

Moduln über einem Divisionsring verhalten sich wie Vektorräume (links oder rechts) und besitzen eine wohldefinierte Dimension; die Klassifikation linearer Abbildungen und Matrizenrepräsentationen erfordert Vorsicht bezüglich der Seitenstellung.

Umkehrung

Die Forderung nach Kommutativität liefert einen Körper; das Zulassen von Nullteilern oder das Fehlen von Inversen führt zu allgemeinen Ringen mit völlig anderem Modul- und homologischem Verhalten.

Abgrenzung

Er muss Inverse für Nicht-Null-Elemente und ein Einselement besitzen; Ringe mit Nullteilern oder ohne globale Invertierbarkeit sind ausgeschlossen. Links-/Rechts-Aspekte sind zu unterscheiden, falls die Sidedness asymmetrisch ist.

Semantische Spannung

Spannung zwischen der Bezeichnung 'Divisionsring' und 'skew field' sowie zwischen nichtkommutativen Divisionsringen und kommutativen Körpern; endliche Divisionsringe sind notwendigerweise Körper (ein globales Faktum in endlichen Fällen).

Synthese

Ein Divisionsring verallgemeinert den Körper, indem er die universelle Invertierbarkeit der Nicht-Null-Elemente bewahrt und gleichzeitig nichtkommutative Multiplikation zulässt; er unterstützt lineare Algebra unter Berücksichtigung der Links-/Rechts-Modulstruktur und eines zentralen Teilkörpers.