最小多項式 (体論)
E/F を体の拡大とし、α を E の元とし、F[x] を F 上の x の多項式の環とする。α の最小多項式は α を根として持つ F[x] の 0 でないすべての多項式のうち次数が最小のモニック多項式である。最小多項式は α が F 上代数的なとき、すなわち、ある零でない多項式 f(x) ∈ F[x] に対して f(α) = 0 であるとき、存在する。