caa a22 4500 469026987 CHVBK 20180323132732.0 cr unu---uuuuu 170328e19921201xx s 000 0 eng 10.1007/BF01190781 doi (NATIONALLICENCE)springer-10.1007/BF01190781 Harding John Department of Mathematics, Vanderbilt University, 37235, Nashville, TN, USA aut Irreducible orthomodular lattices which are simple [Elektronische Daten] [John Harding] 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. Birkhäuser Verlag, 1992 algebra universalis Birkhäuser-Verlag 29/4(1992-12-01), 556-563 0002-5240 29:4<556 1992 29 12 https://doi.org/10.1007/BF01190781 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF01190781 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Harding John Department of Mathematics, Vanderbilt University, 37235, Nashville, TN, USA aut NATIONALLICENCE 773 0- algebra universalis Birkhäuser-Verlag 29/4(1992-12-01), 556-563 0002-5240 29:4<556 1992 29 12 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer