Bourbaki

Exercise 10, § 2

Commutative Algebra, X, p. 156

Bourbaki marks this one as harder than the rest.

(a) Let ρ:A→B\rho : A \to B be an injective homomorphism of noetherian rings, such that the A-submodule A1BA1_B of BB is a direct factor. Prove that if BB is a Macaulay ring, the same is true of AA.

(Reduce to the case where AA is local and, by reasoning by induction on prof⁡A(B)\operatorname{prof}_A(B), where Ass⁡(B)\operatorname{Ass}(B) contains a maximal ideal. Now prove by considering a primary decomposition of 0 in BB that BB is then isomorphic to a product, and conclude by reasoning by induction on the number of maximal ideals of BB.)

(b) Let BB be a Macaulay ring, GG a finite group of automorphisms of BB whose order is invertible in BB. Prove that the ring of invariants of GG is a Macaulay ring.

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.