Field/Finite extension/Degree/Definition

Degree of a field extension

Let ${}K\subseteq L$ be a finite field extension. Then the ${}K$-vector space dimension of ${}L$ is called the degree of the field extension.