2016/05/23 by Roberto La Scala, La Scala, Roberto
Mathematics · #16E40 #Commutative Algebra (math.AC) #FOS: Mathematics #Primary 16E05 #Rings and Algebras (math.RA) #Secondary 16Z05 #math.AC #math.RA #msc:16E05 #msc:16E40 #msc:16Z05
paper · pdf · doi:10.48550/arxiv.1605.06944
23 pages, to appear in Journal of Algebra
arxiv created 2017/03/03 · arxiv updated 2017/03/06
In this paper we propose a general method for computing a minimal free right resolution of a finitely presented graded right module over a finitely presented graded noncommutative algebra. In particular, if such module is the base field of the algebra then one obtains its graded homology. The approach is based on the possibility to obtain the resolution via the computation of syzygies for modules over commutative algebras. The method behaves algorithmically if one bounds the degree of the required elements in the resolution. Of course, this implies a complete computation when the resolution is a finite one. Finally, for a monomial right module over a monomial algebra we provide a bound for the degrees of the non-zero Betti numbers of any single homological degree in terms of the maximal degree of the monomial relations of the module and the algebra.