scientific article
zbMATH Open0764.20016MaRDI QIDQ4012139FDOQ4012139
Publication date: 27 September 1992
Title of this publication is not available (Why is that?)
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)
Cited In (40)
- Shuffle polygraphic resolutions for operads
- Homological finiteness properties of monoids, their ideals and maximal subgroups.
- Contractibility of the orbit space of the 𝑝-subgroup complex via Brown-Forman discrete Morse theory
- Infinite complete group presentations
- Growth functions, rewriting systems, and the Euler characteristic
- A unified view on the functorial nerve theorem and its variations
- Bestvina–Brady discrete Morse theory and Vietoris–Rips complexes
- Groups of Piecewise Linear Homeomorphisms
- Chains of modular elements and shellability
- Rewriting systems of Coxeter groups
- Matching and independence complexes related to small grids
- 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
- Low-dimensional (co)homology of free Burnside monoids
- Coherence for plactic monoids via rewriting theory and crystal structures
- Title not available (Why is that?)
- 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
- 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
- Cell complexes, poset topology and the representation theory of algebras arising in algebraic combinatorics and discrete geometry
- Homology and closure properties of autostackable groups
- Diagram groups and directed 2-complexes: homotopy and homology.
- Noncommutative Gröbner Bases: Applications and Generalizations
- 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
- Geodesic rewriting systems and pregroups
- Discrete Morse theory on \(\Omega S^2\)
- Restricted rotation distance between k-ary trees
- Polygraphs of finite derivation type
- Soluble groups with a finite rewriting system
- 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}\)
- 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.
Recommendations
- Existence, Uniqueness, and Construction of Rewrite Systems 👍 👎
- Proof analysis beyond geometric theories: from rule systems to systems of rules 👍 👎
- Rewriting systems and geometric three-manifolds 👍 👎
- Topological rewriting and the geometrization of programming 👍 👎
- Geodesic rewriting systems and pregroups 👍 👎
- Algebra and geometry of rewriting 👍 👎
- Rewriting systems, plain groups, and geodetic graphs 👍 👎
- Rewriting input expressions in complex algebraic geometry provers 👍 👎
- The geometry of cubical and regular transition systems 👍 👎
- Rewriting systems for the surface classification theorem 👍 👎
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)
