Graded polynomial identities for the Lie algebra of \(3 \times 3\) upper triangular matrices endowed with the canonical grading
Abstract
Let \(\mathbb{F}\) be a finite field of characteristic different from 2, and let \(UT_3^{(-)}=UT_3(\mathbb{F})^{(-)}\) be the Lie algebra of \(3\times 3\) upper triangular matrices over \(\mathbb{F}\) endowed with the canonical \(\mathbb{Z}_3\)-grading. In this paper, we describe the \(T_{\mathbb{Z}_3}\)-ideal \(Id=Id(UT_3^{(-)})\) of all \(\mathbb{Z}_3\)-graded polynomial identities of \(UT_3^{(-)}\) and we produce a linear basis for the corresponding relatively free graded algebra. Moreover, we prove that \(Id\) satisfies the Specht property, that is, \(Id\) and every \(T_{\mathbb{Z}_3}\)-ideal containing \(Id\) is finitely generated as a \(T_{\mathbb{Z}_3}\)-ideal.
2020 Mathematics Subject Classification:
16R10, 16R50, 16W50, 17B70, 17B01Keywords
Lie algebra, upper triangular matrices, canonical grading, graded polynomial identities, Specht problem
Author Details
Daniela Martinez Correa
Universidade de São Paulo (USP)
Instituto de Matemática, Estatística e Ciência da Computação
R. do Matão-Butantã, 05508-090, São Paulo, SP, Brazil
e-mail: danielam.correa@ime.usp.br
Dimas José Gonçalves
Universidade Federal de São Carlos (UFSCar)
Departamento de Matemática
13565-905, São Carlos, SP, Brazil
e-mail: dimasjg@ufscar.br
Evandro Riva
Universidade Tecnológica Federal do Paraná (UTFPR)
Departamento de Matemática
Av. Sete de Setembro, 3165, 80230-901, Curitiba, PR, Brazil
e-mail: evandroriva@utfpr.edu.br
References
- E. Aljadeff, A. Kanel-Belov. Representability and Specht problem for G-graded algebras. Adv. Math. 225, 5 (2010), 2391–2428.
- Y. A. Bahturin. Identical relations in Lie algebras. De Gruyter Exp. Math., vol. 68. Berlin, De Gruyter, 2021.
- A. Ya. Belov. Counterexamples to the Specht problem. Mat. Sb. 191, 3 (2000), 13–24 (in Russian); English translation in: Sb. Math. 191, 3 (2000), 329–340.
- L. Centrone, F. Martino. A note on cocharacter sequence of Jordan upper triangular matrix algebra. Comm. Algebra 45, 4 (2017), 1687–1695.
- L. Centrone, F. Martino, M. da Silva Souza. Specht property for some varieties of Jordan algebras of almost polynomial growth. J. Algebra 521 (2019), 137–165
- V. Drensky. Free algebras and PI-algebras. Graduate course in algebra. Singapore, Springer-Verlag Singapore, 2000.
- V. Drensky. Identities in Lie algebras. Algebra i Logika 13 (1974), 265–290, 363–364 (in Russian); English translantion in: Algebra and Logic 13, 3 (1974), 150–165.
- A. Giambruno, M. da Silva Souza. Graded polynomial identities and Specht property of the Lie algebra sl2. J. Algebra 389 (2013), 6–22.
- D. J. Gonçalves, P. Koshlukov, M. E. Salomão. Polynomial identities for the Jordan algebra of 2 × 2 upper triangular matrices. J. Algebra 593 (2022), 477–506.
- D. J. Gonçalves, M. E. Salomão. Z2-graded polynomial identities for the Jordan algebra of 2 × 2 upper triangular matrices. arXiv:2011.11116 [math.RA], 2020, https://doi.org/10.48550/arXiv.2011.11116.
- D. J. Gonçalves, E. Riva. Graded polynomial identities for the upper triangular matrix algebra over a finite field. J. Algebra 559 (2020), 625–645.
- A. V. Grishin. Examples of T-spaces and T-ideals in characteristic 2 without the finite basis property. Fundam. Prikl. Mat. 5, 1 (1999), 101–118. (in Russian)
- G. Higman. Ordering by Divisibility in Abstract Algebras. Proc. Lond. Math. Soc. (3) 2 (1952), 326–336.
- A. R. Kemer. Varieties and Z2-graded algebras. Izv. Akad. Nauk SSSR Ser. Mat. 48, 5 (1984), 1042–1059. (in Russian); English translation in: Math. USSR Izv. 25 (1985), 359–374
- P. Koshlukov, D. Silva. 2-Graded polynomial identities for the Jordan algebra of the symmetric matrices of order two. J. Algebra 327, 1 (2011), 236–250.
- P. Koshlukov, F. Martino. Polynomial identities for the Jordan algebra of upper triangular matrices of order 2. J. Pure Appl. Algebra 216, 11 (2012), 2524–2532.
- P. Koshlukov, F. Yukihide. Elementary gradings on the Lie algebra UTn(−). J. Algebra 473 (2017), 66–79.
- P. Koshlukov, F. Yukihide. Group gradings on the Lie algebra of upper triangular matrices. J. Algebra 477 (2017), 294–311.
- A. N. Krasilnikov. Identities of Lie algebras with nilpotent commutator ideal over a field of finite characteristic. Mat. Zametki 51 (1992), 47–52 (in Russian); English translation in: Math. Notes 51, 3–4 (1992), 255–258.
- D. Martinez Correa, P. Koshlukov. Specht property of varieties of graded Lie algebras. Monatsh Math. 202, 1 (2023), 65–92.
- P. Morais, M. da Silva Souza. The algebra of 2 × 2 upper triangular matrices as a commutative algebra: Gradings, graded polynomial and Specht property. J. Algebra 593 (2022), 217–234.
- P. Morais, M. E. Salomão, M. da Silva Souza. A Lie algebra over a finite field of characteristic 2: Graded polynomial identities and Specht property. J. Algebra 639 (2024), 228–248.
- E. Riva. Graded Identities for the algebra of upper triangular matrices over a finite field. PhD thesis, Universidade Federal de Sao Carlos (UFSCar), 2021.
- V. V. Shchigolev. Examples of infinitely based T-spaces. Mat. Sb. 191, 3 (2000), 143–160 (in Russian); English translation in: Sb. Math. 191, 3 (2000), 459–476.
- P. N. Siderov. A basis for identities of an algebra of triangular matrices over an arbitrary field. Pliska Stud. Math. Bulgar. 2 (1981), 143–152 (in Russian).
- D. Silva, M. da Silva Souza. Specht property for the 2-graded identities of the Jordan algebra of a bilinear form. Comm. Algebra 45, 4 (2017), 1618–1626.
- I. Sviridova. Identities of PI-algebras graded by a finite Abelian group. Comm. Algebra 39, 9 (2011), 3462–3490.
- O. M. Di Vincenzo, P. Koshlukov, A. Valenti. Gradings on the algebra of upper triangular matrices and their graded identities. J. Algebra 275, 2 (2004), 550–566.
- M. R. Vaughan-Lee. Varieties of Lie algebras. Quart. J. Math. Oxford Ser. (2) 21 (1970), 297–308.
- M. R. Vaughan-Lee. Abelian-by-nilpotent varieties of Lie algebras. J. London Math. Soc. (2) 11, 3 (1975), 263–266.
- F. Y. Yasumura. Graded polynomial identities for the Lie algebra of upper triangular matrices of order 3. Comm. Algebra, 51, 6 (2023), 2293–2307.