In algebra, un dominio a fattorizzazione unica è un dominio in cui vale un analogo del teorema fondamentale dell'aritmetica, ovvero in cui ogni elemento può essere scritto in modo unico come prodotto di elementi primi, analogamente a quanto accade per i numeri interi e la scomposizione in numeri primi. Wikipedia