Let K [ X ] = K [ x 1 , . . . , x n ] , n ≥ 2 , K[X] = K[x_1,...,x_n], ~n \ge 2, be the polynomial algebra over a field K K of characteristic 0 0 . We call a polynomial p ∈ K [ X ] ~p \in K[X] coordinate (or a generator) if K [ X ] = K [ p , p 2 , . . . , p n ] K[X] = K[p, p_2, ..., p_n] for some polynomials p 2 , . . . , p n ~p_2, ..., p_n . In this note, we give a simple proof of the following interesting fact: for any polynomial h ~h~ of the form ( x i + q ) , ~(x_i + q), where q q is a polynomial without constant and linear terms, and for any integer m ≥ 2 ~m \ge 2 , there is a coordinate polynomial p ~p~ such that the polynomial ( p − h ) (p-h) has no monomials of degree ≤ m \leq m . A similar result is valid for coordinate k k -tuples of polynomials, for any k > n k > n . This contrasts sharply with the situation in other algebraic systems. On the other hand, we establish (in the two-variable case) a result related to a different kind of density. Namely, we show that given a non-coordinate two-variable polynomial, any sufficiently small perturbation of its non-zero coefficients gives another non-coordinate polynomial.
Read full abstract