代数学笔记11: 分圆域,分圆多项式,求解17次方程

问题引入

考虑问题:$f(x)=x^n-1\in F[x]$, $E$为$F$关于$f$的分裂域, 则$G_f=\text{Gal}(E/F)=?$

研究思路

假设$x^n-1=(x-{\alpha }_1)\cdots (x-{\alpha }_n),{\alpha }_i\in E$, 则

• ${\alpha }_i$两两不同,

  方程没有重根, $\because (f(x),f^{\prime }(x))=(x^n-1,n{x}^{n-1})=1$.

• $x^n-1$可约, $x^n-1=(x-1)(x^{n-1}+\cdots +1)$.

• G = ( { α 1 , ⋯   , α n } , ∘ ) G=(\{\alpha_1,\cdots,\alpha_n\},\circ) G=({α1​,⋯,αn​},∘)是$(E^{\ast },\circ )$的子群($E^{\ast }$表示$E$的所有非零元,$G$是$n$阶交换群)

  只需证明$\forall {\alpha }_i,{\alpha }_j\in G$, 有${\alpha }_i{\alpha }_j\in G$, 且${\alpha }_i^{-1}\in G$.(运算封闭, 存在逆元)

  • ${\alpha }_i\in G⟺{\alpha }_i^n=1⟺({\alpha }_i^{-1}{)}^n=1⟺{\alpha }_i^{-1}\in G$.
  • ${\alpha }_i\in G,{\alpha }_j\in G⟺{\alpha }_i^n={\alpha }_j^n=1⟺({\alpha }_i{\alpha }_j{)}^n=1⟺{\alpha }_i{\alpha }_j\in G$.

• $G\cong \mathbb{Z}/d_1\mathbb{Z}\times \cdots \times \mathbb{Z}/d_s\mathbb{Z},(d_1|d_2,\cdots ,d_{s-1}|d_s,d_1\cdots d_s=n)$.
  $s=1$时,$d_s=n$,$G$为$n$阶循环群$\mathbb{Z}/n\mathbb{Z}$.
  $G$中每个元素均为$d_s$的因子, 即$g^{d_s}=1,\forall g\in G$, $x^{d_s}=1$在$E$中至多有$d_s$个根.

• $G=⟨\xi ⟩$, 生成元称为$n$次本原单位根, 即$1,\xi ,{\xi }^2,\cdots ,{\xi }^{n-1}$为$n$个根.

• $E=F(\xi ,{\xi }^2,\cdots ,{\xi }^{n-1},1)=F(\xi )$, $G_f$中任意元素$\rho$:
  $$\begin{array}{rl}{\rho }_i:E=F(\xi )& ⟶E(域同构)\\ \xi & ⟼{\xi }^i(\xi 在F上的极小多项式p(x)的根)\end{array}$$
  显然$p(x)|x^n-1$, $p(x)=0$的根是$x^n-1=0$根的一部分, 所以可以写成${\xi }^i$的形式.

• $$\begin{array}{rl}\phi :G⟶& ((\mathbb{Z}/n\mathbb{Z}{)}^{\ast },\circ )\\ {\rho }_i⟼& \bar{i}\end{array}$$

  $(\mathbb{Z}/n\mathbb{Z}{)}^{\ast }$表示模$n$剩余类中所有的乘法可逆元(与$n$互素的因子),这样才关于乘法构成群.

  如果$G$中元素满足${\rho }_i\cdot {\rho }_j={\rho }_k$, 则$i\cdot j=k$.

  $$\begin{array}{rl}{\rho }_i\cdot {\rho }_j(\xi )& ={\rho }_i({\xi }^j)=({\rho }_i(\xi ){)}^j\\ & =({\xi }^i{)}^j={\xi }^{i\cdot j}={\rho }_{i\cdot j}(\xi )\end{array}$$

  于是$i\cdot j=k$.

综上, 有
$$G_f\cong ((\mathbb{Z}/n\mathbb{Z}{)}^{\ast },\circ ),$$

分圆多项式

特别地,

• $F=\mathbb{C}$, 极小多项式$\mathrm{deg}p(x)=1$, G f = { id } G_f=\{\text{id}\} Gf​={id}.

