分圆多项式是指某个n次本原单位根满足的最小次数的首1的整系数多项式（它必定是不可约多项式）。