FUNDAMENTALNAYA
I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
1996, VOLUME 2, NUMBER 2, PAGES 501-509
Gröbner bases and coherentness of monomial associative algebras
D. I. Piontkovsky
Abstract
View as HTML
View as gif image
Let be an
associative algebra which is defined by a finite number of monomial
relations.
In this paper we show that any finitely generated one-sided ideal
in has a
finite Gröbner basis.
We propose an algorithm for constructing of this basis.
As a consequence we obtain an algorithm for computation of syzygy
module for the system of generators of the ideal.
In particular, this syzygy module is finitely generated.
It means that
is coherent.
Location: http://mech.math.msu.su/~fpm/eng/96/962/96207h.htm
Last modified: March 19, 2005