円分多項式
from 円分体
根が1の原始n乗根になっている多項式
↓のことを円分多項式という
$ \Phi_n(x)=\prod_{\gcd(n,i)=1}(x-\zeta^i_n)
ただし$ \zeta_n=e^{2\pi i/n}
ただし$ \Phi_1(x)=x-1
関連
円分方程式
オイラー関数