Abstract view
Density of Polynomial Maps


Published:20100406
Printed: Jun 2010
ChenLian Chuang,
Department of Mathematics, National Taiwan University, Taipei 106, Taiwan
TsiuKwen Lee,
Department of Mathematics, National Taiwan University, Taipei 106, Taiwan
Abstract
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.