Bourbaki

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 ee be an idempotent in the local ring EndA(M)_A(M). Since e2=ee^2=e, either ee is invertible and we have e=1e= 1, or 1−e1-e is invertible and we have e=0e= 0. 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 EndA(M)_A(M) is therefore local by Example 2 of VIII, p. 26.

The Z\mathbf{Z}-module Z\mathbf{Z} is indecomposable, Noetherian, but not Artinian. Its endomorphism ring is isomorphic to Z\mathbf{Z}, hence is not local. Consequently, Z\mathbf{Z} is not a primordial Z\mathbf{Z}-module.

∗*Let pp be a prime number. The endomorphism ring of the Z\mathbf{Z}-module Qp/Zp\mathbf{Q}_p/\mathbf{Z}_p is isomorphic to the local ring Zp\mathbf{Z}_p (cf. VII, §4, p. 65, Exercise 13); it is therefore a primordial Z\mathbf{Z}-module.

An injective module is indecomposable if and only if it is primordial (X, §1, no9^o9, p. 21, proposition 1414).∗.*

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.