Construction B, I, D et anneaux localement ou residuellement de Jaffard. (B, I, D construction and locally or residually Jaffard rings)
type: Item
instance of: scholarly article
title: Construction B, I, D et anneaux localement ou residuellement de Jaffard. (B, I, D construction and locally or residually Jaffard rings)
zbMATH Open document ID: 0707.13004
DOI: 10.1007/BF01198107
author: Paul-Jean Cahen
published in: Archiv der Mathematik
publication date: 1990-01-01T00:00:00Z
review text: Let R be a commutative ring with unit, of finite Krull dimension. Then one has inequalities \(n+\dim (R)\leq \dim (R[\underline X])\leq n\cdot \dim (R)+n+1\) \((\dim=\) Krull dimension, \(\underline X=(X_ 1,...,X_ n)\) a set of n indeterminates). The ring R is called a Jaffard ring if \(\dim(R[\underline b])=n+\dim(R)\) for all \(n\geq 1\). The ring R is locally Jaffard if\(R_ P\) is Jaffard for all prime ideals P of R, R is residually Jaffard if \(R/P\) is Jaffard for all primes P of R, and totally Jaffard if every localization of R is residually Jaffard. One has implications: Totally Jaffard \(\Rightarrow\) Locally Jaffard \(\Rightarrow\) Jaffard and: Totally Jaffard \(\Rightarrow\) Residually Jaffard \(\Rightarrow\) Jaffard. There are also implications relating the various versions of Jaffard to the concept ``S-strong'' (``S-fort'' in French). The author proves that these properties are independent, except for the implications listed above, by producing examples satisfying all permitted combinations of these properties. The method is as follows: Let K be a field. Then one can produce a semilocal K-algebra B with maximal ideals \(Q_ i\) of arbitrarily prescribed heights by localizing a suitable K-algebra of finite type. Let I be the intersection of the maximal ideals of B. Then \(B_ I\) is the product of fields \(B/Q_ i\). By suitably choosing K (\(=D)\) one can produce inclusions \(D\to B/Q_ i\) of arbitrarily prescribed transcendence degree. These induce an inclusion \(D\to B/I\). One defines A to be the Cartesian product \[ \begin{matrix} A & \rightarrow & B \\ \downarrow & & \downarrow \\ D & \rightarrow & B/I\end{matrix} \] The various Jaffard and strong properties of A were characterized earlier in the paper in terms of the heights of the \(Q_ i\) and the transcendence degrees \([B/Q_ i:D]\), yielding the desired examples.
Mathematics Subject Classification ID: 13C15
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 13B02
zbMATH DE Number: 4160899
zbMATH Keywords: Krull dimension of polynomial ring
zbMATH Keywords: Jaffard ring
zbMATH Keywords: heights
reviewed by: Leslie G. Roberts
MaRDI profile type: Publication
cites work: On Jaffard domains
cites work: On the Dimension Theory of Overrings of an Integral Domain
cites work: Dimension sequences for commutative rings
cites work: Overrings and divisorial ideals of rings of the form \(D+M\)
cites work: Two sufficient conditions for universal catenarity
cites work: Q5661633
cites work: \(D+M\) constructions with general overrings
cites work: Couples d'anneaux partageant un idéal. (Couples of rings sharing an ideal)
cites work: Spectre d'anneaux de polynômes sur une suite croissante d'anneaux. (Spectrum of polynomial rings over an ascending chain of rings)
cites work: The construction \(D+XD_s[X]\)
cites work: Q5661989
cites work: Two constructions of prüfer domains.
cites work: Pseudo-valuation domains
cites work: Q3205350
cites work: Q3274219
cites work: Q3795764
cites work: Strong S-domains
cites work: Q5735274
cites work: A note on the dimension theory of rings
cites work: On the dimension theory of rings. II
full work available at URL: https://doi.org/10.1007/bf01198107
OpenAlex ID: W1975054221
description: scientific article; zbMATH DE number 4160899