Descomposición de Peirce

Una separación canónica de un álgebra asociativa A determinada por un idempotente e (e^2 = e) que escribe A como suma directa de cuatro componentes bimodulares naturales: eAe, eA(1−e), (1−e)Ae y (1−e)A(1−e). Organiza los elementos según cómo la multiplicación por e a izquierda y derecha los proyecta en subespacios tipo bloque.