定義 26
K を体(>>82)とし、α ∈ Ω(>>82) を K 上代数的(>>90)とする。
>>114より、K-線型環としての K-準同型(>>98) ψ：K[X] → Ω で ψ(X) = α となるものが
一意に存在する。
α は K 上代数的であるから Ker(ψ) ≠ 0 である。
K[X] は単項イデアル整域であるから Ker(ψ) = (f(X)) となるモニック(>>115)な多項式 f(X) が
一意に定まる。f(X) を α の K 上の最小多項式と言う。