Proposition 1
Tag 0006, permanent. Cite it as [Bourbaki, Tag 0006].
Algebra, VIII, p. 2, § 1. Artinian Modules and Noetherian Modules
An A-module M has finite length (II, §1, No. 10, p. 212) if and only if it is both Artinian and Noetherian.
Suppose that M has finite length . Then every strictly increasing or strictly decreasing sequence of submodules of M has at most terms (I, §4, No. 7, p. 44). Consequently, M is Artinian and Noetherian.
Conversely, suppose that M is Artinian and Noetherian. Let be the set of submodules of M of finite length. The zero submodule is an element of , and since M is Noetherian, has a maximal element N. Let us give a proof by contradiction and suppose that . The set of submodules of M distinct from N and containing N then has a minimal element P because M is Artinian. The module has length 1, and since N is a module of finite length, the same holds for P (II, §1, No. 10, p. 212, Proposition 16). This contradicts the definition of N.
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. 7, p. 44
- II, §1, No. 10, p. 212
- II, §1, No. 10, p. 212, Proposition 16 not in this corpus