Overrings of two-dimensional noetherian domains representable by noetherian spaces of valuation rings

DOI10.1016/J.JPAA.2007.11.008MaRDI QIDQ2481815zbMATH OpenOpenAlexFDO

Publication date 15 April 2008

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.2007.11.008

finite character representation Krull dimension 2 Noetherian \(R\)-representation Noetherian domain overring strongly irredundant representation Zariski-Riemann space Zariski-Samuel associated prime ideal

Mathematics Subject Classification ID

Valuations and their generalizations for commutative rings (13A18) Integral closure of commutative rings and ideals (13B22) Commutative Noetherian rings and modules (13E05)

Review text

This is one of the studies interested in overrings \(R\) of integral domains \(D\). If \(D\) is a noetherian domain of Krull dimension 1, then every integrally closed overring of \(D\) is a Dedekind domain. For higher Krull dimensions such a neat description may not be possible as recently shown by \textit{K.A. Loper} and \textit{F. Tartarone} [A classification of the integrally closed rings of polynomials containing, preprint]: A classification of the integrally closed rings of polynomials containing \(\mathbb Z[X]\). An integral domain is integrally closed iff it is an intersection of its valuation overrings; hence the focus of the present paper are the integrally closed overrings of two-dimensional noetherian domain \(D\) that arise as the intersections of an arbitrary integrally closed overring and a collection of valuation overrings of \(D\) from noetherian subspace of the Zariski-Riemann space of the quotient field of \(D\). Since the paper has a number of technicalities and various notions and definitions, the reader should be helped by keeping in mind simple examples of the overrings between the ring of integers \(\mathbb Z\) and its quotient field \(\mathbb Q\) or likewise the overrings between \(\mathbb Z[X]\) and \(\mathbb Q[X]\). For \(D\subset H\subset R\), where \(R\) is an integrally closed overring, \(H\) is said to have a noetherian \(R\)-representation if \(H=\left(\bigcap_{V\in\Sigma} V\right)\cap R\), where \(\Sigma\) is a noetherian subspace (i.e. its open subsets satisfy the ascending chain condition) of Zar(\(D\)). The author shows (Theorem 8.1) that, if there exists a noetherian representation of \(H\), then Spec(\(H\)) is a noetherian space. Among an array of the results, we single out the following (Theorems 6.5, 6.6): Let \(H, R\) be overrings of \(D\) with \(D\subset H\subset R\) and \(M\) a (the) maximal ideal of \(H\); assume that \(H\) is a quasilocal ring that is not a valuation domain. Then the following five statements are equivalent: (1) \(H\) has a noetherian (finite character) \(R\)-representation and no member of \(Rep^d_R(H)\) is irrational; (2) \(H\) has a noetherian (resp., finite character) \(R\)-representation and every member of \(Rep^d_R(H)\) has Krull dimension 2; (3) \(E/M\) is a noetherian ring (resp. finitely generated \(H/M\)-algebra) and \(E=B\cap R\) for some integrally closed overring \(B\) of \(H\); (4) \(H\) has a noetherian (finite character) \(R\)-representation and \(Rep^d_R(H)\) contains at least one irrational valuation ring; (5) \(E/M\) is a noetherian ring (resp. finitely generated \(H/M\)-algebra) and \(E=A\cap B\cap R\), where \(A\) is a finite intersection of irrational valuation overrings of \(D, B\) is an integrally closed noetherian overring and \(A\) cannot be omitted from this intersection. This is a reasonable description of the quasilocal overrings of \(D\) that have a noetherian of finite character \(R\)-representations.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Overrings of two-dimensional noetherian domains representable by noetherian spaces of valuation rings

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