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 End contains no idempotent disctinct from 0 and .
In particular, since the endomorphism ring of the A-module is isomorphic to the opposite ring of A, we see that the A-module 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