MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## a problem about field extension [closed]

Let K and L are fields,L is a sub field of K,and L is isomorphic to K,whether can we get K=L?If true,how to prove? Thanks.

-
Aakumadula and Peter Mueller already answered that the answer is no. And it is far from being yes, even if you assume that $K$ and $L$ are algebraically closed. For instance, algebraically closed fields of a given characteristic are characterized by their transcendence degree. So take an algebraically closed field $K$ with infinite transcendence degree, take a transcendence basis, remove one element and call $L$ the algebraic closure of the field generated by this smaller set. Then $L$ is a strict subfield of $K$, but is isomorphic to $K$. – ACL Nov 23 at 11:20

## closed as too localized by Andreas Blass, Franz Lemmermeyer, Emil Jeřábek, Leonid Positselski, Andres CaicedoNov 26 at 6:53

No. ${\mathbb C}(X^2,Y)=L$ is a subfield of $K={\mathbb C}(X,Y)$ where $X,Y$ are algebraically independent variables over $\mathbb C$. Hence $L$ is isomorphic to $K$ but not equal.

-
What is $Y$ good for? If $F$ is any field, and $X$ a transcendental over $F$, then $L=F(X^2)$, $K=F(X)$ is an example. – Peter Mueller Nov 23 at 10:23
Yeah, you are right. I don't know why I took 2 variables! – Aakumadula Nov 23 at 10:32

If K and L are F-field extensions, K/F and L/F are both finite dimensional, and the isomorphism from K to L is an F-homomorphism, then the proof is easy, but the general case seems difficult.

-
You seem to be asking another question here, but you don't write all the hypothesis. Could you please clarify? – François Brunault Nov 23 at 10:28
Moreover, this should appear in the body of the question or in a comment, not as an answer. – François Brunault Nov 23 at 10:30
O，I am a freshman in this website.Lots of thing need to learn. – bo.gu Nov 23 at 10:37