 Namely, if one is given a partition of 1 in orthogonal central idempotents, then let formula_104, which are two-sided ideals.If each formula_102 is not a sum of orthogonal central idempotents, then their direct sum is isomorphic to "R".An important application of an infinite direct product is the construction of a projective limit of rings (see below).