Assume that R is a prime GPI-ring. If a polynomial f(x1,...,xd) in the noncom muting variables x1, ...,xd and with the coefficients in the extended centroid C of R is nilpotent on R, then either f(x1, ...,xd) is a polynomial identity of R or R is a finite matrix ring over a finite field. |