\begin{definition}[Definition:Field Extension/Degree]
Let $E / F$ be a field extension.
The '''degree of $E / F$''', denoted $\index E F$, is the dimension of $E / F$ when $E$ is viewed as a vector space over $F$.
\end{definition}