从费马大定理谈起(三):高斯整数
By 苏剑林 | 2014-08-16 | 47395位读者 |为了拓展整数的概念,我们需要了解关于环和域这两个代数结构,这些知识在网上或者相应的抽象代数教程中都会有。抽象地提出这两个代数结构,是为了一般地处理不同的数环、数域中的性质。在自然数集$\mathbb{N}$中,可以很方便定义和比较两个数字的大小,并且任意一个自然数的子集,都存在最小元素,这两点综合起来,我们就说$\mathbb{N}$是“良序”的(这也是数学归纳法的基础)。在良序的结构中,很多性质的证明变得很简单,比如算术基本定理。然而,一般的数环、数域并没有这样的“良序”,比如任意两个复数就不能比较大小。因此,一般的、不基于良序的思想就显得更为重要了。
环和域 #
关于环(Ring)的定义,可以参考维基百科上面的“环(代数)”条目。简单来说,环指的是这样一个集合,它的元素之间可以进行加法和乘法,并满足一些必要的性质,比如运算封闭性、加法可交换性等。而数论中大多数情况下研究的是数环,它指的是集合是数集的情况,并且通常来说,元素间的加法和乘法就是普通的数的加法和乘法。比如所有的实整数就构成一个数环$\mathbb{Z}$,这个数环是无限的;所有的偶整数也构成一个数环$2\mathbb{Z}$;对于素数$p$,在模$p$之下,数集$\{0,1,2,\dots,p-1\}$也构成了一个环,更特别的,它还是一个数域。
域(Field)是环的一个特例,一个域中的元素不仅仅可以进行加法和乘法(由于加法逆的要求,可以进行加法同时也意味着可以进行减法),还可以进行除法,可以参考“域 (数学)”。在通常的四则混合运算之下,实有理数集合$\mathbb{Q}$是最小的数域。
高斯整数 #
我们通常说的复数,也叫高斯数,抽象地定义,是
$$\mathbb{C}=\{a+b i|a,b\in \mathbb{R},\ i^2=-1\}$$
而当$a,b$均为实整数时,就被叫做高斯整数(Gaussian Integer)
$$\mathbb{Z}[i]=\{a+b i|a,b\in \mathbb{Z},\ i^2=-1\}$$
$\mathbb{Z}[i]$上所定义的加法和乘法就是普通的复数加法和乘法,在这之上,高斯整数构成一个整数环。
下面介绍高斯整数的范数。范数运算是数环上的元素到$\mathbb{R}$上的映射,因为不同于$\mathbb{R}$,一般数环上的元素无法比较大小,也就是不能排序,但是为了给数环上的部分元素进行某种意义上的定序,就定义了范数,范数记为$N$(Normal的首字母),要求两个元素之积的范数等于这两个元素的范数的积。对于高斯整数$\mathbb{Z}[i]$,范数定义为
$$N(a+bi)=(a+bi)(a-bi)=a^2+b^2$$
当然,范数不仅仅整数才有,一般的复数也可以同样地定义范数;而且,整数的范数也不一定是整数,这取决于范数的定义。如果不考虑其他方面,复数的范数也可以定义为$N(a+bi)=\sqrt{a^2+b^2}$,只是,在数论中我们通常处理的是整数或者有理数问题,我们希望整数或者有理数可以有一个整数或者有理数的范数,而便于我们的研究。
有了范数,我们就可以定义单位数了。$\mathbb{Z}[i]$中单位数指的是范数为1的高斯整数,也就是$\pm 1,\pm i$。不难发现,这四个数都是可逆的,而且只有这四个数可逆,因此单位数也叫可逆元。“可逆”说的是$a+bi$和$\frac{1}{a+bi}$都属于$\mathbb{Z}[i]$。如果两个高斯整数只相差一个单位数因子,那么就说这两个高斯整数相伴(互为相伴数)。
接着整除的概念,如果$Z_1=Z_2 Z_3$,$Z_1,Z_2,Z_3\in \mathbb{Z}[i]$,那么就说$Z_2$(或$Z_3$)整除$Z_1$,记为$Z_2|Z_1$(或$Z_3|Z_1$)。可以看出,$Z_2|Z_1 \Rightarrow N(Z_2)|N(Z_1)$。
我们还可以定义两个高斯整数的公约数和最大公约数。如果$Z_3|Z_1,Z_3|Z_2$,那么$Z_3$就是$Z_1,Z_2$的一个公约数。如果对于$Z_1,Z_2$的任意公约数$Z_4$,都有$Z_4|Z_3$,那么$Z_3$就是它们的最大公约数。最大公约数可以看成是范数最大的公约数。如果两者的最大公约是为单位数,那么就说这两个数互质。
最后,可以定义高斯素数了。$Z_1$是一个高斯整数,如果对于任意的都不是单位数的高斯整数$Z_2$和$Z_3$,那么$Z_1 \neq Z_2 Z_3$,那么$Z_1$就是一个高斯素数,这是实整数中素数概念的推广,一般用字母$\pi$表示高斯素数。要注意,在高斯整数中,2已经不是素数,因为$2=(1+i)(1-i)$。其中$(\pm 1 \pm i)$是范数最小的四个高斯素数。关于高斯整数和高斯素数更详尽的内容,请参考《数论讲义(下)》孙琦, 柯召 的第九章。
模1+i分析 #
在实整数中,我们会有奇偶分析,很容易就看出一个数是奇数还是偶数,并且做一些基本的可行性判断等。但是在高斯整数中,2已经不是素数,奇偶分析已经没有意义了,但是,存在类似的“模$1+i$分析”,它在高斯整数中的地位,就相当于奇偶分析在实整数中的地位了。这些性质,在证明费马大定理$n=4$时,起着核心的作用。
1、首先是关于$1+i$本身的运算,注意到$(1+i)^2=2i,(1+i)^4=-4,(1-i)i=1+i$。
2、$1+i|a+bi$当且仅当$2|a+b$。
这里给出两个证明,第一是设$(m+ni)(1+i)=a+bi$,展开得$(m-n)+(m+n)i=a+bi$,那么$a+b=(m-n)+(m+n)=2m$,于是$2|a+b$。这个证明简单而且可逆,但是启发性不是很强。第二个证明,假设$1+i|a+bi$,那么必有$1-i|a-bi$,这是因为$\pm i$的平方都是1,它们的地位是平等的。相乘之后就有$(1+i)(1-i)|(a+bi)(a-bi)$,而$(1+i)(1-i)=2$,$(a+bi)(a-bi)=a^2+b^2=(a+b)^2-2ab$,因此$2|a+b$,这样子的可逆性不显然,但是可以便于推广到其他数环。
3、如果$1+i \nmid a+bi$,那么$(a+bi)^2 \equiv \pm 1(\bmod\,4)$。
由于$1+i \nmid a+bi$,那么$2\nmid a+b$,那么$a,b$一奇一偶。而$(a+bi)^2=a^2-b^2+2abi$,其中$4|2abi$,如果$a$是偶数,$b$是奇数,那么$4|a^2,\ -b^2\equiv -1(\bmod\,4)$;如果$b$是偶数,$a$是奇数,那么$4|b^2,\ a^2\equiv 1(\bmod\,4)$,所以$(a+bi)^2 \equiv \pm 1(\bmod\,4)$。$-4=(1+i)^4$如果因此这也意味着$(a+bi)^2 \equiv \pm 1(\bmod\,(1+i)^4)$
4、如果$1+i \nmid a+bi$,那么$(a+bi)^4 \equiv 1(\bmod\,8)$。
由于$1+i \nmid a+bi$,那么$2\nmid a+b$,那么$a,b$一奇一偶。而$(a+bi)^4=(a^4+b^4-6a^2 b^2)+4ab(a^2-b^2)i$,不失一般性,假设$a$是奇数,$b$是偶数,那么$b^4-6a^2 b^2 +4ab(a^2-b^2)i$的每一项都可以被8整除,而$a^4$则是奇数的四次方,被8除余1。$-8i=(1+i)^6$,因此这也意味着$(a+bi)^4 \equiv 1(\bmod\,(1+i)^6)$
为了扩展整数的概念,我们引入了很大的篇幅,其中,大多数内容还是概念式的,这对于理解和记忆都是一种痛苦。然而,当我们在稍后看到扩展之后的整数给我们带来的简洁证明时,我们会深深体会到这种付出是值得的。不过,我们还不可以立马就去体验这种喜悦,因为我们还缺了一点东西,那就是唯一分解环。
转载到请包括本文地址:https://www.kexue.fm/archives/2811
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (Aug. 16, 2014). 《从费马大定理谈起(三):高斯整数 》[Blog post]. Retrieved from https://www.kexue.fm/archives/2811
@online{kexuefm-2811,
title={从费马大定理谈起(三):高斯整数},
author={苏剑林},
year={2014},
month={Aug},
url={\url{https://www.kexue.fm/archives/2811}},
}
July 16th, 2015
。最大公约数可以看成是范数最大的公约数。如果两者的最大公约是为单位数,那么就说这两个数互质。
这句话有误吧,是范数最小的公约数。
另外第一个证明,你的不完整吧。
这句话前面部分删除,我想多了
August 28th, 2023
$1+i|a+bi$当且仅当$2|a+b$的证明
引理:如果 $π$ 是一个虚高斯素数,$r$ 是一个实数,那么 $π|r→\text{N}(π)|r$
注意到$1≡i≡-i\pmod{1+i}$
所以 $a+bi≡0\pmod{1+i}↔a+b≡0\pmod{1+i}$
由引理知$\text{N}(1+i)|a+b$, 即$2|a+b$
什么风把hu老大吹过来了~
好多年不搞数论了,看看能不能回忆起点啥哈哈~
小苏鼓神通,升级正起帆。
好风凭借力,送我来空间。
胡老大好兴致哈哈~我只是偶尔帮论坛做点事,证明自己还存在