間違えちゃいけないと、ちょっと慎重な表現してたけど、
モニックが既約であることと、ある代数的数の最少多項式であることは同値みたいね。

ttps://math-notes.info/wp-content/uploads/2021/08/field-3.pdf