1
$\begingroup$

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?

  • 0
    I've added the comment as an answer now.2012-12-27

2 Answers 2

3

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}$.

2

in $\mathbf Z[x_1,x_2,x_3]$ consider the ideals $(x_1)$ and $(x_2)$

  • 0
    Noomi's idea was already enough.2012-12-22