Definition
Ein Element eines multiplikativen Monoids mit Eins, das kein multiplikatives Inverses besitzt; bzw. ein Element eines Ringes mit Eins, das keine Einheit ist.
Prinzip
Prinzip
Einheiten bilden die Gruppe der invertierbaren Elemente; Nicht-Einheiten bilden das Komplement und signalisieren das Versagen der Lösbarkeit durch Multiplikation. Der Status als Nicht-Einheit steuert die Erzeugung von Idealen und das Verhalten unter Lokalisierung.
Demonstration
Demonstration
Im Ring der ganzen Zahlen Z sind 2 und 3 Nicht-Einheiten, da nur ±1 invertierbar sind; in Z/6Z ist die Klasse von 2 eine Nicht-Einheit, während 5 eine Einheit ist, weil 5·5 ≡ 1 (mod 6).
Fehlanwendung
Fehlanwendung
Nicht-Einheit mit Nullteiler zu verwechseln oder anzunehmen, jede Nicht-Einheit sei ein Nullteiler; zum Beispiel sind in Integritätsbereichen nichtnullte Nicht-Einheiten keine Nullteiler, weshalb die Begriffe zu unterscheiden sind.
Konsequenz
Konsequenz
Die Identifikation von Nicht-Einheiten ist wesentlich für die Faktorisierungstheorie, zur Entscheidung, welche Elemente echte Ideale erzeugen, und für die Auswahl multiplikativer Mengen bei der Lokalisierung; Nicht-Einheiten verhindern Invertierbarkeits-basiertes Kürzen.
Umkehrung
Umkehrung
Die Umkehrklasse sind Einheiten: Elemente mit multiplikativem Inversen, die eine Gruppe bilden. Um eine Nicht-Einheit zur Einheit zu machen, muss man Inverse adjungieren (Lokalisierung) oder den umgebenden Ring erweitern.
Abgrenzung
Abgrenzung
Der Begriff setzt eine multiplikative Eins voraus; in nicht-unitären Ringen (rangs) ist er nicht anwendbar oder muss angepasst werden. In Ringen mit Nullteilern ist Invertierbarkeit subtil (einseitige Inverse), daher auf Seitenabhängigkeit und Kommutativität achten.
Semantische Spannung
Semantische Spannung
Nicht-Einheit steht nahe bei ‚Nullteiler‘, ‚nicht-invertierbarer linearer Operator‘ (matrixtheoretische Sicht) und ‚nichtnulles Element‘ — man muss das Fehlen von Invertierbarkeit von Annihilation und anderen Bedeutungen unterscheiden.
Synthese
Synthese
Eine Nicht-Einheit ist schlicht ein multiplikatives Element ohne Inverses; das Erkennen von Nicht-Einheiten zeigt, welche algebraischen Operationen (Kürzen, Teilen, Lokalisieren) im gegebenen Kontext zulässig sind.