Lemma 2
Tag 050T, permanent. Cite it as [Bourbaki, Tag 050T].
Commutative Algebra, chapter VII, § 2. Dedekind domains
Let be a ring, an -module and a right directed family of submodules of with union . Then .
for all . The lemma is obvious if no integer exceeds the , both sides then being infinite. Otherwise, let be an index for which takes its greatest value; then since the family is directed; whence our assertion in this case.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.