# Math Help - properties of radical of an ideal

1. ## properties of radical of an ideal

Hello everybody;

Let $R$ be commutative ring with unity and let $I$ and $J$ be two ideals of $R$ Show that

$\sqrt{I+J}=\sqrt{\sqrt{I}+\sqrt{J}}$

2. Originally Posted by student2011
Hello everybody;

Let $R$ be commutative ring with unity and let $I$ and $J$ be two ideals of $R$ Show that

$\sqrt{I+J}=\sqrt{\sqrt{I}+\sqrt{J}}$
$\sqrt{I+J} \subseteq \sqrt{\sqrt{I}+\sqrt{J}}$ is obvious. for the other inclusion, let $a \in \sqrt{\sqrt{I}+\sqrt{J}}$. then there exists a positive integer $n$ such that $a^n = b+ c$, for some $b \in \sqrt{I}$ and $c \in \sqrt{J}$. so $b^r \in I$ and $c^s \in J$, for some positive integers $r, s$. now show that $a^{n(r+s)} \in I + J$ and thus $a \in \sqrt{I+J}$.

3. Thank you very much, I catch the point. In order to show that $a^{n(r+s)}\in I+J$, we do the following:

$(b+c)^{r+s}=\sum_{k=0}^{r+s}\binom{r+s}{k}\times b^{r+s-k}\times c^{k} \in I+J$

This shows that $a^{n(r+s)} \in I+J$