dominio a fattorizzazione unica
dominio a fattorizzazione unica (in sigla ufd) dominio d’integrità in cui ogni elemento si fattorizza come prodotto di elementi primi. L’anello degli interi Z e l’anello K[x] dei polinomi a coefficienti in un campo K sono esempi di domini a fattorizzazione unica, così come lo sono ogni dominio euclideo e ogni dominio a ideali principali (→ anello).