scientific article; zbMATH DE number 67429
From MaRDI portal
Publication:4012139
relationsclassifying spacenormal formsgeneratorsgrouphomotopy typemonoidcomplete rewriting systemexplicit resolutionirreducible wordsquotient complex\(n\)-cellstype \(FP_ \infty\)
Generators, relations, and presentations of groups (20F05) Homological methods in group theory (20J05) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35) Grammars and rewriting systems (68Q42) Resolutions; derived functors (category-theoretic aspects) (18G10) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Free semigroups, generators and relations, word problems (20M05)
Recommendations
- Rewriting systems and geometric three-manifolds
- Topological rewriting and the geometrization of programming
- Rewriting systems, plain groups, and geodetic graphs
- Algebra and geometry of rewriting
- Rewriting input expressions in complex algebraic geometry provers
- Existence, Uniqueness, and Construction of Rewrite Systems
- The geometry of cubical and regular transition systems
- Proof analysis beyond geometric theories: from rule systems to systems of rules
- Geodesic rewriting systems and pregroups
- Rewriting systems for the surface classification theorem
Cited in
(49)- Theorem proving with group presentations: examples and questions
- Gilman's conjecture
- Shuffle polygraphic resolutions for operads
- Homological finiteness properties of monoids, their ideals and maximal subgroups.
- Infinite complete group presentations
- Contractibility of the orbit space of the 𝑝-subgroup complex via Brown-Forman discrete Morse theory
- Growth functions, rewriting systems, and the Euler characteristic
- Word problems and a homological finiteness condition for monoids
- A unified view on the functorial nerve theorem and its variations
- Chains of modular elements and shellability
- Groups of Piecewise Linear Homeomorphisms
- Rewriting systems of Coxeter groups
- Matching and independence complexes related to small grids
- Correspondence between factorability and normalization in monoids
- Noncommutative Gröbner bases: applications and generalizations
- Subgroups of finite index in groups with finite complete rewriting systems
- Convergent presentations and polygraphic resolutions of associative algebras
- Higher-dimensional normalisation strategies for acyclicity
- A 3-skeleton for a classifying space for the symmetric group
- Two-sided homological properties of special and one-relator monoids
- Low-dimensional (co)homology of free Burnside monoids
- Coherence for plactic monoids via rewriting theory and crystal structures
- Restricted rotation distance between binary trees.
- The Chameleon groups of Richard J. Thompson: Automorphisms and dynamics
- Growth series of the braid monoid \(\mathrm{MB}_5\) in band generators
- scientific article; zbMATH DE number 848081 (Why is no real title available?)
- Bestvina-Brady discrete Morse theory and Vietoris-Rips complexes
- Rewriting systems over similarity and generalized pseudometric spaces and their properties
- Homological and finiteness properties of picture groups
- The word problem for one-relation monoids: a survey
- Diagram groups and directed 2-complexes: homotopy and homology.
- Cell complexes, poset topology and the representation theory of algebras arising in algebraic combinatorics and discrete geometry
- Homology and closure properties of autostackable groups
- On the growth and integral (co)homology of free regular star-monoids
- Coherent presentations of monoids with a right-Noetherian Garside family
- A Lyndon's identity theorem for one-relator monoids
- An algorithm for computing homology groups
- Groupoids and the algebra of rewriting in group presentations
- Geodesic rewriting systems and pregroups
- Restricted rotation distance between k-ary trees
- Discrete Morse theory on \(\Omega S^2\)
- Polygraphs of finite derivation type
- Crystal monoids \& crystal bases: rewriting systems and biautomatic structures for plactic monoids of types \(A_{n}\), \(B_{n}\), \(C_{n}\), \(D_{n}\), and \(G_{2}\)
- Soluble groups with a finite rewriting system
- Discrete Morse theory and localization
- Topological finiteness properties of monoids. I: Foundations
- On the cohomology rings of tree braid groups.
- Discrete Morse theory and graph braid groups.
- Contractibility of the orbit space of a saturated fusion system after Steinberg
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4012139)
