Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given a finite group $G$ acting on a vector space $V$ (in characteristic zero), is there a known algorithm to find a $G$-invariant basis for $V$? As a concrete example to work with, one of the systems I'm looking at is the dihedral group $D_6$ acting on $\mathbb{Q}^{10}$.

EDIT: All the representations I'm working with are going to be permutation representations.

share|improve this question
1  
Do you mean, "I have a representation V which I know to be a permutation representation. How can I find a basis of V which is permuted by G?" –  John Wiltshire-Gordon Jul 8 '11 at 22:34
    
@John: Yes. I guess I should add that to my question. –  Avi Steiner Jul 8 '11 at 23:03
    
I think you need to tell us how much information about your action you have, and how much you want. For example, as you probably know, you can't answer this question by looking at the character alone. For example, ${\rm GL}(3,2)$ has two non-conjugate subgroups isomorphic to $S_4$, and the transitive permutation representations on these respective subgroups are inequivalent as permutation representations, but they have the same character. –  Geoff Robinson Jul 9 '11 at 0:21
add comment

1 Answer

As mentioned in the comments it is not entirely clear what information is available. If you have matrices for the representation and permutations for the permutation representation then you simply find an isomorphism of representations.

You find a homomorphism between two representations, $U$, $V$, by choosing a set of generators for the group and then solving $P.U(g)=V(g).P$, for each generator. These are linear equations in the entries of $P$.

share|improve this answer
add comment

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.