On computer-assisted research in homological algebra
1996 (English)In: Mathematics and Computers in Simulation, ISSN 0378-4754, Vol. 42, no 4-6, 475-490 p.Article in journal (Refereed) Published
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 D. Bayer and M. Stillman and BERGMAN by J. 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.
Place, publisher, year, edition, pages
1996. Vol. 42, no 4-6, 475-490 p.
Homological algebra, Macaulay, Bergman, Hilbert series, Poincaré-Betti series, Loop spaces
IdentifiersURN: urn:nbn:se:su:diva-13294OAI: oai:DiVA.org:su-13294DiVA: diva2:179814