Related papers: Coordinates, retracts and automorphisms
Let $ K[x, y]$ be the polynomial algebra in two variables over a field $K$ of characteristic $0$. A subalgebra $R$ of $K[x, y]$ is called a retract if there is an idempotent homomorphism (a {\it retraction}, or {\it projection}) $\varphi:…
Let K[x,y] be the algebra of two-variable polynomials over a field K. A polynomial p=p(x, y) is called a test polynomial (for automorphisms) if, whenever \phi(p)=p for a mapping \phi of K[x,y], this \phi must be an automorphism. Here we…
Let $K$ be a field of characteristic $0$, and let $k \geq 2$ be an integer. We prove that every $K$-linear bijection $f \colon K[X] \to K[X]$ strongly preserving the set of $k$-free polynomials (or the set of polynomials with a $k$-fold…
Let k be a field of characteristic zero. Let phi be a k-endomorphism of the polynomial algebra k[x_1,...,x_n]. It is known that phi is an automorphism if and only if it maps irreducible polynomials to irreducible polynomials. In this paper…
Let $K$ be a field of positive characteristic and $K<x, y>$ be the free algebra of rank two over $K$. Based on the degree estimate done by Y.-C. Li and J.-T. Yu, we extend the results of S.J. Gong and J.T. Yu's results: (1) An element…
Let $K[x,y]$ be the polynomial algebra in two variables over an algebraically closed field $K$. We generalize to the case of any characteristic the result of Furter that over a field of characteristic zero the set of automorphisms $(f,g)$…
Let $A_2$ be a free associative or polynomial algebra of rank two over a field $K$ of characteristic zero. Based on the degree estimate of Makar-Limanov and J.-T.Yu, we prove: 1) An element $p \in A_2$ is a test element if $p$ does not…
For a field $k$ of characteristic $0$, we present an algorithm for deciding if a morphism $\phi:k[X_1,...,X_m]\to k[X_1,...,X_m]$ has an inverse. The algorithm also shows how to find the inverse when it exists.
We describe the automorphism group of the endomorphism semigroup $\End(K[x_1,...,x_n])$ of ring $K[x_1,...,x_n]$ of polynomials over an {\it arbitrary} field $K$. A similar result is obtained for automorphism group of the category of…
Let G and H be two cographs. We show that the problem to determine whether H is a retract of G is NP-complete. We show that this problem is fixed-parameter tractable when parameterized by the size of H. When restricted to the class of…
It is proved that the Jacobian of a k-endomorphism of k[x_1,...,x_n] over a field k of characteristic zero taking every tame coordinate to a coordinate, must be a nonzero constant in k. It is also proved that the Jacobian of an…
We consider differential rings of the form (K[x; y];D), where K is an algebraically closed field of characteristic zero and D : K[x; y] \to K[x; y] is a K-derivation. We study the Automorphism Group of such a ring and give criteria for…
We study z-automorphisms of the polynomial algebra K[x,y,z] and the free associative algebra K<x,y,z> over a field K, i.e., automorphisms which fix the variable z. We survey some recent results on such automorphisms and on the corresponding…
In this paper we prove that over algebraically closed field $K$ of positive characteristic $\neq 2$ every automorphism of the group of origin-preserving automorphisms of the polynomial algebra $K[x_1,\ldots, x_n]$ ($n>3$) which fixes every…
We prove that for a polynomial $f\in k[x,y,z]$ equivalent are: (1)$f$ is a $k[z]$-coordinate of $k[z][x,y]$, and (2) $k[x,y,z]/(f)\cong k^{[2]}$ and $f(x,y,a)$ is a coordinate in $k[x,y]$ for some $a\in k$. This solves a special case of the…
The polynomial automorphisms of the affine plane over a field K form a group which has the structure of an amalgamated free product. This well-known algebraic structure can be used to determine some key results about the symmetry and…
Let $k$ be a field of characteristic zero, and let $f: k[x,y] \to k[x,y]$, $f: (x,y) \mapsto (p,q)$, be a $k$-algebra endomorphism having an invertible Jacobian. Write $p=a_ny^n+\cdots+a_1y+a_0$, where $n=deg_y(p) \in \mathbb{N}$, $a_i \in…
It is proved that the Nagata automorphism (Nagata coordinates, respectively) of the polynomial algebra $F[x,y,z]$ over a field $F$ cannot be lifted to a $z$-automorphism ($z$-coordinate, respectively) of the free associative algebra…
Let K<x,y> be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not two elements in K<x,y> are equivalent under an automorphism of…
Let $A$ be a retract of the polynomial ring in three variables over a field $k$. It is known that if ${\rm char}\: (k) = 0$ or ${\rm tr.deg}\:_k A \not= 2$ then $A$ is a polynomial ring. In this paper, we give some sufficient conditions for…