# proof of chinese remainder theorem for ring

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

I prove that since $I+J=R$ $$r=r_i+r_j, s=s_i+s_j \quad \mbox{for some}~~~r_i,s_i\in I, 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.

-

## 2 Answers

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

-

You're not in vector space. The hypothesis that $I$ and $J$ are stranger ideals i.e. they are such that $I+J=R$, does not imply that $\forall x \in R, \exists x_i \in I, x_j \in J$ such that $x=x_i+x_j$. What it [only] implies is $\exists a_i \in I, b_j \in J$ such that $a_i+b_j=1$. If you multiply both sides by $x$ you end up in $I$ or $J$ because of the very definition of what an ideal is and because of the property $I+J=R$.

-

1
Let $a_i + b_j = 1$. Multiply both sides by $x$, you get $xa_i+xb_j=x$. Now $xa_i$ is in $I$ and $xb_j$ is in $J$, because $I$ and $J$ are ideals. That is, for every $x\in R$ you get $x_i\in I$ and $x_j\in J$ such that $x_i+x_j=x$. – Gregor Bruns Sep 25 '12 at 10:38
my mistake, you are right. – mak Sep 25 '12 at 10:40
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 31, "mathjax_display_tex": 4, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9743228554725647, "perplexity_flag": "head"}