唯一分解整环（unique factorization domain）是使得每个其中非零元素都能唯一表成一个单位（环中有乘法逆的元素被称为单位）和 素元之积的 整环。