Lattices with Defining Relations Close to Distributivity
Alexander G. Gein, Mikhail P. Shushpanov · Siberian Mathematical Journal · 2017
We consider the 3-generated lattices whose generators enjoy the defining relations of the type a ∨( b ∧ c ) = ( a ∨ b )∧( a ∨ c ). Moreover, if the lattice is finite then we obtain its diagram; otherwise, we prove that the corresponding lattice is infinite.