algebra universalis

, Volume 46, Issue 3, pp 373–387

Congruence join semidistributivity is equivalent to a congruence identity

  • Keith A. Kearnes

DOI: 10.1007/PL00000351

Cite this article as:
Kearnes, K. Algebra univers. (2001) 46: 373. doi:10.1007/PL00000351


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.

Key words and phrases: Congruence identity, congruence variety, join semidistributive lattice, herringbone.

Copyright information

© Birkhäuser Verlag Basel, 2001

Authors and Affiliations

  • Keith A. Kearnes
    • 1
  1. 1.Department of Mathematics, University of Louisville, Louisville, KY 40292, USA, e-mail: kearnes@louisville.eduUS