Example
Tag 04AA, permanent. Cite it as [Bourbaki, Tag 04AA].
Commutative Algebra, chapter II, § 4. Spectra of rings and supports of modules
Let be an ideal of ; in the notation of no. 3, we have
If is a prime of such that , then (§ 3, no. 1, Remark 3); if on the other hand , is contained in the maximal ideal of , and is isomorphic to and hence is non-zero (§ 3, no. 1, Proposition 3); whence our assertion. In particular, .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.