Define the Grassmann algebra to be the free noncommutative algebra modulo the relations and for all . Setting and , one easily checks that is a -grading of the Grassmann algebra.

Clearly, the Grassmann algebra is not commutative, yet it is close to being commutative. Using the relations defining the Grassmann algebra, we get that

.

Extending this linearly to the homogeneous components, we get that for any homogeneous we have where and . In other words, homogeneous elements commute up to a scalar.

This notion was generalized by Regev and Seeman [1] with the following definition: Let G be a finite abelian group. A G-gradingon an algebra is said to be regular if there is a commutation function such that

- For any tuple there are such that .
- For each and any we have .

Other examples for such regular gradings come from twisted group algebras. The commutation function is defined by , and the first condition in the definition is satisfied since all the nonzero homogeneous elements are invertible. In addition, every matrix algebra is isomorphic to some twisted group algebra, so every matrix algebra admits some regular grading.

Let be some regularly G-graded algebra. Setting , we get that the induced grading on is still regular and satisfies that for all there is some such that . A grading which satisfies this condition is called minimal. An algebra may admit several minimal regular gradings with non isomorphic groups. It was conjectured by Bahturin and Regev [2] that also these groups are not isomorphic, they do have the same cardinality.

### Our results [3]:

As the definition of a regular grading is actually a condition on the ideal of identities, we give a classification up to PI-equivalence of all regular graded algebras. In particular, up to a PI-equivalence, every regular graded algebra is a combination of a twisted group algebra and the Grassmann algebra.

Extending the definition to arbitrary groups, we use the classification above and show that the cardinality is indeed an invariant of the algebra. In particular, this invariant is called the exponent of the algebra and appears in PI-theory. The exponent measures in a sense how many multilinear identities of degree n the algebra has when n goes to infinity.

### Questions:

The classification of all abelian groups G, such that there are algebras with minimal regular G-grading, is well known. Every such group must either be or for some abelian group H (the part comes from the Grassmann algebra).

A group G which has a 2-cocycle such that is called a central type. The classification of non abelian central type groups is still an open question. By the extended definition every central type group admits a minimal regular grading on some algebra .

Is there a classification of groups admitting minimal regular gradings, if we are given the classifiction of groups of central type?

### Remarks:

A similar process was done with Lie algebras. A G-graded Lie algebra is called a color Lie algebra if . It appears that the function in this case are exactly the commutation functions appearing in the regular grading setting. These “commutation function” also appear (with similar definitions) in Hopf Algebras.

### Bibliography:

- A. Regev and T. Seeman,
*-Graded tensor products of PI-algebras*, Journal of Algebra, Volume 291(1):(2005), 274-296.

DOI: 10.1016/j.jalgebra.2005.01.049. - A. Regev and Y. Bahturin,
*Graded tensor products*, Journal of Pure and Applied Algebra 213(9): (2009), 1643-1650.

DOI 10.1016/j.jpaa.2008.12.010 - E. Aljadeff and O. David E. Aljadeff,
*On regular -gradings*, to appear in Transactions of the American Mathematical Society.

arXiv: arXiv:1212.0343v2 [math.RA]