Polynomial automorphisms and Gröbner reductions (Q1375368)

Let \(P_n= K[x_1, \dots, x_n]\) be the polynomial algebra over a field \(K\) of zero characteristic and \(p\in P_n\). Analogously to \textit{A. A. Zolotykh} and \textit{A. A. Mikhalev} [in Russ. Acad. Sci. Dokl., Math. 49, No. 1, 189-193 (1994); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 334, No. 6, 690-693 (1994; Zbl 0839.17002)] and \textit{U. U. Umirbaev} [see Fundam. Prikl. Mat. 2, No. 1, 313-315 (1996; Zbl 0899.20010)], the author considers the outer rank of \(p\) (i.e., the minimal number of generators \(x_i\), on which an automorphic image of \(p\) can depend) in connection with the ideal \(I_{d(p)}\) of \(P_n\), generated by partial derivatives of \(p\). In general, one has that outer rank\((p)\geq \text{rank} (I_{d(p)})\), where \(\text{rank} (I_{d(p)})\) is the minimal number of generators of this ideal. The author investigates the possibility for \(p\) to be included in a basis of the algebra \(P_n\), consisting of \(n\) elements. In this case, \(p\) must have the outer rank 1 and it is necessary that the row \(\left( {\partial p\over \partial x_1}, \dots, {\partial p\over \partial x_n} \right)\) can be transformed to \((1,0, \dots,0)\) using only elementary transformations. The last condition is also sufficient in the case \(n=2\), where the mentioned elementary transformations are chosen by means of an appropriate Buchberger \(S\)-construction used for obtaining the Gröbner basis for \(I_{d(p)}\). A result related to the Jacobian conjecture [\textit{H. Bass}, \textit{E. H. Connell} and \textit{D. Wright}, Bull. Am. Math. Soc., New Ser. 7, 287-330 (1982; Zbl 0539.13012)] is obtained, as well.