Convergent presentations and polygraphic resolutions of associative algebras
From MaRDI portal
(Redirected from Publication:2272945)
Abstract: Several constructive homological methods based on noncommutative Gr"obner bases are known to compute free resolutions of associative algebras. In particular, these methods relate the Koszul property for an associative algebra to the existence of a quadratic Gr"obner basis of its ideal of relations. In this article, using a higher-dimensional rewriting theory approach, we give several improvements of these methods. We define polygraphs for associative algebras as higher-dimensional linear rewriting systems that generalise the notion of noncommutative Gr"obner bases, and allow more possibilities of termination orders than those associated to monomial orders. We introduce polygraphic resolutions of associative algebras, giving a categorical description of higher-dimensional syzygies for presentations of algebras. We show how to compute polygraphic resolutions starting from a convergent presentation, and how these resolutions can be linked with the Koszul property.
Recommendations
- Polygraphic resolutions and homology of monoids
- scientific article; zbMATH DE number 4202533
- Resolutions of Associative and Lie Algebras
- On constructing resolutions over the polynomial algebras
- Residually finite dimensional algebras and polynomial almost identities
- Projective resolutions of associative algebras and ambiguities.
- scientific article; zbMATH DE number 6440888
- Graded associative algebras and Grothendieck standard conjectures
- On Conway Algebras and the Homflypt Polynomial
- ^0_1-presentations of algebras
Cites work
- scientific article; zbMATH DE number 2125653 (Why is no real title available?)
- scientific article; zbMATH DE number 3170376 (Why is no real title available?)
- scientific article; zbMATH DE number 3933262 (Why is no real title available?)
- scientific article; zbMATH DE number 67429 (Why is no real title available?)
- scientific article; zbMATH DE number 3528212 (Why is no real title available?)
- scientific article; zbMATH DE number 3544216 (Why is no real title available?)
- scientific article; zbMATH DE number 1303765 (Why is no real title available?)
- scientific article; zbMATH DE number 1361350 (Why is no real title available?)
- scientific article; zbMATH DE number 1163427 (Why is no real title available?)
- scientific article; zbMATH DE number 2019939 (Why is no real title available?)
- scientific article; zbMATH DE number 789389 (Why is no real title available?)
- scientific article; zbMATH DE number 812874 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- scientific article; zbMATH DE number 2242607 (Why is no real title available?)
- scientific article; zbMATH DE number 3104597 (Why is no real title available?)
- A finite Thue system with decidable word problem and without equivalent finite canonical system
- A finiteness condition for rewriting systems
- A note on a special one-rule semi-Thue system
- Algebraic operads. An algorithmic companion
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- An introduction to commutative and noncommutative Gröbner bases
- Another denormalization theorem for abelian chain complexes
- 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
- Coherent presentations of Artin monoids
- Complete rewriting systems and homology of monoid algebras
- Confluence and Koszulity
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Gröbner bases for operads
- Gröbner deformations of hypergeometric differential equations
- Higher categorified algebras versus bounded homotopy algebras
- Higher-dimensional categories with finite derivation type
- Higher-dimensional normalisation strategies for acyclicity
- Higher-dimensional word problems with applications to equational logic
- History and basic features of the critical-pair/completion procedure
- Koszul Resolutions
- Koszul and Gorenstein properties for homogeneous algebras.
- Koszulity for nonquadratic algebras.
- Limits indexed by category-valued 2-functors
- Morse theory from an algebraic viewpoint
- On Monomial Algebras of Finite Global Dimension
- On the Homology of Associative Algebras
- On the homology of quotients of path algebras
- On theories with a combinatorial definition of 'equivalence'
- Polygraphs of finite derivation type
- Projective resolutions of straightening closed algebras generated by minors
- Quantized Koszul complexes
- Resolution of singularities of an algebraic variety over a field of characteristic zero. I
- Resolution of singularities of an algebraic variety over a field of characteristic zero. II
- Term Rewriting and All That
- The algebra of oriented simplexes
- The diamond lemma for ring theory
- Word problems and a homological finiteness condition for monoids
- Über die Deformation isolierter Singularitäten analytischer Mengen
Cited in
(21)- Shuffle polygraphic resolutions for operads
- Free precategories as presheaf categories
- Coherent confluence modulo relations and double groupoids
- Algebraic coherent confluence and higher globular Kleene algebras
- Rewriting modulo isotopies in pivotal linear (2,2)-categories
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups
- Koszul calculus for \(N\)-homogeneous algebras
- Koszul calculus
- Formal proofs of operator identities by a single formal computation
- Noncommutative Gröbner bases: applications and generalizations
- Algebra and geometry of rewriting
- Coherence for plactic monoids via rewriting theory and crystal structures
- On the Golod property of Stanley-Reisner rings
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
- Confluence of algebraic rewriting systems
- A lattice formulation of the noncommutative \(F_4\) procedure
- Single-set cubical categories and their formalisation with a proof assistant
- Tangent complexes and the Diamond Lemma
- Topological rewriting systems applied to standard bases and syntactic algebras
- Completion in operads via essential syzygies
- Operads with compatible CL-shellable partition posets admit a Poincaré-Birkhoff-Witt basis
This page was built for publication: Convergent presentations and polygraphic resolutions of associative algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2272945)
