Representations of distributive lattice-ordered semigroups with binary relations (Q2277499): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some sufficient conditions for the representability of relation algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonfinite axiomatizability results for cylindric and relation algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraization of quantifier logics, an introductory overview / rank | |||
Normal rank |
Revision as of 16:16, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Representations of distributive lattice-ordered semigroups with binary relations |
scientific article |
Statements
Representations of distributive lattice-ordered semigroups with binary relations (English)
0 references
1991
0 references
This paper studies the problem of representing (semi) lattice-ordered semigroups by binary relations. Let R be the class of all algebras which are isomorphic to structures whose elements are binary relations together with the operations of union, intersection and composition of relations. It is shown that R is not a variety and that it is not finitely axiomatizable. The variety generated by R is proved to be the class of all distributive lattice-ordered semigroups by showing that every free member of the latter class is representable. More generally, it is proved that every semilattice-ordered semigroup whose semilattice is distributive, is representable as a semigroup of binary relations endowed with the operations of union and composition. The class of all these latter algebras was previously shown by \textit{D. A. Bredihin} and \textit{B. M. Schein} [Colloq. Math. 39, 1-12 (1978; Zbl 0389.06013)] to coincide with the class of all semilattice-ordered semigroups.
0 references
representation by binary relations
0 references
lattice-ordered semigroups
0 references
variety
0 references
semilattice-ordered semigroup
0 references