Remark (1)
Tag 04L1, permanent. Cite it as [Bourbaki, Tag 04L1].
Commutative Algebra, chapter IV, § 2. Primary decomposition
Let be a finitely generated module over a Noetherian ring ; let be a composition series of such that, for , is isomorphic to , where is a prime ideal of (, no. 4, Theorem 1). If is a minimal element of , the length is equal to the number of indices such that . For the form a composition series of , and is isomorphic to and hence to if (since is minimal in the set of by , no. 4, Theorem 2) and to which is a field, if .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.