##  [Peirce-Zerlegung](/de/node/63855) 

 Definition

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

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

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

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

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

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

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

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

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.