General geometric lattices and projective geometry of modules (Q1912506)

The author develops the lattice-geometric theory of modules mainly over principal ideal domains (PIDs). An extensive bibliography as well as historical remarks are given. The main part of the paper is devoted to defining so-called PID-geometric lattices \(L\) and coordinatizing them by suitable PIDs. This means to construct a ring \(A\) and an \(A\)-module \(X\) such that \(L\) is isomorphic to the lattice of \(A\)-submodules of \(X\). The proof takes up ideas of von Neumann, refined among others by Baer, Jonsson, Monk, Brehm, and Artmann. First, a certain quotient lattice of \(L\) is shown to be a projective geometry over some \(F\)-vector space \(X\). Second, a subring \(A\) of \(F\) is constructed, which is shown to be a commutative PID but not a field, and the submodule lattice of \(E\) considered as an \(A\)-module is shown to contain \(L\). The subset \(P\) of points in \(L\) in the definition of a PID-geometric lattice corresponds to the set \(\{Ax\mid x\in X\backslash \{0\}\}\). Furthermore, analogous to the theorem of \textit{O. Frink} [Trans. Am. Math. Soc. 60, 452-467 (1946; Zbl 0060.05811)] on modular complemented lattices, the author states that any modular \(\Delta\)-complemented lattice \(L\) can be 0-1-embedded into a modular \(D\)-geometric lattice \(M\).