Tauvel's height formula in iterated differential operator rings.
Let be a finite abelian group with identity element and be an infinite dimensional -homogeneous vector space over a field of characteristic . Let be the Grassmann algebra generated by . It follows that is a -graded algebra. Let be odd, then we prove that in order to describe any ideal of -graded identities of it is sufficient to deal with -grading, where , and if . In the same spirit of the case odd, if is even it is sufficient to study only those -gradings such that...