AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION

DOI10.1142/S0219498811004562zbMath1227.18009arXiv1003.1943MaRDI QIDQ3006042

Mohamed Barakat, Markus Lange-Hegermann

Publication date: 10 June 2011

Published in: Journal of Algebra and Its Applications (Search for Journal in Brave)

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

zbMATH Keywords

localizationcomputable ringsabelian categoryconstructive homological algebra

Mathematics Subject Classification ID

Related Items (15)

Methods of constructive category theory ⋮ Linear systems over localizations of rings ⋮ On subdirect factors of a projective module and applications to system theory. ⋮ A Constructive Approach to the Module of Twisted Global Sections on Relative Projective Spaces ⋮ Grade filtration of linear functional systems. ⋮ Gauge backgrounds and zero-mode counting in F-theory ⋮ Coxeter and crystallographic arrangements are inductively free ⋮ A constructive study of the module structure of rings of partial differential operators. ⋮ Characterizing Serre quotients with no section functor and applications to coherent sheaves ⋮ Zacharias representation of effective associative rings ⋮ A constructive approach to Freyd categories ⋮ On the ext-computability of Serre quotient categories ⋮ On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture ⋮ An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties ⋮ Computing the nonfree locus of the moduli space of arrangements and Terao’s freeness conjecture

Uses Software

• GAP
• homalg
• SINGULAR
• Kenzo
• OreModules
• Janet
• LocalizeRingForHomalg

Cites Work

• Faisceaux algébriques cohérents
• An introduction to homological algebra
• Algorithms for the Quillen-Suslin theorem
• Computing in algebraic geometry. A quick start using SINGULAR
• 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.
• Effective algorithms for parametrizing linear control systems over Ore algebras
• OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems
• homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
• A Constructive Solution to Interconnection and Decomposition Problems with Multidimensional Behaviors

This page was built for publication: AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION