Abstract
It is well known that for a chain finite orthomodular lattice, all congruences are factor congruences, so any directly irreducible chain finite orthomodular lattice is simple. In this paper it is shown that the notions of directly irreducible and simple coincide in any variety generated by a set of orthomodular lattices that has a uniform finite upper bound on the lengths of their chains. The prototypical example of such a variety is any variety generated by a set ofn dimensional orthocomplemented projective geometries.
Similar content being viewed by others
References
Bruns, G., Greechie, R. J., Harding, J. andRoddy, M.,Completions of orthomodular lattices. Order7 (1990), 67–76.
Burris, S. andSankappanavar, H. P.,A course in universal algebra. Springer-Verlag, New York, 1981.
Dilworth, R. P.,The structure of relatively complemented lattices. Ann. of Math.51 (1950), 348–359.
Jónsson, B.,Algebras whose congruence lattices are distributive. Math. Scand.21 (1967), 110–121.
Kalmbach, G.,Orthomodular lattices. Academic Press, London (1983).
Author information
Authors and Affiliations
Additional information
Supported by a grant from NSERC.
Rights and permissions
About this article
Cite this article
Harding, J. Irreducible orthomodular lattices which are simple. Algebra Universalis 29, 556–563 (1992). https://doi.org/10.1007/BF01190781
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01190781