Semilinear idempotent distributive l-monoids

TL;DR

This paper provides a comprehensive structural analysis of semilinear idempotent distributive l-monoids, including representation, subvariety classification, and amalgamation properties, advancing the understanding of their algebraic and order-theoretic features.

Contribution

It introduces a representation theorem for totally ordered idempotent monoids and characterizes subvarieties and amalgamation properties within this algebraic class.

Findings

Countably infinite lattice of subvarieties

Explicit description of subvarieties for commutative case

Identification of subvarieties with the amalgamation property

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 lattice of subvarieties is countably infinite. For the variety of commutative idempotent distributive l-monoids we give an explicit description of its lattice of subvarieties and show that each of its subvarieties is finitely axiomatized. 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.