Semilattices of bisimple inverse semigroups.
We consider join-semilattices with 1 where for every element p a mapping on the interval [p,1] is defined; these mappings are called sectional mappings and such structures are called semilattices with sectional mappings. We assign to every semilattice with sectional mappings a binary operation which enables us to classify the cases where the sectional mappings are involutions and / or antitone mappings. The paper generalizes results of [3] and [4], and there are also some connections to [1].
In this paper we shall give a survey of the most important characterizations of the notion of distributivity in semilattices with greatest element and we will present some new ones through annihilators and relative maximal filters. We shall also simplify the topological representation for distributive semilattices given in Celani S.A., Topological representation of distributive semilattices, Sci. Math. Japonicae online 8 (2003), 41–51, and show that the meet-relations are closed under composition....
Sectionally pseudocomplemented semilattices are an extension of relatively pseudocomplemented semilattices—they are meet-semilattices with a greatest element such that every section, i.e., every principal filter, is a pseudocomplemented semilattice. In the paper, we give a simple equational characterization of sectionally pseudocomplemented semilattices and then investigate mainly their congruence kernels which leads to a characterization of subdirectly irreducible sectionally pseudocomplemented...
For a Tikhonov space X we denote by Pc(X) the semilattice of all continuous pseudometrics on X. It is proved that compact Hausdorff spaces X and Y are homeomorphic if and only if there is a positive-homogeneous (or an additive) semi-lattice isomorphism T:Pc(X) → Pc(Y). A topology on Pc(X) is called admissible if it is intermediate between the compact-open and pointwise topologies on Pc(X). Another result states that Tikhonov spaces X and Y are homeomorphic if and only if there exists a positive-homogeneous...