Bourbaki

Corollary 3

Tag 0D1F, permanent. Cite it as [Bourbaki, Tag 0D1F].

Commutative Algebra, chapter X, § 1. Profondeur

Under the hypotheses of Theorem 3, suppose that Spec⁡(Ap)\operatorname{Spec}(A_p) is irreducible (resp. that ApA_p is an integral domain) for every p∈Up \in U; then Spec⁡(Ap)\operatorname{Spec}(A_p) is irreducible (resp. ApA_p is an integral domain) for every p∈Spec⁡(A)p \in \operatorname{Spec}(A).

Let (Yi)i∈I(Y_i)_{i \in I} be the (finite) family of irreducible components of Spec⁡(A)\operatorname{Spec}(A). Let p∈Up \in U; since Spec⁡(Ap)\operatorname{Spec}(A_p) is irreducible, pp contains only one minimal prime ideal of AA, and therefore belongs to only one of the YiY_i (II, § 4, No. 3, Cor. 2 of Prop. 14). The subsets Yi∩UY_i \cap U are closed subsets of UU, pairwise disjoint, non-empty since UU is dense in Spec⁡(A)\operatorname{Spec}(A), and irreducible by II, § 4, No. 1, Prop. 7; they are therefore the connected components of UU. Their closures YiY_i are the connected components of Spec⁡(A)\operatorname{Spec}(A) (Cor. 1). This proves that the connected components of Spec⁡(A)\operatorname{Spec}(A) are irreducible, and therefore that Spec⁡(Ap)\operatorname{Spec}(A_p) is irreducible for every pp (No. 8).

Suppose that AqA_q is an integral domain for every q∈Uq \in U. Let p∈Spec⁡(A)p \in \operatorname{Spec}(A). Since Spec⁡(Ap)\operatorname{Spec}(A_p) is irreducible, the nilradical of ApA_p is the unique minimal prime ideal of ApA_p; it therefore belongs to Ass⁡(Ap)\operatorname{Ass}(A_p) (IV, § 1, No. 3, Cor. 1 of Prop. 7), and consequently is equal to qApqA_p, where qq is a prime ideal associated with AA (IV, § 1, No. 2, Cor. of Prop. 5). One has q∈Uq \in U (Remark 1) and qAq∈Ass⁡(Aq)qA_q \in \operatorname{Ass}(A_q) (loc. cit.); since AqA_q is an integral domain, qq is zero, and therefore ApA_p is an integral domain.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.