Definition 1
Tag 0CS8, permanent. Cite it as [Bourbaki, Tag 0CS8].
Commutative Algebra, chapter VIII, § 7. Multiplicités
The integer is called the multiplicity of the A-module M relative to the ideal q.
It is also denoted by when it is desired to mention the ring A. When A is local with maximal ideal m, one writes or for or .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.