# Problem in field extension.

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.

-

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.)
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