Exercise 4, § 4
Commutative Algebra, X
Let be a noetherian ring of dimension . Show that in order that be regular, it is necessary and sufficient that the dual of every finitely generated -module be projective (let be a prime ideal of ; if the second condition is satisfied, first prove that is regular when , then that when ).
Solution
No solution has been written yet.