A nonzero idempotent is primitive when it cannot be written as a sum of two nonzero orthogonal idempotents. For a finite-dimensional algebra , the left module is indecomposable projective exactly when is primitive.
New to topics? Read the docs here!