Bourbaki

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 (Mi)i∈I(M_i)_{i\in I} 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 (Jn)(J_n) of subsets of I, the infinite sequence (∑i∈JnMi)(\sum_{i\in J_n}M_i) 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.

Transcribed from the printed edition, 2023, Springer Nature. Not translated.