Congruence kernels of orthomodular implication algebras
type: Item
instance of: scholarly article
title: Congruence kernels of orthomodular implication algebras
zbMATH Open document ID: 1146.06005
author: Ivan Chajda
author: Radomír Halaš
author: Helmut Länger
published in: Discrete Mathematics
publication date: 2008-09-04T00:00:00Z
review text: Orthomodular implication algebras are algebras \({\mathcal A} = (A, \cdot, 1)\) satisfying axioms (expressed by identities) obtained by abstracting from certain properties of the classical implication in Boolean algebras. The authors prove that the variety of orthomodular implication algebras is weakly regular (i.e. \([1]\Theta = [1]\Phi\) implies \(\Theta = \Phi\) for all congruences \(\Theta, \Phi\)), permutable (i.e.\ \([1](\Theta \circ \Phi) = [1](\Phi \circ \Theta)\) for all congruences \(\Theta, \Phi\)), and 3-permutable (i.e.\ \(\Theta \circ \Phi \circ \Theta = \Phi \circ \Theta \circ \Phi\) for all congruences \(\Theta, \Phi\)). An orthomodular lattice is an algebra \((L, \vee, \wedge, ', 0, 1)\), where \((L, \vee, \wedge, 0, 1)\) is a bounded lattice and the unary operation \('\) satisfies the following axioms: \[ \begin{aligned} x \vee x' = 1 & (x \vee y)' = x' \wedge y' \quad x \leq y \text{ implies } y = x \vee (y \wedge x')\\ x \wedge x' = 0 & (x \wedge y)' = x' \vee y' \end{aligned} \] Orthomodular join-semilattices are partial algebras \((A, \vee, (^x; x \in A), 1)\) where \((A, \vee, 1)\) is a join-semilattice and for every \(x \in A\), \(^x\) is a unary operation on \([x, 1]\) such that \(([x, 1], \vee, \wedge_x, ^x, x, 1)\) is an orthomodular lattice. Compatible congruence families on orthomodular join-semilattices are defined, and one-to-one correspondences are established between: {\parindent=6mm \begin{itemize}\item[(1)] orthomodular implication algebras \({\mathcal A}\) and orthomodular join-semilattices \({\mathcal S}({\mathcal A})\); \item[(2)] congruences on \({\mathcal A}\) and compatible congruence families on \({\mathcal S}({\mathcal A})\). \end{itemize}} Next, the notion of a congruence kernel of an orthomodular implication algebra is introduced (a subset \(F \subseteq A\) with the property that there exists a congruence \(\Theta\) with \([1]\Theta = F\)). If \(L\) is an orthomodular lattice, two elements \(a ,b \in L\) are called perspe…
reviewed by: Viorica Sofronie-Stokkermans
Mathematics Subject Classification ID: 06C15
Mathematics Subject Classification ID: 06A12
Mathematics Subject Classification ID: 08A30
zbMATH DE Number: 5321344
zbMATH Keywords: orthomodular implication algebra
zbMATH Keywords: orthomodular lattice
zbMATH Keywords: orthomodular semilattice
zbMATH Keywords: congruence kernel
zbMATH Keywords: compatible congruence family
zbMATH Keywords: \(p\)-filter
zbMATH Keywords: permutable variety
zbMATH Keywords: weakly regular variety
zbMATH Keywords: compatible filter family
MaRDI profile type: MaRDI publication profile
full work available at URL: j.disc.2007.08.101
OpenAlex ID: W2016744880
cites work: Q5532577
cites work: Orthoimplication algebras
cites work: Q4807556
cites work: Orthomodular implication algebras
cites work: Simple axioms for orthomodular implication algebras
cites work: Q5450583
cites work: Q4750696
cites work: Orthomodular structures as quantum logics. Transl. from the Slovak
DOI: 10.1016/J.DISC.2007.08.101
description: scientific article; zbMATH DE number 5321344