A Lyndon's identity theorem for one-relator monoids

DOI10.1007/S00029-022-00773-3MaRDI QIDQ6327675arXivWikidataFDO

Authors R. Gray, Benjamin Steinberg

Publication date 22 October 2019

Mathematics Subject Classification ID

Geometric group theory (20F65) Homological methods in group theory (20J05) Topological methods in group theory (57M07) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Connections of semigroups with homological algebra and category theory (20M50) Free semigroups, generators and relations, word problems (20M05)

Abstract: For every one-relator monoid $M=langleAmidu=vangle$ with $u,vin{A}^{\ast }$ we construct a contractible $M$-CW complex and use it to build a projective resolution of the trivial module which is finitely generated in all dimensions. This proves that all one-relator monoids are of type ${mFP}_{i}nfty$, answering positively a problem posed by Kobayashi in 2000. We also apply our results to classify the one-relator monoids of cohomological dimension at most $2$, and to describe the relation module, in the sense of Ivanov, of a torsion-free one-relator monoid presentation as an explicitly given principal left ideal of the monoid ring. In addition, we prove the topological analogues of these results by showing that all one-relator monoids satisfy the topological finiteness property ${mF}_{i}nfty$, and classifying the one-relator moniods with geometric dimension at most $2$. These results give a natural monoid analogue of Lyndon's Identity Theorem for one-relator groups.

This page was built for publication: A Lyndon's identity theorem for one-relator monoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6327675)