Bourbaki

Proposition 1

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

Algebra, VII, p. 6, § 2. Torsion modules over a principal ideal domain

The AA-module MM is the direct sum of its submodules MiM_i.

Let pi:M→Mp_i : M \to M denote the homothety m↦eimm \mapsto e_i m; the map pip_i is AA-linear since eie_i is central; since ei2=eie_i^2 = e_i, ∑i∈Iei=1\sum_{i \in I} e_i = 1 and eiej=0e_i e_j = 0 for i≠ji \neq j, we have

pi∘pi=pi,∑i∈Ipi=1M,pi∘pj=0fori≠j, p_i \circ p_i = p_i , \quad \sum_{i \in I} p_i = 1_M , \quad p_i \circ p_j = 0 \quad \text{for} \quad i \neq j ,

and the pip_i form an orthogonal family of projectors whose sum is the identity (II, p. 209, Def. 7). By loc. cit., Prop. 12, the module M is the direct sum of the submodules pi(M)=eiMp_i(M) = e_iM. In addition eiMe_iM is annihilated by bi=A(1−ei)b_i = A(1 - e_i); if i≠ji \neq j and m∈Mm \in M then (1−ei)ejm=ejm(1 - e_i)e_jm = e_jm, whence no nonzero element of ejMe_jM is annihilated by 1−ei1 - e_i, and so a fortiori by bib_i. It follows that eiM=Mie_iM = M_i, and the proposition is proved.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed edition, 2003, Springer. Not translated.