Freytes proved a theorem of Cantor-Bernstein type for algbras; he applied certain sequences of central elements of bounded lattices. The aim of the present paper is to extend the mentioned result to the case when the lattices under consideration need not be bounded; instead of sequences of central elements we deal with sequences of internal direct factors of lattices.
The structure of automorphisms of planar lattices is analyzed.
A -group is a sum of a finite number of torsionfree Abelian groups of rank , subject to two independent linear relations. We complete here the study of direct decompositions over two base elements, determining the cases where the relations play an essential role.
If element of a lattice effect algebra is central, then the interval is a lattice effect algebra with the new top element and with inherited partial binary operation . It is a known fact that if the set of central elements of is an atomic Boolean algebra and the supremum of all atoms of in equals to the top element of , then is isomorphic to a direct product of irreducible effect algebras ([16]). In [10] Paseka and Riečanová published as open problem whether is a bifull sublattice...
We begin a systematic study of the category GTS of generalized topological spaces (in the sense of H. Delfs and M. Knebusch) and their strictly continuous mappings. We reformulate the axioms. Generalized topology is found to be connected with the concept of a bornological universe. Both GTS and its full subcategory SS of small spaces are topological categories. The second part of this paper will also appear in this journal.
This is the second part of A. Piękosz [Ann. Polon. Math. 107 (2013), 217-241]. The categories GTS(M), with M a non-empty set, are shown to be topological. Several related categories are proved to be finitely complete. Locally small and nice weakly small spaces can be described using certain sublattices of power sets. Some important elements of the theory of locally definable and weakly definable spaces are reconstructed in a wide context of structures with topologies.
Absolute direct summand in lattices is defined and some of its properties in modular lattices are studied. It is shown that in a certain class of modular lattices, the direct sum of two elements has absolute direct summand if and only if the elements are relatively injective. As a generalization of absolute direct summand (ADS for short), the concept of Goldie absolute direct summand in lattices is introduced and studied. It is shown that Goldie ADS property is inherited by direct summands. A necessary...
In this paper, we define and characterize the notions of (implicative, maximal, prime) ideals in hoops. Then we investigate the relation between them and prove that every maximal implicative ideal of a -hoop with double negation property is a prime one. Also, we define a congruence relation on hoops by ideals and study the quotient that is made by it. This notion helps us to show that an ideal is maximal if and only if the quotient hoop is a simple MV-algebra. Also, we investigate the relationship...
It is well known that every complete lattice can be considered as a complete lattice of closed sets with respect to appropriate closure operator. The theory of q-lattices as a natural generalization of lattices gives rise to a question whether a similar statement is true in the case of q-lattices. In the paper the so-called M-operators are introduced and it is shown that complete q-lattices are q-lattices of closed sets with respect to M-operators.
For a topological space , let denote the set of all closed subsets in , and let denote the set of all continuous maps . A family is called reflexive if there exists such that for every . Every reflexive family of closed sets in space forms a sub complete lattice of the lattice of all closed sets in . In this paper, we continue to study the reflexive families of closed sets in various types of topological spaces. More necessary and sufficient conditions for certain families of closed...