Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In Lang's book "Algebra", theorem 9.2, it said that suppose $f\in \mathbb{C}[[X,Y]]$, then by some conditions imposed to $f$, $f$ can be written as a product of a polynomial $g\in \mathbb{C}[[X]][Y]$ and a unit $u$ in $\mathbb{C}[[X,Y]]$.

It suggests the following claim is not true in general.

Let $f\in \mathbb{C}[[X,Y]]$, then there exists a $g\in \mathbb{C}[X,Y]$ and a unit $u\in \mathbb{C}[[X,Y]]$ such that $f=gu$.

I would like to find a counter-example.



1 Answer 1

up vote 3 down vote accepted

It is known that there are transcendental power series $h(X)\in \mathbb C[[X]]$ over $\mathbb C[X]$. Note that $Xh(X)$ is also transcendental. Let $$f(X,Y)=Y-Xh(X)\in\mathbb C[[X,Y]].$$ Suppose $f=gu$ with $g$ polynomial and $u$ invertible. Consider the ring homomorphism $\phi: \mathbb C[[X,Y]]\to \mathbb C[[X]]$ which maps $X$ to $X$ and $Y$ to $Xh(X)$. Applying this homomorphism to $f=gu$, we get $$0 = g(X, Xh(X))\phi(u), \quad \phi(u)\in \mathbb C[[X]]^*.$$ So $g(X, Xh(X))=0$. As $Xh(X)$ is transcendental over $\mathbb C[X]$, and $g(X,Y)\in \mathbb C[X][Y]$, this implies that $g(X,Y)=0$. Hence $f(X,Y)=0$, absurd.

Wonderful! How stupid me. A typo, $d Xh(X)$ should be $Xh(X)$. –  wxu May 18 '12 at 23:57
Typo corrected. The counter-example was not so easy to find (for me). –  user18119 May 19 '12 at 6:49

This site is currently not accepting new answers.

Not the answer you're looking for? Browse other questions tagged .