[Math] Can a field be isomorphic to its subfield

field-theory

Let $K$ be a field and $K(X)$ be the field of its rational functions.

Now let $\phi \in K(X)$ be a rational function such that $K(\phi) \neq K(X)$.

Now, since $\phi$ is transcendental over $K$, $K(\phi)$ is isomorphic to $K(X)$.

Is this a correct example of a field being isomorphic to its subfield?

Are there any other examples?

Best Answer

If $K_1$ and $K_2$ are algebraically closed fields of the same uncountable cardinality and of the same characteristic, then they also have the same transcendence degree over their prime field, and are therefore isomorphic.

Related Question