Word problems and a homological finiteness condition for monoids
From MaRDI portal
Publication:1105040
DOI10.1016/0022-4049(87)90129-0zbMATH Open0648.20045OpenAlexW2003559293MaRDI QIDQ1105040FDOQ1105040
Authors: Craig C. Squier 
Publication date: 1987
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(87)90129-0
Recommendations
free monoidirreducible elementsboundary mapsolvable word problemreplacementscomplete rewriting systemfree \({bbfZ}S\)-resolutionterminating Church-Rosser presentationtype \((FP)_ 3\)
Generators, relations, and presentations of groups (20F05) Homological methods in group theory (20J05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On theories with a combinatorial definition of 'equivalence'
- Finiteness properties of groups
- Free differential calculus. I: Derivation in the free group ring. II: The isomerphism problem of groups. III: Subgroups
- Title not available (Why is that?)
- Some Properties of Conversion
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Finiteness properties of solvable S-arithmetic groups: An example
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Finitely Presented Group Whose 3-Dimensional Integral Homology is not Finitely Generated
- The first cohomology of a group with permutation module coefficients
- A note on a special one-rule semi-Thue system
- Title not available (Why is that?)
- Title not available (Why is that?)
- A connection between the integral homology and the centre of a rational linear group
Cited In (86)
- Complete rewriting systems and homology of monoid algebras
- Undecidable properties of monoids with word problem solvable in linear time. II: Cross sections and homological and homotopical finiteness conditions.
- Homology of Gaussian groups.
- Infinite complete group presentations
- Presentations for subgroups of monoids
- Complete semi-Thue systems for abelian groups
- A folk model structure on omega-cat
- Polygraphic resolutions and homology of monoids
- Growth functions, rewriting systems, and the Euler characteristic
- On some homotopical and homological properties of monoid presentations.
- Finite derivation type for semi-direct products of monoids
- Ends for subsemigroups of finite index.
- Rewriting systems in alternating knot groups with the Dehn presentation
- Complexity, combinatorial group theory and the language of palutators
- Analysis approach to finite monoids
- The algebra of rewriting for presentations of inverse monoids
- Finite complete rewriting systems and finite derivation type for small extensions of monoids
- A convenient category of locally preordered spaces
- Rewriting systems of Coxeter groups
- A finiteness condition for rewriting systems
- An introduction to commutative and noncommutative Gröbner bases
- Finite homotopy bases of one-relator monoids
- FINITENESS CONDITIONS FOR REWRITING SYSTEMS
- A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
- Graph groups are biautomatic
- Homotopy reduction systems for monoid presentations
- Constructing finitely presented monoids which have no finite complete presentation
- Higher-dimensional normalisation strategies for acyclicity
- Algebra and geometry of rewriting
- Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings
- SOME EXACT SEQUENCES FOR THE HOMOTOPY (BI-)MODULE OF A MONOID
- Möbius functions and confluent semi-commutations
- On 0-homology of categorical at zero semigroups.
- THE p-COCKCROFT PROPERTY OF THE SEMI-DIRECT PRODUCTS OF MONOIDS
- Confluence of algebraic rewriting systems
- 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
- For finitely presented monoids the homological finiteness conditions FHT and \(\text{bi-FP}_3\) coincide
- About the descriptive power of certain classes of finite string-rewriting systems
- Commutative monoids have complete presentations by free (non-commutative) monoids
- A new approach to connect algebra with analysis: relationships and applications between presentations and generating functions
- Artin groups, rewriting systems and three-manifolds
- Generators and relations for subsemigroups via boundaries in Cayley graphs.
- THE HOMOLOGICAL FINITENESS PROPERTY FP1 AND FINITE GENERATION OF MONOIDS
- Pseudo-natural algorithms for finitely generated presentations of monoids and groups
- The next step of the word problem over monoids.
- ON THE WORD PROBLEM FOR TENSOR PRODUCTS AND AMALGAMS OF MONOIDS
- Towards an algebraic theory of Boolean circuits.
- THE PROPERTY FDT IS UNDECIDABLE FOR FINITELY PRESENTED MONOIDS THAT HAVE POLYNOMIAL-TIME DECIDABLE WORD PROBLEMS
- A Lyndon's identity theorem for one-relator monoids
- An algorithm for computing homology groups
- Restrictions of congruences generated by finite canonical string-rewriting systems
- FDT is undecidable for finitely presented monoids with solvable word problems
- Conditional semi-Thue systems for presenting monoids
- Presentations of higher dimensional Thompson groups.
- Finitely presented monoids with linear Dehn function need not have regular cross-sections.
- Polygraphs of finite derivation type
- Soluble groups with a finite rewriting system
- ON THE ZAPPA-SZÉP PRODUCT
- Semigroups satisfying x m+n = x n
- ON HOMOTOPICAL AND HOMOLOGICAL FINITENESS CONDITIONS FOR FINITELY PRESENTED MONOIDS
- SECOND ORDER DEHN FUNCTIONS OF GROUPS AND MONOIDS
- A finitely presented monoid which has solvable word problem but has no regular complete presentation
- Theorem proving with group presentations: examples and questions
- Efficiency for self semi-direct products of the free Abelian monoid on two generators.
- Shuffle polygraphic resolutions for operads
- A lower bound of the number of rewrite rules obtained by homological methods
- A short scientific biography of Maurice Nivat
- Effective topological complexity of orientable-surface groups
- A cubical Squier's theorem
- Free precategories as presheaf categories
- Rewriting in Gray categories with applications to coherence
- Convergent presentations and polygraphic resolutions of associative algebras
- On the Efficiency of the Direct Products of Monogenic Monoids
- Low-dimensional (co)homology of free Burnside monoids
- Weights, growth, and amenability
- Rewriting in varieties of idempotent semigroups
- Minimal But Inefficient Presentations for Self Semidirect Products of the Free Abelian Monoid on Two Generators
- Tangent complexes and the Diamond Lemma
- Topological rewriting systems applied to standard bases and syntactic algebras
- Groupoids and the algebra of rewriting in group presentations
- A new example for minimality of monoids.
- An almost-confluent congruential language which is not Church-Rosser congruential
- Topological finiteness properties of monoids. I: Foundations
- A rewriting coherence theorem with applications in homotopy type theory
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
This page was built for publication: Word problems and a homological finiteness condition for monoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1105040)
