homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
From MaRDI portal
Publication:3521674
Syzygies, resolutions, complexes and commutative rings (13D02) Homological dimension and commutative rings (13D05) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Syzygies, resolutions, complexes in associative algebras (16E05) Homological dimension in associative algebras (16E10) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30)
Abstract: The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R. The paper describes a way allowing one to realize such functors, e.g. Hom, tensor product, Ext, Tor, as a mathematical object in a computer algebra system. Once this is achieved, one can compose and derive functors and even iterate this process without the need of any specific knowledge of these functors. These ideas are realized in the ring independent package homalg. It is designed to extend any computer algebra software implementing the arithmetics of a computable ring R, as soon as the latter contains algorithms to solve inhomogeneous linear equations with coefficients in R. Beside explaining how this suffices, the paper describes the nature of the extensions provided by homalg.
Recommendations
- An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
- scientific article; zbMATH DE number 3984106
- Constructing homomorphism spaces and endomorphism rings.
- Some applications of Gröbner bases in homological algebra
- scientific article; zbMATH DE number 3125399
Cites work
- \textsc{OreModules}: A symbolic package for the study of multidimensional linear systems
- A Constructive Solution to Interconnection and Decomposition Problems with Multidimensional Behaviors
- Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
- Computation of bases of free modules over the Weyl algebras.
- Computing in algebraic geometry. A quick start using SINGULAR
- scientific article; zbMATH DE number 2206382 (Why is no real title available?)
- Janet's approach to presentations and resolutions for polynomials and linear PDEs
Cited in
(11)- conley: Computing connection matrices in Maple
- homalg
- A constructive approach to Freyd categories
- A computer algebra system for the study of commutativity up to coherent homotopies
- A constructive study of the module structure of rings of partial differential operators.
- An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
- Recent progress in an algebraic analysis approach to linear systems
- Grade filtration of linear functional systems.
- The \textsc{SDEval} benchmarking toolkit
- Basic module theory over non-commutative rings with computational aspects of operator algebras
- Almost direct sum decomposition and implementation of 2D behaviors
Describes a project that uses
Uses Software
This page was built for publication: homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3521674)
