Congruences on a balanced pseudocomplemented Ockham algebra whose quotient algebras are Boolean (Q622623)

An Ockham algebra is a bounded distributive lattice \(L\) endowed with a dual endomorphism \(f\). A balanced pseudocomplemented Ockham algebra (bpO-algebra) is an algebra \((L;f,*)\) where \((L;f)\) is an Ockham algebra, \((L;*)\) is a pseudocomplemented lattice, and the identities \(f(x*)=x^{**}\) and \((f(x))^*=f^2(x)\) hold. Congruences and quotients of a bpO-algebra are defined in a natural way, while ideals are just lattice ideals. A congruence \(\theta\) is called pro-Boolean if the quotient \(L/\theta\) is a Boolean algebra, while a pro-Boolean ideal is defined as an ideal of the form \(I=\{x\in L\mid x\theta0\}\) for some pro-Boolean congruence \(\theta\). The sets of pro-Boolean congruences and pro-Boolean ideals are denoted by \(\text{Con}_B(L)\) and \(\text{I}_B(L)\), respectively. The present paper extends results of \textit{P. J. V. Rodrigues} and \textit{H. J. Silva} [Commun. Algebra 31, No. 11, 5391--5404 (2003; Zbl 1025.06006)] from Ockham algebras to bpO-algebras. The authors provide characterizations of pro-Boolean congruences within congruences (Theorems 1 and 7), and of pro-Boolean ideals within ideals (Theorem 4). With each pro-Boolean ideal \(I\) there is associated the pro-Boolean congruence \(\rho(I)\) defined by \[ (x,y)\in\rho(I)\Longleftrightarrow(x\wedge f^3(y))\vee(f^3(x)\wedge y)\in I; \] conversely, every pro-Boolean congruence is of the form \(\rho(I)\) for some pro-Boolean ideal \(I\) (Theorem 5). Theorem 6 provides a sufficient condition in order that \(\theta(I)=\rho(I)\), where \(\theta(I)\) is the congruence defined by \((x,y)\in\theta(I)\Longleftrightarrow(\exists i\in I)x\vee i=y\vee i\). The lattices \(\text{Con}_B(L)\) and \(\text{I}_B(L)\) are isomorphic by Theorem 8. The last theorem furnishes an intrinsic description of those lattices \(\text{Con}_B(L)\) and \(\text{I}_B(L)\) that are Boolean algebras.