##  [Descomposición de Peirce](/es/node/63855) 

 Definición

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.

 

 

 

 

 

 





## Principio

Principio

Usar la acción de un idempotente elegido para descomponer el álgebra en bloques según el comportamiento bajo multiplicación por la izquierda y por la derecha; los idempotentes actúan como proyectores que separan módulos y producen una estructura por bloques.

 

 

 

 

 





## Demostración

Demostración

Sea A el álgebra de matrices 2×2 sobre un cuerpo y e = diag(1,0). La descomposición de Peirce recupera los cuatro bloques: la subálgebra eAe correspondiente a la entrada (1,1), el bloque superior derecho eA(1−e), el inferior izquierdo (1−e)Ae y la entrada (2,2) (1−e)A(1−e).

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Tratar cualquier elemento parecido a un idempotente (pero que no satisface e^2 = e) como un proyector de Peirce, o intentar la descomposición fuera del marco de una álgebra asociativa, produce 'bloques' que no forman suma directa ni respetan la estructura bimodular.

 

 

 

 

 





## Consecuencia

Consecuencia

Aplicado correctamente, proporciona una visión por bloques de representaciones y categorías de módulos: ideales, homomorfismos y extensiones pueden estudiarse componente por componente y los cálculos se reducen a subálgebras más pequeñas.

 

 

 

 

## Inversión

Inversión

En lugar de partir por un idempotente, se puede considerar el álgebra no descompuesta: los bloques se fusionan y las interacciones fuera de la diagonal no se separan, por lo que la estructura global debe tratarse sin simplificación por bloques.

 

 

 

 

 





## Límite

Límite

Se aplica solo cuando existe un idempotente genuino en el álgebra; para estructuras no asociativas, o cuando los idempotentes no producen sumas directas en la categoría de módulos, la descomposición clásica de Peirce puede fallar o no ser completa.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Compite con descomposiciones indexadas por idempotentes centrales (que dan ideales bilaterales y subálgebras propias) frente a idempotentes no centrales (que generan bimódulos fuera de la diagonal y relaciones más sutiles).

 

 

 

 

 





## Síntesis

Síntesis

La descomposición de Peirce utiliza un idempotente como proyector para dividir un álgebra asociativa en cuatro piezas bimodulares canónicas — dos subálgebras diagonales y dos bimódulos fuera de la diagonal — facilitando el análisis por bloques.