Is there a field $F$ such that $F \cong F(X,Y)$ as fields, but $F \not \cong F(X)$ as fields?

I know only an example of a field $F$ such that $F$ isomorphic to $F(x,y)$ : this is something like $F=k(x_0,x_1,\dots)$. But in this case we have $F \cong F(x)$.

This is related to this question. This was previously asked on MSE but after 2 months and a bounty, no answer was provided.

Thank you very much!

  • $\begingroup$ Related on MSE: math.stackexchange.com/questions/388291 $\endgroup$
    – Watson
    Commented Jan 3, 2017 at 19:26
  • 7
    $\begingroup$ I have an example where I know $F\cong F(X,Y)$ but I don't know whether $F\cong F(X)$. There are torsion-free abelian groups $G$ such that $G\cong G\oplus\mathbb{Z}\oplus\mathbb{Z}$ but $G\not\cong G\oplus\mathbb{Z}$ (see mathoverflow.net/questions/218113/… for example). Let $\mathbb{Q}(G)$ be the field of fractions of the group algebra $\mathbb{Q}[G]$. Then $\mathbb{Q}(G)\cong\mathbb{Q}(G)(X,Y)$, but I don't see why it should be isomorphic to $\mathbb{Q}(G)(X)$. $\endgroup$ Commented Jan 8, 2017 at 21:34
  • 2
    $\begingroup$ Oops, I forgot to mention that I've posted a related question here: mathoverflow.net/questions/259117/… $\endgroup$ Commented Jan 8, 2017 at 21:59


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.