zbMATH — the first resource for mathematics

Some properties of congruence relations on orthomodular lattices. (English) Zbl 1011.06011
Briefly speaking, an orthomodular lattice (OML) is a Boolean algebra where the distributive law is substituted by the weaker orthomodular law \(x\vee y=x\vee((x\vee y)\wedge x')\). The paper under review deals with OMLs. The structure of the lattice of \(p\)-ideals (which are in a bijective correspondence to congruence relations) as well as the structure of congruence classes is investigated. From these results the well-known fact that OMLs are congruence regular, congruence uniform and arithmetical is derived.

06C15 Complemented lattices, orthocomplemented lattices and posets
Full Text: DOI Link