Corollary 3
Tag 0CN9, permanent. Cite it as [Bourbaki, Tag 0CN9].
Commutative Algebra, chapter VIII, § 3. Dimension des anneaux noethériens
If A is factorial (VII, § 3, No. 3, Prop. 2), the prime ideals of height 1 of A are the principal ideals generated by the extremal elements of A. If moreover A is local, one has for every prime ideal of height 1 of A.
Let x be an extremal element of A. Then Ax is a prime ideal because x is extremal, of height 1 because A is an integral domain (No. 1, Prop. 1). Let p be a prime ideal of height 1 of A. Then is an irreducible component of a hypersurface for a suitable x (Prop. 4, c)). Let be a decomposition of x into a product of extremal elements such that and are relatively prime if . The irreducible components of are the . Hence for a suitable i. The last assertion follows from Corollary 2 to Prop. 2 of No. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.