Proposition 1
Tag 0CR3, permanent. Cite it as [Bourbaki, Tag 0CR3].
Commutative Algebra, chapter VIII, § 6. Dimension des anneaux gradués
a) The ideals form an exhaustive and separated filtration of the ring .
b) The canonical homomorphism of into induces for each an isomorphism of onto ; the are the homogeneous components of an isomorphism of graded rings of onto the graded ring associated with , filtered by the .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.