the question is exactly "why a reduced ring (commutative with 1) can be embedded into a sum of integral rings?" Is this simply because in the normalization process we can have many irreducible component?
why a reduced ring (commutative with 1) can be embedded into a sum of integral rings?
2
$\begingroup$
commutative-algebra
2 Answers
5
Consider the obvious map from your ring $R$ to the direct product $\prod_{\mathfrak p}R/\mathfrak p$ of all the quotients of $R$ by all its prime ideals $\mathfrak p$. The kernel is zero precisely because the ring is reduced.
2
Just a comment to supplement Mariano's answer (left as an answer for ease of formatting):
There is a (very) basic commutative algebra fact which is being taken as known here, namely that in any commutative ring, the intersection of all prime ideals -- called the nil radical of $R$ -- is also equal to the set of all nilpotent elements of $R$. Among infinitely many other places, see Proposition 53 in Section 4 of these notes for a proof.