arXiv 0804.09592008-04math.GR

Groebner-Shirshov bases for free inverse semigroups

L. A. Bokut, Yuqun Chen, Xiangui Zhao

发表信息：: International Journal of Algebra and Computation, 19(2)(2009), 129-143

英文摘要：

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 (unique 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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Groebner-Shirshov basis for HNN extensions of groups and for the alternating group

In this paper, we generalize the Shirshov's Composition Lemma by replacing the monomial order for others. By using Groebner-Shirshov bases, the normal forms of HNN extension of a group and the alternating group are obtained.

2008-04-04math.GR

Groebner-Shirshov basis for the braid group in the Birman-Ko-Lee-Garside generators

In this paper, we obtain Groebner-Shirshov (non-commutative Gröbner) bases for the braid groups in the Birman-Ko-Lee generators enriched by new ``Garside word" $δ$. It gives a new algorithm for getting the Birman-Ko-Lee Normal Form in the braid groups, and thus a new algorithm for solving the word problem in these groups.

2008-06-06math.GR

Groebner-Shirshov bases for Schreier extensions of groups

In this paper, by using the Groebner-Shirshov bases, we give characterizations of the Schreier extensions of groups when the group is presented by generators and relations. An algorithm to find the conditions of a group to be a Schreier extension is obtained. By introducing a special total order, we obtain the structure of the Schreier extension by an HNN group.

2008-04-04math.GR

Groebner-Shirshov bases for some one-relator groups

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. Neumann's embedding theorem.

2008-05-15math.GR

Groebner-Shirshov Basis for the Chinese Monoid

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.

2008-05-15math.GRmath.RA

Groebner-Shirshov basis for the braid semigroup

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.

2008-06-06math.COmath.GR

更多相关论文收起更多论文

Groebner-Shirshov Bases: Some New Results

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.

2008-04-08math.GRmath.RA

Groebner-Shirshov basis for the braid group in the Artin-Garside generators

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}$.

2008-06-06math.COmath.GR

Gröbner-Shirshov bases for braid groups in Adyan-Thurston generators

In this paper, we give a Gröbner-Shirshov basis of the braid group $B_{n+1}$ in Adyan-Thurston generators. We also deal with the braid group of type $\bf{B}_{n}$. As results, we obtain a new algorithm for getting the Adyan-Thurston normal form, and a new proof that the braid semigroup $B^+_{n+1}$ is the subsemigroup in $B_{n+1}$.

2009-09-20math.GR

Markov and Artin normal form theorem for braid groups

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.

2008-06-06math.COmath.GR