Remark
Tag 0D2J, permanent. Cite it as [Bourbaki, Tag 0D2J].
Commutative Algebra, chapter X, § 2. Modules et anneaux macaulayens
Let be a multiplicative subset of and a finitely generated Macaulay -module. Then is a Macaulay -module. In fact, let ; let denote the canonical homomorphism and put . The ring is identified with (II, § 2, No. 5, prop. 11), and the -module with the -module (II, § 2, No. 7, prop. 20), which is Macaulay by the corollary.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.