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 Akivis algebr
a, respectively. As applications, we show I.P. Shestakovs result that any Akivis algebra is linear and D. Segals result that the set of all good words in $X^{**}$ forms a linear basis of the free Pre-Lie algebra $PLie(X)$ generated by the set $X$. For completeness, we give the details of the proof of Shirshovs Composition-Diamond lemma for non-associative algebras.
In this paper, we define the Grobner-Shirshov basis for a dialgebra. The Composition-Diamond lemma for dialgebras is given then. As results, we give Grobner-Shirshov bases for the universal enveloping algebra of a Leibniz algebra, the bar extension o
f a dialgebra, the free product of two dialgebras, and Clifford dialgebra. We obtain some normal forms for algebras mentioned the above.
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.
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 $lambda$-differential
Rota-Baxter algebra, respectively. In particular, linear bases of these three free algebras are respectively obtained, which are essentially the same or similar to those obtained by Ebrahimi-Fard and Guo, and Guo and Keigher recently by using other methods.
In a recent paper by L. A. Bokut, V. V. Chaynikov and K. P. Shum in 2007, Braid group $B_n$ is represented by Artin-Buraus relations. For such a representation, it is told that all other compositions can be checked in the same way. In this note, we support this claim and check all compositions.
In this paper, a Groebner-Shirshov basis for the Chinese monoid is obtained and an algorithm for the normal form of the Chinese monoid is given.
In this paper, we prove that two-generator one-relator groups with depth less than or equal to 3 can be effectively embedded into a tower of HNN-extensions in which each group has the effective standard normal form. We give an example to show how to
deal with some general cases for one-relator groups. By using the Magnus method and Composition-Diamond Lemma, we reprove the G. Higman, B. H. Neumann and H. Neumanns embedding theorem.
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 Groebner-Shirshov basis in
$k[X] otimes k< Y>$, where $k[X]$ is a commutative algebra.
In this survey article, we report some new results of Groebner-Shirshov bases, including new Composition-Diamond lemmas, applications of some known Composition-Diamond lemmas and content of some expository papers.
In this paper, we review Shirshovs method for free Lie algebras invented by him in 1962 which is now called the Groebner-Shirshov bases theory.
