Irreducible orthomodular lattices which are simple |
| |
Authors: | John Harding |
| |
Institution: | (1) Department of Mathematics, Vanderbilt University, 37235 Nashville, TN, USA |
| |
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.Presented by B. Jónsson.Supported by a grant from NSERC. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|