Abstract:
It is proved that an associative PI-algebra over a field of characteristic zero that is graded by an arbitrary semigroup and that satisfies the relation $a^n=0$ for all homogeneous elements and is generated by a finite number of its homogeneous components is nilpotent. This generalizes a well-known theorem of M. Nagata.