Boolean algebras derived from a quotient of a distributive lattice

DOI10.1007/S40840-022-01344-7MaRDI QIDQ2082385zbMATH OpenOpenAlexFDO

Publication date 4 October 2022

Published in Bulletin of the Malaysian Mathematical Sciences Society. Second Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s40840-022-01344-7

Boolean algebra congruence distributive lattice filter ideal

Logical aspects of Boolean algebras (03G05) Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05)

Review text

A \textit{derivation} on a distributive lattice \(L\) is a function \(d:L\rightarrow L\) such that \(d(x\wedge y)=(d(x)\wedge y)\vee(x\wedge d(y))\); \(d(x\vee y)=d(x)\vee d(y)\). If \(I\) is an ideal of \(L\), then \(\ker_Id=\{x\in L:d(x)\in I\}\); \((a)^d_L=\{x\in L:d(a\wedge x)\in I\}\); \(x\theta^d_Iy\) if and only if \((x)^d_I=(y)^d_I\). \(\mathcal{K}^d_I=\{a\in L:(a)^d_L=\ker_Id\}\). \(\theta^d_I\) is a congruence on \(L\). Now the main theorem of the paper is as follows. If \(I\) is a nontrivial ideal of \(L\), then \(L/\theta^d_L\) is a Boolean algebra if and only if for each \(x\in L\) there is a \(y\in(x)^d_L\) such that \(x\vee y\in\mathcal{K}^d_I\).

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Boolean algebras derived from a quotient of a distributive lattice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2082385)