Related papers: Composition-Diamond lemma for associative $n$-conf…
In this paper, we establish the Composition-Diamond lemma for free differential algebras. As applications, we give Groebner-Shirshov bases for free Lie-differential algebra and free commutative-differential algebra, respectively.
We construct free modules over an associative conformal algebra. We establish Composition-Diamond lemma for associative conformal modules. As applications, Gr\"obner-Shirshov bases of the Virasoro conformal module and module over the…
In this paper, we establish the Composition-Diamond lemma for $\lambda$-differential associative algebras over a field $K $ with multiple operators. As applications, we obtain Gr\"{o}bner-Shirshov bases of free $\lambda$-differential…
Let $C(B,N)$ be the free associative conformal algebra generated by a set $B$ with a bounded locality $N$. Let $S$ be a subset of $C(B,N)$. A Composition-Diamond lemma for associative conformal algebras is firstly established by Bokut,…
In this paper, by using Composition-Diamond lemma for Lie algebras, we give a Gr\"obner-Shirshov basis for free partially commutative Lie algebra over a commutative ring with unit. As an application, we obtain a normal form for such a Lie…
We establish the Composition-Diamond lemma for non-associative algebras over a free commutative algebra. As an application, we prove that every countably generated non-associative algebra over an arbitrary commutative algebra $K$ can be…
In this paper, we establish the Composition-Diamond lemma for right-symmetric algebras. As an application, we give a Gr\"{o}bner-Shirshov basis for universal enveloping right--symmetric algebra of a Lie algebra.
In this survey, we formulate the Gr\"{o}bner-Shirshov bases theory for associative algebras and Lie algebras. Some new Composition-Diamond lemmas and applications are mentioned.
In this paper, we establish the Composition-Diamond lemma for associative algebras with multiple linear operators. As applications, we obtain Groebner-Shirshov bases of free Rota-Baxter algebra, $\lambda$-differential algebra and…
In this paper, we construct a canonical linear basis for free commutative integro-differential algebras by applying the method of Gr\"obner-Shirshov bases. We establish the Composition-Diamond Lemma for free commutative differential…
In this paper, the Composition-Diamond lemma for commutative algebras with multiple operators is established. As applications, the Gr\"obner-Shirshov bases and linear bases of free commutative Rota-Baxter algebra, free commutative…
In this paper, we firstly establish Composition-Diamond lemma for $\Omega$-algebras. We give a Gr\"{o}bner-Shirshov basis of the free $L$-algebra as a quotient algebra of a free $\Omega$-algebra, and then the normal form of the free…
In this paper, we establish Composition-Diamond lemma for tensor product $k< X> \otimes k< Y>$ of two free algebras over a field. As an application, we construct a Groebner-Shirshov basis in $k< X> \otimes k< Y>$ by lifting a…
In this paper we give some relationships among the Groebner-Shirshov bases in free associative algebras, free left modules and "double-free" left modules (free modules over a free algebra). We give the Chibrikov's Composition-Diamond lemma…
In this paper, we establish the Composition-Diamond lemma for associative nonunitary Rota-Baxter algebras with weight $\lambda$. As applications, we obtain a linear basis of a free commutative Rota-Baxter algebra without unity and show that…
Let $A$ be a brace algebra. This structure implies that $A$ is also a pre-Lie algebra. In this paper, we establish Composition-Diamond lemma for brace algebras. Using this Composition-Diamond lemma we prove that each pre-Lie algebra $L$ can…
In this paper, we define the Gr\"obner-Shirshov basis for a dialgebra. The Composition-Diamond lemma for dialgebras is given then. As results, we give Gr\"obner-Shirshov bases for the universal enveloping algebra of a Leibniz algebra, the…
The notion of commutative integro-differential algebra was introduced for the algebraic study of boundary problems for linear ordinary differential equations. Its noncommutative analog achieves a similar purpose for linear systems of such…
In this paper, by using the Composition-Diamond lemma for non-associative algebras invented by A. I. Shirshov in 1962, we give Gr\"{o}bner-Shirshov bases for free Pre-Lie algebras and the universal enveloping non-associative algebra of an…
Let $Di\langle X\rangle$ be the free dialgebra over a field generated by a set $X$. Let $S$ be a monic subset of $Di\langle X\rangle$. A Composition-Diamond lemma for dialgebras is firstly established by Bokut, Chen and Liu in 2010…