1: \begin{abstract}

2: Let $A$ be an associative algebra over an algebraically closed field

3: $\FF$ of characteristic zero and let $G$ be a finite abelian group.

4: Regev and Seeman introduced the notion of a regular $G$-grading on

5: $A$, namely a grading $A=\bigoplus_{g\in G}A_{g}$ that satisfies

6: the following two conditions: $(1)$ for every integer $n\geq1$ and

7: every $n$-tuple $(g_{1},g_{2},\dots,g_{n})\in G^{n}$, there are

8: elements, $a_{i}\in A_{g_{i}}$, $i=1,\dots,n$, such that $\prod_{1}^{n}a_{i}\neq0$

9: $(2)$ for every $g,h\in G$ and for every $a_{g}\in A_{g},b_{h}\in A_{h}$,

10: we have $a_{g}b_{h}=\theta_{g,h}b_{h}a_{g}.$ Then later, Bahturin

11: and Regev conjectured that if the grading on $A$ is regular and minimal,

12: then the order of the group $G$ is an invariant of the algebra. In

13: this article we prove the conjecture by showing that $ord(G)$ coincides

14: with an invariant of $A$ which appears in PI theory, namely $exp(A)$

15: (the exponent of $A$). Moreover, we extend the whole theory to (finite)

16: nonabelian groups and show that the above result holds also in that

17: case.

18: \end{abstract}