Let R be a commutative ring and M an R-module. Then M is a multiplication module if N N : MM for each submodule N of M. The ideal yM mPM Rm : M of R has proved useful in studying multiplication modules. We show that if M is a faithful multiplication module, then yM fI an ideal of R j IM Mg tM, the trace ideal of M. Moreover, yM is an idempotent multiplication ideal of R and yyM yM. We also show that for a multiplication module M, yM=0 : M is an ideal of the endomorphism ring End R M of M and that End R M % lim 2 R=0 : N where the inverse limit is taken over the ®nitely generated submodules N of M.
3383