Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $I,J$ two ideals in a ring $R$. The product of ideals $IJ$ is included in $I \cap J$. For example we have equality in $\mathbb{Z}$ if generators have no common nontrival factors, in a ring $R$ when $I+J=(1)$, or when $R/IJ$ has no nonzero nilpotent elements. My question is not about equality, instead it is about strict inclusion.

Under what conditions $IJ \subsetneq I \cap J$ ?

If the question appears a little too general, then my primary aim is to see what happens under the hypothesis that $R$ is a Dedekind domain.

share|cite|improve this question

Hint: in a Dedekind (or Prüfer) domain $\:(I+J)\: (I\cap J)\: =\: IJ\ \ $ (gcd $*$ lcm law)

share|cite|improve this answer
Good, however this does not tell much about the fact that $IJ$ is not equal to $I \cap J$. For example, if you consider a prime ideal in a Dedekind domain, it is $II \neq I$, and using the above identity this is difficult to see because it does not explicitly tell that $II$ is strict in $I \cap I=I$. – Oo3 Feb 16 '12 at 18:26
@Oo3 Generalizing PIDs, in a Dedekind domain: contains = divides. Thus $\:(I+J)\: (I\cap J)\: =\: IJ\:$ implies $\:I\cap J \supsetneq IJ$ $\iff$ $I\cap J\ |\ IJ$ properly $\iff$ its cofactor $I+J \ne 1$, i.e. by the gcd $*$ lcm law, the lcm is proper $\iff$ the gcd is proper. – Math Gems Feb 17 '12 at 4:06

There is actually a complete answer, when we assume that the ring $R$ is commutative (which you do when you state the condition $I + J = R$). I stole it from David Speyer's answer here, where he gives a short proof too. Here is the statement:

Let $I,J \leq R$ for a commutative ring $R$. Then $IJ = I \cap J$ if and only if $Tor^R_1(R/I,R/J) = 0$.

So the inclusion $IJ \subsetneq I \cap J$ is strict if and only if $Tor^R_1(R/I,R/J) \neq 0$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.