Lemma 2
Tag 0CRA, permanent. Cite it as [Bourbaki, Tag 0CRA].
Commutative Algebra, chapter VIII, § 6. Dimension des anneaux gradués
Let and be prime ideals of such that and . If , then is graded, is not, and .
\* Remark 1. --- Let us take up again the notation of example 1 of No. 1. Lemma 2 implies that, if two irreducible subvarieties and of have the same projecting cone and if and , then is the projecting cone of , and is of codimension 1 in . \*
Replacing by , one is reduced to the case where . Then is an integral domain (lemma 1, ), , and it is a matter of proving that : this will indeed imply that , hence that . Since , one has for every , and is disjoint from the multiplicative subset . The ring is therefore isomorphic to a ring of fractions of , and one has therefore
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.