Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

We recently learned in class that if we have a tower of fields

$$F \subseteq E \subseteq L$$

then $[L:F]$ is finite iff both $[E:F]$ and $[L:E]$ are. In this case we have $[L:F]= [L:E][E :F]$. So then I thought that perhaps it is natural to ask the following question:

If we have a field $F$ and two fields $E$ and $L$ that contain $F$ such that $[E:F] = m$ and $[L : F] = n$, with $n > m$, is it the case that $L$ must contain $E$? Obviously if $L$ contains $E$ then $n > m$ because then $E$ would be an $F$ - vector subspace of $L$.


Edit: I have observed that if we have a field extension that is finite over the reals (Say $L$) then $L$ is algebraic over $\mathbb{R}$ so that it is over $\mathbb{C}$. But then this is only possible when $L = \mathbb{C}$ because $\mathbb{C}$ is algebraically closed.

share|cite|improve this question
up vote 3 down vote accepted

Certainly not. Take $F=\mathbb Q$, $E=\mathbb Q(\sqrt2)$, $L=\mathbb Q(\sqrt[3]2)$.

share|cite|improve this answer
Just another query, if we have another field extension of $\mathbb{R}$ of finite degree, say $L$ then is it true that $L$ must contain the complex numbers? – user38268 Mar 16 '12 at 12:47
@BenjaminLim, that is a separate question, but yes, and there is just one field extension of $\mathbb R$ of finite degree, the complex numbers, because $\mathbb C$ is algebraically closed. – lhf Mar 16 '12 at 13:16
Thanks. I think because if we have another field extension $L$ of $\mathbb{R}$ that is of finite degree, $L$ is algebraic over $\mathbb{R}$ and since $\mathbb{C}$ contains $\mathbb{R}$, $L$ would be algebraic over $\mathbb{C}$. But then $L = \mathbb{C}$ for the complex numbers are algebraically closed. I think this does it. – user38268 Mar 16 '12 at 13:26
@BenjaminLim, please post the question in your first comment as a separate question so that we can discuss it properly, not in comments. – lhf Mar 16 '12 at 13:31
Is my deduction above correct? I have edited my question. – user38268 Mar 16 '12 at 13:36

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.