Computing minimal free resolutions of right modules over noncommutative algebras

DOI10.1016/J.JALGEBRA.2017.01.048MaRDI QIDQ515623zbMATH OpenOpenAlexFDO

Authors Roberto La Scala

Publication date 16 March 2017

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1605.06944

zbMATH Keywords

homology of graded algebrasletterplace correspondenceminimal free resolutions

Mathematics Subject Classification ID

Syzygies, resolutions, complexes in associative algebras (16E05) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Computational aspects of associative rings (general theory) (16Z05)

Abstract: 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.

Recommendations

• On computation of minimal free resolutions over solvable polynomial algebras.
• Computing minimal finite free resolutions
• Constructing projective resolutions
• scientific article; zbMATH DE number 5055021
• Strategies for computing minimal free resolutions

Cites work

• A primer on ideal theoretical operation in non-commutative polynomial rings
• An algorithmic approach to resolutions
• Extended letterplace correspondence for nongraded noncommutative ideals and related algorithms.
• Graded syzygies
• Gröbner bases and the computation of group cohomology.
• Gröbner bases of ideals invariant under endomorphisms.
• scientific article; zbMATH DE number 3819909 (Why is no real title available?)
• scientific article; zbMATH DE number 1263375 (Why is no real title available?)
• scientific article; zbMATH DE number 2151198 (Why is no real title available?)
• scientific article; zbMATH DE number 812874 (Why is no real title available?)
• scientific article; zbMATH DE number 2242607 (Why is no real title available?)
• Letterplace ideals and non-commutative Gröbner bases.
• Linear equations over noncommutative graded rings.
• Monomial right ideals and the Hilbert series of noncommutative modules
• Noncommutative Noetherian rings. With the cooperation of L. W. Small.
• On the Homology of Associative Algebras
• Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra.

Cited in

(8)

• Multigraded Hilbert series of noncommutative modules
• On PI-algebras with additional structures: rationality of Hilbert series and Specht's problem
• Noncommutative algebras, context-free grammars and algebraic Hilbert series
• On computation of minimal free resolutions over solvable polynomial algebras.
• Hilbert series of T-spaces
• On the regularity of the language of some T-ideals
• Computing representation matrices for the action of Frobenius on cohomology groups
• Context-free languages and associative algebras with algebraic Hilbert series

Describes a project that uses

Uses Software

• Plural
• SINGULAR

This page was built for publication: Computing minimal free resolutions of right modules over noncommutative algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515623)