In Search of a Pappian Lattice Identity

Abstract

In [8] and subsequent papers, Jônsson (et al) developed a lattice identity which reflects precisely Desargues Law in projective geometry in that a projective geometry satisfies Desargues Law if and only if the geometry, qua lattice, satisfies this identity. This identity, appropriately called the Arguesian law, has become exceedingly important in recent investigations in the variety of modular lattices (see for example [2], [3], [9], and [12]). In this note, we supply two possible lattice identities for the Pappus' Law of projective geometry.