Source author record

Friedrich Wehrung

Friedrich Wehrung appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

23works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2022arXiv

Spectral subspaces of spectra of Abelian lattice-ordered groups in size aleph one

It is well known that the lattice Idc G of all principal {\ell}-ideals of any Abelian {\ell}-group G is a completely normal distributive 0-lattice, and that not every completely normal distributive 0-lattice is a homomorphic image of some Idc G, via a counterexample of cardinality $\aleph 2. We prove that every completely normal distributive 0-lattice with at most $\aleph 1 elements is a homomorphic image of some Idc G. By Stone duality, this means that every completely normal generalized spectral space, with at most $\aleph 1 compact open sets, is homeomorphic to a spectral subspace of the {\ell}-spectrum of some Abelian {\ell}-group.

preprint2020arXiv

From non-commutative diagrams to anti-elementary classes

Anti-elementarity is a strong way of ensuring that a class of structures , in a given first-order language, is not closed under elementary equivalence with respect to any infinitary language of the form L $\infty$$λ$. We prove that many naturally defined classes are anti-elementary, including the following: $\bullet$ the class of all lattices of finitely generated convex {\ell}-subgroups of members of any class of {\ell}-groups containing all Archimedean {\ell}-groups; $\bullet$ the class of all semilattices of finitely generated {\ell}-ideals of members of any nontrivial quasivariety of {\ell}-groups; $\bullet$ the class of all Stone duals of spectra of MV-algebras-this yields a negative solution for the MV-spectrum Problem; $\bullet$ the class of all semilattices of finitely generated two-sided ideals of rings; $\bullet$ the class of all semilattices of finitely generated submodules of modules; $\bullet$ the class of all monoids encoding the nonstable $K_0$-theory of von Neumann regular rings, respectively C*-algebras of real rank zero; $\bullet$ (assuming arbitrarily large Erd"os cardinals) the class of all coordinatizable sectionally complemented modular lattices with a large 4-frame. The main underlying principle is that under quite general conditions, for a functor $Φ$ : A $\rightarrow$ B, if there exists a non-commutative diagram D of A, indexed by a common sort of poset called an almost join-semilattice, such that $\bullet$ $Φ$ D^I is a commutative diagram for every set I, $\bullet$ $Φ$ D is not isomorphic to $Φ$ X for any commutative diagram X in A, then the range of $Φ$ is anti-elementary.

preprint2016arXiv

Relative projectivity and transferability for partial lattices

A partial lattice P is ideal-projective, with respect to a class C of lattices, if for every K $\in$ C and every homomorphism $ϕ$ of partial lattices from P to the ideal lattice of K, there are arbitrarily large choice functions f : P $\rightarrow$ K for $ϕ$ that are also homomorphisms of partial lattices. This extends the traditional concept of (sharp) transferability of a lattice with respect to C. We prove the following: (1) A finite lattice P, belonging to a variety V, is sharply transferable with respect to V iff it is projective with respect to V and weakly distributive lattice homomorphisms, iff it is ideal-projective with respect to V. (2) Every finite distributive lattice is sharply transferable with respect to the class R mod of all relatively complemented modular lattices. (3) The gluing D 4 of two squares, the top of one being identified with the bottom of the other one, is sharply transferable with respect to a variety V iff V is contained in the variety M$ω$ generated by all lattices of length 2. (4) D 4 is projective, but not ideal-projective, with respect to R mod. (5) D 4 is transferable, but not sharply transferable, with respect to the variety M of all modular lattices. This solves a 1978 problem of G. Grätzer. (6) We construct a modular lattice whose canonical embedding into its ideal lattice is not pure. This solves a 1974 problem of E. Nelson.

preprint2016arXiv

Varieties of Boolean inverse semigroups

In an earlier work, the author observed that Boolean inverse semi-groups, with semigroup homomorphisms preserving finite orthogonal joins, form a congruence-permutable variety of algebras, called biases. We give a full description of varieties of biases in terms of varieties of groups: (1) Every free bias is residually finite. In particular, the word problem for free biases is decidable. (2) Every proper variety of biases contains a largest finite symmetric inverse semigroup, and it is generated by its members that are generalized rook matrices over groups with zero. (3) There is an order-preserving, one-to-one correspondence between proper varieties of biases and certain finite sequences of varieties of groups, descending in a strong sense defined in terms of wreath products by finite symmetric groups.

preprint2013arXiv

Lattices of regular closed subsets of closure spaces

For a closure space (P,f) with f(\emptyset)=\emptyset, the closures of open subsets of P, called the regular closed subsets, form an ortholattice Reg(P,f), extending the poset Clop(P,f) of all clopen subsets. If (P,f) is a finite convex geometry, then Reg(P,f) is pseudocomplemented. The Dedekind-MacNeille completion of the poset of regions of any central hyperplane arrangement can be obtained in this way, hence it is pseudocomplemented. The lattice Reg(P,f) carries a particularly interesting structure for special types of convex geometries, that we call closure spaces of semilattice type. For finite such closure spaces, (1) Reg(P,f) satisfies an infinite collection of stronger and stronger quasi-identities, weaker than both meet- and join-semidistributivity. Nevertheless it may fail semidistributivity. (2) If Reg(P,f) is semidistributive, then it is a bounded homomorphic image of a free lattice. (3) Clop(P,f) is a lattice iff every regular closed set is clopen. The extended permutohedron R(G) on a graph G, and the extended permutohedron Reg(S) on a join-semilattice S, are both defined as lattices of regular closed sets of suitable closure spaces. While the lattice of regular closed sets is, in the semilattice context, always the Dedekind Mac-Neille completion of the poset of clopen sets, this does not always hold in the graph context, although it always does so for finite block graphs and for cycles. Furthermore, both R(G) and Reg(S) are bounded homomorphic images of free lattices.

preprint2013arXiv

Sublattices of associahedra and permutohedra

Grätzer asked in 1971 for a characterization of sublattices of Tamari lattices (associahedra). A natural candidate was coined by McKenzie in 1972 with the notion of a bounded homomorphic image of a free lattice---in short, bounded lattice. Urquhart proved in 1978 that every associahedron is bounded (thus so are its sublattices). Geyer conjectured in 1994 that every finite bounded lattice embeds into some associahedron. We disprove Geyer's conjecture, by introducing an infinite collection of lattice-theoretical identities that hold in every associahedron, but not in every finite bounded lattice. Among those finite counterexamples, there are the permutohedron on four letters P(4), and in fact two of its subdirectly irreducible retracts, which are Cambrian lattices of type A. For natural numbers m and n, we denote by B(m,n) the (bounded) lattice obtained by doubling a join of m atoms in an (m+n)-atom Boolean lattice. We prove that B(m,n) embeds into an associahedron iff min(m,n) is less than or equal to 1, and that B(m,n) embeds into a permutohedron iff min(m,n) is less than or equal to 2. In particular, B(3,3) cannot be embedded into any permutohedron. Nevertheless we prove that B(3,3) is a homomorphic image of a sublattice of the permutohedron on 12 letters.

preprint2013arXiv

The extended permutohedron on a transitive binary relation

For a given transitive binary relation e on a set E, the transitive closures of open (i.e., co-transitive in e) sets, called the regular closed subsets, form an ortholattice Reg(e), the extended permutohedron on e. This construction, which contains the poset Clop(e) of all clopen sets, is a common generalization of known notions such as the generalized permutohedron on a partially ordered set on the one hand, and the bipartition lattice on a set on the other hand. We obtain a precise description of the completely join-irreducible (resp., completely meet-irreducible) elements of Reg(e) and the arrow relations between them. In particular, we prove that (1) Reg(e) is the Dedekind-MacNeille completion of the poset Clop(e); (2) Every open subset of e is a set-theoretic union of completely join-irreducible clopen subsets of e; (3) Clop(e) is a lattice iiff every regular closed subset of e is clopen, iff e contains no "square" configuration, iff Reg(e)=Clop(e); (4) If e is finite, then Reg(e) is pseudocomplemented iff it is semidistributive, iff it is a bounded homomorphic image of a free lattice, iff e is a disjoint sum of antisymmetric transitive relations and two-element full relations. We illustrate the strength of our results by proving that, for n greater than or equal to 3, the congruence lattice of the lattice Bip(n) of all bipartitions of an n-element set is obtained by adding a new top element to a Boolean lattice with n2^{n-1} atoms. We also determine the factors of the minimal subdirect decomposition of Bip(n).

preprint2011arXiv

From objects to diagrams for ranges of functors

Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to transfer this statement to diagrams of A. These diagrams are all indexed by posets in which every principal ideal is a join-semilattice and the set of all upper bounds of any finite subset is a finitely generated upper subset. Various consequences follow, in particular: (1) The Grätzer-Schmidt Theorem, which states that every algebraic lattice is isomorphic to the congruence lattice of some algebra, can be extended to finite poset-indexed diagrams of algebraic lattices and compactness-preserving complete join-homomorphisms (and no finiteness restriction if there are large enough cardinals). (2) In a host of situations, the relative critical point between two locally finite quasivarieties is either less than aleph omega or equal to infinity. (3) A lattice of cardinality aleph 1 may not have any congruence-permutable, congruence-preserving extension.

preprint2011arXiv

Infinite combinatorial issues raised by lifting problems in universal algebra

The critical point between varieties A and B of algebras is defined as the least cardinality of the semilattice of compact congruences of a member of A but of no member of B, if it exists. The study of critical points gives rise to a whole array of problems, often involving lifting problems of either diagrams or objects, with respect to functors. These, in turn, involve problems that belong to infinite combinatorics. We survey some of the combinatorial problems and results thus encountered. The corresponding problematic is articulated around the notion of a k-ladder (for proving that a critical point is large), large free set theorems and the classical notation (k,r,l){\to}m (for proving that a critical point is small). In the middle, we find l-lifters of posets and the relation (k, < l){\to}P, for infinite cardinals k and l and a poset P.

preprint2011arXiv

Lifting defects for nonstable K_0-theory of exchange rings and C*-algebras

The assignment (nonstable K_0-theory), that to a ring R associates the monoid V(R) of Murray-von Neumann equivalence classes of idempotent infinite matrices with only finitely nonzero entries over R, extends naturally to a functor. We prove the following lifting properties of that functor: (1) There is no functor F, from simplicial monoids with order-unit with normalized positive homomorphisms to exchange rings, such that VF is equivalent to the identity. (2) There is no functor F, from simplicial monoids with order-unit with normalized positive embeddings to C*-algebras of real rank 0 (resp., von Neumann regular rings), such that VF is equivalent to the identity. (3) There is a {0,1}^3-indexed commutative diagram D of simplicial monoids that can be lifted, with respect to the functor V, by exchange rings and by C*-algebras of real rank 1, but not by semiprimitive exchange rings, thus neither by regular rings nor by C*-algebras of real rank 0. By using categorical tools from an earlier paper (larders, lifters, CLL), we deduce that there exists a unital exchange ring of cardinality aleph three (resp., an aleph three-separable unital C*-algebra of real rank 1) R, with stable rank 1 and index of nilpotence 2, such that V(R) is the positive cone of a dimension group and V(R) is not isomorphic to V(B) for any ring B which is either a C*-algebra of real rank 0 or a regular ring.

preprint2011arXiv

Varieties of lattices with geometric descriptions

A lattice L is spatial if every element of L is a join of completely join-irreducible elements of L (points), and strongly spatial if it is spatial and the minimal coverings of completely join-irreducible elements are well-behaved. Herrmann, Pickering, and Roddy proved in 1994 that every modular lattice can be embedded, within its variety, into an algebraic and spatial lattice. We extend this result to n-distributive lattices, for fixed n. We deduce that the variety of all n-distributive lattices is generated by its finite members, thus it has a decidable word problem. This solves two problems stated by Huhn in 1985. We prove that every modular (resp., n-distributive) lattice embeds within its variety into some strongly spatial lattice. Every lattice which is either algebraic modular spatial or bi-algebraic is strongly spatial. We also construct a lattice that cannot be embedded, within its variety, into any algebraic and spatial lattice. This lattice has a least and a largest element, and it generates a locally finite, join-semidistributive variety.

preprint2010arXiv

A non-coordinatizable sectionally complemented modular lattice with a large Jónsson four-frame

A sectionally complemented modular lattice L is coordinatizable if it is isomorphic to the lattice L(R) of all principal right ideals of some von Neumann regular (not necessarily unital) ring R. We say that L has a large 4-frame if it has a homogeneous sequence (a_0,a_1,a_2,a_3) such that the neutral ideal generated by a_0 is L. Jónsson proved in 1962 that if L has a countable cofinal sequence and a large 4-frame, then it is coordinatizable; whether the cofinal sequence assumption could be dispensed with was left open. We solve this problem by finding a non-coordinatizable sectionally complemented modular lattice L with a large 4-frame; it has cardinality aleph one. Furthermore, L is an ideal in a (necessarily coordinatizable) complemented modular lattice with a spanning 5-frame. Our proof uses Banaschewski functions. A Banaschewski function on a bounded lattice L is an antitone self-map of L that picks a complement for each element of L. In an earlier paper, we proved that every countable complemented modular lattice has a Banaschewski function. We prove that there exists a unit-regular ring R of cardinality aleph one and index of nilpotence 3 such that L(R) has no Banaschewski function.

preprint2010arXiv

An infinite combinatorial statement with a poset parameter

We introduce an extension, indexed by a partially ordered set P and cardinal numbers k,l, denoted by (k,l)-->P, of the classical relation (k,n,l)--> r in infinite combinatorics. By definition, (k,n,l)--> r holds, if every map from the n-element subsets of k to the subsets of k with less than l elements has a r-element free set. For example, Kuratowski's Free Set Theorem states that (k,n,l)-->n+1 holds iff k is larger than or equal to the n-th cardinal successor l^{+n} of the infinite cardinal k. By using the (k,l)-->P framework, we present a self-contained proof of the first author's result that (l^{+n},n,l)-->n+2, for each infinite cardinal l and each positive integer n, which solves a problem stated in the 1985 monograph of Erdös, Hajnal, Mate, and Rado. Furthermore, by using an order-dimension estimate established in 1971 by Hajnal and Spencer, we prove the relation (l^{+(n-1)},r,l)-->2^m, where m is the largest integer below (1/2)(1-2^{-r})^{-n/r}, for every infinite cardinal l and all positive integers n and r with r larger than 1 but smaller than n. For example, (\aleph_{210},4,\aleph_0)-->32,768. Other order-dimension estimates yield relations such as (\aleph_{109},4,\aleph_0)--> 257 (using an estimate by Füredi and Kahn) and (\aleph_7,4,\aleph_0)-->10 (using an exact estimate by Dushnik).

preprint2009arXiv

Large semilattices of breadth three

A 1984 problem of S.Z. Ditor asks whether there exists a lattice of cardinality aleph two, with zero, in which every principal ideal is finite and every element has at most three lower covers. We prove that the existence of such a lattice follows from either one of two axioms that are known to be independent of ZFC, namely (1) Martin's Axiom restricted to collections of aleph one dense subsets in posets of precaliber aleph one, (2) the existence of a gap-1 morass. In particular, the existence of such a lattice is consistent with ZFC, while the non-existence of such a lattice implies that omega two is inaccessible in the constructible universe. We also prove that for each regular uncountable cardinal $κ$ and each positive integer n, there exists a join-semilattice L with zero, of cardinality $κ^{+n}$ and breadth n+1, in which every principal ideal has less than $κ$ elements.

preprint2005arXiv

A new lattice construction: the box product

In a recent paper, the authors have proved that for lattices A and B with zero, the isomorphism $Conc(A \otimes B)\cong Conc A \otimes Conc B$, holds, provided that the tensor product satisfies a very natural condition (of being capped) implying that $A\otimes B$ is a lattice. In general, $A \otimes B$ is not a lattice; for instance, we proved that $M\_3\otimes F(3)$ is not a lattice. In this paper, we introduce a new lattice construction, the box product for arbitrary lattices. The tensor product construction for complete lattices introduced by G. N. Raney in 1960 and by R. Wille in 1985 and the tensor product construction of A. Fraser in 1978 for semilattices bear some formal resemblance to the new construction. For lattices A and B, while their tensor product $A\otimes B$ (as semilattices) is not always a lattice, the box product, $A \bp B$, is always a lattice. Furthermore, the box product and some of its ideals behave like an improved tensor product. For example, if A and B are lattices with unit, then the isomorphism $Conc(A $\bp$ B) \cong Conc A \otimes Conc B$ holds. There are analogous results for lattices A and B with zero and for a bounded lattice A and an arbitrary lattice B. A join-semilattice S with zero is called {0}-representable, if there exists a lattice L with zero such that $Conc L \cong S$. The above isomorphism results yield the following consequence: The tensor product of two {0}-representable semilattices is {0}-representable.

preprint2005arXiv

Congruence amalgamation of lattices

J. Tuma proved an interesting "congruence amalgamation" result. We are generalizing and providing an alternate proof for it. We then provide applications of this result: --A.P. Huhn proved that every distributive algebraic lattice $D$ with at most $\aleph\_1$ compact elements can be represented as the congruence lattice of a lattice $L$. We show that $L$ can be constructed as a locally finite relatively complemented lattice with zero. --We find a large class of lattices, the $ω$-congruence-finite lattices, that contains all locally finite countable lattices, in which every lattice has a relatively complemented congruence-preserving extension.

preprint2005arXiv

Flat semilattices

Let $A$, $B$, and $S$ be (v,0)-semilattices and let $f: A\to B$ be a (v,0)-embedding. Then the canonical map, $f \otimes \id\_S$, of the tensor product $A \otimes S$ into the tensor product $B \otimes S$ is not necessarily an embedding. The (v,0)-semilattice $S$ is flat, if for every embedding $f : A\to B$, the canonical map $f\otimes\id$ is an embedding. We prove that a (v,0)-semilattice $S$ is flat if and only if it is distributive.

preprint2005arXiv

On the number of join-irreducibles in a congruence representation of a finite distributive lattice

For a finite lattice L, let EL denote the reflexive and transitive closure of the join-dependency relation on L, defined on the set J(L) of all join-irreducible elements of L. We characterize the relations of the form EL, as follows: Theorem. Let E be a quasi-ordering on a finite set P. Then the following conditions are equivalent: (i) There exists a finite lattice L such that (J(L),EL) is isomorphic to the quasi-ordered set (P,E). (ii) There are not exactly two elements x in P such that p E x, for any p in P. For a finite lattice L, let je(L) = |J(L)|-|J(Con L)|, where Con L is the congruence lattice of L. It is well-known that the inequality je(L) $\ge$ 0 holds. For a finite distributive lattice D, let us define the join-excess function: JE(D) = min(je(L) | Con L isomorphic to D). We provide a formula for computing the join-excess function of a finite distributive lattice D. This formula implies that JE(D) $\le$ (2/3)| J(D)|, for any finite distributive lattice D; the constant 2/3 is best possible. A special case of this formula gives a characterization of congruence lattices of finite lower bounded lattices.

preprint2005arXiv

Tensor products and transferability of semilattices

In general, the tensor product, $A\otimes B$, of the lattices A and B with zero is not a lattice (it is only a join-semilattice with zero). If $A \otimes B$ is a capped tensor product, then $A \otimes B$ is a lattice (the converse is not known). In this paper, we investigate lattices A with zero enjoying the property that $A \otimes B$ is a capped tensor product, for every lattice B with zero; we shall call such lattices amenable. The first author introduced in 1966 the concept of a sharply transferable lattice. In 1972, H. Gaskill [5] defined, similarly, sharply transferable semilattices, and characterized them by a very effective condition (T). We prove that a finite lattice A is amenable iff it is sharply transferable as a join-semilattice. For a general lattice A with zero, we obtain the result: A is amenable iff A is locally finite and every finite sublattice of A is transferable as a join-semilattice. This yields, for example, that a finite lattice A is amenable iff $A\otimes F(3)$ is a lattice iff A satisfies (T), with respect to $\jj$. In particular, $M3 \otimes F(3)$ is not a lattice. This solves a problem raised by R. W. Quackenbush in 1985 whether the tensor product of lattices with zero is always a lattice.

preprint2005arXiv

Tensor products of semilattices with zero, revisited

Let A and B be lattices with zero. The classical tensor product, $A\otimes B$, of A and B as join-semilattices with zero is a join-semilattice with zero; it is, in general, not a lattice. We define a very natural condition: $A \otimes B$ is capped (that is, every element is a finite union of pure tensors) under which the tensor product is always a lattice. Let Conc L denote the join-semilattice with zero of compact congruences of a lattice L. Our main result is that the following isomorphism holds for any capped tensor product: $Conc A\otimes Conc B \cong Conc(A \otimes B)$. This generalizes from finite lattices to arbitrary lattices the main result of a joint paper by the first author, H. Lakser, and R. W. Quackenbush.

preprint2005arXiv

The M\_{3}[D] construction and n-modularity

In 1968, E. T. Schmidt introduced the M\_3[D] construction, an extension of the five-element nondistributive lattice M\_3 by a bounded distributive lattice D, defined as the lattice of all triples $(x, y, z) \in D^3$ satisfying $x \mm y = x \mm z = y \mm z$. The lattice M\_3[D] is a modular congruence-preserving extension of D. In this paper, we investigate this construction for an arbitrary lattice L. For every n > 0, we exhibit an identity Un such that U1 is modularity and Un+1 is properly weaker than Un. Let Mn denote the variety defined by Un, the variety of n-modular lattices. If L is n-modular, then M\_3[L] is a lattice, in fact, a congruence-preserving extension of L; we also prove that, in this case, $IdM\_3[L] \cong M\_3[Id L]$. We provide an example of a lattice L such that M\_3[L] is not a lattice. This example also provides a negative solution to a problem of R. W. Quackenbush: Is the tensor product $A\otimes B$ of two lattices A and B with zero always a lattice. We complement this result by generalizing the M\_3[L] construction to an M\_4[L] construction. This yields, in particular, a bounded modular lattice L such that $M\_4 \otimes L$ is not a lattice, thus providing a negative solution to Quackenbush's problem in the variety M of modular lattices. Finally, we sharpen a result of R. P. Dilworth: Every finite distributive lattice can be represented as the congruence lattice of a finite 3-modular lattice. We do this by verifying that a construction of G. Grätzer, H. Lakser, and E. T. Schmidt yields a 3-modular lattice.