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

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

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

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

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

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

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

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

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.