环 Z[i] 与 Z[ω] 的定义与性质小记

今日推歌:Lamia - BlackY

(这下真成今日推歌了,不会打交互怎么办)

话说大陆街机音游太少了吧,iidx,sdvx,ongeki 基本和没有一样(按理来说 ongeki 的抽卡模式能赚大钱啊),chunithm 和 maimai 通常就不到 3 台,也就部分机厅能达到 3 台,达到 5 台的机厅我似乎都去过,国服 chunithm 和 maimai 更新又拉跨的要命

但是我去的机厅竟然进了一堆湾岸,真 tm 有实力:

至于游记先让我拖更一下,这么多东西并不好整理。

\( \DeclareMathOperator{\i}{\mathbb{i}} \DeclareMathOperator{\e}{\mathbb{e}} \DeclareMathOperator{\eps}{\varepsilon} \)


写这个是为了证明三次/四次互反律所做的铺垫 .

首先给出 \(\Z[i]\) 的定义:

定义\(\,\,\)

\[\Z[\i]=\{a+b\i\mid a,b\in\Z\} \]

通常把 \(a+b\i\) 称为复整数,由于高斯最先研究 \(Z[\i]\) 的性质,所以也叫做高斯整数 .

\(\Z[\i]\) 上的整除

\(\xi\ne 0,\eta\in \Z[\i]\),如果存在 \(\kappa\in \Z[\i]\),使得:

\[\eta=\kappa\xi \]

则称 \(\xi\) 整除 \(\eta\),记为 \(\xi\mid\eta\),否则称 \(\xi\) 不整除 \(\eta\),记为 \(\xi\not\mid\eta\) .

这显然可以看作是 \(\Z\) 上整除的扩展,所以易得以下性质:

  • \(\xi\mid\eta,\eta\mid\rho\Rightarrow\xi\mid\rho\)

  • \(\xi\mid\eta,\xi\mid\rho\Rightarrow\xi\mid\alpha\eta+\beta\rho\)

定义 \(\,\,N(\xi)=\xi\overline\xi=|\xi^2|\),其中 \(\overline\xi\) 表示 \(\xi\) 的共轭复数 .

容易发现 \(N(\xi)\) 的以下几条性质:

  • \(N(\xi)=0\Longleftrightarrow \xi=0\) .

  • \(N(\xi\eta)=N(\xi)N(\eta)\) .

  • \(N(\xi)\in \Z\),当 \(\xi\neq0\) 时,\(\xi\mid N(\xi)\) .

  • \(N(\xi)=1\Longleftrightarrow\) \(\xi\) 为单位数,因此 \(\Z[\i]\) 中的单位数为 \(\pm1,\pm\i\),通常被记为 \(\eps\) .

定义 \(\,\,\)\(\eta,\xi\) 满足 \(\eta=\xi\eps\)\(\eps\) 是单位数,则称 \(\eta,\xi\) 为相伴数 .

定义 \(\,\,\)\(N(\xi)>1\),任何分解式 \(\xi=\eta\rho\),都有 \(N(\eta)\or N(\rho)=1\) 则称 \(\xi\)不可分数,常记为 \(\pi\) .

不可分数有以下简单性质:

  • \(\alpha\)\(\pi\) 相伴,则 \(\alpha\) 不可分 .

  • \(N(\xi)=p\)\(p\) 是素数,则 \(\xi\) 不可分 .

  • \(N(\xi)>1\),则 \(\xi=\pi_1\cdots\pi_n\) 其中 \(\pi_k\) 均为不可分数 .


复整数的唯一分解定理

