>>337
最小多項式の定義は、L⊃Kを体の拡大とする。Lの元αが
K上代数的であれば、αを根とする最高次の係数が1の多項式
の中で、次数が最小のものであると習いました。