Semilinear idempotent distributive -monoids
From MaRDI portal
Publication:6199094
DOI10.1016/J.JPAA.2024.107627arXiv2210.16576OpenAlexW4391252191MaRDI QIDQ6199094FDOQ6199094
Authors: Simon Santschi
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
Ordered semigroups and monoids (06F05) Subdirect products and subdirect irreducibility (08B26) Lattices of varieties (08B15) Other generalizations of distributive lattices (06D75)
Cites Work
- Title not available (Why is that?)
- On n ‐contractive fuzzy logics
- Residuated lattices. An algebraic glimpse at substructural logics
- Title not available (Why is that?)
- Algebras Whose Congruence Lattices are Distributive.
- The lattice-ordered group of automorphisms of an ordered set
- Amalgamations of Lattice Ordered Groups
- Sur l'extension aux relations de quelques propriétés des ordres
- Varieties of BL-algebras. I: General properties.
- Amalgamation and interpolation in ordered algebras.
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Ordering by Divisibility in Abstract Algebras
- Idempotent Semigroups
- Minimal varieties of residuated lattices
- The structure of idempotent residuated chains.
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
- Strong amalgamation of distributive lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- Representable idempotent commutative residuated lattices
- The subvariety lattice for representable idempotent commutative residuated lattices
- Commutative idempotent residuated lattices
- Conical residuated lattice-ordered idempotent monoids
- Structure theorems for idempotent residuated lattices
- On subdirectly irreducible lattice-ordered semigroups
- Sur les demi-groupes réticulés et les O-demi-groupes. (Lattice ordered semigroups and O-semigroups)
- Bases of identities of varieties of lattice ordered semigroups
- Representable divisibility semigroups
- Title not available (Why is that?)
- Sur les bandes reticulees
- Note on the orderability of idempotent semigroups
- The orderability of idempotent semigroups
- Sur les O-bandes
- Sur les \(\sigma\)-bandes finies et les demi-groupes totalement ordonnes \(\sigma\)-simples
- On the Relationship Between AP, RS and CEP
- The FEP for some varieties of fully distributive knotted residuated lattices
- From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again
- A Representation Theorem for Distributive l-Monoids
- Associative, idempotent, symmetric, and order-preserving operations on chains
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)