Definition:Degree of Algebraic Element

From ProofWiki
Jump to navigation Jump to search

Definition

Let $E / F$ be a field extension.

Let $\alpha \in E$ be algebraic over $F$.


The degree of $\alpha$ is the degree of the minimal polynomial $\map {\mu_F} \alpha$ whose coefficients are all in $F$.