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 A 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 A 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 A is coherent.

Main page Contents of the journal News Search

Location: http://mech.math.msu.su/~fpm/eng/96/962/96207h.htm
Last modified: March 19, 2005