Gotthold_Eisenstein

Gotthold_Eisenstein

是时候向n=3进军了,为了证明这个情况,我们需要一个新的数环:艾森斯坦整数(Eisenstein Integer)。艾森斯坦是德国著名数学家,同时代的高斯曾经评价:“只有三个划时代的数学家:阿基米德,牛顿和艾森斯坦。”足见艾森斯坦的成就斐然。事实上,阅读费马大定理的研究史,同时也是在阅读数学名人录——没有超高的数学,几乎不可能在费马大定理中有所建树。

基本定义 #

跟高斯整数一样,艾森斯坦整数也是复整数的一种,其中,高斯整数是以1和$i$为基,$i$其实是一个四次单位根,也就是$x^4-1=0$的一个非实数根,因此高斯整数也叫做四次分圆整数;而艾森斯坦整数以1和$\omega$为基,$\omega$是三次单位根,也就是$x^3-1=0$的一个非实数根。任意一个艾森斯坦整数都可以记为$a+b\omega,\,a,b\in\mathbb{Z}$,艾森斯坦整数环记为$\mathbb{Z}[\omega]$,也称为三次分圆整数环

也许读者会想用虚数单位$i$写出$\omega$的具体形式来,或许还在纠结用哪个单位根(有两个不同的复的三次单位根),但这是不必要的,因为我们现在只考虑$a+b\omega$型的数,因此我们根本就不需要$i$的存在,我们只需要记住$\omega^2+\omega+1=0$,就可以把$\mathbb{Z}[\omega]$中的运算确立下来了,比如
$$\begin{aligned}(a+b\omega)(c+d\omega)&=ac+(bc+ad)\omega+bd\omega^2\\
&=ac+(bc+ad)\omega+bd(-\omega-1)\\
&=(ac-bd)+(bc+ad-bd)\omega
\end{aligned}$$

特别地,我们把$a+b\omega^2$叫做$a+b\omega$的共轭,根据这个定义,$a+b\omega^2$的共轭就是$a+b\omega$(为什么?请读者脱离虚数单位$i$,只在$\mathbb{Z}[\omega]$中去证明它。接下来是范数的定义:
$$N(a+b\omega)=(a+b\omega)(a+b\omega^2)=a^2-ab+b^2$$
为什么要这样定义?首先,范数必然是一个实数,其次,范数得满足$N(\xi\eta)=N(\xi)N(\eta)$,也就是积性的。从$(a+b\omega)(a+b\omega^2)$的结构可以看出,这是把$a+b\omega$中的$\omega$遍历所有非实数单位根之后相乘,这样的结果必然是一个实数。为什么?我们将$a^3+b^3$在复数内分解,首先得求解方程$a^3+b^3=0$,得到$a=-b\omega^k,\,k=0,1,2$,这样一来根据因式分解定理$a^3+b^3=(a+b)(a+b\omega)(a+b\omega^2)$,所以$(a+b\omega)(a+b\omega^2)$是实数。另外从定义可以看出,这样的函数必然是积性的。

艾森斯坦整数有六个单位数($N(\xi)=1$):$\pm 1,\pm\omega,\pm\omega^2$,要注意,由于$\omega^2+\omega+1=0$,单位数有很多不同的表达式,比如$1+\omega$和$1+\omega^2$都是单位数。

整除的概念也和高斯整数以及实整数类似的,在此不赘述。两个艾森斯坦整数如果只相差一个单位数因子,那么这两个艾森斯坦整数互为伴随数。有了整除的概念,也可以类似地定义公约数和最大公约数,因此也有了互质的概念。这些都是可以一一对应过来的。最后是艾森斯坦素数的定义,这是跟高斯素数类似的。如果在$\mathbb{Z}[\omega]$中,$\xi=\lambda\eta$必有$N(\lambda)=1$或者$N(\eta)=1$(但不能同时等于1),那么就称$\xi$为艾森斯坦素数。

唯一分解定理 #

跟高斯整数一样,艾森斯坦整数最重要的特性,大概就是它满足唯一分解定理!为了证明这一点,只需要证明它是一个欧几里得整环!读者可以参考《从费马大定理谈起(四):唯一分解整环》。而为了证明它是一个欧几里得环,只需要证明对于任意艾森斯坦数$a'+b'\omega,\,a',b'\in \mathbb{R}$,总存在艾森斯坦整数$a+b\omega$,使得
$$N(a'+b'\omega-a-b\omega) < 1$$
这很容易成立,只需要将$a'$和$b'$下取整(注意是下取整,不是四舍五入),因为对于任意小于1的非负数$x,y$,都有$x^2-xy+y^2 < 1$。该条件的成立,就表明它是欧几里得整环(这是等价定义),余下的证明,参考高斯整数的证明即可。

同余性质 #

在$\mathbb{Z}[\omega]$中,2是范数最小的艾森斯坦素数,但艾森斯坦整数是三次单位数,我们考虑范数是3的素数$1-\omega$的基本同余性质,这是因为该素数的同余跟三次方关系比较密切(请看下面的1、2)。下面的性质只列举,不证明,有兴趣证明的朋友,请参考《从费马大定理谈起(三):高斯整数》

1、$1+2\omega$、$1-\omega^2$等都是$1-\omega$的伴随;$(1-\omega)^2=-3\omega,(1-\omega)^4=9\omega^2$。

2、$1-\omega|a+b\omega$,当且仅当$3|a+b$,其中$a,b\in\mathbb{Z}$。

3、如果$1-\omega\nmid a+b\omega$,那么$(a+b\omega)^3\equiv \pm 1(\bmod\,9)$。

转载到请包括本文地址:https://kexue.fm/archives/2900

更详细的转载事宜请参考:《科学空间FAQ》

如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。

如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!

如果您需要引用本文,请参考:

苏剑林. (Aug. 30, 2014). 《从费马大定理谈起(八):艾森斯坦整数 》[Blog post]. Retrieved from https://kexue.fm/archives/2900

@online{kexuefm-2900,
        title={从费马大定理谈起(八):艾森斯坦整数},
        author={苏剑林},
        year={2014},
        month={Aug},
        url={\url{https://kexue.fm/archives/2900}},
}