Prime ideals yield almost maximal ideals
The concept of a semiprime ideal in a poset is introduced. Characterizations of semiprime ideals in a poset as well as characterizations of a semiprime ideal to be prime in are obtained in terms of meet-irreducible elements of the lattice of ideals of and in terms of maximality of ideals. Also, prime ideals in a poset are characterized.
A characterization of the cozero elements of a frame, without reference to the reals, is given and is used to obtain a characterization of pseudocompactness also independent of the reals. Applications are made to the congruence frame of a -frame and to Alexandroff spaces.
In this paper, we define some types of filters in lattice effect algebras, investigate some relations between them and introduce some new examples of lattice effect algebras. Then by using the strong filter, we find a CI-lattice congruence on lattice effect algebras, such that the induced quotient structure of it is a lattice effect algebra, too. Finally, under some suitable conditions, we get a quotient MV-effect algebra and a quotient orthomodular lattice, by this congruence relation.
In this paper we shall study a notion of relative annihilator-preserving congruence relation and relative annihilator-preserving homomorphism in the class of bounded distributive semilattices. We shall give a topological characterization of this class of semilattice homomorphisms. We shall prove that the semilattice congruences that are associated with filters are exactly the relative annihilator-preserving congruence relations.
The author studies some characteristic properties of semiprime ideals. The semiprimeness is also used to characterize distributive and modular lattices. Prime ideals are described as the meet-irreducible semiprime ideals. In relatively complemented lattices they are characterized as the maximal semiprime ideals. -radicals of ideals are introduced and investigated. In particular, the prime radicals are determined by means of -radicals. In addition, a necessary and sufficient condition for the equality...
We investigate the congruence lattices of lattices in the varieties . Our approach is to represent congruences by open sets of suitable topological spaces. We introduce some special separation properties and show that for different n the lattices in have different congruence lattices.
We consider properties of state filters of state residuated lattices and prove that for every state filter of a state residuated lattice :
We investigate, using results from [[p3]], when a given lattice is isomorphic to the weak subalgebra lattice of a partial algebra of a fixed type. First, we reduce this problem to the question when hyperedges of a hypergraph can be directed to a form of directed hypergraph of a fixed type. Secondly, we show that it is enough to consider some special hypergraphs. Finally, translating these results onto the lattice language, we obtain necessary conditions for our algebraic problem, and also, we completely...
This paper studies basic properties for five special types of implicative ideals (modular, pentagonal, even, rectangular and medial). The results are used to prove characterizations of modularity and distributivity.
We study states on unital po-groups which are not necessarily commutative as normalized positive real-valued group homomorphisms. We show that in contrast to the commutative case, there are examples of unital po-groups having no state. We introduce the state interpolation property holding in any Abelian unital po-group, and we show that it holds in any normal-valued unital -group. We present a connection among states and ideals of po-groups, and we describe extremal states on the state space of...
We attach to each -semilattice a graph whose vertices are join-irreducible elements of and whose edges correspond to the reflexive dependency relation. We study properties of the graph both when is a join-semilattice and when it is a lattice. We call a -semilattice particle provided that the set of its join-irreducible elements satisfies DCC and join-generates . We prove that the congruence lattice of a particle lattice is anti-isomorphic to the lattice of all hereditary subsets of...