Bourbaki

Definition 2

Tag 0023, permanent. Cite it as [Bourbaki, Tag 0023].

Algebra, VIII, p. 30, § 2. The Structure of Modules of Finite Length

An A-module M is called indecomposable if it is not the direct sum of a family of submodules distinct from 0 and M.

By the corollary of Proposition 12 of II, §1, No. 8, p. 209, the following properties are equivalent:

a) The A-module M is indecomposable.

b) The A-module M is nonzero, and every direct factor submodule of M is equal to 0 or M.

c) The A-module M is nonzero, and the ring EndA(M)_A(M) contains no idempotent disctinct from 0 and 1M1_M.

In particular, since the endomorphism ring of the A-module AsA_s is isomorphic to the opposite ring of A, we see that the A-module AsA_s is indecomposable if and only if the ring A is nonzero and its only idempotents are 0 and 1.

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

Nothing.

Cites

  • corollary of Proposition 12 of II, §1, No. 8, p. 209 not in this corpus
Transcribed from the printed edition, 2023, Springer Nature. Not translated.