Comparing Gr\"obner bases and word reversing
Group Theory
2007-12-05 v1
Abstract
Gr\"obner bases, in their noncommutative version, and word reversing are methods for solving the word problem of a presented monoid, and both rely on iteratively completing the initial list of relations. Simple examples may suggest to conjecture that both completion procedures are closely related. Here we disprove this conjecture by exhibiting families of presentations for which they radically differ.
Keywords
Cite
@article{arxiv.0712.0525,
title = {Comparing Gr\"obner bases and word reversing},
author = {Marc Autord},
journal= {arXiv preprint arXiv:0712.0525},
year = {2007}
}