Direct decompositions of orthomodular lattices
type: Item
instance of: scholarly article
title: Direct decompositions of orthomodular lattices
zbMATH Open document ID: 0715.06006
DOI: 10.1007/BF01188994
author: Jean Claude Carrega
author: Georges Chevalier
author: René Mayet
published in: Algebra Universalis
publication date: 1990-01-01T00:00:00Z
review text: The authors characterize orthomodular lattices of the form \(D_ 1:\) \(B\times L_ 1\) (B Boolean, \(L_ 1\) without nonzero Boolean factor), \(D_ 2:\) \(B\times \prod_{j\in J}L_ j\) (B Boolean, \(L_ j\) simple, non-Boolean), \(FD_ 2\subseteq D_ 2:\) all the \(B\times L_ 1\times...\times L_ n\), n finite. Let L be an orthomodular lattice. Assume \(M\subseteq L\), \(C(M)=C(L)\), \(m=\bigvee \{c(F)|\) \(F\subseteq M\) finite\(\}\), exists, then L is of the form \(D_ 1\). Here, c(F) is Pulmannova's commutator. If L is complete, then L is of the form \(D_ 2\) iff every p-ideal of L which contains some c(F)\(\neq 0\) contains an atom of C(L). L is of the form \(FD_ 2\) iff every p-ideal of L generated by a set of commutators is principal. These results are used to show that the class of orthomodular lattices with non-zero modular homomorphic image is axiomatizable, closed under inverse homomorphic images, subalgebras and products. Some interesting examples and applications are given.
Mathematics Subject Classification ID: 06C15
zbMATH DE Number: 4177127
zbMATH Keywords: direct decomposition
zbMATH Keywords: axiomatizable class
zbMATH Keywords: orthomodular lattices
zbMATH Keywords: Pulmannova's commutator
reviewed by: Gudrun Kalmbach
MaRDI profile type: Publication
cites work: On Finitely Generated Orthomodular Lattices
cites work: Q3222894
cites work: A Finiteness Criterion for Orthomodular Lattices
cites work: Q3041254
cites work: Q3689226
cites work: Commutators and decompositions of orthomodular lattices
cites work: Q3663352
cites work: Commutator-finite orthomodular lattices
cites work: Q5562610
cites work: The lattice theoretic background of the dimension theory of operator algebras
cites work: Q3229441
cites work: Q3289044
cites work: The commutator and solvability in a generalized orthomodular lattice
cites work: Q4100556
cites work: Q3718766
cites work: Dimension Theory in Complete Orthocomplemented Weakly Modular Lattices
cites work: An orthomodular analogue of the Birkhoff-Menger theorem
full work available at URL: https://doi.org/10.1007/bf01188994
OpenAlex ID: W2094217368
description: scientific article; zbMATH DE number 4177127