Example (Complete intersection formed by four coordinate planes of an affine space of dimension 4)
Tag 0D1I, permanent. Cite it as [Bourbaki, Tag 0D1I].
Commutative Algebra, chapter X, § 1. Profondeur
Let be a field. Let S denote the polynomial ring . Recall (VIII, § 2, No. 4, Theorem 3) that every maximal chain of prime ideals of S is of length 4. Let m denote the ideal of S generated by the , a the ideal generated by and , and , for , the ideal generated by and . The ideals are prime of height 2, their sum is the maximal ideal m, and one has .
a) The ring is reduced; the irreducible components of Spec(A) are the sets for , which are of dimension 2 and all contain the point . In particular, Spec(A) is connected and of dimension 2. The intersection of two distinct components and is reduced to if , of dimension 1 otherwise. It follows that the conclusion of cor. 4 is satisfied with (we shall see later that A is a Macaulay ring, so that the assumption of corollary 4 is itself satisfied for ).
b) Let b denote the ideal of S generated by , , , , and B the ring . One has . The ring B is reduced. Its spectrum is identified with the closed subset of Spec(A); it has two irreducible components (of dimension 2) whose intersection is reduced to a point. The depth of B along this point is strictly positive because B is reduced, and less than 1 by Theorem 3, hence equal to 1.* Thus B is not a Macaulay ring. \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.