数学吧 关注:882,522贴子:8,714,308
  • 7回复贴,共1

高斯整环是欧几里得环,这个怎么证。

只看楼主收藏回复

RT,求大神


1楼2013-06-13 19:12回复
    这个映射是取模的平方吗?


    2楼2013-06-13 19:13
    回复
      把x+yi映到根号(x^2+y^2)的函数f满足ED的要求


      IP属地:瑞典来自手机贴吧3楼2013-06-13 19:14
      收起回复
        构造映射f:x+yi→x²+y²,f(ab)=f(a)f(b),ab^-1=c+di,存在e,f使|c-e|≤1/2,|d-f|≤1/2,a=bq+r,q=e+fi,r=a-bq,f(r)<f(b)


        IP属地:贵州来自Android客户端5楼2021-08-08 18:31
        回复