Semilinear idempotent distributive -monoids
From MaRDI portal
Publication:6199094
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.
Cites work
- scientific article; zbMATH DE number 3875359 (Why is no real title available?)
- scientific article; zbMATH DE number 4091576 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3614837 (Why is no real title available?)
- scientific article; zbMATH DE number 3071073 (Why is no real title available?)
- A Representation Theorem for Distributive l-Monoids
- Algebras Whose Congruence Lattices are Distributive.
- Amalgamation and interpolation in ordered algebras.
- Amalgamations of Lattice Ordered Groups
- Associative, idempotent, symmetric, and order-preserving operations on chains
- Bases of identities of varieties of lattice ordered semigroups
- Commutative idempotent residuated lattices
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Conical residuated lattice-ordered idempotent monoids
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
- From distributive -monoids to -groups, and back again
- Idempotent Semigroups
- Minimal varieties of residuated lattices
- Note on the orderability of idempotent semigroups
- On n ‐contractive fuzzy logics
- On subdirectly irreducible lattice-ordered semigroups
- On the Relationship Between AP, RS and CEP
- Ordering by Divisibility in Abstract Algebras
- Representable divisibility semigroups
- Representable idempotent commutative residuated lattices
- Residuated lattices. An algebraic glimpse at substructural logics
- Strong amalgamation of distributive lattices
- Structure theorems for idempotent residuated lattices
- Sur l'extension aux relations de quelques propriétés des ordres
- Sur les O-bandes
- Sur les \(\sigma\)-bandes finies et les demi-groupes totalement ordonnes \(\sigma\)-simples
- Sur les bandes reticulees
- Sur les demi-groupes réticulés et les O-demi-groupes. (Lattice ordered semigroups and O-semigroups)
- The FEP for some varieties of fully distributive knotted residuated lattices
- The lattice-ordered group of automorphisms of an ordered set
- The orderability of idempotent semigroups
- The structure of idempotent residuated chains.
- The subvariety lattice for representable idempotent commutative residuated lattices
- Varieties of BL-algebras. I: General properties.
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)
