近世代数--整环上的唯一分解问题--相伴是整环上的等价关系，最大公因子建立在相伴所划分的等价类上

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

相伴是整环上的等价关系

相伴：$D$为整环，$a,b\in D,a\mid b,b\mid a,$则称$a$与$b$相伴，记作$a\sim b$。

• 相伴是整环上的一种等价关系，对元素的划分。

  $i$是不可约元$\leftrightarrow i=ab\to i\sim a,b\in U$或$i\sim b,a\in U$

  因为乘以单位，并不会改变相伴关系，即在相伴的意义下仍然等价。

• 以下三种表达式等价：

  • (1) $a\sim b$
  • (2) $<a>=<b>$
  • (3) $\exists u\in U,u\in D,$使$a=bu$

  证明：

  • (1)$\to$(2)：$$\begin{gathered} a\sim b \\ \to a\mid b \\ \to \exists c\in D,b=ac \\ \to b\in <a> \end{gathered}$$，同理，$$\begin{gathered} a\in <b> \\ \to <a>=<b> \end{gathered}$$
  • (2)$\to$(3)：
    如果