Freely adjoining a complement to a lattice
The concept of a Goldie extending module is generalized to a Goldie extending element in a lattice. An element of a lattice with is said to be a Goldie extending element if and only if for every there exists a direct summand of such that is essential in both and . Some properties of such elements are obtained in the context of modular lattices. We give a necessary condition for the direct sum of Goldie extending elements to be Goldie extending. Some characterizations of a decomposition...
We prove that any ideal in a distributive (relative to a certain completion) poset is an intersection of prime ideals. Besides that, we give a characterization of n-normal meet semilattices with zero, thus generalizing a known result for lattices with zero.
The concept of annihilator in lattice was introduced by M. Mandelker. Although annihilators have some properties common with ideals, the set of all annihilators in need not be a lattice. We give the concept of indexed annihilator which generalizes it and we show the basic properties of the lattice of indexed annihilators. Moreover, distributive and modular lattices can be characterized by using of indexed annihilators.
We say that a ⟨∨,0⟩-semilattice S is conditionally co-Brouwerian if (1) for all nonempty subsets X and Y of S such that X ≤ Y (i.e. x ≤ y for all ⟨x,y⟩ ∈ X × Y), there exists z ∈ S such that X ≤ z ≤ Y, and (2) for every subset Z of S and all a, b ∈ S, if a ≤ b ∨ z for all z ∈ Z, then there exists c ∈ S such that a ≤ b ∨ c and c ≤ Z. By restricting this definition to subsets X, Y, and Z of less than κ elements, for an infinite cardinal κ, we obtain the definition of a conditionally κ-co-Brouwerian...
Let be an algebraic structure of type and a set of open formulas of the first order language . The set of all subsets of closed under forms the so called lattice of -closed subsets of . We prove various sufficient conditions under which the lattice is modular or distributive.
Let be a lattice. In this paper, corresponding to a given congruence relation of , a congruence relation on is defined and it is proved that 1. is isomorphic to ; 2. and are in the same equational class; 3. if is representable in , then so is in .