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.

Prinzip

Die Aktion eines gewählten Idempotenten nutzen, um die Algebra anhand des Verhaltens unter Links- und Rechtsmultiplikation in Blöcke zu zerlegen; Idempotente wirken als Projektionen, die Module aufspalten und blockartige Strukturen erzeugen.

Demonstration

Sei A die Algebra der 2×2-Matrizen über einem Körper und e = diag(1,0). Die Peirce-Zerlegung liefert die vier Matrixblöcke: die (1,1)-Unteralgebra eAe, den oberen rechten Block eA(1−e), den unteren linken Block (1−e)Ae und die (2,2)-Unteralgebra (1−e)A(1−e).

Fehlanwendung

Ein Element, das nicht idempotent ist, als Peirce-Projektor zu behandeln oder die Zerlegung ohne die Voraussetzung einer assoziativen Algebra anzuwenden, erzeugt inkonsistente Blöcke, die keine direkte Summe bilden und die Bimodulstruktur verletzen.

Konsequenz

Richtig angewandt ergibt sich ein blockweises Verständnis von Darstellungen und Moduln: Ideale, Homomorphismen und Erweiterungen lassen sich komponentenweise untersuchen, und Rechnungen reduzieren sich auf kleinere Unteralgebren und Bimodule.

Umkehrung

Statt nach einem Idempotenten zu spalten, kann man die Algebra unzerlegt betrachten: Blöcke verschmelzen und außendiagonale Wechselwirkungen bleiben ungetrennt, sodass die globale Struktur ohne blockweise Vereinfachung behandelt werden muss.

Abgrenzung

Anwendbar nur beim Vorhandensein eines echten Idempotenten in der Algebra; bei nichtassoziativen Strukturen oder wenn Idempotente in der Moduln-Kategorie keine direkten Summen erzeugen, gilt die klassische Peirce-Zerlegung nicht oder nicht vollständig.

Semantische Spannung

Steht im Spannungsverhältnis zu Zerlegungen durch zentrale Idempotente (die zweiseitige Ideale bilden und selbst Unteralgebren sind) gegenüber nichtzentralen Idempotenten (die Bimodulblöcke und komplexere Wechselwirkungen erzeugen).

Synthese

Die Peirce-Zerlegung ist das Verfahren, ein Idempotent als Projektor zu verwenden, um eine assoziative Algebra in vier kanonische Bimodulstücke zu schneiden — zwei diagonale Unteralgebren und zwei außendiagonale Bimodule — und so Blockanalyse zu ermöglichen.