On computer-assisted research in homological algebra

Mathematics and Computers in Simulation

Volumn 42, Issue 4-6, 1996, Pages 475-490

  Roos, Jan Erik ^a  

^a STOCKHOLM UNIVERSITY   (Sweden)

Author keywords

Bergman; Hilbert series; Homological algebra; Loop spaces; Macaulay; Poincar Betti series

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTER APPLICATIONS; POLYNOMIALS; THEOREM PROVING; TOPOLOGY;

BERGMAN; HILBERT SERIES; HOMOLOGICAL ALGEBRA; LOOP SPACES; MACAULAY; POINCARE-BETTI SERIES;

ALGEBRA;

EID: 0030288246     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0378-4754(96)00023-7     Document Type: Article

References (20)

1. L.L. Avramov, Obstruction to the existence of multiplicative structures on minimal free resolutions, Amer. J. Math. 103 (1981) 1-31.
2. L.L. Avramov and J. Herzog, Jacobian criteria for complete intersections, Invent. Math. 117 (1984) 75-88.
3. J. Backelin, BERGMAN, A computer program in PSL for calculating Gröbner bases in the commutative and non-commutative settings. Available by anonymous ftp from 130.237.198.7 (Department of Mathematics, Stockholm University) in the directory pub/ src/bergman. More information from joeb@matematik.su.se.
4. J. Backelin and R. Fröberg, Poincaré series of short artinian rings, J. Algebra 96 (1985) 495-498.
5. D. Bayer and M. Stillman MACAULAY, version 3.0 for Sun 4 (SPARC), Sun 3, Macintosh, Amiga etc., available by anonymous ftp from math.harvard.edu (1989-1992). A TUTORIAL to MACAULAY written by Mike Stillman and Joan Falkenberg (1992) is also available here.
6. A. Beilinson, V. Ginsburg and W. Soergel, Koszul duality patterns in representation theory, J. Amer. Math. Soc. 9 (1996) 473-527.
7. H. Cartan and S. Eilenberg, Homological Algebra (Princeton University Press, Princeton, 1956).
8. A. Collino and W. Fulton, Intersection rings of spaces of triangles, Société Matématique de France, Mémoire 38 (1989) 75-117.
9. D. Cox, J. Little and D. Shea, Ideals, Varieties and Algorithms, An introduction to Algebraic Geometry and Commutative Algebra (Springer, Berlin, 1992).
10. L. Ein, D. Eisenbud and S. Katz, Varieties cut by quadrics: Scheme-theoretic versus homogeneous generation of ideals, in: A. Holme and R. Speiser, eds., Algebraic Geometry (Sundance, 1986) Lecture Notes in Mathematics, 1311 (Springer, Berlin, 1988) 51-70.
11. W. Fulton and R. MacPherson, A compactification of onfiguration spaces, Annals of Math. 139 (1994) 183-225.
12. J. M. Lemaire, Algèbres Connexes et Homologie des Espaces de Lacets, Lecture Notes in Mathematics, 411 (Springer, Berlin, 1973).
13. C. Löfwall, On the subalgebra generated by one-dimensional elements in the Yoneda Ext-algebra, in: J.-E. Roos, ed., Algebra, Algebraic Topology and their Interactions, Lecture Notes in Mathematics 1183 (Springer, Berlin, 1986) 291-338.
14. C. Löfwall, A change of rings theorem for local rings, in: J.M. Lemaire and J.C. Thomas, eds., Homotopie Algèbrique et Algébre Locale, Astérisque 113-114 (Soc. Math. France, Paris, 1984) 248-262.
15. J.W. Milnor and J.C. Moore, On the structure of Hopf algebras, Ann. of Math. 81 (1965) 211-264.
16. J.-E. Roos, Relations between the Poincaré-Betti series of Loop Spaces and of Local rings, Lecture Notes in Mathematics 740 (Springer, Berlin, 1979) 285-322.
17. J.-E. Roos, On the use of graded Lie algebras in the theory of local rings, in: R.Y. Sharp, ed., Commutative algebra (Durham, 1981), London Math. Soc. Lecture Notes Ser. Vol. 72 (Cambridge Univ. Press, Cambridge, 1982) 204-230.
18. J.-E. Roos, A computer-aided Study of the Graded Lie Algebra of a Local Noetherian Ring, with an Appendix B by Clas Löfwall, J. Pure Appl. Algebra 91 (1994) 255-315.
19. J.-E. Roos, Commutative non Koszul algebras having a linear resolution of arbitrarily high order. Applications to torsion in loop space homology, Comptes Rendus Acad. Sci. Paris, 316 (Série I) (1993) 1123-1128.
20. R. Stanley, Hilbert functions of graded algebras, Adv. in Math. 28 (1978) 57-83.