No label defined (Q4517580)

Let \(R\) be a commutative ring with identity. An ideal \(I\) of \(R\) is said to be decomposable if \(I\) is a finite intersection of primary ideals, and \(R\) is (finitely) Laskerian if each (finitely generated) ideal of \(R\) is decomposable. Now \textit{W. Heinzer} and \textit{J. Ohm} [Proc. Am. Math. Soc. 34, 73-74 (1972; Zbl 0239.13014)] showed that if \(R[X]\) is Laskerian, then \(R\) is Noetherian. However, if \(R=K[\{X_n\}^\infty_{n=1}]\), then \(R\) and \(R[X]\) are both finitely Laskerian. The reviewer raised the question of whether \(R\) finitely Laskerian implies that \(R[X]\) is finitely Laskerian. This paper investigates this and related questions. Perhaps the best result is for the case where \(R\) is an arithmetical ring. In this case it is shown that the following conditions are equivalent: (1) \(R\) is Laskerian, (2) \(R\) is finitely Laskerian, (3) every principal ideal of \(R\) is decomposable, (4) \(R[X]\) is Laskerian, (5) \(R[X]\) is finitely Laskerian, and (6) every principal ideal of \(R[X]\) is decomposable. It is also shown that if \((R,M)\) is a 0-dimensional quasilocal ring such that \(R/\text{ann}(M)\) is Noetherian (e.g., \(M^2=0)\), then \(R[X]\) is finitely Laskerian. The question of when the property that every principal ideal is decomposable is inherited by the polynomial ring is also considered. This is shown to be the case if either \(R\) is a GCD-domain or a one-dimensional domain whose integral closure is Prüfer. The paper contains may other interesting related results. For the entire collection see [Zbl 0944.00041].