Some new operated Lie polynomial identities and Gr\"obner-Shirshov bases

Abstract

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\"obner-Shirshov. This naturally led to a question posed by Guo and collaborators: is each corresponding operated Lie polynomial identity also Gr\"obner-Shirshov? In this paper, we provide an affirmative answer by proving that each such Lie analogue indeed is Gr\"obner-Shirshov, thereby enriching the development of Rota's Program on algebraic operators within the Lie algebraic setting.