Gr\"obner-Shirshov bases and linear bases for free differential type algebras over algebras

TL;DR

This paper develops methods to construct Gr"obner-Shirshov bases and linear bases for free differential type algebras over arbitrary algebras, extending previous results and introducing new monomial orders.

Contribution

It provides a complete solution for constructing operated Gr"obner-Shirshov bases for differential type algebras, including new monomial orders and handling of special examples.

Findings

Established conditions under which $\

Introduced new monomial orders for differential type algebras

Constructed explicit linear bases for these algebras

Abstract

We study a question which can be roughly stated as follows: Given a (unital or nonunital) algebra $A$ together with a Gr\"obner-Shirshov basis $G$, consider the free operated algebra $B$ over $A$, such that the operator satisfies some polynomial identities $\Phi$ which are Gr\"obner-Shirshov in the sense of Guo et al., when doesthe union $\Phi\cup G$ will be an operated Gr\"obner-Shirshov basis for $B$? We answer this question in the affirmative under a mild condition in our previous work with Wang. When this condition is satisfied, $\Phi\cup G$ is an operated Gr\"obner-Shirshov basis for $ B$ and as a consequence, we also get a linear basis of $B$. However, the condition could not be applied directly to differential type algebras introduced by Guo, Sit and Zhang, including usual differential algebras. This paper solves completely this problem for differential type algebras.Some new monomial orders are introduced which, together with some known ones, permit the application of the previous result to most of differential type algebras, thus providing new operated GS bases and linear bases for these differential type algebras.Versions are presented both for unital and nonunital algebras. However, a class of examples are also presented, for which the natural expectation in the question is wrong and these examples are dealt with by direct inspection.