Can someone provide a reference for the following Maschke lemma:
If $C$ is a semisimple algebra over a field of characteristic zero and $G$ is a finite group acting on $C$ by automorphisms, then $C \rtimes G$ is semisimple.
Can someone provide a reference for the following Maschke lemma:
If $C$ is a semisimple algebra over a field of characteristic zero and $G$ is a finite group acting on $C$ by automorphisms, then $C \rtimes G$ is semisimple.