Gröbner bases and coherentness of monomial associative algebras

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.