Definition 4
Tag 074G, permanent. Cite it as [Bourbaki, Tag 074G].
Algebra, chapter VII, § 4. Finitely generated modules over a principal ideal domain
— In the notation of Prop. 9, those ideals ( an integer) such that are called the elementary divisors of the module , and the integers are called their multiplicities; if the integer is , it is called the multiplicity of the elementary divisor 0.
As for the invariant factors (VII, p. 19, Def. 1), when or (K a commutative field), then the canonical generator of the ideal (a positive integer or a monic polynomial) is also called, by abuse of language, an elementary divisor of the finitely generated module .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.