Triangular primitive-idempotent decomposition

ID: triangular-primitive-idempotent-decomposition

If idempotents satisfy for , then the left ideals have an internal direct sum. Multiply a relation by on the right to obtain , and continue in order. Pairwise orthogonality in both directions is unnecessary. If the sum has dimension , it is the whole algebra.

New to topics? Read the docs here!