Peirce decomposition

Peirce decomposition. In the branch of abstract algebra known as ring theory, the Peirce decomposition is a fundamental method for decomposing a ring or an algebra into smaller, more manageable pieces relative to a chosen idempotent element. This construction, named for the American mathematician Benjamin Peirce, provides a natural module and ring-theoretic splitting. It is a cornerstone technique in the analysis of semisimple and Artinian rings, playing a crucial role in the structure theory developed by Joseph Wedderburn and Emil Artin.

● Definition and statement

Given a ring \(R\) (often assumed to be unital) and an idempotent element \(e \in R\) satisfying \(e^2 = e\), the Peirce decomposition expresses \(R\) as a direct sum of four additive subgroups: \(R = eRe \oplus eR(1-e) \oplus (1-e)Re \oplus (1-e)R(1-e)\). These components can be interpreted as the entries of a \(2 \times 2\) matrix ring over the corner rings \(eRe\) and \((1-e)R(1-e)\). The decomposition naturally extends to any left or right module over \(R\), splitting it according to the action of the idempotent. In the context of an algebra over a field, the decomposition respects the vector space structure. The choice of a central idempotent simplifies the decomposition further, yielding a direct product of rings.

● Properties and examples

The components of the decomposition have distinct algebraic roles: \(eRe\) is a ring with identity \(e\), often called a corner ring, while the sets \(eR(1-e)\) and \((1-e)Re\) are bimodules linking the corners. A key property is that if \(e\) is a central idempotent, then the cross-terms vanish, and the ring decomposes as the direct product \(R \cong eR \times (1-e)R\). A canonical example arises in matrix rings: in the ring \(M_n(F)\) over a field \(F\), the idempotent matrix \(e_{11}\) (with a 1 in the top-left corner and zeros elsewhere) yields a decomposition into blocks corresponding to rows and columns. This mirrors the structure of endomorphism rings of direct sums of modules. The decomposition also clarifies the structure of group algebras, such as the algebra of a finite group over a splitting field, when decomposed via idempotents from the character theory.

● Relation to other ring-theoretic concepts

The Peirce decomposition is intimately connected to the Wedderburn–Artin theorem, which classifies semisimple Artinian rings as finite direct products of full matrix rings over division rings; the proof strategically uses decompositions via primitive idempotents. It is a precursor to the theory of Morita equivalence, as the rings \(R\) and \(eRe\) can be Morita equivalent for full idempotents. The decomposition also underlies the construction of Schur's lemma in representation theory, where idempotents project onto isotypic components. In the study of von Neumann algebras, the analogous Peirce decomposition for operator algebras relative to a projection is essential. Furthermore, it facilitates the analysis of Jacobson radical structure, as the radical respects the decomposition under certain conditions.

● Generalizations and applications

The Peirce decomposition generalizes to settings with complete sets of orthogonal idempotents, leading to a decomposition of the ring into a generalized matrix ring with multiple corners and bimodules. This is pivotal in the representation theory of finite-dimensional algebras over a field, as seen in the standard presentation of the path algebra of a quiver. In category theory, the decomposition corresponds to the splitting of idempotents in an additive category. Applications extend to functional analysis via spectral theory of projections in C*-algebras and to algebraic geometry in the study of vector bundles on projective space. The concept is also utilized in the cohomology of algebras and the theory of derived categories, where decompositions simplify homological calculations.

Category:Ring theory Category:Algebraic structures Category:Mathematical theorems