A constructive approach to the finite congruence lattice representation problem

A finite lattice is representable if it is isomorphic to the congruence lattice of a finite algebra. In this paper, we develop methods by which we can construct new representable lattices from known ones. The techniques we employ are sufficient to show that every finite lattice which contains no three element antichains is representable. We then show that if an order polynomially complete lattice is representable then so is every one of its diagonal subdirect powers. Received August 30, 1999; accepted in final form November 29, 1999.     

Doubling convex sets in lattices and a generalized semidistributivity condition

A useful construction for lattices is doubling a convex subsetI of a latticeL, i.e., replacingI byI×2. It is shown that this construction preserves a generalized semidistributivity condition (C). Varieties of lattices in which every lattice satisfies (C) are characterized equationally.This research was supported in part by the NSF (Nation) and NSERC (Day).     

Complete congruence lattices of join-infinite distributive lattices

Received July 26, 1993; accepted in final form July 16, 1996.     

Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound

We show that a residually finite, congruence meet-semidistributive variety of finite type is residually for some finite . This solves Pixley's problem and a special case of the restricted Quackenbush problem.

     

Correction to "Some properties of complete congruence lattices"

Received April 26, 2000; accepted in final form July 19, 2001.     

Some properties of complete congruence lattices

For a complete lattice C, we consider the problem of establishing when the complete lattice of complete congruence relations on C is a complete sublattice of the complete lattices of join- or meet-complete congruence relations on C. We first argue that this problem is not trivial, and then we show that it admits an affirmative answer whenever C is continuous for the join case and, dually, co-continuous for the meet case. As a consequence, we prove that if C is continuous then each principal filter generated by a continuous complete congruence on C is pseudocomplemented. Received January 6, 1998; accepted in final form July 2, 1998.     

A note on lattice congruence regularization

We give an example that answers in the negative Problem 11 of G. Gr?tzer and E. T. Schmidt, Regular congruence-preserving extensions of lattices. Received November 24, 1999; accepted in final form October 16, 2000.     

Almost all minimal idempotent varieties are congruence modular

We show that, up to term equivalence, the only minimal idempotent varieties that are not congruence modular are the variety of sets and the variety of semilattices. From this it follows that a minimal idempotent variety that is not congruence distributive is term equivalent to the variety of sets, the variety of semilattices, or a variety of affine modules over a simple ring. Received March 29, 1999; accepted in final form February 8, 2000.     

Mailbox¶Generalising congruence regularity for varieties

No Abstract. Received September 14, 2001; accepted in final form June 9, 2002.     

On complete congruence lattices of join-infinite distributive lattices

In [5] G. Gr?tzer and E. T. Schmidt raised the problem of characterizing the complete congruence lattices of complete lattices satisfying the Join-Infinite Distributive Identity (JID) and the Meet-Infinite Distributive Identity (MID) and proved the theorem: Any complete lattice with more than two elements and with a meet-irreducible zero cannot be represented as the lattice of complete congruence relations of a complete lattice satisfying the (JID) and (MID). In this note we generalize this result by showing that the complete congruence lattice of every complete lattice satisfying (JID) and (MID) is a zero-dimensional complete lattice satisfying (JID). Some consequences are discussed. Received March 6, 2000; accepted in final form September 12, 2000.     

A note on CIP varieties

It is proved that every variety satisfying the Congruence Intersection Property (CIP) is Abelian. In addition, a CM Abelian variety has the CIP if and only if it has a constant term operation. Finally, a CM variety is Abelian if and only if it has the weak CIP. Received October 8, 1998; accepted in final form January 5, 1999.     

Regular congruence-preserving extensions of lattices

In this paper, we prove that every lattice L has a congruence-preserving extension into a regular lattice , moreover, every compact congruence of is principal. We construct by iterating a construction of the first author and F. Wehrung and taking direct limits.? We also discuss the case of a finite lattice L, in which case can be chosen to be finite, and of a lattice L with zero, in which case can be chosen to have zero and the extension can be chosen to preserve zero. Received September 10, 1999; accepted in final form October 16, 2000.     

The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators

We show every at most countable orthomodular lattice is a subalgebra of one generated by three elements. As a corollary we obtain that the free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators. This answers a question raised by Bruns in 1976 [2] and listed as Problem 15 in Kalmbach's book on orthomodular lattices [6]. Received April 12, 2001; accepted in final form May 6, 2002.     

Algebraic coalitions

The idea of an algebra in is introduced. Within congruence modular varieties such algebras are shown to be the abelian algebras with a one-element subalgebra. This leads on to the notion of algebraic coalition, which is characterized for congruence modular varieties and for varieties of Jónsson–Tarski algebras. This characterization displays an intimate relationship between algebraic coalitions, Gumm difference terms, and the centre of an algebra. Received July 16, 1996; accepted in final form May 2, 1997.     

Sublattices and standard congruences

In an earlier paper, the authors and H. Lakser proved that, for every lattice K and nontrivial congruence of K, there is an extension L of K such that is the restriction to K of a standard congruence on L. ?In this note, we give a very short proof of this result in a stronger form the lattice L we construct is sectionally complemented and it has only one nontrivial congruence, the standard congruence. Received September 16, 1997; accepted in final form October 28, 1998.     

A survey of tensor products and related constructions in two lectures

We survey tensor products of lattices with zero and related constructions focused on two topics: amenable lattices and box products. Received August 21, 1998; accepted in final form September 9, 1998.     

Hyperidentities of some generalizations of lattices

In the paper we present bases and hyperbases of hyperidentities of some generalizations of the variety L of all lattices and the variety D of distributive lattices. We describe the form of hyperidentities of some varieties with two binary operations. Received January 22, 1997; accepted in final form January 7, 1998.     

Congruence-preserving subdirect products

An algebra A is said to be a congruence-preserving extension of a subalgebra B if the mapping from the congruence lattice of B to that of A, assigning to each congruence relation β on B the minimal congruence relation on A containing β, is an isomorphism. We give a necessary and sufficient condition on the congruence lattice of a subdirect product B of finitely many algebras in a congruence-distributive variety that the full direct product be a congruence-preserving extension of B. We give several applications to congruence lattices of lattices. Received May 25, 2000; accepted in final form January 22, 2001.     

A survey of recent results on congruence lattices of lattices

We review recent results on congruence lattices of (infinite) lattices. We discuss results obtained with box products, as well as categorical, ring-theoretical, and topological results. Received March 13, 2002; accepted in final form September 24, 2002. RID="h1" ID="h1"