Eindeutiger Faktorisierungsbereich
Definition
Ein Integritätsbereich, in dem jedes nichtnullte, nicht invertierbare Element in irreduzible Faktoren zerlegt werden kann und diese Zerlegung bis auf Reihenfolge und Multiplikation mit Einheiten eindeutig ist; üblicherweise UFD abgekürzt.