Recall that if is an algebra and is a group, then a -grading on is a decomposition as a vector space where for any . Given an algebra , we may ask what are all the possible gradings it admits (and what are the corresponding groups).
Clearly, each algebra can be graded with the trivial group . More generally, given a group we can always consider the grading and for all . Such gradings, of course, give no relations what so ever between the group and the algebra and the question is what “nice” properties of the grading do give some connection.
Consider the matrix algebra and its vector space decomposition
Clearly, and commute with , but they don’t commute among themselves. On the other hand we do have the identity so each pair of these elements commute up to a . The decomposition above is actually a -grading which shows that while the original algebra is not commutative, under this grading it is almost commutative.
This notion of “almost commutativity” was formalized by Regev and Seeman  with the following definition: Let G be a finite abelian group and a characteristic zero field. A G-grading on 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 the Grassmann algebra and twisted group algebras (see here). For the grassmann algebra case we have a commutation function such that and . For twisted group algebra with cocycle , 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 (and the regular grading on in the begining is such a case).
An algebra may admit more than one regular grading. For example, the algebra admits a regular -grading for each , by setting . This is not surprising, since is already commutative. More generally, the smaller the group is in a regular grading, the “more” commutative the algebra is, and the group can be trivial if and only if the algebra is commutative. Thus, we want to consider regular gradings with the “smallest” group possible.
Let be some regularly -graded algebra with commutation function . Setting , we get that the induced grading on is still regular with commutation function (and with a smaller group). In addition we have that . A grading which satisfies this condition is called minimal. While an algebra may admit several minimal regular gradings with non isomorphic groups it was conjectured by Bahturin and Regev  that these groups must have the same cardinality. Thus, the size of a group in a minimal regular grading is an invariant of an algebra, which measure, in a sense, how close it is to being commutative.
Our results :
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.
Theorem: Suppose has a minimal regular grading by a group . Then is an invariant of and equals .
The classification of all abelian groups , 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 which has a 2-cocycle such that is called central type. The classification of non abelian central type groups is still an open question. By the extended definition of regular grading, 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?
The commutation functions for abelian groups also appear in a generalization of Lie algebras called Lie color algebras. In particular, Lie superalgebra are Lie color algebra corresponding to the commutation function of the Grassmann algebra (with the cyclic group of order 2). These “commutation functions” also appear (with similar definitions) in Hopf Algebras.
Before the definition we first recall one of Jordan’s theorems. It states that if is any finite group which can be embedded in , then it is almost abelian in the following sense. There is a function such that if can be embedded in , then it has a normal abelian subgroup such that .
A dual question that we may ask is the following: if grades instead of embedded in , is it almost abelian? If so, can it be generalized to arbitrary algebras?
As before, we can always grade algebras in a trivial way and lose all the structure of . We thus consider only nondegenerate gradings, namely gradings which satisfy the first condition of regular gradings:
- For all there are such that .
While has a “natural” size, namely its dimension which can be used to bound the abelian part in , we would also like to consider infinite dimensional algebras, so the trivial choice of dimension as the size of the algebra is insufficient.
As before, the nondegenerate condition is actually a condition on the polynomial identities of the algebra. Thus, a natural choice for the “size” of the algebra comes from its identities, and is given by its exponent (which is only a function of the algebra and not of the grading). In particular, for matrix algebras we have that .
Our results :
We prove the following theorem:
Theorem: There is a function which satisfies the following. If is a PI algebra graded nondegenerately by an arbitrary group , then contains an abelian subgroup such that .
We note here that if has an abelian subgroup of bounded index, then it also has a normal abelian subgroup of bounded index. Also, we can choose to be for big enough.
A quick sketch of the proof is as follows. First, considering the theorem only with finite groups, it is known (though the proof is very complex) that every graded algebra is graded PI equivalent to either a finite dimensional algebra, or a Grassmann envelope of a finite dimensional algebra. Thus we transfer the problem to the case of finite dimensional algebras.
Then, using structure theorems on finite dimensional algebras and their PI identities, we can reduce to the case where the algebra is graded simple, and even more to the case where the algebra is just a group algebra. Finally, we use a result due to D. Gluck which bounded the minimal index of an abelian subgroup of as a function of its representations.
The part of infinite groups relies mainly on the following fact. Suppose that grades a PI algebra nondegenerately. Let be any nonzero multilinear polynomial identity and suppose that the monomial appears with coefficient 1. If is any tuple of elements in , then we can find such that (by definition of nondegenerate grading). Putting them in the identity we must have that is not zero, so there must be another monomial in the same homogeneous component. In particular there is some permutation such that . Groups which satisfy this condition for any -tuple of elements are called permutable groups. It is known that all finitely generated permutable group are abelian by finite, so in particular any finitely generated group which grades nondegenerately a PI algebra, is residually finite.
Finally, the move from finitely generated groups to arbitrary groups is a general theorem proved by Isaacs and Passman.
- A. Regev and T. Seeman, -Graded tensor products of PI-algebras, Journal of Algebra, Volume 291(1):(2005), 274-296.
- A. Regev and Y. Bahturin, Graded tensor products, Journal of Pure and Applied Algebra 213(9): (2009), 1643-1650.
- E. Aljadeff and O. David, On regular -gradings, to appear in Transactions of the American Mathematical Society.
arXiv: arXiv:1212.0343v2 [math.RA]
- E. Aljadeff and O. David, On group gradings on PI algebras,
arXiv: arXiv:1403.0200 [math.RA]