Example 2
Tag 0003, permanent. Cite it as [Bourbaki, Tag 0003].
Algebra, VIII, p. 2, § 1. Artinian Modules and Noetherian Modules
Let M be an A-module. If there exists an infinite family of nonzero submodules of M whose sum is direct, then M is neither Artinian nor Noetherian: indeed, for every strictly decreasing (resp. strictly increasing) infinite sequence of subsets of I, the infinite sequence of submodules of M is strictly decreasing (resp. strictly increasing). In particular, an infinite-dimensional vector space over a field is neither Artinian nor Noetherian.
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.