Bourbaki

Corollary 1

Tag 04JE, permanent. Cite it as [Bourbaki, Tag 04JE].

Commutative Algebra, chapter IV, § 1. Prime ideals associated with a module

If an A-module MM is the direct sum of a family (Mi)i∈I(M_i)_{i \in I} of submodules, then Ass⁡(M)=⋃i∈IAss⁡(Mi)\operatorname{Ass}(M) = \bigcup_{i \in I} \operatorname{Ass}(M_i).

It may be reduced to the case where II is finite by means of (1), then to the case where Card⁡(I)=2\operatorname{Card}(I) = 2 by induction on Card⁡(I)\operatorname{Card}(I). Then let I={i,j}I = \{i, j\}, where i≠ji \neq j; as M/MiM/M_i is isomorphic to MjM_j, Ass⁡(M)⊂Ass⁡(Mi)∪Ass⁡(Mj)\operatorname{Ass}(M) \subset \operatorname{Ass}(M_i) \cup \operatorname{Ass}(M_j) (Proposition 3); moreover, Ass⁡(Mi)\operatorname{Ass}(M_i) and Ass⁡(Mj)\operatorname{Ass}(M_j) are contained in Ass⁡(M)\operatorname{Ass}(M) (Proposition 3), whence the result.

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 volume. Not translated.