有限体上の既約多項式の数

いろいろあって有限体を見ていたら、 Wikipediaの既約多項式のページを見ていたら、 その有限体上の既約多項式の数についての項目があった。それは ◆定理◆ 有限体上の次のモニックな既約多項式の数は、 で与えられる。ただし、はメビウス関数である。 というものである。これの証明が、arXiv:1001.0409にある。 (Sunil K.…