Das Phänomen in einem Integritätsbereich (häufig dem Ganzheitsring eines Zahlkörpers), dass ein Element zwei oder mehr verschiedene Faktorisierungen in irreduzible Elemente besitzt, die nicht durch Multiplikation mit Einheiten zueinander assoziiert sind und damit die Eindeutigkeit der Primzerlegung verletzen.

Prinzip

Eindeutige Faktorisierung gilt in Hauptidealbereichen und in eindeutigen Faktorisierungsbereichen; ihr Versagen tritt auf, wenn Ideale eindeutig faktorisieren, Elemente jedoch nicht, typischerweise angezeigt durch eine nichttriviale Klassengruppe oder das Vorkommen irreduzibler nicht‑primelemente.

Demonstration

Im Ganzheitsring bestimmter quadratischer Erweiterungen kann eine ganze Zahl als Produkt irreduzibler Faktoren auf zwei nichtäquivalente Weisen geschrieben werden (zum Beispiel eine kleine explizite Zahl, die sowohl als Produkt einer Paarung irreduzibler Elemente darstellbar ist), wobei die irreduziblen Faktoren nicht durch Einheiten verbunden sind.

Fehlanwendung

Jedes irreduzible Element fälschlich als prim zu behandeln oder vorauszusetzen, dass in einem Ring Elementfaktorisierungen eindeutig sind, wo nur die Faktorisierung von Idealen garantiert ist, was zu fehlerhaften Schlussfolgerungen über Teilbarkeit und größte gemeinsame Teiler führt.

Konsequenz

Nicht‑eindeutige Faktorisierung veranlasst den Wechsel von elementaren Faktorisierungen zu idealtheoretischen oder Klassengruppen‑Ansätzen; es werden Invarianten (Klassengruppe, Maße der Faktorisierungs­längen) benötigt und arithmetische Argumente müssen angepasst werden.

Umkehrung

In einem eindeutigen Faktorisierungsbereich besitzt jedes von null verschiedene Nicht‑Einheit eine Primzerlegung, die bis auf Reihenfolge und Einheiten eindeutig ist; somit verschwindet die Nicht‑Eindeutigkeit, wenn die Klassengruppe trivial ist oder der Ring ein UFD ist.

Abgrenzung

Betrifft Integritätsbereiche und Ringe algebraischer Ganzheiten; gilt nicht für allgemeine Ringe mit Nullteilern oder für Kontexte, in denen Faktorisierung (beispielsweise in Modul‑ oder nichtkommutativen Settings) anders definiert ist, ohne Entsprechung des Begriffs.

Semantische Spannung

Es besteht Spannung zwischen den Begriffen ‚Prime‘ und ‚Irreduzibel‘: in Nicht‑UFDs gehen diese Begriffe auseinander und viele klassische elementare Argumente versagen.

Synthese

Nicht‑Eindeutige Faktorisierung bezeichnet die arithmetische Tatsache, dass Elemente in bestimmten Integritätsbereichen auf mehrere nichtäquivalente Weisen faktorisiert werden können; das Verständnis dieses Versagens führt zu idealtheoretischen Lösungen und strukturellen Invarianten wie der Klassengruppe, die eine andere Form von Eindeutigkeit wiederherstellen.