UFD
unique factorization domain
一意分解環
の略