既約多項式
位数 q の有限体上モニックな n 次既約多項式の総数は次の式で与えられる。
1 n ∑ d ∣ n μ ( n d ) q d {\displaystyle {\frac {1}{n}}\sum _{d\mid n}\mu \left({\frac {n}{d}}\right)q^{d}}
ただし μ はメビウス関数を表す。