• $F=\mathbb{R}$, 极小多项式$\mathrm{deg}p(x)=1or2$,
  ( x − ξ ) ( x − ξ ˉ ) , ξ ˉ = ξ − 1 ,   G f = { { id } , n = 1 , 2 ⟨ − ⟩ = ⟨ − 1 ‾ ⟩ n ≥ 3 (x-\xi)(x-\bar \xi),\bar\xi=\xi^{-1}, \ G_f=\begin{cases}\{\text{id}\},&n=1,2\\\langle{}^-\rangle=\langle\overline{-1}\rangle&n\geq3\end{cases} (x−ξ)(x−ξˉ​),ξˉ​=ξ−1, Gf​={{id},⟨−⟩=⟨−1​⟩​n=1,2n≥3​

• $F=\mathbb{Q}$, $p(x)={\Phi }_n(x)$.
  $$p(x)={\Phi }_n(x)=\prod _{(i,n)=1}(x-{\xi }^i),$$

研究分圆多项式在有理数域$\mathbb{Q}$上的情况:
$$\begin{array}{rl}{x}^n-1& =\prod _{d|n}{\Phi }_d(x)\\ & =(x-1)\cdots (x-{\xi }^{n-1})=\prod _{i=0}^{n-1}(x-{\xi }^i)\\ & =\prod _{d|n}\prod _{(i,n)=1}(x-{\xi }^i)={\Phi }_{\frac{a}{b}}(x)\end{array}$$
计算分圆多项式的例子:

例如: 当$n=10$时,
$$x^{10}-1={\Phi }_1(x){\Phi }_2(x){\Phi }_5(x){\Phi }_{10}(x).$$
下面计算前几项分圆多项式:

${\Phi }_n(x)$	$n$	$d$
$x-1$	$1$	$1$
$x+1$	$2$	$1,2$
$\frac{x^3-1}{x-1}=x^2+x+1$	$3$	$1,3$
$x^2+1$	$4$	$1,2,4$
$x^4+x^3+x^2+x+1$	$5$	$1,5$
$x^2-x+1$	$6$	$1,2,3,6$

求解17次方程

对于17次方程$x^{17}-1=0$, 由前面讨论, $G_f\cong ((\mathbb{Z}/17\mathbb{Z}{)}^{\ast },\circ ),$为一个16阶循环群,
G f ≅ ( ( Z / 17 Z ) ∗ , ∘ ) , = ( { 1 ˉ , 2 ˉ , ⋯   , 16 ‾ } , ∘ ) = ( ⟨ 3 ˉ ⟩ , ∘ ) = ( { 3 ˉ , 3 ˉ 2 , ⋯   , 3 ˉ 15 , 1 ˉ } , ∘ ) \begin{aligned} G_f&\cong((\mathbb{Z}/17\mathbb{Z})^*,\circ),\\ &=\big(\{\bar1,\bar2,\cdots,\overline{16}\},\circ\big)\\ &=(\langle\bar3\rangle,\circ)=\big(\{\bar3,\bar3^2,\cdots,\bar{3}^{15},\bar1\},\circ\big) \end{aligned} Gf​​≅((Z/17Z)∗,∘),=({1ˉ,2ˉ,⋯,16},∘)=(⟨3ˉ⟩,∘)=({3ˉ,3ˉ2,⋯,3ˉ15,1ˉ},∘)​
(由于3与17互素, 所以可以作为生成元).

由此, 根据Galois理论, 得到:

其中, $⟨\bar{3}⟩$的阶数为$16$, $⟨{\bar{3}}^2⟩,⟨{\bar{3}}^4⟩,⟨{\bar{3}}^8⟩$的阶数分别为$8,4,2$.

取$E=\mathbb{Q}(\xi )$, $\xi$在$⟨{\bar{3}}^2⟩$作用下的轨道为:
$${\xi }^9,{\xi }^{13},{\xi }^{15},{\xi }^{16},{\xi }^8,{\xi }^4,{\xi }^2,\xi ,$$
嫌手算麻烦的话可以写个小程序来计算:

In [4]: for i in range(1, 9):
   ...:     print(9**i%17)
   ...:
9
13
15
16
8
4
2
1

另一条轨道是$\bar{3}\cdot ⟨{\bar{3}}^2⟩$作用下得到的:
$${\xi }^{10},{\xi }^5,{\xi }^{11},{\xi }^{14},{\xi }^7,{\xi }^{12},{\xi }^6,{\xi }^3,$$
同样地, 程序可以这样写:

In [5]: for i in range(1, 9):
   ...:     print(3*9**i%17)
   ...:
10
5
11
14
7
12
6
3

分别记为:
$$\{\begin{array}{l}\alpha ={\xi }^9+{\xi }^{13}+{\xi }^{15}+{\xi }^{16}+{\xi }^8+{\xi }^4+{\xi }^2+\xi \\ {\alpha }^{\prime }={\xi }^{10}+{\xi }^5+{\xi }^{11}+{\xi }^{14}+{\xi }^7+{\xi }^{12}+{\xi }^6+{\xi }^3\end{array}$$
于是可以得到:
$$\{\begin{array}{l}\alpha +{\alpha }^{\prime }=-1=\xi +{\xi }^2+\cdots +{\xi }^{16}\\ \alpha \cdot {\alpha }^{\prime }=-4=4(\xi +{\xi }^2+\cdots +{\xi }^{16})\end{array}$$

• 第一个式子可以从根与系数的关系显然得到
• 第二个式子需要计算(可能还有更好的办法?凑成4组, 每组有16项)

然后从上面两个式子中可以得到:
$$x^2+x-4=0,\Rightarrow \alpha ,{\alpha }^{\prime }=\frac{-1\pm \sqrt{17}}{2},$$

以此类推, 可以找到:
$$\{\begin{array}{l}\beta ={\xi }^{13}+{\xi }^{16}+{\xi }^4+\xi \\ {\beta }^{\prime }={\xi }^{15}+{\xi }^8+{\xi }^2+{\xi }^9\end{array}$$
然后得到:
$$\{\begin{array}{l}\beta +{\beta }^{\prime }=\alpha \\ \beta \cdot {\beta }^{\prime }=\xi +{\xi }^2+\cdots +{\xi }^{16}=-1\end{array}$$
得到:
$$x^2-\alpha x-1=0\Rightarrow \beta ,{\beta }^{\prime }=\frac{\alpha \pm \sqrt{{\alpha }^2+4}}{2},$$
以及
$$\gamma =\xi +{\xi }^{16},{\gamma }^{\prime }={\bar{3}}^4(\xi +{\xi }^{16})=\overline{13}(\xi +{\xi }^{16})={\xi }^{13}+{\xi }^4$$
于是:
$$\{\begin{array}{l}\gamma +{\gamma }^{\prime }=\beta \\ \gamma \cdot {\gamma }^{\prime }={\xi }^5+{\xi }^{14}+{\xi }^3+{\xi }^{12}=\delta \end{array}$$
得到:
$$x^2-\beta x-\delta =0,\Rightarrow \gamma ,{\gamma }^{\prime }=\frac{\beta \pm \sqrt{{\beta }^2+4\delta }}{2},$$

其中$\delta$满足:
$$x^2-{\alpha }^{\prime }x-1=0,$$
因为$\delta ={\xi }^5+{\xi }^{14}+{\xi }^3+{\xi }^{12}$, 而
$${\delta }^{\prime }={\bar{3}}^2\delta ={\bar{3}}^2({\xi }^5+{\xi }^{14}+{\xi }^3+{\xi }^{12})={\xi }^{11}+{\xi }^7+{\xi }^{10}+{\xi }^6,$$
于是:
$$\{\begin{array}{l}\delta +{\delta }^{\prime }={\alpha }^{\prime }\\ \delta \cdot {\delta }^{\prime }=-1\end{array}$$
由此我们得到了:
$$x^2-{\alpha }^{\prime }x-1=0,\Rightarrow \delta ,{\delta }^{\prime }=\frac{{\alpha }^{\prime }\pm \sqrt{{\alpha }^{\prime 2}+4}}{2}.$$

于是通过求解一系列二次方程, 我们得到了十七次方程的根式解, 其中, 中间域分别为:
$$\{\begin{array}{l}{M}_1=\mathbb{Q}(\alpha )\\ M_2=\mathbb{Q}(\beta )\\ M_3=\mathbb{Q}(\gamma )\end{array}$$
如果取$\xi =\cos \frac{2}{17}\pi +\mathrm{i}\sin \frac{2}{17}\pi$, 则
$$\begin{array}{rl}\gamma & =\xi +{\xi }^{16}=\cos \frac{2}{17}\pi +\mathrm{i}\sin \frac{2}{17}\pi \\ & =\cos \frac{2}{17}\pi +\mathrm{i}\sin \frac{2}{17}\pi +\cos \frac{32}{17}\pi +\mathrm{i}\sin \frac{32}{17}\pi \\ & =\cos \frac{2}{17}\pi +\mathrm{i}\sin \frac{2}{17}\pi +\cos \frac{2}{17}\pi -\mathrm{i}\sin \frac{2}{17}\pi \\ & =2\cos \frac{2}{17}\pi \end{array}$$
于是我们只要计算出$\gamma$的值, 我们就可以通过尺规作图得到正十七边形. 但是高斯在群论发明出来之前已经得到了正十七边形的做法, 不得不说高斯是一位十分伟大的数学家.

附:
$$\cos \frac{2}{17}\pi =-\frac{1}{16}+\frac{1}{16}\sqrt{17}+\frac{1}{16}\sqrt{34-2\sqrt{17}}+\frac{1}{8}\sqrt{17+3\sqrt{17}-\sqrt{34-2\sqrt{17}}-2\sqrt{34+2\sqrt{17}}},$$
有兴趣的话大家可以试试.