Congruence join semidistributivity is equivalent to a congruence identity
- Cite this article as:
- Kearnes, K. Algebra univers. (2001) 46: 373. doi:10.1007/PL00000351
- 34 Downloads
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.
© Birkhäuser Verlag Basel, 2001