Convergent presentations and polygraphic resolutions of associative algebras
From MaRDI portal
Publication:2272945
DOI10.1007/s00209-018-2185-zzbMath1423.16008arXiv1406.0815OpenAlexW2777301030MaRDI QIDQ2272945
Philippe Malbos, Eric Hoffbeck, Yves Guiraud
Publication date: 17 September 2019
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1406.0815
free resolutionsKoszulnesspolygraphsconfluence and terminationhigher-dimensional associative algebraslinear rewriting
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories ⋮ Koszul calculus for \(N\)-homogeneous algebras ⋮ Coherent confluence modulo relations and double groupoids ⋮ Algebraic coherent confluence and higher globular Kleene algebras ⋮ Shuffle polygraphic resolutions for operads ⋮ Coherence for plactic monoids via rewriting theory and crystal structures ⋮ Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups ⋮ Formal proofs of operator identities by a single formal computation ⋮ A lattice formulation of the noncommutative F4 procedure ⋮ From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work ⋮ Noncommutative Gröbner Bases: Applications and Generalizations ⋮ KOSZUL CALCULUS ⋮ Operads with compatible CL-shellable partition posets admit a Poincaré–Birkhoff–Witt basis ⋮ Topological rewriting systems applied to standard bases and syntactic algebras ⋮ Confluence of algebraic rewriting systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Higher-dimensional normalisation strategies for acyclicity
- Higher-dimensional word problems with applications to equational logic
- Another denormalization theorem for abelian chain complexes
- Complete rewriting systems and homology of monoid algebras
- Gröbner bases for operads
- A note on a special one-rule semi-Thue system
- A finite Thue system with decidable word problem and without equivalent finite canonical system
- History and basic features of the critical-pair/completion procedure
- Word problems and a homological finiteness condition for monoids
- The algebra of oriented simplexes
- The diamond lemma for ring theory
- Limits indexed by category-valued 2-functors
- Confluence and Koszulity
- Quantized Koszul complexes
- A finiteness condition for rewriting systems
- An introduction to commutative and noncommutative Gröbner bases
- Projective resolutions of straightening closed algebras generated by minors
- Gröbner deformations of hypergeometric differential equations
- Resolution of singularities of an algebraic variety over a field of characteristic zero. II
- 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
- Koszul and Gorenstein properties for homogeneous algebras.
- Über die Deformation isolierter Singularitäten analytischer Mengen
- Resolution of singularities of an algebraic variety over a field of characteristic zero. I
- On theories with a combinatorial definition of 'equivalence'
- Polygraphs of finite derivation type
- Higher-dimensional categories with finite derivation type
- On Monomial Algebras of Finite Global Dimension
- On the Homology of Associative Algebras
- On the homology of quotients of path algebras
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Term Rewriting and All That
- Higher categorified algebras versus bounded homotopy algebras
- Coherent presentations of Artin monoids
- Koszul Resolutions
- Morse theory from an algebraic viewpoint
- Algebraic Operads
- Koszulity for nonquadratic algebras.
This page was built for publication: Convergent presentations and polygraphic resolutions of associative algebras
