1 citations · 2 across the 27 of their papers we have counts for
27 papers
A -avoiding dimension group with an order-unit of index two
Friedrich Wehrung
We prove that there exists a dimension group whose positive cone is not isomorphic to the dimension monoid Dim of any lattice . The dimension group has an order-unit,…
Distributive congruence lattices of congruence-permutable algebras
Pavel Ruzicka, Jiri Tuma, Friedrich Wehrung
We prove that every distributive algebraic lattice with at most compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice…
Embedding simple commutative monoids into simple refinement monoids
Friedrich Wehrung
Say that a cone is a commutative monoid in which x+y=0 implies that x=y=0. We show that cones (resp. simple cones) of many kinds order-embed or even embed unitarily into refinement…
Norm-closed intervals of norm-complete ordered abelian groups
Friedrich Wehrung
Let be an archimedean norm-complete dimension group with order unit. Continuing a previous paper, we study intervals (i.e., nonempty upward directed lower subsets) of w…
Congruence lattices of free lattices in non-distributive varieties
Miroslav Ploscica, Jiri Tuma, Friedrich Wehrung
We prove that for any free lattice F with at least generators in any non-distributive variety of lattices, there exists no sectionally complemented lattice L with congr…
A uniform refinement property for congruence lattices
Friedrich Wehrung
The Congruence Lattice Problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of a lattice. It was hoped that a positive solution would f…