On the dual of a finitely generated multiplication module. II (Q1825906)

[For part I see the preceding review.] Let R be a commutative ring and M a finitely generated \((= f.g.)\) multiplication R-module, i.e., every submodule N of M has the form JM for some ideal J of R. Putting \(D=AnnAnn(M)\) and \(M^*=\) the dual of M, the author shows: Theorem. Let M be a f.g. multiplication module, and assume that D is a projective (or flat) ideal, then \(M^*\) is a projective (resp. flat) module. Theorem. Let M be a f.g. multiplication module. Then \(M^*\) is a multiplication module if and only if D is a multiplication ideal.