>>554の修正

定義
K を可換体とする。
E ≠ 0 を K 上の線型環（過去スレpart1の97）とする。
α ∈ E を K 上代数的（>>553）とする。
>>550より K-準同型 ψ：K[X] → E で
ψ(X) = α となるものが一意に存在する
Ker(ψ) ≠ 0 である。
E ≠ 0 であるから>>360より標準写像（>>545）ρ：K → E は単射である。
よって、ψ(K) = ρ(K) ≠ 0 である。
よって、Ker(ψ) ≠ K[X] である。
K[X] は単項イデアル整域であるから
Ker(ψ) = (f(X)) となるモニック(過去スレpart1の115)な多項式 f(X) ∈ K[X] が一意に定まる。
f(X) を α の K 上の最小多項式と言う。