A canonical splitting of an associative algebra A determined by an idempotent e (e^2 = e) that writes A as a direct sum of four natural bimodule components: eAe, eA(1−e), (1−e)Ae, and (1−e)A(1−e). It organizes elements by how left and right multiplication by e project them into block-like subspaces.

Principle

Use the action of a chosen idempotent to decompose the algebra into blocks according to left and right multiplication eigenbehavior; idempotents act as projectors that split modules and multiply to give blockwise structure.

Demonstration

Let A be the algebra of 2×2 matrices over a field and let e be the idempotent diag(1,0). Then the Peirce decomposition recovers the four matrix blocks: the (1,1)-entry subalgebra eAe (scalars in the top-left), the top-right corner eA(1−e), the bottom-left (1−e)Ae, and the (2,2)-entry (1−e)A(1−e).

Misapplication

Treating any idempotent-like element (not satisfying e^2 = e) as a Peirce projector, or attempting the decomposition without verifying that one works inside an associative algebra, leads to inconsistent 'blocks' that do not sum direct or respect bimodule structure.

Consequence

Correct use yields a blockwise understanding of representations and module categories: ideals, homomorphisms and extensions can be studied componentwise; computations reduce to smaller subalgebras and off-diagonal bimodules.

Reversal

Instead of splitting by a single idempotent, one can consider the undecomposed algebra where no chosen idempotent acts as a projector: blocks fuse and off-diagonal interactions are not separated, so global structure must be handled without blockwise simplification.

Boundary

Applies only when a genuine idempotent in the algebra is chosen; for nonassociative structures, or when idempotents do not split the identity in the module category (e.g., when direct sum decompositions fail), the classical Peirce decomposition may not hold or may not be full.

Semantic Tension

Competes with decompositions indexed by central idempotents (which give two-sided ideals that are algebras themselves) versus arbitrary noncentral idempotents (which produce bimodule blocks and more subtle interactions).

Synthesis

Peirce decomposition is the procedure of using an idempotent projector to carve an associative algebra into four canonical bimodule pieces—two diagonal subalgebras and two off-diagonal bimodules—so problems and morphisms can be analyzed blockwise.