Bourbaki

Example

Tag 0CSL, permanent. Cite it as [Bourbaki, Tag 0CSL].

Commutative Algebra, chapter VIII, § 7. Multiplicités

\* Let X be a complex algebraic variety, OX,x\mathscr{O}_{X,x} the local ring of X at a rational point x, XanX^{an} the analytic space associated with X; let x again denote the point of XanX^{an} corresponding to x, and let OXan,x\mathscr{O}_{X^{an},x} be the local ring of XanX^{an} at x. Then e(OXan,x)=e(OX,x)e(\mathscr{O}_{X^{an},x}) = e(\mathscr{O}_{X,x}). \*

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.