Skip to main content
edited tags
Link
GH from MO
  • 105.2k
  • 8
  • 292
  • 398
title changed
Link
Fedor Petrov
  • 108.9k
  • 9
  • 264
  • 459

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

Source Link
zamanjan
  • 689
  • 6
  • 14

How to prove that $e^{zw}$ can not be written as a rational expression in z and 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.$