近世代数--整环上的整除理论--欧几里得整环中的带余除法定理

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

欧几里得整环ED

• 整数环中的带余除法
  • $a,b\in Z,b\ne 0,\exists q,r\in Z,0\le r<|b|$使得$a=bq+r$

这里是欧几里得算法/辗转相除法，可以计算除整数环中带余除法的参数$q,r$。

在整环中是否存在带余除法？主理想整环中，存在的最大公因子$gcd(a,b)=au+bv$，参数$u,v$如何计算？

• 整环中的带余除法

  • $D$是整环，
  • 如果存在欧氏映射，$\phi :D-<$