6

I am trying to solve this problem:

Let $ R_1,...,R_n$ be rings with identity. Every ideal of $R=\prod_{i=1}^n R_i$ is of the form $\prod_{i=1}^n I_i$ where $ I_i$ is an ideal of $R_i$.

The first part is clearly if $J$ an ideal of $R$ then $J\subset \prod_{i=1}^n I_i$, but i can complete the rest..any help..

user26857
  • 52,094

1 Answers1

10

If $I$ is an ideal in $R$ and $e_i=(0,\dots,0,1,0,\dots,0)$ with the $1$ in the $i$th position, then $e_iI\subseteq I$ for all $I$. It follows that $I\supseteq\sum_ie_iI$. Now $e_1+\cdots+e_n=1_R$, so if $x\in I$, we have $$x=1_Rx=(e_1+\cdots+e_n)x=e_1x+\cdots+e_nx\in \sum_ie_iI.$$ This tells us that in fact $I=\sum_ie_iI$. You should have no trouble showing that the sum is direct (and equal to the direct product)