Lattices over pseudo-Bass commutative rings (Q580440)

Let A be a pseudo-Noetherian domain [see \textit{Yu. A. Drozd}, Math. Notes 37, 177-178 (1985); translation from Mat. Zametki 37, No.3, 313-316 (1985; Zbl 0583.16004)], \(K=Fr(A)\), P the set of prime ideals of height one. A sub-A-module M of a finite dimensional linear K-space V is an A- lattice if \(KM=V\) and M is contained in a finitely generated sub-A-module of V. M is an over-ring of A if it is an A-lattice for \(V=K\) and has a structure of subring of K. A is a pseudo-Bass ring if for every \(p\in P\) the ring \(A_ p\) is Bass, i.e. \(A_ p\) is Gorenstein as all its over- rings. Suppose that A is pseudo-Bass and let \(M\subset V\) be an A- lattice, \(n=\dim_ KV\). Then there exists a chain \(A_ 1\subseteq A_ 2\subseteq...\subseteq A_{n-1}\) of over-rings of A and a monomorphism \(\phi: A_ 1\oplus...\oplus A_{n-1}\to M\) such that M/Im(\(\phi)\) is isomorphic with an ideal of A. Moreover \(\phi_ p\) has a retraction if \(p\in P\). This extends a theorem of Dedekind.