Example 5
Tag 0D4W, permanent. Cite it as [Bourbaki, Tag 0D4W].
Commutative Algebra, chapter X, § 3. Profondeur et dimension homologique
Every quotient ring of a principal ideal domain is a Gorenstein ring (Example 2). In particular, every monogenic algebra over a field is a Gorenstein 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.