Example 1
Tag 0CR6, permanent. Cite it as [Bourbaki, Tag 0CR6].
Commutative Algebra, chapter VIII, § 6. Dimension des anneaux gradués
\* Let be a graded prime ideal of different from the ideal generated by the ; let be the algebraic subvariety of defined by and the algebraic subvariety of defined by . Then is the cone with base , is the affine algebra of and the local ring of the cone at its vertex. \* 2) Let be a local ring and an ideal of distinct from . Then is a graded ring such that is local; it is generated by and . The ring is therefore local and the filtration is the -adic filtration. It should be noted that in general the rings and are not isomorphic. \* In particular an algebraic variety is not in general locally isomorphic in a neighbourhood of a point to its tangent cone at that point. \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.