Bourbaki

Theorem 1

Tag 00QW, permanent. Cite it as [Bourbaki, Tag 00QW].

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

Let A be a left Artinian ring. The A-module AsA_s has finite length.

We will use the following lemma in the proof.

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.