Lemma 4
Tag 072N, permanent. Cite it as [Bourbaki, Tag 072N].
Algebra, VII, p. 13, § 2. Torsion modules over a principal ideal domain
Let be a principal ideal domain and let be an exact sequence of -modules. Suppose that there exist coprime elements such that and . Then the exact sequence splits. If in addition and are both cyclic, then is cyclic.
The module is torsion, since . The first assertion follows from Cor. 3 of VII, p. 9. If and are cyclic, then they are finitely generated, and hence so is (II, p. 17, Cor. 5); since each -primary component of is isomorphic to a -primary component either of or of , it follows from Remark 2 of VII, p. 10, that is cyclic.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.