On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra
- 48 Downloads
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.
Unable to display preview. Download preview PDF.