Theorem 4

Tag 053L, permanent. Cite it as [Bourbaki, Tag 053L].

Let $E$ be a finitely generated $A$ -module, $T$ the torsion submodule of $E$ and $M = E/T$ . There exists a pseudo-isomorphism

f : E \to T \times M.

We shall first show two lemmas.

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

Cited by

Nothing.