Let $F\subset L\subset K$ be fields.

Seen $K$ as a vector space over $F$, if we set $[K:F]$= dimension of $K$ over $F$, Is it true that if $[K:F]< \infty$, then $[L:F]< \infty$?


Let's write $n = [K:F]$ (which is finite here).

Then $K$ is a $F$- vector space of dimension $n$. Now, you can easily check that $L$ is a $F$-subspace of $K$. Now, just use the common result that a subspace of a finite-dimensional vector space is itself a finite-dimensional subspace to conclude.

  • 2
    $\begingroup$ Some people may argue that the formula $[K:F] = [K:L] \times [L:F]$ would easily give us the result, but one may wonder why the fact that $[K:F]$ is finite automatically gives meaning to the above formula. $\endgroup$ – Junkyards Sep 28 '17 at 15:46
  • 1
    $\begingroup$ thanks for the help @Junkyards ! $\endgroup$ – Pires Dankan Sep 28 '17 at 16:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.