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