Bourbaki

Exercise 1, § 3

Commutative Algebra, VIII, p. 86

Soit AA a ring, UU an open subset of Spec(A)\mathrm{Spec}(A). a) Now prove that the mapping p↦V(p)∩Up \mapsto V(p) \cap U induces a bijection from UU onto the set of irreducible closed subsets of UU. b) Now prove that dim⁡(U)\dim(U) is the supremum of the set of lengths of chains of prime ideals of AA belonging to UU. c) Let Φ\Phi be the set of minimal prime ideals of AA belonging to UU. Now prove that one has

dim⁡(U)=sup⁡p∈Φdim⁡(V(p)∩U). \dim(U) = \sup_{p \in \Phi} \dim(V(p) \cap U) .

d) We now suppose AA local and U≠Spec(A)U \neq \mathrm{Spec}(A). If AA is noetherian, establish the equality dim⁡(U)=sup⁡p∈Φ(dim⁡(A/p)−1)\dim(U) = \sup_{p \in \Phi}(\dim(A/p) - 1). e) Let hh be an integer such that 0<h<dim⁡(A)0 < h < \dim(A). Let EhE_h be the set of prime ideals p∈Up \in U such that ht(p)=h\mathrm{ht}(p) = h and dim⁡(A/p)=dim⁡(A)−h\dim(A/p) = \dim(A) - h. If AA is noetherian, show that EhE_h is infinite. Show that EhE_h can be finite when AA is not noetherian (take for AA a valuation ring of height 2, for UU the open subset Spec(A)−{mA}\mathrm{Spec}(A) - \{ m_A \}, and choose h=1h = 1).

EXERCISES

AC VIII.87

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.