On the compactification of closure algebras
It is shown that for any quantum logic one can find a concrete logic and a surjective homomorphism from onto such that maps the centre of onto the centre of . Moreover, one can ensure that each finite set of compatible elements in is the image of a compatible subset of . This result is “best possible” - let a logic be the homomorphic image of a concrete logic under a homomorphism such that, if is a finite subset of the pre-image of a compatible subset of , then is compatible....
In the present note we characterize finite lattices which are isomorphic to the congruence lattice of an abelian lattice ordered group.
We develop elementary methods of computing the monoid for a directly-finite regular ring . We construct a class of directly finite non-cancellative refinement monoids and realize them by regular algebras over an arbitrary field.
We consider the problem of constructing dense lattices in with a given non trivial automorphisms group. We exhibit a family of such lattices of density at least , which matches, up to a multiplicative constant, the best known density of a lattice packing. For an infinite sequence of dimensions , we exhibit a finite set of lattices that come with an automorphisms group of size , and a constant proportion of which achieves the aforementioned lower bound on the largest packing density. The algorithmic...
Let be an Archimedean -group. We denote by and the divisible hull of and the distributive radical of , respectively. In the present note we prove the relation . As an application, we show that if is Archimedean, then it is completely distributive if and only if it can be regularly embedded into a completely distributive vector lattice.
We develop dynamical methods for studying left-orderable groups as well as the spaces of orderings associated to them. We give new and elementary proofs of theorems by Linnell (if a left-orderable group has infinitely many orderings, then it has uncountably many) and McCleary (the space of orderings of the free group is a Cantor set). We show that this last result also holds for countable torsion-free nilpotent groups which are not rank-one Abelian. Finally, we apply our methods to the case of braid...