8
$\begingroup$

So I basically have to prove what is on the title.

Given $R$ a commutative rng (a ring that might not contain a $1$), with the property that $I+J=R$, (where $I$ and $J$ are ideals) we have to prove that $IJ=I\cap J$.

One inclusion is easy. If $x\in IJ$, then $x=\sum a_ib_i$ where $a_i\in I$ and $b_i\in J$. Thus for any fixed $i$, we have that since $a_i\in I$, we have that $a_ib_i\in I$, and the same argument shows that $a_ib_i\in J$, thus $\sum a_ib_i\in I$ and $\sum a_ib_i\in J$, this means that $x=\sum a_ib_i\in I\cap J$, and thus $IJ\subset I\cap J$.

I am having troubles proving the other inclusion. Any comments?

Thanks

  • 0
    Wait, ins't this false for general commutative rngs? Consider $\mathbb Z$ with the normal addition and multiplication $\cdot$ defined by $a\cdot b=0,\forall a,b\in\mathbb Z$. Then $(2)$ and $(3)$ are comaximal ideals (since we can write $x$ as $2a+3b$ in integers with regular multiplication so as $2 + \cdots + 2 + 3 + \cdots + 3$ in our rng), $(2)\cap (3)=(6)\neq (0)$ yet clearly $(2)(3)=0$.2012-03-19
  • 1
    Im thinking its false as well with $I=4\mathbb{Z}$ and $J=6\mathbb{Z}$ and $R=2\mathbb{Z}$2012-03-19
  • 0
    what happens if the ring R is not Commutative??2015-02-25
  • 0
    @user8795 : see https://math.stackexchange.com/questions/1222474/assume-r-is-commutative-if-ij-r-prove-that-ij-i-cap-j-provide-a-count?noredirect=1&lq=12016-12-22

1 Answers 1

9

Edit: Undeleted and expanded upon as per my comments.

The statement you are trying to prove is only necessarily true for commutative rings. In this case, you can argue that $$I\cap J\subseteq (I\cap J)R=(I\cap J)(I+J)=I(I\cap J)+ J(I\cap J)\subseteq IJ+ IJ=IJ$$

But you could use the stronger step $I\cap J= (I\cap J)R$ , when the ring has 1, this doesn't work however general rngs.

A counterexample to the statement for general rngs is given by endowing the group $\mathbb Z$ with the zero product, that is defining $a\cdot b=0,\forall a,b\in\mathbb Z$. The ideals $(2)$ and $(3)$ are still comaximal, as for any $x\in\mathbb Z$ we can write $x=a\times 2+b\times 3$ for some $a,b\in\mathbb Z$ where $\times$ denotes regular multiplication, and $a\times 2=a+\cdots+a\in(2)$ where addition is performed $a$ times, and similarly $b\times 3\in (3)$. But $(2)\cap (3)=(6)\neq (0)$, yet clearly $(2)(3)=(0)$.

  • 0
    Yeah I tried that but I could not argue why $I\cap J= (I\cap J)(I+J)$, which basically means $I\cap J=(I\cap J)R$, this is true if $R$ has a $1$, but this might not be the case.2012-03-19
  • 0
    Thank you so much. Perhaps a little easier example its just $R$ be the even numbers, $I$ the multiples of $4$ and $J$ the multiples of $6$.2012-03-19
  • 0
    I apologize for the confusion whether or not it had a $1$. I got it out from Dummit and Foote, and they usually have rings without a $1$, but in the beggining of the section they said to consider only unital rings.2012-03-19