Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
    
Is it possible that you meant $f(A)\subset A$ rather than $f(A)\subset V$? As written, that condition is redundant. –  Michael Hardy May 22 '12 at 19:48
    
@MichaelHardy: I am very sorry!! You are very right. Edited. –  mambo May 22 '12 at 19:49

1 Answer 1

up vote 1 down vote accepted

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$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.