Skip to main content
3 of 3
edited tags
GH from MO
  • 105.2k
  • 8
  • 292
  • 398

How to prove that $e^{zw}$ can not be written as a rational expression in functions in $z$ and in $w$?

Let $K$ be the field of fractions of $\mathbb{C}[[z]]\otimes_{\mathbb{C}}\mathbb{C}[[w]]\subset \mathbb{C}[[z, w]].$ Given a formal power series in $t, f\in \mathbb{C}[[t]],$ is there any simple criterion which will conclude that $f(zw)$ does not belong to $K?$ I suspect that $f(zw)\in K$ if and only if $f(t)$ is a rational function, i.e. belongs to $\mathbb{C}(t).$ I am especially interested in proving that $e^{zw}\notin K.$

zamanjan
  • 689
  • 6
  • 14