Minimal polynomial

given an element α of a field extension E/F, the unique monic polynomial p∈F[x] of minimal degree such that p(α) = 0