Question
For an algebraic element `alpha` over F, the minimal polynomial `m_alpha , F(x)` is defined as the unique monic polynomial of .... degree in F[x] that has `alpha` as a root. The degree of this minimal polynomial is denoted by `deg (m_alpha , F)`. Tip: Fill in the blank. ?