Example 2
Tag 0D31, permanent. Cite it as [Bourbaki, Tag 0D31].
Commutative Algebra, chapter X, § 2. Modules et anneaux macaulayens
A Macaulay ring has no embedded associated prime ideals (No. 2, Prop. 2). Conversely, let be a noetherian ring of dimension which has no embedded associated prime ideals; for every nonempty finite subset strongly secant S of A, the A-module is of dimension , hence Macaulay (No. 1, Example 1); hence A is a Macaulay ring (No. 4, Theorem 2). In particular a reduced noetherian ring of dimension is 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.