Semilinear idempotent distributive -monoids

From MaRDI portal
Publication:6199094

DOI10.1016/J.JPAA.2024.107627arXiv2210.16576OpenAlexW4391252191MaRDI QIDQ6199094FDOQ6199094


Authors: Simon Santschi Edit this on Wikidata


Publication date: 23 February 2024

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We prove a representation theorem for totally ordered idempotent monoids via a nested sum construction. Using this representation theorem we obtain a characterization of the subdirectly irreducible members of the variety of semilinear idempotent distributive l-monoids and a proof that its subvariety lattice is countably infinite. For the variety of commutative idempotent distributive l-monoids we give an explicit description of its subvariety lattice and show that each of its subvarieties is axiomatized relative to it by a single equation. Finally we give a characterization of which spans of totally ordered idempotent monoids have an amalgam in the class of totally ordered monoids, showing in particular that the class of totally ordered commutative idempotent monoids has the strong amalgamation property and that various classes of distributive l-monoids do not have the amalgamation property. We also show that exactly seven non-trivial finitely generated subvarieties of the variety of semilinear idempotent distributive l-monoids have the amalgamation property; we are able to determine for all but three of its subvarieties whether they have the amalgamation property or not.


Full work available at URL: https://arxiv.org/abs/2210.16576







Cites Work






This page was built for publication: Semilinear idempotent distributive \(\ell\)-monoids

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