In algebra, un dominio a fattorizzazione unica (o anello a fattorizzazione unica; spesso abbreviato in UFD, dall'inglese Unique Factorization Domain) è 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.