Prüfer domain and affine scheme (Q802678): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.3836/tjm/1270132261 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2040905312 / rank | |||
Normal rank |
Latest revision as of 23:32, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Prüfer domain and affine scheme |
scientific article |
Statements
Prüfer domain and affine scheme (English)
0 references
1990
0 references
The author shows the following: For a field K and a subset E of K, let Zar(K) be the set of valuation rings with quotient field K and let \(Zar(K| E)=\{R\in Zar(K)| E\subset R\}\). Consider the following conditions for a subset W of Zar K: (W-4) If \(\cap_{R\in W}R \subset R'\), then there exists \(R_ 0\in W\) such that \(R_ 0\subset R'.\) (W-5) If \(R_ 1,R_ 2\in W\), \(R_ 1\subset R_ 2\), then \(R_ 1=R_ 2.\) (W-6) If \(R_ 1,R_ 2\in W\), \({\mathfrak m}_{R_ 1}\cap \cap_{R\in W}R ={\mathfrak m}_{R_ 2}\cap \cap_{R\in W}R \), then \(R_ 1=R_ 2.\) Put: \({\mathcal H}=\{X\subset Zar(K)| Z\neq \emptyset,\) (X,\({\mathcal O}_ X)\) is an affine scheme\(\}\), \({\mathcal A}=\{A| A\) is a Prüfer domain with quotient field \(K\}\), \({\mathcal W}=\{W\subset Zar(K)| \quad W\quad satisfies\) (W-4), (W-5) and W-6)\(\}\). Then: Theorem 13. Let K,\({\mathcal H},{\mathcal A},{\mathcal W}\) be as above. Then there are natural bijections among \({\mathcal H},{\mathcal A}\) and \({\mathcal W}.\) Theorem 20. Let A be a noetherian subring of a field K. Then, (i) the following conditions are equivalent: (a) Zar(K\(| A)\) is a scheme; (b) dim(Zar(K\(| A))\leq 1;\) (c) \(Dim(A)+tr.\deg_{QA}K\leq 1.\) (ii) the following conditions are equivalent: (d) Zar(K\(| A)\) is an affine scheme; (e) \(\dim (Zar(K| A))=\dim (A)\leq 1;\) (f) K is an algebraic extension of QA and dim(A)\(\leq 1.\) Theorem 22. Let K be a field. Then, Zar(K) is a scheme of finite type over \({\mathbb{Z}}\) if and only if K is a finite field or a global field of dimension one.
0 references
Prüfer domain
0 references
affine scheme
0 references
valuation rings
0 references