Bourbaki

Exercise 4, § 4

Commutative Algebra, X

Let AA be a noetherian ring of dimension ⩽2\leqslant 2. Show that in order that AA be regular, it is necessary and sufficient that the dual of every finitely generated AA-module be projective (let p\mathfrak{p} be a prime ideal of AA; if the second condition is satisfied, first prove that ApA_{\mathfrak{p}} is regular when prof⁡(Ap)⩽1\operatorname{prof}(A_{\mathfrak{p}}) \leqslant 1, then that dpAp(κ(p))=2\mathrm{dp}_{A_{\mathfrak{p}}}(\kappa(\mathfrak{p})) = 2 when prof⁡(Ap)=2\operatorname{prof}(A_{\mathfrak{p}}) = 2).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.