A. [最大公因子整环] 整环 称为最大公因子整环, 如果任意两个非零元有最大公因子.
B. 如果 为最大公因子整环, 那么不可约元是素元.
[证明] 如果 不可约, . 首先,我们知道不能 且 ( 因为如果 且 那么 ,矛盾). 我们假定 非单位, 那么 , 因为 是极大的主理想,故 ,所以 .
C. [唯一析因整环区UFD] 整环 称为唯一析因整还, 如果:
D. 在一般抽象代数书中都有UFD的判定:
E. 如果 是诺特的, 则肯定具有可分解性, 所以条件1 等价于条件 2.