Abstract.
We investigate, for quotients of the non-commutative polynomial ring, a property that implies finiteness of Gröbner bases computation, and examine its connection with Noetherianity. We propose a Gröbner bases theory for our factor algebras, of particular interest for one-sided ideals, and show a few applications, e.g. how to compute (one-sided) syzygy modules.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: September 29, 1999; revised version: October 25, 2000
Rights and permissions
About this article
Cite this article
Nordbeck, P. On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra. AAECC 11, 157–180 (2001). https://doi.org/10.1007/s002000000045
Issue Date:
DOI: https://doi.org/10.1007/s002000000045