Skip to main content Accessibility help
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Print publication year: 2000
  • Online publication date: July 2010

8 - Rewriting as a special case of non-commutative Gröbner basis theory



Rewriting for semigroups is a special case of Gröbner basis theory for noncommutative polynomial algebras. The fact is a kind of folklore but is not fully recognised. So our aim in this paper is to elucidate this relationship. A good introduction to string rewriting is, and a recent introduction to non-commutative Gröbner basis theory is. Similarities between the two critical pair completion methods (Knuth-Bendix and Buchberger's algorithm) have often been pointed out in the commutative case. The connection was first observed in and more closely analysed in and more recently in and. In particular it is well known that the commutative Buchberger algorithm may be applied to presentations of abelian groups to obtain complete rewrite systems.

Rewriting involves a presentation sgpX|R〉 of a semigroup S and presents S as a factor semigroup X / =R where X is the free semigroup on X and =R is the congruence generated by the subset R of X × X. Non-commutative Gröbner basis theory involves a presentation algX|F〉 of a non-commutative algebra A over a field K and presents A as a factor algebra K[X]/〈F〉 where K[X] is the free K-algebra on the semigroup X and 〈F〉 is the ideal generated by F, a subset of K[X].