
Density of Polynomial Maps
Let $R$ be a dense subring of $\operatorname{End}(_DV)$, where $V$ is a left vector space over a division ring $D$. If $\dim{_DV}=\infty$, then the range of any nonzero polynomial $f(X_1,\dots,X_m)$ on $R$ is dense in $\operatorname{End}(_DV)$. As an application, let $R$ be a prime ring without nonzero nil onesided ideals and $0\ne a\in R$. If $af(x_1,\dots,x_m)^{n(x_i)}=0$ for all $x_1,\dots,x_m\in R$, where $n(x_i)$ is a positive integer depending on $x_1,\dots,x_m$, then $f(X_1,\dots,X_m)$ is a polynomial identity of $R$ unless $R$ is a finite matrix ring over a finite field.
Keywords:density, polynomial, endomorphism ring, PI Categories:16D60, 16S50 