3
$\begingroup$

Let $R$ be a ring (not necessary having "1"), and let $I,J$ be ideals of $R$ such that $I+J=R$. I want to prove that, for any $r, s \in R$, there is a $x\in R$ such that $x\equiv r ({\rm mod} I) \quad x \equiv s ({\rm mod} J)$

My proof: Since $I+J=R$, we can write $r=r_i+r_j,\quad s=s_i+s_j \quad \mbox{for some}~~~r_i,s_i\in I,\quad r_j,s_j\in J$ Let $x=r_j+s_i$. then $x-r=r_i-s_i\in I, \quad x-s=r_j-s_j\in J$ Thus, $x\equiv r ({\rm mod} I) \quad x \equiv s ({\rm mod} J)$

Is this proof wrong?? I can't look for a mistake.

  • 0
    excellent proof doc very concise and explicit2013-08-27

1 Answers 1

3

You did everything correctly. The proof seems right to me.