Commutative rings with finitely generated monoids of fractional ideals
type: Item
instance of: scholarly article
title: Commutative rings with finitely generated monoids of fractional ideals
zbMATH Open document ID: 1153.13017
author: D. D. Anderson
author: Sangmin Chun
published in: Journal of Algebra
publication date: 2008-12-02T00:00:00Z
review text: Let \(R\) be a commutative ring with integral closure \({\bar R}\), total quotient ring T(R), and let \({\bar F}(R)\) be the multiplicative monoid consisting of all \(R\)-submodules of \(T(R)\). The purpose of the paper is to investigate the finite generation property for \({\bar F}(R)\) or one of the following submonoids of \({\bar F}(R)\): the set of principal fractional ideals \(P(R)\), the set of finitely generated fractional ideals \(F^*(R)\), and the set of fractional ideals \(F(R)\). Recall the following definitions: the group of divisibility \(G(R)\) of \(R\) is \(U(T(R))/U(R)\) and a finite dimensional semiquasilocal generalized Dedekind domain is a semiquasilocal domain \(D\) such that for each maximal ideal \(M\) of \(D\), \(D_M\) is a finite-rank discrete valuation domain. A special principal ideal ring (SPIR) is a principal ideal ring with a unique nonzero prime ideal, which is nilpotent. A special Bézout ring \(R\) is a Bézout ring (every finitely generated ideal of \(R\) is principal) with a unique minimal prime \(P\), \(T(R) = R_P\) is an SPIR, and \(G(R/P)\) is finitely generated. Then the following conditions are equivalent: (i) \(P(R)\) is finitely generated. (ii) \(G(R)\) is finitely generated and \(T(R)\) is a finite direct product of finite local rings, SPIRs, and fields. (iii) \(F^*(R)\) is finitely generated. (iv) \({\bar R}/[R : {\bar R}]\) is finite and \({\bar R}\) is a finite direct product of finite local rings, special Bézout rings, and Bézout domains with finitely generated groups of divisibility. Another result says that the following conditions are equivalent. (1) \(F(R)\) is finitely generated. (2) \({\bar F}(R)\) is finitely generated. (3) \({\bar R}/[R : {\bar R}]\) is finite and \({\bar R}\) is a finite direct product of finite local rings, special Bézout rings whose reduced rings are finite dimensional semiquasilocal generalized Dedekind domains, and finite dimensional semiquasilocal generalized Dedekind domains.
Mathematics Subject Classification ID: 13F05
Mathematics Subject Classification ID: 13A15
zbMATH DE Number: 5376943
zbMATH Keywords: monoids of fractional ideals
zbMATH Keywords: group of divisibility
zbMATH Keywords: Prüfer domains
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2008.06.032
OpenAlex ID: W2066929516
cites work: Multiplication Ideals, Multiplication Rings, and the Ring R(X)
cites work: Q4184971
cites work: Integral Domains with Finitely Generated Groups of Divisibility
cites work: When are associates unit multiples?
cites work: Cohen-Kaplansky domains: Integral domains with a finite number of irreducible elements
cites work: Finitely generated monoids of fractional ideals
cites work: Quotients of unit groups of commutative rings
cites work: Rings With a Finite Number of Primes. I
cites work: Q3436765
cites work: Q5661989
cites work: Finitely generated groups of divisibility
DOI: 10.1016/J.JALGEBRA.2008.06.032
description: scientific article; zbMATH DE number 5376943