Noetherian properties in composite generalized power series rings
type: Item
instance of: scholarly article
title: Noetherian properties in composite generalized power series rings
zbMATH Open document ID: 1476.13005
author: Jung Wook Lim
author: Dong Yeol Oh
published in: Open Mathematics
publication date: 2021-11-29T00:00:00Z
review text: 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.
reviewed by: Sana Hizem
Mathematics Subject Classification ID: 13A02
Mathematics Subject Classification ID: 13A15
Mathematics Subject Classification ID: 13B35
Mathematics Subject Classification ID: 13E05
Mathematics Subject Classification ID: 13F25
zbMATH DE Number: 7435569
zbMATH Keywords: \(D+\llbracket E^{\Gamma^{\ast}, \leq}\rrbracket \)
zbMATH Keywords: \(D+\llbracket I^{\Gamma^{\ast},\leq}\rrbracket\)
zbMATH Keywords: generalized power series ring
zbMATH Keywords: Noetherian ring
MaRDI profile type: MaRDI publication profile
full work available at URL: math-2020-0103
OpenAlex ID: W3119977316
cites work: Rings of generalized power series. II: Units and zero-divisors
cites work: Noetherian rings of generalized power series
cites work: Special properties of generalized power series
cites work: When is \(A+XBX\) Noetherian?
cites work: Q3653968
cites work: Q4951130
cites work: Q4415354
cites work: Noetherian Generalized Power Series Rings
cites work: An Existence Theorem for Non-Noetherian Rings
cites work: Armendariz and Reduced Rings
DOI: 10.1515/MATH-2020-0103
description: scientific article; zbMATH DE number 7435569