New operated polynomial identities and Gröbner-Shirshov bases

Abstract

Quite recently, Bremner et al. introduced a new approach to Rota's Classification Problem and classified some (new) operated polynomial identities. In this paper, we prove that all operated polynomial identities classified by Bremner et al. are Gröbner-Shirshov.