Power series rings over globalized pseudo-valuation domains
type: Item
instance of: scholarly article
title: Power series rings over globalized pseudo-valuation domains
zbMATH Open document ID: 0664.13007
DOI: 10.1016/0022-4049(88)90104-1
author: Florida Girolami
published in: Journal of Pure and Applied Algebra
publication date: 1988-01-01T00:00:00Z
review text: Let R be a commutative integral domain with quotient field K. R is called a pseudo-valuation domain (PVD) if each prime ideal P of R has the property that for \(x,y\in K\), xy\(\in P\) implies that \(x\in P\) or \(y\in P\). A PVD is quasi-local and a quasi-local domain (R,M) is a PVD if and only if (M:M) is a valuation domain. R is called a globalized pseudo- valuation domain (GPVD) if for each prime ideal P of R, \(R_ P\) is a PVD and satisfies a certain pullback description. A PVD or Prüfer domain is a GPVD. An integral domain R satisfies the SFT-property if for each ideal A of R, there exists a positive integer k and a finitely generated ideal \(B\subseteq A\) such that \(a^ k\in B\) for each \(a\in A.\) The main result of this paper is that for a GPVD with \(\dim (R)=n\), the following conditions are equivalent: \((1)\quad R\quad has\) the SFT- property, \((2)\quad \dim (Rx)=n+1,\) and \((3)\quad \dim (Rx)<\infty.\) This generalizes the result due to J. Arnold where R is assumed to be a Prüfer domain rather than a GPVD.
Mathematics Subject Classification ID: 13F25
Mathematics Subject Classification ID: 13A18
Mathematics Subject Classification ID: 13C15
Mathematics Subject Classification ID: 13F05
zbMATH DE Number: 4085785
zbMATH Keywords: Krull dimension of formal power series ring
zbMATH Keywords: globalized pseudo-valuation domain
zbMATH Keywords: Prüfer domain
zbMATH Keywords: SFT-property
reviewed by: D. D. Anderson
MaRDI profile type: Publication
full work available at URL: 0022-4049(88)90104-1
OpenAlex ID: W1975340998
cites work: Q4193566
cites work: Pairs of Rings with the Same Prime Ideals
cites work: Krull Dimension in Power Series Rings
cites work: Power series rings over Prüfer domains
cites work: Q3966256
cites work: Locally pseudo-valuation domains
cites work: Topologically defined classes of commutative rings
cites work: Q3931518
cites work: Two constructions of prüfer domains.
cites work: Q5661989
cites work: Q3205350
cites work: Q5603302
cites work: Rings with Noetherian spectrum
description: scientific article; zbMATH DE number 4085785