[UFD]Unique Factorization Domain(唯一分解整环)
[Def]唯一分解整环是指一个带有幺元的交换整环, 满足下面的条件:
其中每个非零非单位元可以写成一些不可约元素（素元素）的乘积, 该乘积在不考虑乘法次序和单位元的情况下是唯一的.
Answer
[Def]唯一分解整环是指一个带有幺元的交换整环, 满足下面的条件:
其中每个非零非单位元可以写成一些不可约元素（素元素）的乘积, 该乘积在不考虑乘法次序和单位元的情况下是唯一的.