1
$\begingroup$

Let $A$ be a Noetherian commutative ring. Given two ideals $I$ and $J$ of $A$, I would like to know whether $I^2\cap J^2 = IJ$. More generally speaking, does $I^d\cap J^d = \sum_{k=1}^{d-1} I^k J^{d-k}$ hold? If not, what conditions on $A$ do I need for this to be true?

  • 0
    Urk, that was truly a stupid question.2011-07-07

1 Answers 1

1

The answer is no. The ring $\mathbb{Z}$ is a Noetherian commutative ring. If $I = p\mathbb{Z}$ and $J = q\mathbb{Z}$ where $p$ and $q$ are different primes, then $I^2 \cap J^2 = p^2 q^2 \mathbb{Z}$, while $IJ = pq\mathbb{Z}$.

As for the second part of the question, it might be more reasonable to ask when we have $I \cap J = IJ$ for ideals $I$ and $J$. In Dedekind domains (if you have seen these-they are a kind of ring where each proper non-zero ideal factors uniquely as a product of prime ideals), this happens if $I$ and $J$ have no common prime ideal divisor. In the case of $\mathbb{Z}$, which is a Dedekind domain, if $I$ and $J$ are proper non-zero ideals, then there are positive integers $m$ and $n$ such that $I = m\mathbb{Z}$ and $J = n\mathbb{Z}$. In that case, $I \cap J = IJ$ if and only if $m$ and $n$ are relatively prime (ie ${\rm gcd}(m,n) = 1$).

  • 0
    I see my answer essentially duplicates Qiaochu's comments, which weren't there when I started writing.2011-07-07