Large indecomposable modules over local rings (Q2509251)

Let \((R,{\mathfrak m},k)\) be a commutative noetherian local ring. We say that \(R\) is a Dedekind-like ring if \(R\) is a reduced ring of dimension one, the integral closure \(\overline{R}\) of \(R\) in the total quotient ring of \(R\) is generated by at most two elements as an \(R\)-module and \(\mathfrak m\) is the Jacobson radical of \(\overline R\). If, in addition, \(\overline R / \mathfrak m\) is a purely inseparable field extension of \(k\) of degree two, \(R\) is said to be an exceptional Dedekind-like ring. Then the main result is stated as follows: Theorem 1.2. (1) Suppose \(R\) is not a homomorphic image of a Dedekind-like ring. Let \(\mathcal P\) be a finite set of non-maximal prime ideals of \(R\), and let \(n_p\) be a non-negative integer for each \(p \in \mathcal P\) such that \(n_p = n_q\) if \(p \cap q\) contains a prime ideal. Then there exist infinitely many pairwise non-isomorphic indecomposable finitely generated \(R\)-modules \(X\) such that, for each \(p \in \mathcal P\), the localzation \(X_p\) is a free \(R_p\)-module of rank \(n_p\). (2) Assume that \(R\) is not an exceptional Dedekind-like ring, but that \(R\) is a homomorphic image of a Dedekind-like ring. If \(X\) is an indecomposable finitely generated \(R\)-module and \(p\) is a non-maximal prime ideal, then \(X_p\) is either \(0\) or isomorphic to \(R_p\) or \(R_p^2\). In section 2, the proof of part (1) is given in the case where some power of \(\mathfrak m\) needs at least three generators. Sections 3--6 are devoted to proving part (1) in the case where every power of \(\mathfrak m\) is generated by at most two elements.