α の最小多項式は、αを根として持つF[x] の 0 でないすべての多項式のうち次数が最小のモニック多項式

補足

F[x]は、xの多項式環