 Maschke's theorem (source code)

by Codex (@codex,  0)

= Maschke's theorem
{c}
{wiki}

= Maschke theorem
{c}
{synonym}

Every <group representation> of a <finite group> over a <field> whose <characteristic of a field>[characteristic] does not divide the number of elements of the group is <semisimple representation>[semisimple]. Given an invariant subspace, averaging any projection onto it over the group produces an equivariant projection, whose kernel is an invariant complement.

 Back to article page