scientific article; zbMATH DE number 1532177

From MaRDI portal
Publication:4517580





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].











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4517580)