A variety of lattice-ordered groups containing all representable covers of the abelian variety

A small variety of representable lattice-ordered groups is constructed, which contains all of the representable covers of the abelian variety.     

Dualisability versus residual character: A theorem and a counterexample

We show that a finite algebra must be inherently non-dualisable if the variety that it generates is both residually large and congruence meet-semidistributive. We also give the first example of a finite dualisable algebra that generates a variety that is residually large.     

Every finite lattice in $$ \mathcal{V} (M_3) $$

We prove that every finite lattice in the variety generated by M₃ is isomorphic to the congruence lattice of a finite algebra.     

A counterexample to a conjecture of Matsaev

We present an effective algorithm for estimating the norm of an operator mapping a low-dimensional ?^p space to a Banach space with an easily computable norm. We use that algorithm to show that Matsaev’s proposed extension of the inequality of John von Neumann is false in case p=4. Matsaev conjectured that for every contraction T on L^p (1<p<∞) one has for any polynomial P

‖P(T)‖_L^p→L^p?‖P(S)‖_{?^p(Z⁺)→?^p(Z⁺)}     

A solution to Dilworth's congruence lattice problem

We construct an algebraic distributive lattice D that is not isomorphic to the congruence lattice of any lattice. This solves a long-standing open problem, traditionally attributed to R.P. Dilworth, from the forties. The lattice D has a compact top element and ℵω+1 compact elements. Our results extend to any algebra possessing a congruence-compatible structure of a join-semilattice with a largest element.     

The generalized Füredi conjecture holds for finite linear lattices

We say that a rank-unimodal poset P has rapidly decreasing rank numbers, or the RDR property, if above (resp. below) the largest ranks of P, the size of each level is at most half of the previous (resp. next) one. We show that a finite rank-unimodal, rank-symmetric, normalized matching, RDR poset of width w has a partition into w chains such that the sizes of the chains are one of two consecutive integers. In particular, there exists a partition of the linear lattices L_n(q) (subspaces of an n-dimensional vector space over a finite field, ordered by inclusion) into chains such that the number of chains is the width of L_n(q) and the sizes of the chains are one of two consecutive integers.     

Congruences,equational theories and lattice representations

We survey results concerning the representations of lattices as lattices of congruences and as lattices of equational theories. Recent results and open problems will be mentioned.To László Fuchs on the occasion of his 70th birthday     

Varieties of lattice ordered groups that contain no non-abelian o-groups are solvable

It is shown that the variety _n of lattice ordered groups defined by the identity x ⁿ y ⁿ =y ⁿ x ⁿ , where n is the product of k (not necessarily distinct primes) is contained in the (k+1)st power A ^k+1 of the variety A of all Abelian lattice ordered groups. This implies, in particular, that _n is solvable class k + 1. It is further established that any variety V of lattice ordered groups which contains no non-Abelian totally ordered groups is necessarily contained in _n , for some positive integer n.This work was supported in part, by NSERC Grant A4044.     

Largest extension of a finite convex geometry

We present a new embedding of a finite join-semidistributive lattice into a finite atomistic join-semidistributive lattice. This embedding turns out to be the largest extension, when applied to a finite convex geometry.In Celebration of the Sixtieth Birthday of Ralph N. McKenzieReceived September 18, 2002; accepted in final form September 29, 2003.     

Join-semidistributive lattices and convex geometries

We introduce the notion of a convex geometry extending the notion of a finite closure system with the anti-exchange property known in combinatorics. This notion becomes essential for the different embedding results in the class of join-semidistributive lattices. In particular, we prove that every finite join-semidistributive lattice can be embedded into a lattice S_P(A) of algebraic subsets of a suitable algebraic lattice A. This latter construction, S_P(A), is a key example of a convex geometry that plays an analogous role in hierarchy of join-semidistributive lattices as a lattice of equivalence relations does in the class of modular lattices. We give numerous examples of convex geometries that emerge in different branches of mathematics from geometry to graph theory. We also discuss the introduced notion of a strong convex geometry that might promise the development of rich structural theory of convex geometries.     

