Relative annihilator-preserving congruence relations and relative annihilator-preserving homomorphisms in bounded distributive semilattices. (Q2257477)

For a \(\wedge\)-semilattice \(S\) and \(a,b\in S\), the set \(\langle a,b\rangle=\{x\in S:x\wedge a\leq b\}\) is called the relative annihilator of \(a\) with respect to \(b\). A semilattice homomorphism \(h\) between two bounded distributive semilattices \(S\) and \(L\) is called a relative annihilator-preserving semilattice homomorphism if it preserves the bounds and for all \(a,b\in S\), it fulfills the identity \((h(\langle a,b\rangle)]=\langle h(a),h(b)\rangle\), where for \(X\subseteq L\), \((X]=\{x\in L:\exists y\in L:y\leq x\}\). The main aim of this paper is to study the notion of annihilator-preserving semilattice homomorphism in the class of bounded distributive semilattices. The author gives their topological characterization and proves that the relative annihilator-preserving congruences are exactly those semilattice congruences that are associated with filters.