Lemma 2
Tag 00QV, permanent. Cite it as [Bourbaki, Tag 00QV].
Algebra, VIII, p. 4, § 1. Artinian Modules and Noetherian Modules
Let M be an A-module and N, P, and Q submodules of M. Suppose that we have , , and N + P = N + Q. We then have P = Q.
Let be an element of Q. It belongs to N + P; hence, there exists an element of P such that . Since Q contains P, the difference belongs to and therefore to P. Consequently, belongs to P.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.