Priestley duality for some subalgebra lattices

✍ Scribed by Georges Hansoul

• Publisher: Springer Netherlands
• Year: 1996
• Tongue: English
• Weight: 819 KB
• Volume: 56
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf00370144

✦ Synopsis

Priestley duality can be used to study subalgebras of Heyting algebras and related structures. The dual concept is that of congruence on the dual space and the congruence lattice of a Heyting space is dually isomorphic to the subaigebra lattice of the dual algebra. In this paper we continue our investigation of the congruence lattice of a Heyting space that was undertaken in [10], [S] and [12]. Our main result is a characterization of the modularity of this lattice (Theorem 2.12). Partial results about its complementedness axe also given, and among other things a characterization of those finite Heyting algebras with a complemented subaigebra lattice (Theorem 3.5).