Cyclotomic field 分圆域

下面是关于分圆(cyclotomic)域，分圆多项式的习题

(9). 回忆${\mu }_n(\mathbb{C}),{\mu }_n^{\times }(\mathbb{C})$的定义. 求证：${\mu }_n(\mathbb{C})$ 同构于 $\mathbb{Z}/n\mathbb{Z}$, 也同构于$\frac{1}{n}\mathbb{Z}/\mathbb{Z}$.

(10). 显然对每个正整数$n$, ${\mu }_n(\mathbb{C})$都是 U ( 1 ) = { z ∈ C : ∣ z ∣ = 1 } U(1)=\{z \in \mathbb{C}: |z|=1\} U(1)={z∈C:∣z∣=1}的子群. 求证：它们的并集${\bigcup }_{n\in {\mathbb{Z}}_{\ge 1}}{\mu }_n(\mathbb{C})$ 也是$U(1)$的子群. 这个群通常也记作$\mathbb{Q}/\mathbb{Z}$. 请用上题给出明显的同构${\bigcup }_{n\in {\mathbb{Z}}_{\ge 1}}{\mu }_n(\mathbb{C})\leftrightarrow \mathbb{Q}/\mathbb{Z}$.

注：$\mathbb{Q}/\mathbb{Z}$是无限群，但它每个元素都是扭元（有限阶元）.

回忆分圆多项式${\Phi }_n(x)={\prod }_{{\zeta }_n\in {\mu }_n(\mathbb{C})}(x-{\zeta }_n)$. 下面的习题给出快速计算${\Phi }_n(x)$的公式.
(11). 求证$x^n-1={\prod }_{d|n}{\Phi }_d(x)$
(12). 回忆Moebius变换. 我们现在需要一个乘法版本：
$$f(n)=\prod _{d|n}g(d)\iff g(n)=\prod _{d|n}f(d{)}^{\mu (\frac{n}{d})}.$$

由此导出计算${\Phi }_n$的公式, 并计算${\Phi }_j,j=1,\dots ,18$.

注：由于分圆多项式是本原单位根在$\mathbb{Q}$上的极小多项式，它们在$\mathbb{Q}$上显然不可约. 如果能证明它们是整系数多项式，那么根据高斯引理，它们在$\mathbb{Z}$上也不可约. 请读者想想，怎样证明分圆多项式是整系数的？

我们说明$\mathbb{Q}(\sqrt{5})\subset \mathbb{Q}({\zeta }_5)$, 从而给出Kronecker-Weber定理(如果Galois扩张$K/\mathbb{Q}$上使得$Gal(K/\mathbb{Q})$是交换群，那么$K$是某个分圆域的子域)的一个例子. 为此只需要计算出${\zeta }_5$的值. 已知${\Phi }_5(x)={\prod }_{{\zeta }_5\in {\mu }_5^{\times }(\mathbb{C})}(x-{\zeta }_5)=x^4+x^3+x^2+x+1$ .

如果用类似Lagrange resolvent的方法，可以这样进行：记$F=\mathbb{Q}({\zeta }_5+{\zeta }_5^{-1})$为$\mathbb{Q}({\zeta }_5)$的极大实子域. 令$\eta ={\zeta }_5+{\zeta }_5^{-1}$.

(13) 回忆Galois群$Gal(\mathbb{Q}({\zeta }_5)/\mathbb{Q})\cong (\mathbb{Z}/5\mathbb{Z}{)}^{\times }$. 由此确定$Gal(F/\mathbb{Q})$.

不需计算就知$Gal(F/\mathbb{Q})$是二阶群，设它的生成元为$\tau$.

(14) 计算${\eta }^{\tau }=\tau (\eta )$. 由此求出$\eta$在$\mathbb{Q}$上的极小多项式. 解出$\eta ={\zeta }_5+\frac{1}{{\zeta }_5}$, 由此求出${\zeta }_5$.

注: 可以用下面的方法求出${\Phi }_5(x)$在$\mathbb{R}$上的因式分解（由于${\Phi }_5$在$\mathbb{Q}$上不可约，所以没有实根，于是它在实数域上因式分解成两个二次多项式的乘积）：注意到
$${\Phi }_5(x)=0\iff x^2+x+1+\frac{1}{x}+\frac{1}{x^2}=0.$$
记$t=x+\frac{1}{x}$, 上面的式子可以写成$t^2+t=1$. 在$\mathbb{C}$上因式分解，得到$(t-\frac{-1+\sqrt{5}}{2})(t+\frac{1+\sqrt{5}}{2})=0$. 通常写$\varphi =\frac{1+\sqrt{5}}{2}$ (黄金分割), 故
$$(x+\frac{1}{x}+\varphi )(x+\frac{1}{x}+\frac{1}{\varphi })=0\iff (x^2+\varphi x+1)(x^2+\frac{x}{\varphi }+1)=0.$$