The group norm element in the group algebra is . It spans the invariant subspace of the left regular group representation, and . If the characteristic divides , a projection from onto would send to both itself and zero, proving that is not a semisimple algebra. Its action on indecomposable modules is described by group norm element detects the trivial projective cover.
New to topics? Read the docs here!