Take the 2-minute tour ×
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.

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|improve this question
add comment

1 Answer 1

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|improve this answer
    
And it looks like $[Q(X):Q(X^2)] = 2$; am I right? –  Robert Lewis Apr 4 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 at 5:41
    
Thanks for the clever answer! I gave a thought on that example but failed to prove that the extension is finite. –  user140304 Apr 4 at 5:47
add comment

Your Answer

 
discard

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.