GRADED GENERALIZED POLYNOMIAL IDENTITIES (WITH AN ANTIAUTOMORPHISM) IN GRADED ALGEBRAS

Let G be a monoid with unity e and cancellation, let F be a commutative ring with 1, and let R = circle plus(g is an element of G) R-g be a G-graded F-semiprime algebra with finite G-grading satisfying a G-graded generalized polynomial identity (with an antiautomorphism when G is commutative) over R-e. If R-e is prime, then R has a strict GPI over R-e.