Commutator-finite orthomodular lattices

The class of orthomodular lattices which have only finitely many commutators is investigated. The following theorems are proved: contains the block-finite orthomodular lattices. Every irreducible element of is simple. Every element of is a direct product of a Boolean algebra and finitely many simple orthomodular lattices. The irreducible elements of which are modular, or are M-symmetric with at least one atom, have height two or less.     

Completions of orthomodular lattices

If K is a variety of orthomodular lattices generated by a finite orthomodular lattice the MacNeille completion of every algebra in K again belongs to K.     

Projective orthomodular lattices II

In this paper we continue to investigate projectivity in orthomodular lattices. We prove the somewhat surprising result that no uncountable Boolean algebra is projective in the variety of orthomodular lattices. Received January 7, 1994; accepted in final form July 16, 1996.     

Completions of orthomodular lattices II

If is a variety of orthomodular lattices generated by a set of orthomodular lattices having a finite uniform upper bound om the length of their chains, then the MacNeille completion of every algebra in again belongs to .The author gratefully acknowledges the support of NSERC.     

Boolean quotients of orthomodular lattices

Relations between ideals and commutative group valued finitely additive functions on orth-omodular lattices are studied. Nontrivial examples of orthomodular lattices with all nontrivial quotients being Boolean are found.Dedicated to the memory of Alan Day.Presented by J. Sichler.     

Blocks and commutators in orthomodular lattices

Presented by Alan Day.     

Decision problem for orthomodular lattices

This paper answers a question of H. P. Sankappanavar who asked whether the theory of orthomodular lattices is recursively (finitely) inseparable (question 9 in [10]). A very similar question was raised by Stanley Burris at the Oberwolfach meeting on Universal Algebra, July 15–21, 1979, and was later included in G. Kalmbach’s monograph [6] as the problem 42. Actually Burris asked which varieties of orthomodular lattices are finitely decidable. Although we are not able to give a full answer to Burris’ question we have a contribution to the problem.   Note here that each finitely generated variety of orthomodular lattices is semisimple arithmetical and therefore directly representable. Consequently each such a variety is finitely decidable. (For a generalization of this, i.e. a characterization of finitely generated congruence modular varieties that are finitely decidable see [5].) In section 3, we give an example of finitely decidable variety of orthomodular lattices that is not finitely generated. Received June 28, 1995; accepted in final form June 27, 1996.     

Irreducible orthomodular lattices which are simple

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.     

Commutators and decompositions of orthomodular lattices

We show that in any complete OML (orthomodular lattice) there exists a commutatorc such that [0,c ] is a Boolean algebra. This fact allows us to prove that a complete OML satisfying the relative centre property is isomorphic to a direct product [0,a] × [0,a ] wherea is a join of two commutators, [0,a] is an OML without Boolean quotient and [0,a ] is a Boolean algebra. The proof uses a new characterization of the relative centre property in complete OMLs. In a final section, we specify the previous direct decomposition in the more particular case of locally modular OMLs.     

Associativity of operations on orthomodular lattices

It is known that orthomodular lattices admit 96 binary operations, out of which 16 are commutative. We clarify which of them are associative.     

Self-dual bases for varieties of orthomodular lattices

For any finitely based variety of orthomodular lattices, we determine the sizes of all equational bases that are both irredundant and self-dual.     

A characterization of state spaces of orthomodular lattices

It is shown that every rational polytope is affinely equivalent to the set of all states of a finite orthomodular lattice, and that every compact convex subset of a locally convex topological vector space is affinely homeomorphic to the set of all states of an orthomodular lattice.