Theorem 円分多項式 $\phi_n$ は $\Q[X]$ で既約である。 proof $\mu_n$ の生成元 $\zeta$ をとる。 $(p,n)=1$ なる素数 $p$ をとると、 $\zeta^p$ も原始根である。 $\phi_n = P_\min(\zeta,\Q)\cdot g,\ g \in \Z[X]$ と書ける。 $P = P_\min(\zeta,\Q)$ …