Exercise 10, § 2
Commutative Algebra, X, p. 156
Bourbaki marks this one as harder than the rest.
(a) Let be an injective homomorphism of noetherian rings, such that the A-submodule of is a direct factor. Prove that if is a Macaulay ring, the same is true of .
(Reduce to the case where is local and, by reasoning by induction on , where contains a maximal ideal. Now prove by considering a primary decomposition of 0 in that is then isomorphic to a product, and conclude by reasoning by induction on the number of maximal ideals of .)
(b) Let be a Macaulay ring, a finite group of automorphisms of whose order is invertible in . Prove that the ring of invariants of is a Macaulay ring.
Solution
No solution has been written yet.