Noetherian properties in composite generalized power series rings (Q2053536)

All ordered monoids considered in this paper are nonzero strictly ordered monoids. Let \((\Gamma ,\leq )\) be a nonzero positively ordered monoid and \(\Gamma ^{\ast }=\Gamma \backslash (0).\) Let \(D\subset E\) be an extension of commutative rings with identity and consider the composite generalized power series ring \(D+[[E^{\Gamma ^{\ast },\leq }]]=\{f\in \lbrack \lbrack E^{\Gamma ,\leq }]]\mid f(0)\in D\}.\) First, the authors characterize when the ring \(D+[[E^{\Gamma ^{\ast },\leq }]]\) is Noetherian. They prove that if \(D+[[E^{\Gamma ^{\ast },\leq }]]\) is Noetherian then \(D\) is a Noetherian ring, \((\Gamma ,\leq )\) is narrow and if moreover \(\Gamma \) is cancellative then \(E\) is a finitely generated \(D\) -module and \(\Gamma \) is finitely generated. Conversely, if \(E\) is a finitely generated \(D\)-module over a Noetherian \(r\)ing \(D\) and \((\Gamma ,\leq )\) is a positively totally ordered monoid that is finitely generated, then \(D+[[E^{\Gamma ^{\ast },\leq }]]\) is a Noetherian ring. In the last section of this paper, the authors study the Noetherianess of composite rings of the form \(D+[[I^{\Gamma ^{\ast },\leq }]],\) where \(D\) is a commutative ring with identity and \(I\) is a nonzero proper ideal of \(D.\) Recall that \(D+[[I^{\Gamma ^{\ast },\leq }]]=\{f\in \lbrack \lbrack D^{\Gamma ,\leq }]]\mid f(\alpha )\in I,\) for all \(\alpha \in \Gamma ^{\ast }\}.\) They prove that if \((\Gamma ,\leq )\) is a positively totally ordered monoid then the ring \(D+[[I^{\Gamma ^{\ast },\leq }]]\) is Noetherian if and only if \(D\) is Noetherian, \(I^{2}=I\) and \(\Gamma \) is finitely generated.