Remark 1
Tag 0CR4, permanent. Cite it as [Bourbaki, Tag 0CR4].
Commutative Algebra, chapter VIII, § 6. Dimension des anneaux gradués
An element of with , is invertible if and only if the component of degree 0 of is invertible in . Consequently, if the ring is local, the ring is local and the canonical injection induces an isomorphism of the residue fields.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.