There are sixteen
varieties of lattices that are known to cover N, the variety generated by the
five-element nonmodular lattice N. Fifteen of these are generated by finite
subdirectly irreducible lattices L1,L2,⋯,L15, and the sixteenth is jointly
generated by N and the diamond M3. We show that every variety of lattices
that properly contains N includes one of the lattices M3,L1,L2,⋯,L15. Of
these sixteen lattices, the first six fail to be semidistributive; in fact, every
variety of lattices in which the semidistributive law fails contains one of these
six.
|