Example 2
Tag 0D4T, permanent. Cite it as [Bourbaki, Tag 0D4T].
Commutative Algebra, chapter X, § 3. Profondeur et dimension homologique
Let be a Gorenstein ring and let be an ideal of , generated by an -regular sequence . The quotient ring is a Gorenstein ring: in fact, for every maximal ideal of containing , the image in of the sequence is -regular and generates the ideal , so that is a Gorenstein ring by Cor. of Prop. 7 (No. 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.