Abstract
A latticeL is called congruence normal if it can be generated by doubling of convex sets starting with the one-element lattice. In the special case of intervals, the lattice is called bounded. It has been proven thatL is bounded if and only ifL is congruence normal and semidistributive.
In this paper we study the connection between certain classes of convex sets and generalized semidistributive laws. These so-called doubling classes are pseudovarieties which can be described by implications as well as by forbiden substructures. In the end, we examine the structure of the lattice of all doubling classes.
Similar content being viewed by others
References
B. A. Davey, W. Poguntke, and I. Rival (1975) A characterization of semi-distributivity,Algebra Universalis 5, 72–75.
A. Day (1970) A simple solution of the word problem for lattices,Canad. Math. Bull. 13, 253–254.
A. Day (1979) Characterizations of finite lattices that are bounded-homomorphic images or sublattices of free lattices,Canad. J. Math. 31, 69–78.
A. Day (1993) Congruence normality: the characterization ot the doubling classes of convex sets,Algebra Universalis, to appear.
A. Day, J. B. Nation, and S. Tschantz, (1989) Doubling convex sets in lattices and a generalized semidistributivity condition,Order 6, 175–180.
B. Ganter and R. Wille (1993) Formale Begriffsanalyse,B.I.-Wissenschaftsverlag, in preparation.
H. Gaskill, G. Gratzer, and C. R. Platt (1975) Sharply transferable lattices,Canad. J. Math. 27, 1246–1262.
W. Geyer (1993) The generalized doubling construction and formal concept analysis,Algebra Universalis, to appear.
K. Reuter and R. Wille (1987) Complete congruence relations of concept lattices,Acta Sci. Math. 51, 319–327.
R. Wille (1982) Restructuring lattice theory: an approach based on hierarchies of concepts. In I. Rival, ed.,Ordered Sets, Reidel, Dordrecht-Boston, 445–470.
R. Wille (1983) Subdirect decomposition of concept lattices,Algebra Universalis 17, 275–287.
Author information
Authors and Affiliations
Additional information
Communicated by B. Jónsson
Rights and permissions
About this article
Cite this article
Geyer, W. Generalizing semidistributivity. Order 10, 77–92 (1993). https://doi.org/10.1007/BF01108710
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01108710