, Volume 46, Issue 3, pp 373-387

Congruence join semidistributivity is equivalent to a congruence identity

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract.

We show that a locally finite variety is congruence join semidistributive if and only if it satisfies a congruence identity that is strong enough to force join semidistributivity in any lattice.