Corollary
Tag 000A, permanent. Cite it as [Bourbaki, Tag 000A].
Algebra, VIII, p. 4, § 1. Artinian Modules and Noetherian Modules
Let M be an A-module and a finite family of submodules of M.
a) If the modules are Artinian (resp. Noetherian), then so is their sum .
b) If the modules are Artinian (resp. Noetherian), then so is the module .
By induction, it suffices to treat the case when . The module , quotient of , is isomorphic to the submodule of (I, §4, No. 6, p. 41, Theorem 4).
In part a), we assume that and are Artinian (resp. Noetherian); the same then holds for (Proposition 3).
In part b), we assume that and are Artinian (resp. Noetherian); the same then holds for (loc. cit.).
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
- I, §4, No. 6, p. 41, Theorem 4 not in this corpus
- Proposition 3