Bourbaki

Exercise 32, § 1

Commutative Algebra, VII, 555

Let AA be an integral domain (ai)1≤i≤n(a_i)_{1 \leq i \leq n} a finite family of elements of AA, aa the ideal ∑iAai\sum_i A a_i and RR the submodule of A′′A'' generated by the element (a1,…,an)(a_1, \ldots, a_n). Show that, for the torsion submodule of the AA-module M=An/RM = A^n/R to be a direct factor of MM, it is necessary and sufficient that

a(A:a)+(A:(A:a))=A. a(A : a) + (A : (A : a)) = A.
Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.