 Then formula_96 are ideals of "R" and
as a direct sum of abelian groups (because for abelian groups finite products are the same as direct sums).Clearly the direct sum of such ideals also defines a product of rings that is isomorphic to "R".Equivalently, the above can be done through central idempotents.