Bourbaki

Proposition 1

Tag 0CR3, permanent. Cite it as [Bourbaki, Tag 0CR3].

Commutative Algebra, chapter VIII, § 6. Dimension des anneaux gradués

a) The ideals S−1H≥nS^{-1}H_{\geq n} form an exhaustive and separated filtration of the ring S−1HS^{-1}H.

b) The canonical homomorphism of HH into S−1HS^{-1}H induces for each nn an isomorphism unu_n of HnH_n onto S−1H≥n/S−1H≥n+1S^{-1}H_{\geq n}/S^{-1}H_{\geq n+1}; the unu_n are the homogeneous components of an isomorphism of graded rings of HH onto the graded ring associated with S−1HS^{-1}H, filtered by the S−1H≥nS^{-1}H_{\geq n}.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.