unique factorization domain

一意分解環の略