Décomposition de Peirce

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.