For a complete lattice C, we consider the problem of establishing when the complete lattice of complete congruence relations on C is a complete sublattice of the complete lattices of join- or meet-complete congruence relations on C. We first argue that this problem is not trivial, and then we show that it admits an affirmative answer whenever C is continuous for the join case and, dually, co-continuous for the meet case. As a consequence, we prove that if C is continuous then each principal filter generated by a continuous complete congruence on C is pseudocomplemented.
Some properties of complete congruence lattices
RANZATO, FRANCESCO
1998
Abstract
For a complete lattice C, we consider the problem of establishing when the complete lattice of complete congruence relations on C is a complete sublattice of the complete lattices of join- or meet-complete congruence relations on C. We first argue that this problem is not trivial, and then we show that it admits an affirmative answer whenever C is continuous for the join case and, dually, co-continuous for the meet case. As a consequence, we prove that if C is continuous then each principal filter generated by a continuous complete congruence on C is pseudocomplemented.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.