Let $A$ be a commutative ring, $I$ an ideal of $A$ and $M$ an module over $A$. Is it true that $\operatorname{Ann}(M/IM) = \operatorname{Ann}(M) + I$?
One inclusion is certainly true, but I don't know about the other one. If the above statement does not hold in general, does it perhaps for finitely generated modules?
Best Answer
Replace $A$ with $A/\operatorname{Ann}(M)$. Then $M$ is an $A$-module with trivial annihilator ideal. Let $a\in \operatorname{Ann}(M/IM)$ (equivalent to $(aM+IM)/IM=0$). You would like to conclude that $a\in I$, or equivalently, that $(aA+I)/I=0$.
This is true by definition if $M$ is faithfully flat over $A$ (e.g. if $M$ is free of positive rank over $A$) because then $(aA+I)/I\otimes_A M $ is isomorphic to $(aM+IM)/IM=0$ by flatness, hence $(aA+I)/I=0$ by faithful flatness. Otherwise it is false even when $M$ is finitely generated over $A$.