2024/04/22 by Zhang, Huhu, Gao, Xing, Wu, Tingzeng +1 · 1 citation
#05A05 #16W99 #18M70 #FOS: Mathematics #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.2404.13894
Bremner and Elgendy developed a classification of operated polynomial identities for linear operators on associative algebras, encompassing both classical and newly discovered cases. Within the framework of Rota's Program, each of these new operated associative polynomial identities was shown to be Gröbner-Shirshov. This naturally led to a question posed by Guo and collaborators: is each corresponding operated Lie polynomial identity also Gröbner-Shirshov? In this paper, we provide an affirmative answer by proving that each such Lie analogue indeed is Gröbner-Shirshov, thereby enriching the development of Rota's Program on algebraic operators within the Lie algebraic setting.