Corollary 1

Tag 05TK, permanent. Cite it as [Bourbaki, Tag 05TK].

For every $A$ -module $E$ , $E/T(E)$ is torsion-free.

If $f : E \to E'$ is an $A$ -linear mapping, let $f_T$ denote the mapping $T(E) \to T(E')$ with the same graph as the restriction of $f$ to $T(E)$ . With this notation:

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

Cited by

Nothing.

Cites

Nothing.