On meet-complements in Cohn geometries (Q2366161)

Let \((L,\vee,\wedge)\) be a lattice with top 1 and bottom 0. Any \(y\in L\) which is maximal in \(L\) with respect to \(x\wedge y=0\) is called a meet- complement of \(x\in L\). Let \(G:=(L,E,F)\) denote a projective lattice geometry in the sense of \textit{M. Greferath} and the author [Geom. Dedicata 43, No. 3, 243-264 (1992; Zbl 0787.51004), section 2], i.e. \(L\) is a lattice and \(F,E\) with \(F\subseteq E\) are subsets of compact elements satisfying some additional axioms. An important class of examples \(G(M)\) is given by taking for \(L\), \(E\), and \(F\) the lattice of submodules of some unitary left \(R\)-module \(M\), the set of 1-generated submodules, and the set of submodules isomorphic to \(R\) taken as a module over itself, respectively. \(MC(G)\) will denote the set of meet-complements in \(G\). \(C^*(G)\) denotes the set of all complemented elements \(x\) from \(G\) such that \(x\) and its complement are generated by some family of elements from \(F\). As a main result the author proves among others that in a Cohn geometry, (i.e. a projective geometry with \(E\backslash\{0\}=F\) such that the join of disjoint elements from \(F\) is never in \(E\), cf. [loc. cit]) the equation \(C^*(G)=MC(G)\) holds iff \(G\) is a finitely generated Ore geometry (i.e. a projective geometry where \(x\in E\backslash\{0\}\) implies that no two elements \(\leq x\) are disjoint, cf. [loc. cit]) which has the \(U\)-property (i.e. any \(x\in E\) fulfils \(x\leq y\) for some unimodular \(y\in E)\) or \(G\) is a classical projective geometry \(G(M)\) (i.e. \(M\) is a left-module over some skew field).