Definition 7

Let $A$ be a ring. A finite family $(b_i)_{i \in I}$ of two-sided ideals of $A$ such that the canonical homomorphism of $A$ into $\prod_{i \in I} (A/b_i)$ is an isomorphism is called a direct decomposition of $A$.