A characterization of subgroup lattices of finite abelian groups (Q1770354)

In earlier work, Baer, Inaba, Jónsson and Monk characterized the subgroup lattices of finite Abelian (\(p\)-)groups under the assumption that there are at least three independent cyclic subgroups of maximal order. This paper covers the remaining cases. Some notions: the breadth of a modular lattice is the maximum number of independent elements in an interval sublattice. A modular lattice is {semi-primary} if it is of finite height and every element is a join of cycles and a meet of dual cycles. A semi-primary lattice is primary if no elements have exactly two upper covers (equivalently, all its complemented intervals are irreducible). A lattice is \(q\){-uniform} if every length-two interval that is not a chain has \(q\) atoms. The main result reads as follows: Corollary 10.2. A lattice is coordonatizable (by a finitely generated module over a completely primary uniserial ring) if and only if it is one of the following: (1) a finite chain, {(2) }\(q\)-uniform primary of breath 2 with \(q=p^{k}+1\), \(p\) prime, or \(q\) infinite, (3) primary Arguesian of breadth \(\geq 3\). The important special case: \(L\) is isomorphic to the subgroup lattice of a finite Abelian \(p\)-group if and only if (1) or (2) with \(k=1\) or (3) with coordinate ring \(Z/(p^{n})\).