\(\xi=\pi_1\cdots\pi_n=\pi'_1\cdots\pi'_m\),则有 \(n=m\),并且存在一个排列 \(\sigma\) 使得 \(\pi_i\)\(\pi'_{\sigma(i)}\) 相伴 .

证明此定理前先证明两个引理:

引理 1

任取一复整数 \(\eta\neq0,\xi\) 存在复整数 \(\kappa,\lambda\),使得:

\[\xi=\kappa\eta+\lambda\,,\quad N(\lambda)<N(\eta) \]

证明:

\(\frac{\xi}{\eta}=A+B\i\),其中 \(A,B\in\R\),故存在两个数 \(x,y\in\Z\) 使得:

\[|A-x|\le \frac12,\quad|B-y|\le \frac12 \]

故取 \(\kappa=x+y\i\) 可得:

\[\lambda=\eta\left(\frac{\xi}{\eta}-\kappa\right)=\eta((A-x)+(B-y)\i) \]

\[|\lambda|=|\eta|\sqrt{(A-x)^2+(B-y)^2}\le|\eta|\sqrt{\frac14+\frac14}<|\eta|\\\Longrightarrow N(\lambda)<N(\eta) \]

话说这个不等关系是不是有点太松了 .


引理 2

\(\pi\mid\xi\eta\),则 \((\pi\mid\xi)\or(\pi\mid\eta)\) .

顺带一提,此引理在一般整环上可以看作与唯一分解定理等价,该引理也被称作欧几里得引理 .

先回顾下欧几里得引理的证明:

欧几里得引理

\[p\mid ab \Rightarrow (p\mid a)\or(p\mid b) \]

证明:

\(p\not\mid a\),则转化为证明 \(p\mid b\) .

根据裴蜀定理,存在两个整数 \(x,y\),使得 \(xp+ya=1\),两侧同乘 \(b\) 可得:\(b=bxp+aby\),设 \(ab=pr\),可得 \(b=p(bx+ry)\),因此 \(p\mid b\),得证。

当时学数论基础的时候并没有证明这东西(但是初中学 MO 的时候讲了)?大概是把唯一分解定理当作公理导致这个看起来过于显然了 .

证明:

沿袭在 \(\Z\) 上的证明方法,首先要证明的是 \(\Z[\i]\) 上的裴蜀定理:

对于两个数 \(\xi,\eta\) 满足 \(\xi\)\(\eta\) 的最大公约数 \(\delta\)(定义仿照 \(\Z\) 上的定义,其“最大”指其范数最大),则存在复整数 \(\alpha,\beta\) 满足:

\[\alpha\xi+\beta\eta=\rho \]

当且仅当 \(\delta\mid\rho\) . 其有解时必然存在无穷解 .

证明:

\(\xi\)\(\eta\)\(0\) 时显然成立,故以下设 \(\xi,\eta\neq0\) .

\(\displaystyle A=\{\alpha\xi+\beta\eta\,|\,\alpha,\beta\in \Z[\i]\}\),下边证明 \(A\) 的最小非零元素是 \(\delta\) 的相伴:

\(A\) 中的最小元素 \(\delta_0=\alpha_0\xi+\beta_0\eta\),考虑 \(A\) 中任意元素 \(\kappa=\alpha_1\xi+\beta_1\eta\)\(\delta_0\) 的带余除法(即引理 1):设 \(\kappa=\lambda\delta_0+r\)\(N(r)<N(\delta_0)\),关于 \(r\) 有:

\[r=\kappa-\lambda\delta_0=\alpha_1\xi+\beta_1\eta-\lambda(\alpha_0\xi+\beta_0\eta)=(\alpha_1-\lambda\alpha_0)\xi+(\beta_1-\lambda\beta_0)\eta\in A \]

因此 \(r=0\)\(\delta_0\mid\kappa\,\)。特别地:\(\delta_0\mid \xi\)\(\delta_0\mid\eta\),因此 \(\delta_0\)\(\xi\)\(\eta\) 的公约数 .

对于 \(\xi\)\(\eta\) 的任意公约数 \(\delta\),设 \(\xi=a\delta\)\(\eta=b\delta\),则:

\[\delta_0=\alpha_0\xi+\beta_0\eta=(\alpha_0a+\beta_0b)\delta \]

\(\delta\mid\delta_0\)\(\delta_0\)\(\xi\)\(\eta\) 的最大公约数。

如果 \(\alpha\xi+\beta\eta=\rho\) 有复整数解,那么 \(\rho\in A\),由上文可得 \(\delta_0\mid\rho\),证毕。

(实际因为带余除法的成立,也可以使用通常使用的辗转相除法来证明,留给读者思考)

接下来的证明就简单了:

\(\pi\not\mid\xi\),转化为证明 \(\pi\mid\eta\) .

因为 \(\pi\not\mid\xi\),所以存在 \(\alpha,\beta\),使得:

\[\alpha\xi+\beta\pi=\eps \]

接下来的就和在 \(\Z\) 上的证明过程相同了,略过。


复整数的唯一分解定理的证明:

对于 \(N(\xi)=2\) 来说显然成立,因为 \(\xi\) 不可分,对 \(N(\xi)>2\) 施归纳法:

设定理对所有 \(\eta\) 满足 \(N(\eta)<N(\xi)\) 成立,如 \(\xi\) 不可分,显然成立;否则 \(r,s>1\),易得 \(\pi_r\mid\pi'_1\cdots\pi'_s\),由引理 2 可得 \(\pi_r\) 与某个 \(\pi'\) 相伴,设 \(\pi'_s=\eps\pi_r\),则有:

\[\eta=\frac{\xi}{\pi_r}=\pi_1\cdots\pi_{r-1}=\eps\pi'_{1}\cdots\pi'_{r-1} \]

由于 \(N(\eta)<N(\xi)\),故由归纳法得 \(r-1=s-1\),且存在一个排列 \(\sigma\) 使得 \(\pi_i\)\(\pi'_{\sigma(i)}\) 相伴,证毕 .

思考:

为什么将 \(N(\xi)\) 唯一分解后无法直接证明该定理?


下边我们给出 \(\Z[\i]\) 中全体不可分数:

定理 2:

\(\Z[\i]\) 中的不可分数为:

  1. \(1+\i\) 和其相伴数;

  2. 素数 \(4n+3\) 和其相伴数;

  3. 满足素数 \(4n+1=x^2+y^2\) 的八个不可分数 \(x+y\i\) .

证明留给读者思考(提示:费马平方和定理).


接下来给出 \(\Z[\omega]\) 的定义:

定义\(\,\,\)

\[\Z[\omega]=\{a+b\omega\mid a,b\in\Z\} \]

其中 \(\omega\) 是三次单位根,满足 \(\omega^2+\omega+1=0\)\(\displaystyle\omega=\frac{-1+\sqrt3\i}{2}\) .

因为 Eisenstein 最先对此类整数进行研究,因此此类整数也叫 Eisenstein 整数 . 同样的,\(\Z[\omega]\) 对于复数加法与乘法构成一个环。

容易得出 \(\omega^2=\overline\omega\)\(N(a+b\omega)=(a+b\omega)(a+b\overline\omega)=a^2-ab+b^2\)\(\Z[\omega]\) 中的单位数为 \(\pm1\)\(\pm\omega\)\(\pm\omega^2\) . 关于 \(\Z[\i]\) 的性质和定理也可以类似地证明其在 \(\Z[\omega]\) 上成立,下边给出 \(\Z[\omega]\) 中全体不可分数:

定理 3:

\(\Z[\omega]\) 中的不可分数为:

  1. \(1-\omega\) 和其相伴数;

  2. 素数 \(3n+2\) 和其相伴数;

  3. 满足素数 \(3n+1=x^2-xy+y^2\) 的十二个不可分数 \(x+y\omega\) .

(这下不能留给读者思考了.jpg)

根据对定理 2 的同样的观察存在唯一的素数 \(p\) 使得 \(\pi\mid p\)(考虑将 \(N(\pi)\) 唯一分解后推出矛盾).

如果 \(p=3\)\(\pi\mid3\)\(3=(1-\omega)(1-\omega^2)\),并且 \(1-\omega^2\)\(1-\omega\) 相伴,故 1. 得证 .

当素数 \(p\)\(3n+2\) 时,由于 \(\pi\mid p\),故 \(N(\pi)\mid p^2\),发现 \(p\) 无法被表示成 \(x^2-xy+y^2\) 的形式,故 \(N(\pi)=p^2\)\(\pi=\eps p\),故 2. 得证 .

当素数 \(p\)\(3n+1\) 时,因为 \(\displaystyle \left(\frac{-3}{p}\right)=\left(\frac{p}{3}\right)=1\),故存在 \(z\) 使得 \(p\mid z^2+3\),根据 \(\pi\mid p\) 则有:

\[\pi\mid(z+\i\sqrt 3)(z-i\sqrt 3) \]

如果 \(\pi\)\(p\) 相伴,则有:

\[p\mid z\pm\i\sqrt 3=z\pm(1+2\omega) \]

这种情况不存在,故 \(p\) 是可分的,从而:

\[p=\pi\alpha,N(\pi)=N(\alpha)=p \]

\(\pi=u+v\omega\),则 \(\alpha=u+v\overline\omega\),使得 \(\pi\alpha=(u+v\omega)(u+v\overline\omega)=u^2-uv+v^2=p\) .

\(p\) 可以分解为两个共轭的不可分数 \(\pi\overline\pi\),所有 \(p\) 的不可分因子为与 \(\pi\) 相伴的六个数和与 \(\overline\pi\) 相伴的六个数,这十二个数显然互不相同,故 3. 得证 .


其实 \(\Z[\i]\)\(\Z[\omega]\) 上的许多定理无非是 \(\Z\) 上的扩展,只不过重新定义了一遍罢了,就是不可分数相对麻烦了些 .

还有就是在定理 3 的 2. 证明时这个 \(\displaystyle\left(\frac{-3}{p}\right)\) 有点莫名其妙 .

posted @ 2024-08-18 19:18  Rolling_star  阅读(54)  评论(0编辑  收藏  举报