2
$\begingroup$

Could someone please explain to me what the map, $g$, is doing intuitively?

$f:V\to V$ is a complex linear map and $f^n=\operatorname{id}$, for some $n>1$

$A$ is a subspace of $V$ and $f(A)\subset A$

$p:V\to A$ with $p|_A=\operatorname{id}_A$

$g:V\to A$ with $g(v)={1\over n}\sum_{k=0}^{n-1} f^k pf^{-k}(v)$

Thanks.

  • 0
    @MichaelHardy: I am very sorry!! You are very right. Edited.2012-05-22

1 Answers 1

1

First, $f(A)\subset A$ and $f^n=\operatorname{id}$ imply $f(A)=A$. We can consider $k\mapsto f^k$ as a representation of the cyclic group $\mathbb Z_n$ on $V$. Then $f(A)=A$ means that $A$ is an invariant subspace.

If we further assume that $p$ is linear, then $p$ is a projection; in this case $g$ is the projection used in the proof of Maschke's theorem; its kernel is an invariant complementary subspace to $A$.