Specht property for the graded identities of the pair ( M 2 ( D ) , sl 2 ( D ))

Autor(es)

Codamo, Ramon ; Koshlukov, Plamen

• Tipo de documento: Artigo Científico
• Fonte: Linear Algebra and its Applications; v. 698, p. 18-pg., 2024-06-21.

Resumo

Let D be a Noetherian infinite integral domain, denote by M 2 ( D ) and by sl 2 ( D ) the 2 x 2 matrix algebra and the Lie algebra of the traceless matrices in M 2 ( D ), respectively. In this paper we study the weak polynomial identities for the natural grading by the cyclic group Z 2 of order 2 on M 2 ( D ) and on sl 2 ( D ). We describe a finite basis of the graded polynomial identities for the pair ( M 2 ( D ) , sl 2 ( D )). Moreover we prove that the ideal of the graded identities for this pair satisfies the Specht property, that is every ideal of graded identities of pairs (associative algebra, Lie algebra), satisfying the graded identities for ( M 2 ( D ) , sl 2 ( D )), is finitely generated. The polynomial identities for M 2 ( D ) are known if D is any field of characteristic different from 2. The identities for the Lie algebra sl 2 ( D ) are known when D is an infinite field. The identities for the pair we consider were first described by Razmyslov when D is a field of characteristic 0, and afterwards by the second author when D is an infinite field. The graded identities for the pair ( M 2 ( D ) , gl 2 ( D )) were also described, by Krasilnikov and the second author. In order to obtain these results we use certain graded analogues of the generic matrices, and also techniques developed by G. Higman concerning partially well ordered sets. (c) 2024 Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies. (AU)

• Processo FAPESP: 18/23690-6 - Estruturas, representações e aplicações de sistemas algébricos
• Beneficiário: Ivan Chestakov
• Modalidade de apoio: Auxílio à Pesquisa - Temático