When D((X)) and D\\X\\ are Prüfer domains

DOI10.1016/J.JPAA.2011.06.009MaRDI QIDQ659863zbMATH OpenOpenAlexWikidataFDO

Authors Gyu Whan Chang, Dong Yeol Oh

Publication date 24 January 2012

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2011.06.009

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Formal power series rings (13F25)

Review text

Let \(D\) be an integral domain, \(X\) be an indeterminate over \(D\), and \(DX\) be the power series ring over \(D\). For \(f\in DX\), let \(c_D(f)\) denote the ideal of \(D\) generated by the coefficients of \(f\). Let \(N=\{f\in DX|c_D(f)=D\}\), \(N_t=\{f\in DX|c_D(f)_t=D\}\), \(D((X))=DX_N\) , and \(D\{\{X\}\}=DX_{N_t}\). In this paper, the authors show that \(D\) is a Krull domain if and only if \(D\{\{X\}\}\) is a Prüfer domain, if and only if \(DX_{PX}\) is a valuation domain for each maximal \(t\)-ideal \(P\) of \(D\), if and only if \(DX\) is a P\(v\)MD in which each \(t\)-ideal is divisorial. It is also shown that \(D\) is a Dedekind domain if and only if \(D((X))\) is a Prüfer domain, if and only if \(DX_{MX}\) is a valuation domain for each maximal ideal \(M\) of \(D\).

Recommendations

• Power Series Rings Over Prüfer v-multiplication Domains. II
• On generalized Krull power series rings
• Power series over integral domains of Krull type
• Power series rings over Prüfer v-multiplication domains
• A localization of a power series ring over a Prüfer domain

Cites work

• Constructing chains of primes in power series rings
• Formally integrally closed domains and the rings \(R((X))\) and \(R\{\{X\}\}\)
• scientific article; zbMATH DE number 3747306 (Why is no real title available?)
• scientific article; zbMATH DE number 1197125 (Why is no real title available?)
• scientific article; zbMATH DE number 3392596 (Why is no real title available?)
• Integral domains in which each non‐zero ideal is divisorial
• On the converse of a well-known fact about Krull domains
• Prüfer v-multiplication domains and the ring \(R[X]_{N_ v}\)
• The Krull dimension of power series rings over almost Dedekind domains
• Weakly factorial rings with zero divisors.

Cited in

(11)

• Formally integrally closed domains and the rings \(R((X))\) and \(R\{\{X\}\}\)
• A localization of a power series ring over a Prüfer domain
• On the generalized Krull property in power series rings
• Kronecker function rings and power series rings
• Power series over Noetherian domains, Nagata rings, and Kronecker function rings
• On power series rings over valuation domains
• On generalized Krull power series rings
• The rings and \(D((X))_i\) and \(D\{\{X\}\}_i\)
• Generalization of Artinian rings and the formal power series rings
• The construction \(D+DX+DX^2 +\cdots +DX^k + X^{k+1}K[X]\)
• Prüfer v-multiplication domains, a survey

This page was built for publication: When \(D((X))\) and \(D\{\{X\}\}\) are Prüfer domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q659863)