Noetherian rings of composite generalized power series
Dong Yeol Oh
DOI: https://doi.org/10.1515/math-2024-0059
2024-09-21
Open Mathematics
Abstract:Let A ⊆ B be an extension of commutative rings with identity, ( S , ≤ ) a nonzero strictly ordered monoid, and S * = S \ { 0 } . Let A + 〚 B S * , ≤ 〛 = { f ∈ 〚 B S , ≤ 〛 ∣ f ( 0 ) ∈ A } . In this study, we determine when the ring A + 〚 B S * , ≤ 〛 is a Noetherian ring. We prove that when S is a strict monoid, if A + 〚 B S * , ≤ 〛 is a Noetherian ring, then A is a Noetherian ring, B is a finitely generated A -module, and S is finitely generated. We also show that if B is a finitely generated A -module over a Noetherian ring A and ( S , ≤ ) is a positive strictly ordered monoid, which is finitely generated, then A + 〚 B S * , ≤ 〛 is a Noetherian ring.
mathematics