On regular $G$-gradings
HTML articles powered by AMS MathViewer
- by Eli Aljadeff and Ofir David PDF
- Trans. Amer. Math. Soc. 367 (2015), 4207-4233 Request permission
Abstract:
Let $A$ be an associative algebra over an algebraically closed field $\mathbb {F}$ of characteristic zero and let $G$ be a finite abelian group. Regev and Seeman introduced the notion of a regular $G$-grading on $A$, namely a grading $A=\bigoplus _{g\in G}A_{g}$ that satisfies the following two conditions: $(1)$ for every integer $n\geq 1$ and every $n$-tuple $(g_{1},g_{2},\dots ,g_{n})\in G^{n}$, there are elements, $a_{i}\in A_{g_{i}}$, $i=1,\dots ,n$, such that $\prod _{1}^{n}a_{i}\neq 0$; $(2)$ for every $g,h\in G$ and for every $a_{g}\in A_{g},b_{h}\in A_{h}$, we have $a_{g}b_{h}=\theta _{g,h}b_{h}a_{g}$ for some nonzero scalar $\theta _{g,h}$. Then later, Bahturin and Regev conjectured that if the grading on $A$ is regular and minimal, then the order of the group $G$ is an invariant of the algebra. In this article we prove the conjecture by showing that $ord(G)$ coincides with an invariant of $A$ which appears in PI theory, namely $exp(A)$ (the exponent of $A$). Moreover, we extend the whole theory to (finite) nonabelian groups and show that the above result holds also in that case.References
- Eli Aljadeff, Darrell Haile, and Michael Natapov, Graded identities of matrix algebras and the universal graded algebra, Trans. Amer. Math. Soc. 362 (2010), no. 6, 3125–3147. MR 2592949, DOI 10.1090/S0002-9947-10-04811-7
- Eli Aljadeff and Alexei Kanel-Belov, Representability and Specht problem for $G$-graded algebras, Adv. Math. 225 (2010), no. 5, 2391–2428. MR 2680170, DOI 10.1016/j.aim.2010.04.025
- Yuri Bahturin, Davida Fischman, and Susan Montgomery, Bicharacters, twistings, and Scheunert’s theorem for Hopf algebras, J. Algebra 236 (2001), no. 1, 246–276. MR 1808354, DOI 10.1006/jabr.2000.8520
- Yuri Bahturin and Amitai Regev, Graded tensor products, J. Pure Appl. Algebra 213 (2009), no. 9, 1643–1650. MR 2518166, DOI 10.1016/j.jpaa.2008.12.010
- A. Giambruno and M. Zaicev, On codimension growth of finitely generated associative algebras, Adv. Math. 140 (1998), no. 2, 145–155. MR 1658530, DOI 10.1006/aima.1998.1766
- A. Giambruno and M. Zaicev, Exponential codimension growth of PI algebras: an exact estimate, Adv. Math. 142 (1999), no. 2, 221–243. MR 1680198, DOI 10.1006/aima.1998.1790
- A. Giambruno and M. Zaicev, Codimension growth and minimal superalgebras, Trans. Amer. Math. Soc. 355 (2003), no. 12, 5091–5117. MR 1997596, DOI 10.1090/S0002-9947-03-03360-9
- A. R. Kemer, Finite basability of identities of associative algebras, Algebra i Logika 26 (1987), no. 5, 597–641, 650 (Russian). MR 985840
- Aleksandr Robertovich Kemer, Ideals of identities of associative algebras, Translations of Mathematical Monographs, vol. 87, American Mathematical Society, Providence, RI, 1991. Translated from the Russian by C. W. Kohls. MR 1108620, DOI 10.1090/mmono/087
- E. Nauwelaerts and F. Van Oystaeyen, The Brauer splitting theorem and projective representations of finite groups over rings, J. Algebra 112 (1988), no. 1, 49–57. MR 921963, DOI 10.1016/0021-8693(88)90131-7
- Amitai Regev, Codimensions and trace codimensions of matrices are asymptotically equal, Israel J. Math. 47 (1984), no. 2-3, 246–250. MR 738172, DOI 10.1007/BF02760520
- Amitai Regev and Tamar Seeman, $Z_2$-graded tensor products of p.i. algebras, J. Algebra 291 (2005), no. 1, 274–296. MR 2158524, DOI 10.1016/j.jalgebra.2005.01.049
- M. Scheunert, Generalized Lie algebras, J. Math. Phys. 20 (1979), no. 4, 712–720. MR 529734, DOI 10.1063/1.524113
- A. A. Zolotykh, Commutation factors and varieties of associative algebras, Fundam. Prikl. Mat. 3 (1997), no. 2, 453–468 (Russian, with English and Russian summaries). MR 1793455
Additional Information
- Eli Aljadeff
- Affiliation: Department of Mathematics, Technion-Israel Institute of Technology, Haifa 32000, Israel
- MR Author ID: 229998
- Email: aljadeff@tx.technion.ac.il
- Ofir David
- Affiliation: Department of Mathematics, Technion-Israel Institute of Technology, Haifa 32000, Israel
- Email: ofirdav@tx.technion.ac.il
- Received by editor(s): March 6, 2013
- Received by editor(s) in revised form: March 7, 2013, and May 29, 2013
- Published electronically: December 5, 2014
- Additional Notes: The first author was partially supported by the Israel Science Foundation (grant No. 1283/08 and grant No. 1017/12) and by the Glasberg-Klein Research Fund.
- © Copyright 2014
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 367 (2015), 4207-4233
- MSC (2010): Primary 16R99, 16W50
- DOI: https://doi.org/10.1090/S0002-9947-2014-06200-4
- MathSciNet review: 3324925