【抽象代数】代数整数环Z[sqrt(-5)]的单位
1、a是代数整数环的单位,当且仅当1/a和a都是这个环里面的元素。
![【抽象代数】代数整数环Z[sqrt(-5)]的单位](https://exp-picture.cdn.bcebos.com/aebdff86242fa872e0e70751bfdaf05e4b23e94d.jpg)
3、a也是二次域里面的代数整数,当且仅当1/a是首一整系数二次多项式的根。
![【抽象代数】代数整数环Z[sqrt(-5)]的单位](https://exp-picture.cdn.bcebos.com/256eb672941fbee4422249ebc1237971ff1de74d.jpg)
5、如果n等于-1,那么相应的二次多项式将全都是实数根。而且当m不等于0的话,sqrt(m^2+4)必定是实无理数,这样,与a是Z[δ]里面的代数整数矛盾。
![【抽象代数】代数整数环Z[sqrt(-5)]的单位](https://exp-picture.cdn.bcebos.com/955ea0e434daf05e32dbc0c4751d96d81919e54d.jpg)
7、要寻找别的单位,只能考虑n=1的情形。如果Δ=m^2-4<0,m的取值只能是0、±1,相应的根分别是:当m=0,x=±i不属于Z[δ];当m=1,x=(-1±sqrt(-3))/2不属于Z[δ];当m=-1,x=(1±sqrt(-3))/2不属于Z[δ]。
![【抽象代数】代数整数环Z[sqrt(-5)]的单位](https://exp-picture.cdn.bcebos.com/359bee5e4a23797184e52f6d93196120a6cde34d.jpg)
8、如果Δ=m^2-4>0,那么Δ必虔銎哂埽须是平方数: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。