Bourbaki

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 dd. Then every strictly increasing or strictly decreasing sequence of submodules of M has at most d+1d+ 1 terms (I, §4, No. 7, p. 44). Consequently, M is Artinian and Noetherian.

Conversely, suppose that M is Artinian and Noetherian. Let S\mathscr{S} be the set of submodules of M of finite length. The zero submodule is an element of S\mathscr{S}, and since M is Noetherian, S\mathscr{S} has a maximal element N. Let us give a proof by contradiction and suppose that M≠NM\not= N. The set of submodules of M distinct from N and containing N then has a minimal element P because M is Artinian. The module P/NP/N 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

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