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.
Unit criterion for the Jacobson radical 2026-10-14
The Jacobson radical is the intersection of the ideals over all simple modules, where is the annihilator of a module, so it is a two-sided ideal. If , the left ideal cannot be proper, since a containing maximal left ideal would also contain and hence . Thus for some . Now also differs from by a radical element and has a left inverse . Multiplying by gives , and hence . This proves the unit assertion. Conversely, if is outside a maximal left ideal , then for some , . Consequently cannot be a unit, proving the reverse direction.