Annihilators of sum of two ideals Let $R$ be a commutative Noetherian ring and $I$, $J$ be two ideal of $R$.
If $x\in R$, then is $((I+J):x)=(I:x)+(J:x)$?
I would be very grateful if someone comment me.
 A: Theorem:  Let $I,J\subset R$ be any ideals in a commutative Noetherian ring $R$, and let $x\in R$ be any element.  Then we have the following implications:
(i)  $I\cap J +(x)=(I+(x))\cap (J+(x)) \ \Leftrightarrow \ (I+J:x)=(I:x)+(J:x)$
(ii)  $I+(x)$, $J+(x)$, and $I\cap J+(x)$ are all radical $\Rightarrow$ $I\cap J+(x)=(I+(x))\cap (J+(x))$.
Proof:
For (i), form a grid of short exact sequences of quotients of $R$, where the vertical sequences are multiplication by $x$ and the horizontal sequences are Mayer-Vietoris:
$$\begin{array}{ccccc}
& 0 & 0 & 0 \\
& \uparrow & \uparrow & \uparrow \\
& R/(I\cap J)+(x)\rightarrow & R/I+(x)\oplus R/J+(x) \rightarrow & R/(I+J+(x))\rightarrow & 0\\
& \uparrow & \uparrow & \uparrow \\
0 \rightarrow & R/I\cap J\rightarrow & R/I\oplus R/J\rightarrow & R/I+J\rightarrow 
 & 0\\
& \uparrow & \uparrow & \uparrow \\
0\rightarrow & R/I\cap J:x\rightarrow & R/I:x\oplus R/J:x\rightarrow & R/I+J:x & \\
& \uparrow & \uparrow & \uparrow \\
& 0 & 0 & 0 \\
\end{array}$$
Note that the top row is exact on the left iff $I\cap J+(x)=(I+(x))\cap (J+(x))$ and the bottom row is exact on the right iff $I+J:x=(I:x)+(J:x)$.  Then (i) follows by the $3\times 3$ lemma.
To see (ii), you can use the $\mathcal{V}$ functor from algebraic geometry, where $\mathcal{V}(I)=\left\{P\in\operatorname{Spec}(R) \ | \ P\supseteq I\right\}$, and properties $\mathcal{V}(I\cap J)=\mathcal{V}(I)\cup\mathcal{V}(J)$ and $\mathcal{V}(I+J)=\mathcal{V}(I)\cap \mathcal{V}(J)$, to see that the ideals $I\cap J+(x)$ and $(I+(x))\cap (J+(x))$ have the same radical.
It would be nice to say that Zach Teitler's example fails because $I\cap J+(x)=(x-y)\cap (y)+(x)=(x,y^2)$ is not radical, but unfortunately, it would seem the implication in (ii) cannot be reversed.  For example, in $R=k[x,y]$ take $I=(x)$, $J=(y)$, and take $f=x^2$, then $I\cap J+(f)=(xy,x^2)$ is not radical, yet we still have the equality $I\cap J+(f)=(I+(f))\cap (J+(f))$.
A: If $I$ and $J$ are monomial ideals, then the question is true.
