Some structure theorems for algebraic atomistic lattices (Q5928564)

The following interesting result is proved. For an atomistic algebraic lattice \(L\), the following are equivalent: (1) \(\text{Con }L\) is an atomic Stone lattice. (2) \(L\) is a direct product of subdirectly irreducible lattices. (3) For any atom \(a\) of \(L\), the congruence \(\Theta(0, a)\) contains exactly one atom of \(\text{Con }L\).