ABSTRACT
Thoughout the sequel, k will denote an infinite commutative domain of characteristic p ≥ 0, and A will denote an associative algebra over k on which the action of k is torsion-free. This occurs, for example, when k is an infinite field. Our hypotheses on A are chosen to imply that every homogeneous component of a polynomial identity for A is also a polynomial identity for A. We shall use R to denote an arbitrary associative ring. We do not assume our rings are unital.
