The ascending chain condition on principal ideals in composite generalized power series rings (Q2323926): Difference between revisions

Let's first recall the definition of the generalized power series ring. Let \(R\) be a commutative ring with identity and \((\Gamma,\leq)\) be a strictly ordered monoid. Denote by \([[R^{\Gamma,\leq}]]\) the set of all mappings \(f:\Gamma\longrightarrow R\) such that \(\mathrm{supp}(f)=\{\alpha\in\Gamma; f(\alpha)\not=0\}\) is an Artinian and a narrow subset of \(\Gamma\). Here we mean by Artinian that every decreasing sequence of elements of \(\mathrm{supp}(f)\) is finite and by narrow that every subset of pairwise order-incomparable elements of \(\mathrm{supp}(f)\) is finite. With pointwise addition, \([[R^{\Gamma,\leq}]]\) is an abelian group. Moreover, for every \(\alpha\in\Gamma\) and \(f,g\in [[R^{\Gamma,\leq}]]\), the set \(X_{\alpha}(f,g)=\{(\beta,\gamma)\in\Gamma\times\Gamma; \alpha=\beta+\gamma,f(\beta)\not=0,g(\gamma)\not=0\}\) is finite. One can define the operation of convolution \((fg)(\alpha)=\sum_{(\beta,\gamma)\in X_{\alpha}(f,g)}f(\beta)g(\gamma)\). Then \([[R^{\Gamma,\leq}]]\) becomes a commutative ring under these tow operations. Let \(D\subseteq E\) be an extension of commutative rings with identity and \(I\) a nonzero proper ideal of \(D\). In this paper, the authors give some sufficient conditions for the following rings to satisfy the ACCP: \(D+[[E^{\Gamma^*,\leq}]]\) and \(D+[[I^{\Gamma^*,\leq}]]\).