Completeness in semi-local ideal lattices
The paper considers a generalization of the standard completion of a partially ordered set through the collection of all its lower sets.
We characterize those regular continuous frames for which the least compactification is a perfect compactification. Perfect compactifications are those compactifications of frames for which the right adjoint of the compactification map preserves disjoint binary joins. Essential to our characterization is the construction of the frame analog of the two-point compactification of a locally compact Hausdorff space, and the concept of remainder in a frame compactification. Indeed, one of the characterizations...
A meet semilattice with a partial join operation satisfying certain axioms is a JP-semilattice. A PJP-semilattice is a pseudocomplemented JP-semilattice. In this paper we describe the smallest PJP-congruence containing a kernel ideal as a class. Also we describe the largest PJP-congruence containing a filter as a class. Then we give several characterizations of congruence kernels and cokernels for distributive PJP-semilattices.
Characterization of congruence lattices of finite chains with either one or two endomorphisms is given.
An M-Set is a unary algebra whose set of operations is a monoid of transformations of ; is a G-Set if is a group. A lattice is said to be represented by an M-Set if the congruence lattice of is isomorphic to . Given an algebraic lattice , an invariant is introduced here. provides substantial information about properties common to all representations of by intransitive G-Sets. is a sublattice of (possibly isomorphic to the trivial lattice), a -product lattice. A -product...