×

On the factorability of the ideal of \(\ast\)-graded polynomial identities of minimal varieties of PI \(\ast\)-superalgebras. (English) Zbl 1487.16031

A *-superalgebra is an associative \(F\)-algebra (where \(F\) is a field) endowed with a \(\mathbb{Z}/2\mathbb{Z}\)-grading and with a \(\mathbb{Z}/2\mathbb{Z}\)-graded involution *. Let \(A\) be a finitely generated *-superalgebra satisfying a *-graded polynomial identity, and assume that \(F\) has characteristic zero. The *-graded exponent (of the *-graded variety generated by \(A\)) is a non-negative integer measuring the growth of the codimensions of the spaces of multilinear *-graded polynomial identities satisfied by \(A\). The *-graded variety generated by \(A\) is minimal if any of its proper subvarieties has strictly smaller *-graded exponent. In an earlier paper the same authors introduced a construction of a *-superalgebra \(A\) (a subalgebra of a block upper triangular matrix algebra associated with a sequence \(A_1,\dots,A_m\) of simple algebras), such that the minimal *-graded varieties are exactly the varieties generated by these algebras. In the present paper they characterize the cases when the ideal of *-graded identities of \(A\) has a factorization in terms of the ideals of *-graded identities of the simple algebras \(A_i\), analogously to the corresponding theory for ordinary PI-algebras.

MSC:

16R50 Other kinds of identities (generalized polynomial, rational, involution)
16R10 \(T\)-ideals, identities, varieties of associative rings and algebras
16W10 Rings with involution; Lie, Jordan and other nonassociative structures
16W55 “Super” (or “skew”) structure

References:

[1] Aljadeff, E.; Giambruno, A., Multialternating graded polynomials and growth of polynomial identities, Proc. Am. Math. Soc., 141, 3055-3065 (2013) · Zbl 1282.16028
[2] Aljadeff, E.; Giambruno, A.; Karasik, Y., Polynomial identities with involution, superinvolutions and the Grassmann envelope, Proc. Am. Math. Soc., 145, 1843-1857 (2017) · Zbl 1406.16021
[3] Di Vincenzo, O. M.; La Scala, R., Block-triangular matrix algebras and factorable ideals of graded polynomial identities, J. Algebra, 279, 260-279 (2004) · Zbl 1065.16018
[4] Di Vincenzo, O. M.; La Scala, R., Minimal algebras with respect to their ⁎-exponent, J. Algebra, 317, 642-657 (2007) · Zbl 1138.16008
[5] Di Vincenzo, O. M.; Pinto, M. A.S.; da Silva, V. R.T., On the factorability of polynomial identities of upper block triangular matrix algebras graded by cyclic groups, Linear Algebra Appl., 601, 311-337 (2020) · Zbl 1455.16021
[6] Di Vincenzo, O. M.; da Silva, V. R.T.; Spinelli, E., A characterization of minimal varieties of \(\mathbb{Z}_p\)-graded PI algebras, J. Algebra, 539, 397-418 (2019) · Zbl 1451.16013
[7] Di Vincenzo, O. M.; da Silva, V. R.T.; Spinelli, E., Minimal varieties of PI-superalgebras with graded involution, Isr. J. Math., 241, 869-909 (2021) · Zbl 1471.16035
[8] Di Vincenzo, O. M.; Spinelli, E., A characterization of ⁎-minimal algebras with involution, Isr. J. Math., 186, 381-400 (2011) · Zbl 1273.16018
[9] Giambruno, A.; Ioppolo, A.; La Mattina, D., Superalgebras with involution or superinvolution and almost polynomial growth of the codimensions, Algebr. Represent. Theory, 22, 961-976 (2019) · Zbl 1436.16026
[10] Giambruno, A.; Polcino Milies, C.; Valenti, A., Star-polynomial identities: computing the exponential growth of the codimensions, J. Algebra, 469, 302-322 (2017) · Zbl 1353.16022
[11] Giambruno, A.; dos Santos, R. B.; Vieira, A. C., Identities of ⁎-superalgebras and almost polynomial growth, Linear Multilinear Algebra, 64, 484-501 (2016) · Zbl 1342.16019
[12] Giambruno, A.; Zaicev, M., On codimension growth of finitely generated associative algebras, Adv. Math., 140, 145-155 (1998) · Zbl 0920.16012
[13] Giambruno, A.; Zaicev, M., Exponential codimension growth of PI algebras: an exact estimate, Adv. Math., 142, 221-243 (1999) · Zbl 0920.16013
[14] Giambruno, A.; Zaicev, M., Minimal varieties of algebras of exponential growth, Adv. Math., 174, 310-323 (2003) · Zbl 1035.16013
[15] Giambruno, A.; Zaicev, M., Codimension growth and minimal superalgebras, Trans. Am. Math. Soc., 355, 5091-5117 (2003) · Zbl 1031.16015
[16] Gordienko, A. S., Amitsur’s conjecture for associative algebras with a generalized Hopf action, J. Pure Appl. Algebra, 217, 1395-1411 (2013) · Zbl 1286.16023
[17] Lewin, J., A matrix representation for associative algebras, Trans. Am. Math. Soc., 355, 5091-5117 (2003)
[18] Regev, A., Existence of identities in \(A \otimes B\), Isr. J. Math., 11, 131-152 (1972) · Zbl 0249.16007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.