Layer-projective lattices. II (Q1810174)

This is part two of a paper by the same authors [for Part I see Math. Notes 63, No. 2, 170-182 (1998); transl. from Mat. Zametki 63, No. 2, 150-160 (1998; Zbl 0916.06009)]. It is directed towards an isomorphy classifaction of primary Arguesian lattices of geometric dimension at least 3. According to \textit{B. Jónsson} and \textit{G. S. Monk} [Pac. J. Math. 30, 95-139 (1969; Zbl 0186.02204)] such a lattice is isomorphic to the lattice of all submodules of some finitely generated module over a completely primary uniserial ring \(R\). Consequently, any interval sublattice which is not a chain is a projective geometry over \(R/P\), \(P\) the maximal ideal. The authors observe that \(R/P \cong \text{GF}(p)\) if \(R=\text{GF}(p)[x]/x^n\). The converse fails in view of the integers modulo \(p^2\). Thus, Theorem B and its corollaries have to be understood with some hidden proviso. Nonetheless the first paper has prompted \textit{G. Takach} and the reviewer to show that for primary Arguesian lattices of breadth \(\geq 3\) a complete isomorphy invariant is given by the cycle type together with the isomorphism type of the coordinate rings of maximal interval sublattices of geometric dimension \(\geq 3\) [Beitr. Algebra Geom., submitted Feb. 2002]. In the breadth 2 case one may use the number of atoms in a non-chain interval, provided that this is unique.