Skip to main content
1 of 7
user237522
  • 2.8k
  • 14
  • 24

A subfield $R \subseteq \mathbb{C}(x,y)$ with 'many' generators $w$, $R(w)=\mathbb{C}(x,y)$

Let $R \subseteq \mathbb{C}(x,y)$ and assume that $R=\mathbb{C}(u,v)$, where $u,v \in \mathbb{C}[x,y]$ are algebraically independent over $\mathbb{C}$.

Here $\mathbb{N}$ includes $0$.

Assume that $R$ satisfies the following 'rare' property: For every monomial $x^iy^j$, $i \in \mathbb{N}$, $j \in \mathbb{N}$ (except the case $i=j=0$, for which we assume nothing), we have $\mathbb{C}(u,v,x^iy^j)=\mathbb{C}(x,y)$.

Question: Is it true that $R=\mathbb{C}(x,y)$?

I am not able to find a counterexample, but perhaps there is such.

I do not mind to further assume that $x+y$ also satisfies $\mathbb{C}(u,v,x+y)=\mathbb{C}(x,y)$.

Any help is welcome! Thank you very much.

user237522
  • 2.8k
  • 14
  • 24