Example 5

Tag 000B, permanent. Cite it as [Bourbaki, Tag 000B].

Algebra, VIII, p. 4, § 1. Artinian Modules and Noetherian Modules

Let $(M_i)_{i\in I}$ be a finite family of A-modules. If the modules $M_i$ are Artinian (resp. Noetherian), then so is their direct sum $\bigoplus_{i\in I}M_i$ .

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

Proposition 5, § 1

Cites

Nothing.