近世代数--整环上的整除理论--主理想整环中最大公因子的存在表示定理

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

在唯一分解整环中，任何两个元素都有最大公因子

我们知道，整数环$Z$中，任何两个元素的最大公因子可表示为$a$、$b$的线性组合，即$d=(a,b)\to \exists s,t\in Z,$使得$d=as+bt$

• 整环中的最大公因子：$D$为整环，$a,b,d\in D,d$满足以下两个条件，则$d=(a,b)$，记作$d=gcd(a,b)$
  • $d\mid a,d\mid b,\to d$是$a,b$的公因子
  • $\forall c$是$a,b$的公因子，有$c\mid d$

那么整环中，是否也有这样的性质呢？如果不是，在什么限制条件下，整环有这样的性质呢？

• 这里是唯一分解整环的概念，唯一分解整环中元素的标准分解式，有：在唯一分解整环中，任何两个元素都有最大公因子

  证明：$D$为唯一分解整环，$a,b\in D,u\in U$

  $a=\alpha p_1^{k_1}{p}_2^{k_2}\dots p_s^{k_s},\alpha \in U$
  $b=\beta p_1^{l_1}{p}_2^{l_2}\dots p_s^{l_s},\beta \in U$

  • 令 m i = m i n { k i , l i } , d = p 1 m 1 p 2 m 2 … p s m s , m_i=min\{k_i,l_i\},d=p_1^{m_1}p_2^{m_2}…p_s^{m_s}, mi​=min{ ki​,li​},d=p1m1​​p2m2​​…psms​​