Remark

Tag 073V, permanent. Cite it as [Bourbaki, Tag 073V].

Algebra, VII, p. 19, § 4. Finitely generated modules over a principal ideal domain

It can happen that a submodule $M$ of infinite rank in a free module $L$ can be such that $L/M$ is torsion free, but $M$ has no complement in $L$ (VII, p. 60, Ex. 6, b)).

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

Cited by

Nothing.

Cites

VII, p. 60