Exercice 15, § 2

Étiquette 002Z, permanente. À citer comme [Bourbaki, Tag 002Z].

Algèbre, VIII, p. 39

Soient A un anneau et $M,N,P$ des A-modules. Si les modules $M\oplus P$ et $N\oplus P$ sont isomorphes et que le module P est primordial, les modules M et N sont isomorphes.