从费马大定理谈起(八):艾森斯坦整数
By 苏剑林 | 2014-08-30 | 44970位读者 |是时候向n=3进军了,为了证明这个情况,我们需要一个新的数环:艾森斯坦整数(Eisenstein Integer)。艾森斯坦是德国著名数学家,同时代的高斯曾经评价:“只有三个划时代的数学家:阿基米德,牛顿和艾森斯坦。”足见艾森斯坦的成就斐然。事实上,阅读费马大定理的研究史,同时也是在阅读数学名人录——没有超高的数学,几乎不可能在费马大定理中有所建树。
基本定义 #
跟高斯整数一样,艾森斯坦整数也是复整数的一种,其中,高斯整数是以1和i为基,i其实是一个四次单位根,也就是x4−1=0的一个非实数根,因此高斯整数也叫做四次分圆整数;而艾森斯坦整数以1和ω为基,ω是三次单位根,也就是x3−1=0的一个非实数根。任意一个艾森斯坦整数都可以记为a+bω,a,b∈Z,艾森斯坦整数环记为Z[ω],也称为三次分圆整数环。
也许读者会想用虚数单位i写出ω的具体形式来,或许还在纠结用哪个单位根(有两个不同的复的三次单位根),但这是不必要的,因为我们现在只考虑a+bω型的数,因此我们根本就不需要i的存在,我们只需要记住ω2+ω+1=0,就可以把Z[ω]中的运算确立下来了,比如
(a+bω)(c+dω)=ac+(bc+ad)ω+bdω2=ac+(bc+ad)ω+bd(−ω−1)=(ac−bd)+(bc+ad−bd)ω
特别地,我们把a+bω2叫做a+bω的共轭,根据这个定义,a+bω2的共轭就是a+bω(为什么?请读者脱离虚数单位i,只在Z[ω]中去证明它。接下来是范数的定义:
N(a+bω)=(a+bω)(a+bω2)=a2−ab+b2
为什么要这样定义?首先,范数必然是一个实数,其次,范数得满足N(ξη)=N(ξ)N(η),也就是积性的。从(a+bω)(a+bω2)的结构可以看出,这是把a+bω中的ω遍历所有非实数单位根之后相乘,这样的结果必然是一个实数。为什么?我们将a3+b3在复数内分解,首先得求解方程a3+b3=0,得到a=−bωk,k=0,1,2,这样一来根据因式分解定理a3+b3=(a+b)(a+bω)(a+bω2),所以(a+bω)(a+bω2)是实数。另外从定义可以看出,这样的函数必然是积性的。
艾森斯坦整数有六个单位数(N(ξ)=1):±1,±ω,±ω2,要注意,由于ω2+ω+1=0,单位数有很多不同的表达式,比如1+ω和1+ω2都是单位数。
整除的概念也和高斯整数以及实整数类似的,在此不赘述。两个艾森斯坦整数如果只相差一个单位数因子,那么这两个艾森斯坦整数互为伴随数。有了整除的概念,也可以类似地定义公约数和最大公约数,因此也有了互质的概念。这些都是可以一一对应过来的。最后是艾森斯坦素数的定义,这是跟高斯素数类似的。如果在Z[ω]中,ξ=λη必有N(λ)=1或者N(η)=1(但不能同时等于1),那么就称ξ为艾森斯坦素数。
唯一分解定理 #
跟高斯整数一样,艾森斯坦整数最重要的特性,大概就是它满足唯一分解定理!为了证明这一点,只需要证明它是一个欧几里得整环!读者可以参考《从费马大定理谈起(四):唯一分解整环》。而为了证明它是一个欧几里得环,只需要证明对于任意艾森斯坦数a′+b′ω,a′,b′∈R,总存在艾森斯坦整数a+bω,使得
N(a′+b′ω−a−bω)<1
这很容易成立,只需要将a′和b′下取整(注意是下取整,不是四舍五入),因为对于任意小于1的非负数x,y,都有x2−xy+y2<1。该条件的成立,就表明它是欧几里得整环(这是等价定义),余下的证明,参考高斯整数的证明即可。
同余性质 #
在Z[ω]中,2是范数最小的艾森斯坦素数,但艾森斯坦整数是三次单位数,我们考虑范数是3的素数1−ω的基本同余性质,这是因为该素数的同余跟三次方关系比较密切(请看下面的1、2)。下面的性质只列举,不证明,有兴趣证明的朋友,请参考《从费马大定理谈起(三):高斯整数》。
1、1+2ω、1−ω2等都是1−ω的伴随;(1−ω)2=−3ω,(1−ω)4=9ω2。
2、1−ω|a+bω,当且仅当3|a+b,其中a,b∈Z。
3、如果1−ω∤a+bω,那么(a+bω)3≡±1(mod。
转载到请包括本文地址:https://spaces.ac.cn/archives/2900
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (Aug. 30, 2014). 《从费马大定理谈起(八):艾森斯坦整数 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/2900
@online{kexuefm-2900,
title={从费马大定理谈起(八):艾森斯坦整数},
author={苏剑林},
year={2014},
month={Aug},
url={\url{https://spaces.ac.cn/archives/2900}},
}
August 31st, 2014
大神。。暑假您都没有闲着啊
暑假才有更多精力学习和写东西呀,虽然最终学到的东西还是很少~~
August 8th, 2015
有意思