Bourbaki

Example

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

Commutative Algebra, chapter IV, § 2. Primary decomposition

Let us take A=ZA = \mathbf{Z}, M=ZM = \mathbf{Z}, N=nZN = n\mathbf{Z} for some integer n>0n > 0. If n=p1α1⋯pkαkn = p_1^{\alpha_1} \cdots p_k^{\alpha_k} is the decomposition of nn into prime factors,

nZ=(p1α1Z)∩…∩(pkαkZ) n\mathbf{Z} = (p_1^{\alpha_1}\mathbf{Z}) \cap \ldots \cap (p_k^{\alpha_k}\mathbf{Z})
is a primary decomposition of nZn\mathbf{Z} in Z\mathbf{Z} by Example 4 of no. 1.

By an abuse of language, the relation N=⋂i∈IQiN = \bigcap_{i \in I} \mathscr{Q}_i is called a primary decomposition of NN in MM. It amounts to the same to say that {0}=⋂i∈I(Qi/N)\{0\} = \bigcap_{i \in I} (\mathscr{Q}_i/N) is a primary decomposition of {0}\{0\} in M/NM/N. If (Qi)i∈I(\mathscr{Q}_i)_{i \in I} is a primary decomposition of NN in MM, the canonical mapping from M/NM/N to ⨁i∈I(M/Qi)\bigoplus_{i \in I} (M/\mathscr{Q}_i) is injective. Conversely let NN be a submodule of MM and ff an injective homomorphism from M/NM/N to a finite direct sum P=⨁i∈IPiP = \bigoplus_{i \in I} P_i, where each set Ass⁡(Pi)\operatorname{Ass}(P_i) is reduced to a single element pip_i; let fif_i be the homomorphism M/N→PiM/N \to P_i obtained by taking the composition off with the projection P→PiP \to P_i, and let Qi/NQ_i/N be the kernel off.; then the QiQ_i distinct from MM are primary with respect to MM (no. 1, Definition 1) and N=⋂i∈IQiN = \bigcap_{i \in I} Q_i. Moreover, Ass⁡(M/N)⊂⋃i∈I{pi}\operatorname{Ass}(M/N) \subset \bigcup_{i \in I} \{p_i\} by virtue of § 1, no. 1, Proposition 3.

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.