搜狗做题网近世代数 欧式环的证明
来源：学生作业帮 编辑：搜狗做题网作业帮 分类：数学作业 时间：2024/06/14 13:10:25
近世代数 欧式环的证明
证明 Z[√2]是一个欧式环
证明 Z[√2]是一个欧式环
对任意给定的A=a+b√2,任取d=s+t√2,(这里a,b,x,y都是属于Z的).
设范数N(A)=√(a^2+2b^2)
只要找到到A`=a1+b1√2,使得:
A=A'*d+r.
其中r=r1+r2√2属于Z[√2],
并且N(d)>N(r)>=0:由于总有A`和r使得上面的式子成立,因此我们只要证明有A'满足
N(d)>N(r)即可.
证明:
由于N(.)在Q(√2)上有:
N(a/b)=N(a)/N(b),a,b属于Q.特别地当a,b为整数是等号成立
因此:
N(r/d)=N(r)N(1/d)=N(r)/N(d)
设范数N(A)=√(a^2+2b^2)
只要找到到A`=a1+b1√2,使得:
A=A'*d+r.
其中r=r1+r2√2属于Z[√2],
并且N(d)>N(r)>=0:由于总有A`和r使得上面的式子成立,因此我们只要证明有A'满足
N(d)>N(r)即可.
证明:
由于N(.)在Q(√2)上有:
N(a/b)=N(a)/N(b),a,b属于Q.特别地当a,b为整数是等号成立
因此:
N(r/d)=N(r)N(1/d)=N(r)/N(d)
请教：近世代数证明题,
这是几道数学题、是近世代数的,
高等近世代数和抽象代数的区别
近世代数：设|M|>1,证明：集合M的全体非双射变换关于变换的乘法不能作成群
（近世代数）证明：M是R的极大理想,当且仅当R/M是单环.
近世代数的"域"和"环"的本质区别,能否举具体例子?
整数环Z的理想有-----个.近世代数的高手请回答
近世代数: 能否举例说明,环的理想是个怎样的等价关系?
近世代数 关于环的问题：Q[X] Z[(-1)^1/2]呢?
一道近世代数证明题设R1,R2都是包含非零元的环,证明:R1⊕R2不是无零因子环这个问题我后来已经想出来了,就不用麻烦大
怎样理解近世代数中群的概念
近世代数:为什么整数集Z是环,而不是域?