Rewriting as a Special Case of Noncommutative Groebner Basis Theory
Combinatorics
2007-05-23 v1
Abstract
Rewriting for semigroups is a special case of Groebner basis theory for noncommutative polynomial algebras. The fact is a kind of folklore but is not fully recognised. The aim of this paper is to elucidate this relationship, showing that the noncommutative Buchberger algorithm corresponds step-by-step to the Knuth-Bendix completion procedure.
Keywords
Cite
@article{arxiv.math/9901044,
title = {Rewriting as a Special Case of Noncommutative Groebner Basis Theory},
author = {Anne Heyworth},
journal= {arXiv preprint arXiv:math/9901044},
year = {2007}
}
Comments
article, 4 pages, LaTeX2e