##  [Décomposition de Peirce](/fr/node/63855) 

 Définition

Scission canonique d'une algèbre associative A déterminée par un idempotent e (e^2 = e) qui écrit A comme somme directe de quatre composantes bimodulaires naturelles : eAe, eA(1−e), (1−e)Ae et (1−e)A(1−e). Elle organise les éléments selon la projection induite par la multiplication à gauche et à droite par e.

 

 

 

 

 

 





## Principe

Principe

Exploiter l'action d'un idempotent choisi pour décomposer l'algèbre en blocs selon le comportement de multiplication à gauche et à droite ; les idempotents agissent comme projecteurs qui séparent les modules et induisent une structure en blocs par produit.

 

 

 

 

 





## Démonstration

Démonstration

Soit A l'algèbre des matrices 2×2 sur un corps et e = diag(1,0). La décomposition de Peirce donne les quatre blocs matriciels : l'algèbre eAe correspondant à l'entrée (1,1), le coin supérieur droit eA(1−e), le coin inférieur gauche (1−e)Ae et l'entrée (2,2) (1−e)A(1−e).

 

 

 

 

## Mauvaise application

Mauvaise application

Prendre pour projecteur un élément qui n'est pas idempotent ou vouloir appliquer cette décomposition hors du cadre d'une algèbre associative conduit à des « blocs » qui ne forment pas une somme directe et ne respectent pas la structure bimodulaire.

 

 

 

 

 





## Conséquence

Conséquence

Bien appliquée, elle fournit une compréhension en blocs des représentations et des catégories de modules : idéaux, morphismes et extensions se traitent composante par composante, et les calculs se ramènent à des sous-algèbres plus petites.

 

 

 

 

## Inversion

Inversion

Au lieu de scinder par un idempotent, on peut garder l'algèbre non décomposée : les blocs se confondent et les interactions hors-diagonale ne sont pas séparées, obligeant à traiter la structure globale sans simplification par blocs.

 

 

 

 

 





## Limite

Limite

Ne s'applique que lorsqu'on dispose d'un véritable idempotent dans l'algèbre ; pour des structures non associatives, ou lorsque l'idempotent ne scinde pas l'identité dans la catégorie des modules (p. ex. absence de sommes directes), la décomposition de Peirce peut échouer ou n'être pas complète.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tend à entrer en tension avec les décompositions par idempotents centraux (qui donnent des idéaux bilatères formant eux-mêmes des sous-algèbres) versus les idempotents non centraux (qui produisent des bimodules hors-diagonaux et des interactions plus subtiles).

 

 

 

 

 





## Synthèse

Synthèse

La décomposition de Peirce consiste à utiliser un projecteur idempotent pour découper une algèbre associative en quatre pièces bimodulaires canoniques — deux sous-algèbres diagonales et deux bimodules hors-diagonaux — permettant une analyse problème par bloc.