Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Documenta Mathematic...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Documenta Mathematica
Article . 2024 . Peer-reviewed
Data sources: Crossref
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 2024
Data sources: zbMATH Open
versions View all 2 versions
addClaim

Topological finiteness properties of monoids, II: Special monoids, one-relator monoids, amalgamated free products, and HNN extensions

Topological finiteness properties of monoids. II: Special monoids, one-relator monoids, amalgamated free products, and HNN extensions
Authors: Robert D. Gray; Benjamin Steinberg;

Topological finiteness properties of monoids, II: Special monoids, one-relator monoids, amalgamated free products, and HNN extensions

Abstract

We show how topological methods developed in a previous article can be applied to prove new results about topological and homological finiteness properties of monoids. A monoid presentation is called special if the right-hand side of each relation is equal to 1 . We prove results which relate the finiteness properties of a monoid defined by a special presentation with those of its group of units. Specifically we show that the monoid inherits the finiteness properties \mathrm{F}_{n} and \mathrm{FP}_{n} from its group of units. We also obtain results which relate the geometric and cohomological dimensions of such a monoid to those of its group of units. We apply these results to prove a Lyndon’s Identity Theorem for one-relator monoids of the form \langle A \mid r=1 \rangle . In particular, we show that all such monoids are of type \mathrm{F}_{\infty} (and \mathrm{FP}_{\infty} ), and that when r is not a proper power, then the monoid has geometric and cohomological dimension at most 2 . The first of these results, resolves an important case of a question of Kobayashi from 2000 on homological finiteness properties of one-relator monoids. We also show how our topological approach can be used to prove results about the closure properties of various homological and topological finiteness properties for amalgamated free products and HNN-extensions of monoids. To prove these results we introduce new methods for constructing equivariant classifying spaces for monoids, as well as developing a Bass–Serre theory for free constructions of monoids. The submission date of this paper had been incorrectly displayed on the web page between 8 May 2024 and 5 June 2025. For the details, see the .

Related Organizations
Keywords

geometric dimension, monoid, free product with amalgamation, Homological methods in group theory, Topological methods in group theory, Free semigroups, generators and relations, word problems, cohomological dimension, Bass-Serre tree, one-relator monoid, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), HNN extension, classifying space, Hochschild cohomological dimension, homological finiteness property, Connections of semigroups with homological algebra and category theory, Geometric group theory, equivariant CW-complex, special monoid

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Published in a Diamond OA journal