# Basic question about Ideals in Commutative Rings

Let $\mathcal{I}, \mathcal{J}$ be ideals of the commutative ring $\mathcal{A}$. It's a well know fact that:

$\mathcal{I} + \mathcal{J}= A \Rightarrow \mathcal{I} \mathcal{J} = \mathcal{I} \cap \mathcal{J}$.

What can I say about the vice versa?

-
Could you have something like $\mathcal{I}=(0)$, and $\mathcal{J}$ a proper ideal of $A$? – Noomi Holloway Dec 22 '12 at 9:09
If possible I would accept this comment as answer. – Ivan Dec 27 '12 at 12:37
I've added the comment as an answer now. – Noomi Holloway Dec 27 '12 at 21:00

Consider the case where $\mathcal{I}=(0)$ and $\mathcal{J}$ is a proper ideal of $\mathcal{A}$.
Then $\mathcal{IJ}=\mathcal{I}\cap\mathcal{J}=(0)$, but $\mathcal{I}+\mathcal{J}=\mathcal{J}\neq\mathcal{A}$.
in $\mathbf Z[x_1,x_2,x_3]$ consider the ideals $(x_1)$ and $(x_2)$