Facteurs et plans. I : Structure de finesse
This is a summary of some of the main results in the monograph Faithfully Ordered Rings (Mem. Amer. Math. Soc. 2015), presented by the first author at the ALANT conference, Będlewo, Poland, June 8-13, 2014. The notions involved and the results are stated in detail, the techniques employed briefly outlined, but proofs are omitted. We focus on those aspects of the cited monograph concerning (diagonal) quadratic forms over preordered rings.
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.