Degree of a field extension (source code)

= Degree of a field extension
{title2=$[L:K]$}
{wiki}

= Field extension degree
{synonym}

The degree $[L:K]$ of a field extension is the <dimension of a vector space> $L$ over $K$.