Suppose that $f(x_0,x_1,\dots,x_n)\in \mathbb C[x_0,\dots,x_n]$ is a polynomial. Then what are the conditions that $f$ must satisfy (preferably necessary and sufficient) such that there exists a $g\in \mathbb C[x_1,\dots,x_n]$ for which $f(g(x_1,\dots,x_n),x_1,\dots,x_n)$ is a polynomial identical to $0$?
I am sure that there is a theory based on this question, if someone could point me to the right direction I would appreciate it.
- Is there a proper reference that discusses this?
- Is there a generalization of this e.g. $f(g_1,g_2,x_2,\dots,x_n)$ (or with more $g_i$) is identical to zero? I suspect this is not possible as one is behind the scenes using factorization in one variable.
– quantum Sep 03 '21 at 05:14