degree [1203A]

If $K$ is a field extension of $F$, then $K$ can be viewed as an $F$-vector space.

The degree of $K / F$ is $$ [K : F] := \dim_{F}K .$$