On complements in lattices with covering properties (Q1185230)

An atomistic lattice which covering property is called an AC-lattice. A finite element means either 0 or an element which is a join of finitely many atoms. The author proves: Let \(L\) be a complete finite-modular AC- lattice and let \(b\) be a finite element of \(L\). Then \(b\) has a complement iff \(1_ +=0\), where \(1_ +\) denotes the meet of all lower covers of 1.