Statement
Let
Proof
It suffices to check that any finite dimensional (finitely generated)
Let
We can look at the
as vector spaces using a convienient basis.
Thus we have a
and thus
The idea for the rest of the proof is to now take this projection as vector spaces and “fix it” using an average over the group with the Reynolds operator. Consider the map
Claim:
Note
where the second line comes from the fact that
Therefore, we can take
Examples
-
For a field with characteristic 0, the
is not a restriction. That means is semisimple for and , for any group . -
(Non-example:)
, , then the ring is not semisimple, not in . -
Let
, be a smooth manifold, and is a finite group that acts on . This makes smooth functions a left -module using the action
then by Maschke’s lemma,
Importance
Given the conditions needed, i.e. the characteristic of the
Worked examples
Example 1
Let
Then we can see that
since each of these parts is invariant under the action of
and
therefore,
Example 2
Let
therefore, the
where
then, this is a vector space complement, but it cycles through the indices, so it a submodule complement as well.
and
therefore,
The statement that that
has roots