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