Bourbaki

Exercise 30, § 2

Commutative Algebra, IV

Let MM be an AA-module, and let NN be a submodule of MM admitting a reduced primary decomposition N=⋂i=1nQiN = \bigcap_{i=1}^{n} Q_i; let p_i be the prime ideal associated with QiQ_i.

a) Now prove that if bb is an ideal of AA which is not contained in any of the pip_i, one has N:b=NN : b = N (cf. exerc. 17).

b) If each of the QiQ_i is strongly primary in MM, now prove conversely that if one has N:b=NN : b = N, bb is not contained in any of the pip_i.

(Notice that if b⊂pib \subset p_i and P=⋂j≠iQjP = \bigcap_{j \neq i} Q_j, one has brP⊂Nb^r P \subset N for a suitable integer rr, and deduce that if one had N:b=NN : b = N, one would have P=NP = N.) Deduce from this that there then exists β∈b\beta \in b such that N:(β)=NN : (\beta) = N.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.