A prolongation of the question compositionofpolynomialfunctionswhichgivestheidentity: Let $f_1,\ldots,f_n, g_1,\ldots, g_n$ be polynomials in $\mathbb{Q}[X_1,\ldots,X_n]$ such that if $g=(g_1,\ldots,g_n)$ then $f_i(g(x_1,\ldots,x_n))=x_i$ for all $i=1,\ldots,n$. Does it follow that SOME $f_i$ or $g_j$ has degree 1?

$\begingroup$ @ Mahdi MajidiZolbanin  Of course, $n>1$. $\endgroup$ – Boris Novikov Dec 18 '11 at 15:39

$\begingroup$ @Boris: Sorry I deleted my comment, because even though the answer to your question is yes for $n=1$, your question still makes sense without saying $n>1$. $\endgroup$ – Mahdi MajidiZolbanin Dec 18 '11 at 15:42
Of course not. For example, consider the automorphism of $\mathbb Q[x, y]$ given by $(x, y) \mapsto (x+y^2, y + (x+y^2)^2)$.

3$\begingroup$ Is it really necessary to start an answer with an "of course"? $\endgroup$ – Ramiro de la Vega Dec 18 '11 at 17:40

1

2$\begingroup$ Of course it is not necessary; but when you start playing around with automorphisms of polynomial rings you discover these examples very quickly. $\endgroup$ – Angelo Dec 18 '11 at 17:49


$\begingroup$ @Boris: no. The inverse map is given by $(x(yx^2)^2,yx^2)$. $\endgroup$ – Vladimir Dotsenko Dec 19 '11 at 11:37
Here is another way to say what Angelo said. Pick any set of polynomials $\left(g_1,\ldots,g_n\right)$ such that it has Groebner basis $\left[x_1,\ldots,x_n\right]$ under lexicographical order $\left[x_n,\ldots,x_1\right]$. Then you can get the $f_j$'s from the cofactors (pdf).
[This is merely a more constructive way of phrasing the answer, so that you may construct more examples for yourself easily, which is not as easy to do given Angelo's answer.]

$\begingroup$ Is it true then, that every $f_i$ and every $g_i$ must have a degree $1$ term? $\endgroup$ – Mahdi MajidiZolbanin Dec 18 '11 at 16:12

1$\begingroup$ @Mahdi: yes on both counts. Easy proof by contradiction and combinatorics  just look at the (total) degrees of each term in the result. $\endgroup$ – Jacques Carette Dec 18 '11 at 16:29

1$\begingroup$ To Mahdi: or, more geometrically, notice that if some $f_i$ had no term of degree, the differential of the polynomial map given by the $f_i$ would would vanish at some point. $\endgroup$ – Angelo Dec 18 '11 at 16:39

$\begingroup$ @ Jacques Carette  Your answer is too laconic for me $\endgroup$ – Boris Novikov Dec 19 '11 at 0:22

$\begingroup$ @Boris: added links for all the important parts. If you don't already know about Groebner bases, you're better off reading the Wikipedia entry than having me try to expand my answer into a tutorial on the topic. $\endgroup$ – Jacques Carette Dec 19 '11 at 1:14