orthogonal family of central idempotents

Definition

For a ring , an orthogonal family of central idempotents is a subset such that

1. is a central idempotent for all .
2. for .

Decomposing rings

Using the same argument as used for central idempotents, we can take any element to give

This gives the decomposition

Example

todo - Lecture 26