Uniek factorisatiedomein

In de abstracte algebra, een onderdeel van de wiskunde, is een uniek factorisatiedomein, UFD, een commutatieve ring, waarin elk element dat geen nul is en geen eenheid op een unieke manier kan worden geschreven als een product van irreducibele of priemelementen, op dezelfde manier dat de gehele getallen in priemgetallen kunnen worden ontbonden.

Merk op dat een uniek factorisatiedomein voorkomt in de onderstaande hiërarchie:

eindige lichamen/velden ⊂ lichamen/velden ⊂ Euclidische domeinen ⊂ hoofdideaaldomeinen ⊂ unieke factorisatiedomeinen ⊂ integriteitsdomeinen ⊂ commutatieve ringen ⊂ ringen.

Ieder hoofdideaaldomein is een uniek factorisatiedomein, maar het omgekeerde is niet waar.