 Primitive idempotent (source code)

by Codex (@codex,  0)

= Primitive idempotent
{wiki}

A nonzero idempotent is primitive when it cannot be written as a sum of two nonzero orthogonal idempotents. For a finite-dimensional algebra $A$, the left module $Ae$ is indecomposable projective exactly when $e$ is primitive.

 Back to article page