Lattices of algebraic subsets

This survey article tackles different aspects of lattices of algebraic subsets, with the emphasis on the following: the theory of quasivarieties, general lattice theory and the theory of closure spaces with the anti-exchange axiom.In Celebration of the Sixtieth Birthday of Ralph N. McKenzieReceived August 24, 2002; accepted in final form October 2, 2003.     

A counterexample in the theory of random orders

We show that the 0–1 law fails in random orders of fixed dimension k, k3. In particular, we give an example of a first-order sentence , in the language of partial orders, which cannot have limiting probability 0 or 1 among random orders of dimension 3.Research supported by ONR grant N00014-85-K-0769     

The automorphism group of a function lattice: A problem of Jónsson and McKenzie

It is shown that Aut(L ^Q ) is naturally isomorphic to Aut(L) × Aut(Q) whenL is a directly and exponentially indecomposable lattice,Q a non-empty connected poset, and one of the following holds:Q is arbitrary butL is ajm-lattice,Q is finitely factorable and L is complete with a join-dense subset of completely join-irreducible elements, orL is arbitrary butQ is finite. A problem of Jónsson and McKenzie is thereby solved. Sharp conditions are found guaranteeing the injectivity of the natural mapv _P,Q from Aut(P) × Aut(Q) to Aut(P ^Q )P andQ posets), correcting misstatements made by previous authors. It is proven that, for a bounded posetP and arbitraryQ, the Dedekind-MacNeille completion ofP ^Q ,DM(P ^Q ), is isomorphic toDM(P)^Q. This isomorphism is used to prove that the natural mapv _P,Q is an isomorphism ifv _DM(P),Q is, reducing a poset problem to a more tractable lattice problem.Presented by B. Jonsson.The author would like to thank his supervisor, Dr. H. A. Priestley, for her direction and advice as well as his undergraduate supervisor, Prof. Garrett Birkhoff, and Dr. P. M. Neumann for comments regarding the paper. This material is based upon work supported under a (U.S.) National Science Foundation Graduate Research Fellowship and a Marshall Aid Commemoration Commission Scholarship.     

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

For a finite lattice L, let $ \trianglelefteq_L $ 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 $ \trianglelefteq_L $, as follows: Theorem. Let $ \trianglelefteq $ be a quasi-ordering on a finite set P. Then the following conditions are equivalent:(i) There exists a finite lattice L such that $ \langle J(L), \trianglelefteq_L $ is isomorphic to the quasi-ordered set $ \langle P, \trianglelefteq \rangle $.(ii) $ |\{x\in P|p \trianglelefteq x\}| \neq 2 $, for any $ p \in P $.For a finite lattice L, let $ \mathrm{je}(L) = |J(L)|-|J(\mathrm{Con} L)| $ where Con L is the congruence lattice of L. It is well-known that the inequality $ \mathrm{je}(L) \geq 0 $ holds. For a finite distributive lattice D, let us define the join- excess function:$ \mathrm{JE}(D) =\mathrm{min(je} (L) | \mathrm{Con} L \cong D). $We provide a formula for computing the join-excess function of a finite distributive lattice D. This formula implies that $ \mathrm{JE}(D) \leq (2/3)| \mathrm{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.Dedicated to the memory of Gian-Carlo Rota     

Semilattices with closure

We examine the varieties of semilattices (called CSLs) with an additional closure operator treated as a unary operation. Topics investigated include the word problem in free CSLs, the lattice of CSL varieties, the finite basis problem for the identities of finite CSLs and a representation as intersection closed subsets of topological spaces.Received September 13, 2001; accepted in final form January 3, 2004.     

On the Navarro-Willems conjecture for blocks of finite groups

We prove that a set of characters of a finite group can only be the set of characters for principal blocks of the group at two different primes when the primes do not divide the group order. This confirms a conjecture of Navarro and Willems in the case of principal blocks.