Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

I am currently studying the theory of field extension.

One of the exercises in my book is causing me a trouble.

The problem is

Give an example of a field E containing a proper subfield K such that E is embeddable in K and [E:K] is finite.

First, I could't find any example. To me, it seems like any field in typical textbook cannot be an example.

Second, it seems to me that the problem states that it is possible for two fields to be a field extension of the other but they are not the same(since K is proper). Is it correct? I thought that field extension can be used to establish some partial order, if we restrict fields that are subfields of some given field.(for example, algebraically closed field of E, in this case.)

Any examples or hints would be highly appreciated.

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

You need a field that is isomorphic to a proper subfield. Algebraic extensions of, say, ${\mathbb Q}$, won't work, so you need to resort to transcendental extensions. For instance: ${\mathbb Q}(X) : {\mathbb Q}(X^2)$.

Note that you can embed the "larger" field ${\mathbb Q}(X)$ in the "smaller" field ${\mathbb Q}(X^2)$ by sending $X$ to $X^2$. (So, the embedding doesn't have to be an inclusion.)

share|cite|improve this answer
And it looks like $[Q(X):Q(X^2)] = 2$; am I right? – Robert Lewis Apr 4 '14 at 5:38
Yes, indeed, the degree is 2; the minimum polynomial of $X$ over ${\mathbb Q}(X^2)$ is $Y^2 - X^2$. – Magdiragdag Apr 4 '14 at 5:41
Thanks for the clever answer! I gave a thought on that example but failed to prove that the extension is finite. – Scream Apr 4 '14 at 5:47

Your Answer


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

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