Irreducible polynomial testing

の話.

“A Computational Introduction to Number Theory and Algebra”の§21.1にありますね.

コメントの原始根による解説が証明への糸口か.

最小多項式と拡大体の関係を使っているのか?

References

PDFがある.素晴らし過ぎる.