Rewriting as a Special Case of Noncommutative Groebner Basis Theory
classification
🧮 math.CO
keywords
noncommutativebasiscasegroebnerrewritingspecialtheoryalgebras
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.