近世代数--整环上的唯一分解问题--唯一分解整环中元素的标准分解式

博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。

定义UFD时元素的分解式

这里是唯一分解整环的基本概念。

$D$为整环，$U$是单位群，$a\in D,a\ne 0,a\notin U,$

• 元素有唯一分解：

  • $a$可分解为有限多个不可约元的乘积：$a=p_1{p}_2\dots p_s$

  • 上述分解在相伴的意义下是唯一的，即如果$a$有两种不可约分解，

    $a=$