A Lyndon's identity theorem for one-relator monoids

DOI10.1007/S00029-022-00773-3arXiv1910.09914WikidataQ113906283 ScholiaQ113906283MaRDI QIDQ6327675FDOQ6327675

Authors: R. Gray, Benjamin Steinberg 

Publication date: 22 October 2019

Abstract: For every one-relator monoid $M=langleAmidu=vangle$ with $u,vin{A}^{*}$ 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.

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)

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)