On a topological characterization of Prüfer \(v\)-multiplication domains among essential domains (Q502911)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a topological characterization of Prüfer \(v\)-multiplication domains among essential domains |
scientific article |
Statements
On a topological characterization of Prüfer \(v\)-multiplication domains among essential domains (English)
0 references
11 January 2017
0 references
Let \(D\) be an integral domain, and let \(\mathfrak p\) be a prime ideal of \(D\). If \(D_{\mathfrak p}\) is a valuation domain, then \(D_{\mathfrak p}\) is called an \textit{essential valuation overring} for \(D\), and \(\mathfrak p\) is called an \textit{essential prime ideal} of \(D\). The domain \(D\) is \textit{essential} if it is an intersection of essential valuations overrings for \(D\). As it is well-known, if \(D\) is a P\(v\)MD (Prüfer \(v\)-multiplication domain), then \(D\) has an essential representation: \(D=\bigcap_{\mathfrak m\in t\text{-Max}(D)}D_{\mathfrak m}\). The authors present several characterization of P\(v\)MD's among the essential domains. For example, the authors prove that the following conditions are equivalent for an essential domain \(D\): (1) \(D\) is a P\(v\)MD. (2) \(D=\bigcap\{D_{\mathfrak p}\,:\, \mathfrak p\in Y\}\) for some set \(Y\subseteq \text{Spec}(D)\) such that Cl\((Y)^{\text c}\subseteq \mathcal E(D)\), where \(\mathcal E(D)\) is the set of essential prime ideals of \(D\). (3) \(\mathcal E(D)\) is closed with respect to the constructible topology. (4) \(D\) admits an essential representation \(\{D_ {\mathfrak p}\, :\, \mathfrak p \in Y \}\), where \(Y \subseteq \text{Spec}(D)\) is compact with respect to the Zariski topology. The authors analyze an example of \textit{W. Heinzer} and \textit{J. Ohm} [Can. J. Math. 25, 856--861 (1973; Zbl 0258.13001)] of an essential domain that is not a P\(v\)MD and show how this example fails to satisfy one of their characterizations of P\(v\)MD's. They provide asufficient conditions for an intersection of P\(v\)MD's to be a PVMD. In particular, a finite intersection \(D=\bigcap_{i=1}^n D_i\) of P\(v\)MD's is a P\(v\)MD if \(D\) is essential with respect to \(\{D_1,\dots,D_n\}\). Among other results, the authors prove that if \(D\) is a Krull-type domain, then Int\((D)\) is a P\(v\)MD if and only if Int\((D_0)\) is Prüfer, where \(D_0=\bigcap \{D_{\mathfrak p}: \mathfrak p\in t\text{-Spec}(D) \text{ and Int} (D_{\mathfrak p})\neq D_{\mathfrak p}[X]\}\). The authors use topological considerations, in particular, they use the characterization of the constuctible topology in terms of ultrafilter limit points.
0 references
constructible topology
0 references
essential domain
0 references
Prüfer domain
0 references
P\(v\)MD
0 references
Prüfer \(v\)-multiplication domain
0 references
ring of integer-valued polynomials
0 references
ultrafilter
0 references
ultrafilter limit point
0 references