Congruence lattices of finite \(p\)-algebras (Q1333286)

The author gives a partial solution to the problem of abstractly characterizing the congruence lattices of \(p\)-algebras. He proves that for any finite distributive lattice \(A\) there exists a finite (decomposable) \(p\)-algebra \(L\) such that \(\text{Con}(L) \cong A\). To obtain this result, he investigates the semilattice \(\text{Comp} (\text{Con} (L))\) of compact elements of \(\text{Con} (L)\) for \(p\)-algebras \(L\). He shows that \(\text{Comp} (\text{Con} (L))\) is a dual decomposable pseudocomplemented semilattice.