【抽象代数】代数整数环Z[sqrt(-5)]的单位
来源:网络收集 点击: 时间:2024-05-14【导读】:
假设δ=sqrt(-5),那么,R=Z就是一个代数整数环。这是一个虚二次域里面的代数整数环,可以知道,这个环的单位只有有限个。本文的目标,是找出这个环的所有单位。工具/原料more电脑python方法/步骤1/8分步阅读
2/8
3/8
4/8
5/8
6/8
7/8
8/8
a是代数整数环的单位,当且仅当1/a和a都是这个环里面的元素。

a是二次域里面的代数整数,当且仅当a是首一整系数二次多项式的根。

1/a也是二次域里面的代数整数,当且仅当1/a是首一整系数二次多项式的根。

上式两边同乘以a^2,得到:
1+ma+na^2=0
这说明,n只能等于±1。

如果n等于-1,那么相应的二次多项式将全都是实数根。
而且当m不等于0的话,sqrt(m^2+4)必定是实无理数,这样,与a是Z里面的代数整数矛盾。

当n=-1,m=0,多项式变为:x^2-1。此式有两个根x=±1,它们是Z里面的元素,所以这两个元素是Z的单位。
除此以外,还有别的单位吗?

要寻找别的单位,只能考虑n=1的情形。
如果Δ=m^2-40,m的取值只能是0、±1,相应的根分别是:
当m=0,x=±i不属于Z;
当m=1,x=(-1±sqrt(-3))/2不属于Z;
当m=-1,x=(1±sqrt(-3))/2不属于Z。

如果Δ=m^2-40,那么Δ必须是平方数:
m是偶数的话,设m=2r,Δ=4(r^2-1)不可能是平方数;
m是奇数的话,设m^2-4=p^2,(m+p)(m-p)=4,所以m+p=4,m-p=1,解得m=3/2,与m是整数矛盾。
综上所述,Z的单位只能是±1。
版权声明:
1、本文系转载,版权归原作者所有,旨在传递信息,不代表看本站的观点和立场。
2、本站仅提供信息发布平台,不承担相关法律责任。
3、若侵犯您的版权或隐私,请联系本站管理员删除。
4、文章链接:http://www.1haoku.cn/art_761073.html
上一篇:剑与家园士兵怎么移动布局
下一篇:在家怎样用水养蒜苗