On computer-assisted research in homological algebra

Jan-Erik Roos

Mathematics and Computers in Simulation (MATCOM), 1996, vol. 42, issue 4, 475-490

Abstract: We give a survey of how computer algebra can be used to help the mathematician to guess results and to prove theorems in homological algebra. Our main point is that the Poincaré-Betti series of a commutative graded algebra contains much deeper information and is harder to calculate than the Hilbert series of the same algebra. However, in many cases (going far beyond the so-called Koszul algebras), the two series are closely related, and this gives an interesting theory. This theory could hardly have been revealed without an intensive use of the programs MACAULAY by Dave Bayer and Michael Stillman and BERGMAN by Jörgen Backelin. We also present new results and conjectures inspired by these studies and indicate how our results are related to problems in algebraic geometry and algebraic topology.

Keywords: Homological algebra; Macaulay; Bergman; Hilbert series; Poincaré-Betti series; Loop spaces (search for similar items in EconPapers)
Date: 1996
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475496000237
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:42:y:1996:i:4:p:475-490

DOI: 10.1016/S0378-4754(96)00023-7

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().