Example
Tag 0CSU, permanent. Cite it as [Bourbaki, Tag 0CSU].
Commutative Algebra, chapter VIII, § 7. Multiplicités
Let be a ring of formal series over a field ; let be elements of A, a the ideal which they generate, and . Let be the initial forms of the series and their respective degrees. If the sequence is secant in A, one has ; if the sequence is completely secant in the ring , one has .
Consider for example the ring , where a is generated by and ; the preceding inequality gives ; observing that a is generated by the elements and , for which the sequence of initial forms is completely secant, one obtains .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.