Filters in partially ordered sets
We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].
We consider the poset of all non-empty finite subsets of the set of natural numbers, use the poset structure to topologise it with the Alexandrov topology, and call the thus obtained topological space the universal partition space. Then we show that it is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over this partition space. In technical terms, we prove that the category of finitely supported...
The notions of permutable and globally permutable lattices were first introduced and studied by J. Krempa and B. Terlikowska-Osłowska [4]. These are lattices preserving many interesting properties of modular lattices. In this paper all finite groups with globally permutable lattices of subgroups are described. It is shown that such finite p-groups are exactly the p-groups with modular lattices of subgroups, and that the non-nilpotent groups form an essentially larger class though they have a description...
In 1954, Kontorovich and Plotkin introduced the concept of a modular chain in a lattice to obtain a lattice-theoretic characterization of the class of torsion-free nilpotent groups. We determine the structure of finite groups with modular chains. It turns out that this class of groups lies strictly between the class of finite groups with lower semimodular subgroup lattice and the projective closure of the class of finite nilpotent groups.
Whereas the Dedekind-MacNeille completion D(P) of a poset P is the minimal lattice L such that every element of L is a join of elements of P, the minimal strict completion D(P)∗ is the minimal lattice L such that the poset of join-irreducible elements of L is isomorphic to P. (These two completions are the same if every element of P is join-irreducible). In this paper we study lattices which are minimal strict completions of finite orders. Such lattices are in one-to-one correspondence with finite...
We show that the study of topological T0-spaces with a finite number of points agrees essentially with the study of polyhedra, by means of the geometric realization of finite spaces. In this paper all topological spaces are assumed to be T0.
A concrete category is (algebraically) universal if any category of algebras has a full embedding into , and is almost universal if there is a class of -objects such that all non-constant homomorphisms between them form a universal category. The main result of this paper fully characterizes the finitely generated varieties of -lattices which are almost universal.
In an -group with an appropriate operator set it is shown that the -value set can be embedded in the value set . This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If has a.c.c. and is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets and and the corresponding -value sets and . If is a unital -ring, then each unital -module over is an -module...