Peirce-Zerlegung

Eine kanonische Zerlegung einer assoziativen Algebra A, bestimmt durch ein Idempotent e (e^2 = e), die A als direkte Summe von vier natürlichen Bimodulkomponenten schreibt: eAe, eA(1−e), (1−e)Ae und (1−e)A(1−e). Sie ordnet Elemente danach, wie Links- und Rechtsmultiplikation durch e sie in blockartige Teilräume projiziert.