Abstract
Order-theoretic properties of the complete latticeE(A) of indempotent binary relations ρ=ρ2 on the given setA are investigated. The elements ρ ofE(A) are classified according to theirfixed field I(ρ)={a∈A|(a, a)∈ρ} as being either offinite type, dense, or ofmixed type. When |A|>1E(A) is a non-atomic, non-coatomic lattice in which each element is a meet of meet-irreducible elements. The elements ofE(A) which are joins of join-irreducible elements form a compactly generated complete latticeF(A) which is a join-sublattice ofE(A) consisting of all elements having finite type. The setsD(A), M(A) of elements ρ ofE(A) which are dense (i.e., satisfy ρ≠ϕ andI(ρ)=ϕ) or of mixed type (i.e., are neither dense nor of finite type) resp. are non-empty only when |A| is infinite.D(A) is a partial meet-subsemilattice ofE(A) admitting no minimal elements. The group of order automorphisms of the latticeE(A) is isomorphic toS A ×Z 2 and each order automorphism ofE(A) preserves inverses.
Similar content being viewed by others
References
M. Barbut andB. Monjardet,Ordre et Classification, II, Hachette Université, Paris, 1970.
G. Birkhoff,Lattice Theory, American Mathematical Colloquium Publications, Providence, Rhode Island, 1967.
K. K. H. Butler,Combinatorial Properties of Binary Semigroups, Period. Math. Hung.5 (1974), 3–46.
Ja. I. Diasamidze,Certain Semigroups Generated by Idempotent Binary Relations (Russian). Sovremennaja Algebra, Leningrad3 (1975), 36–51.
R. J. Plemmons andM. West,On the Semigroup of Binary Relations, Pac. J. Math.35 (1970), 267–271.
B. M. Schein,A Construction for Idempotent Binary Relations, Proc. Japan Acad.46 (1970), 246–247.
S. Schwarz,On Idempotent Binary Relations on a Finite Set, Czech. Math. J.20 (1970), 696–702.
S. Schwarz,A Counting Theorem in the Semigroup of Circulant Boolean Matrices, Czech. Math. J.27 (1977), 504–510.
Z. Shmuely,Idempotents in Complete Posemigroups, to appear in Semigroup Forum.
K. A. Zaretskii,Semigroups of Binary Relations (Russian), Mat. Sb.61 (1963), 291–305.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Shmuely, Z. The lattice of idempotent binary relations. Algebra Universalis 9, 297–303 (1979). https://doi.org/10.1007/BF02488041
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02488041