Let be a finite-dimensional power-associative algebra, then is the vector space direct sum
where , with is the subspace of defined by
for , where is an idempotent.
Let be a finite-dimensional power-associative algebra, then is the vector space direct sum
where , with is the subspace of defined by
for , where is an idempotent.
Weisstein, Eric W. "Peirce Decomposition." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/PeirceDecomposition.html