Bourbaki

Remark 1

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

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

— Clearly the annihilator of every element ≠ 0 of a τ-primary module has the form AπkA\pi^k (k > 0 an integer), since it is a principal ideal containing a power of τ. Let x be an element of M; for each π∈P\pi \in P, let xπx_\pi be the component of x in MπM_\pi; the annihilator of x is the lcm of the annihilators of the nonzero xπx_\pi, but by the above it is equal in this case to the product of the annihilators of the nonzero xπx_\pi (VI, p. 16, Prop. 12 (DIV)).

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

Cited by

Nothing.

Cites

Nothing.

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