Proposition 4
Tag 0027, permanent. Cite it as [Bourbaki, Tag 0027].
Algebra, VIII, p. 31, § 2. The Structure of Modules of Finite Length
a) A primordial module is indecomposable.
b) An indecomposable module of finite length is primordial.
Let M be an A-module. Suppose that M is primordial; let be an idempotent in the local ring End. Since , either is invertible and we have , or is invertible and we have . This proves that M is indecomposable (VIII, p. 30).
Now, suppose that M is indecomposable and of finite length. By Proposition 2, c) of VIII, p. 27, every endomorphism of M is invertible or nilpotent; the ring End is therefore local by Example 2 of VIII, p. 26.
The -module is indecomposable, Noetherian, but not Artinian. Its endomorphism ring is isomorphic to , hence is not local. Consequently, is not a primordial -module.
Let be a prime number. The endomorphism ring of the -module is isomorphic to the local ring (cf. VII, §4, p. 65, Exercise 13); it is therefore a primordial -module.
An injective module is indecomposable if and only if it is primordial (X, §1, n, p. 21, proposition )
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
- X, §1, n$^o9$, p. 21 not in this corpus: A X
- VII, §4, p. 65, Exercise 13
- VIII, p. 30
- Example 2 of VIII, p. 26
- Proposition 2, c) of VIII, p. 27