A new construction of a free inverse semigroup was obtained by Poliakova and Schein in 2005. Based on their result, we find a Groebner-Shirshov basis of a free inverse semigroup relative to the deg-lex order of words. In particular, we give the (uniq
ue and shortest) Groebner-Shirshov normal forms in the classes of equivalent words of a free inverse semigroup together with the Groebner-Shirshov algorithm to transform any word to its normal form.
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 this paper, we give a Groebner-Shirshov basis of the braid group $B_{n+1}$ in the Artin--Garside generators. As results, we obtain a new algorithm for getting the Garside normal form, and a new proof that the braid semigroup $B^+{n+1}$ is the subsemigroup in $B_{n+1}$.
In this paper we will present the results of Artin--Markov on braid groups by using the Groebner--Shirshov basis. As a consequence we can reobtain the normal form of Artin--Markov--Ivanovsky as an easy corollary.
In this paper, we obtain Groebner-Shirshov (non-commutative Grobner) bases for the braid groups in the Birman-Ko-Lee generators enriched by new ``Garside word $delta$. It gives a new algorithm for getting the Birman-Ko-Lee Normal Form in the braid gr
oups, and thus a new algorithm for solving the word problem in these groups.
We found Groebner-Shirshov basis for the braid semigroup $B^+_{n+1}$. It gives a new algorithm for the solution of the word problem for the braid semigroup and so for the braid group.
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.
