On Simplified Definition of Modular Lattices with Unit Element
Kun-Lun Zhang · Mohu xitong yu shuxue · 2009
This paper proved that when we have two binary operations ∧,∨ and a nullary operations 1 on a non-empty set L,if these operations satisfy the two axioms of modular lattices then(L,∧,∨,1) to be a modular lattices with unit element.So, when we define modular lattices with unit element, we needn't start on a lattice with unit element,but we can begin with an algebra of type(2,2,0).