Rewriting as a Special Case of Noncommutative Groebner Basis Theory

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
article, 4 pages, LaTeX2e

Keywords

Combinatorics, 68Q42 (Primary) 16S15; 68Q40 (Secondary)

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/77947

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/9901044
 http://arxiv.org/abs/math/9901044

Collections

arXiv