Bourbaki

Proposition 2

Tag 072I, permanent. Cite it as [Bourbaki, Tag 072I].

Algebra, chapter VII, § 2. Torsion modules over a principal ideal domain

— If M is a finitely generated torsion module over a principal ideal domain A, then the n-primary components of M are zero except for a finite number of them, and the projectors of M onto these components MπM_\pi are homotheties.

This follows immediately from Lemma 1, for by Lemma 2 there exists α≠0\alpha \neq 0 in A\mathscr{A} such that M=M(α)M = M(\alpha).

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

Cited by

Cites

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