Bourbaki

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 (pn)(p^n) (p∈P,n≥1p \in P, n \geq 1 an integer) such that m(pn)>0m(p^n) > 0 are called the elementary divisors of the module MM, and the integers m(pn)m(p^n) are called their multiplicities; if the integer m(0)m(0) is >0> 0, it is called the multiplicity of the elementary divisor 0.

As for the invariant factors (VII, p. 19, Def. 1), when A=ZA = \mathbf{Z} or A=K[X]A = K[X] (K a commutative field), then the canonical generator of the ideal (pn)(p^n) (a positive integer or a monic polynomial) is also called, by abuse of language, an elementary divisor of the finitely generated module MM.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed edition, 2003, Springer. Not translated.