Power series rings over Prüfer \(v\)-multiplication domains
type: Item
instance of: scholarly article
zbMATH Open document ID: 1345.13001
DOI: 10.4134/JKMS.2016.53.2.447
author: Gyu Whan Chang
published in: Journal of the Korean Mathematical Society
publication date: 2016-06-23T00:00:00Z
Mathematics Subject Classification ID: 13A15
Mathematics Subject Classification ID: 13F05
Mathematics Subject Classification ID: 13F25
zbMATH DE Number: 6597558
zbMATH Keywords: \(t\)-operation
zbMATH Keywords: \(t\)-SFT PvMD
zbMATH Keywords: power series ring
zbMATH Keywords: Krull domain
MaRDI profile type: MaRDI publication profile
title: Power series rings over Prüfer \(v\)-multiplication domains
review text: Let \(D\) be an integral domain. A nonzero ideal \(I\) of \(D\) is said to be a \(t\)-SFT-ideal if there exist a nonzero finitely generated ideal \(J\subseteq I\) and a positive integer \(k\) such that \(a^k\in J_v\) for all \(a\in I_t\). The ring \(D\) is called a \(t\)-SFT-ring if each nonzero ideal of \(D\) is a \(t\)-SFT-ideal. These are the \(t\)-star operation analogue of the well-known SFT-ideals and SFT-rings. Let \(\{X_{\alpha}\}\) be a nonempty set of indeterminates over \(D\) and \(D[[\{X_{\alpha}\}]]_1\) be the first type power series ring over \(D\), i.e., \(D[[\{X_{\alpha}\}]]_1=\bigcup DX_1,\ldots,X_n\), where \(\{X_1,\ldots,X_n\}\) runs over all finite subsets of \(\{X_{\alpha}\}\). It is shown in Theorem 3.7 of \textit{D. D. Anderson} et al. [Commun. Algebra 26, No. 10, 3223--3238 (1998; Zbl 0912.13008)], that if \(D\) is an SFT Prüfer domain, then \((D[[\{X_{\alpha}\}]]_1)_{D-\{0\}}\) is a Krull domain.NEWLINENEWLINELet \(X^1(D)\) be the set of height one prime ideals of \(D\). In the paper under review the author extend the above result to the case of \(t\)-SFT P\(v\)MD. More precisely it is shown that, if \(D\) is a \(t\)-SFT P\(v\)MD, then (1) \((D[[\{X_{\alpha}\}]]_1)_{D-\{0\}}\) is a Krull domain; (2) \(D\) is a Krull domain if and only if \(X^1(D)=t\)-\(\text{Max}(D)\); (3) \(R:=\cap_{P\in X^1(D)}D_P\) is a Krull domain. It is also shown that if \(K\) is the quotient field of \(D\) and \(X\) is an indeterminate over \(D\), then \(D + XK[X]\) is a \(t\)-SFT P\(v\)MD if and only if \(D\) is a \(t\)-SFT P\(v\)MD.
reviewed by: Parviz Sahandi
description: scientific article; zbMATH DE number 6597558