Exercice 8, § 2

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

Algèbre, VIII, p. 37

Soit A un anneau artinien à gauche, et soient M et N deux sous-modules supplémentaires dans le A-module $A^n_s$ . Si M est un A-module libre, N est un A-module libre.