Direct sum cancellation for modules over one-dimensional rings (Q1770489): Difference between revisions

Let \(R\) be a one-dimensional commutative Noetherian reduced ring with finite normalization \(\overline{R}\). The aim of this paper is to answer the following question: If \(R\) has torsion-free cancellation (i.e., \(M\oplus L \simeq N\oplus L\Rightarrow M\simeq N\) for all finitely generated torsion-free \(R\)-modules \(M,N,L)\) then \(R\) actually has cancellation (i.e., \(M\oplus L \simeq N\oplus L\Rightarrow M\simeq N\) for all finitely generated \(R\)-modules \(M,N,L)\). The authors extend the results of \textit{R. Wiegand} [J. Algebra 88, 438--459 (1984; Zbl 0539.13006)], and \textit{R. Wiegand} and \textit{S. Wiegand} [J. Algebra 107, 425--435 (1987; Zbl 0616.13006)], concerning the cancellation problem for finitely generated torsion-free \(R\)-modules to all finitely generated \(R\)-modules rather than just for torsion-free modules. Then they give a necessary and sufficient condition for a Dedekind-like ring to have cancellation and use it to provide an example of a Dedekind-like ring having torsion-free cancellation but not cancellation. They also show that torsion-free cancellation implies cancellation for Dedekind-like orders in algebraic number fields.