column value
英文名稱 unique factorization domain
中文名稱 唯一分解整環