Thought an example might help:
Is a table of the permutation characters for
Then using the above formula we get the character
Solving this we get
Where are the permutation characters for .
Hi all
Recently I have been studying the character
There is a lemma that states that this is equal to
Ranging over all the characters of G.
I have been trying to ascertain when this character is equal to the sum of permutation characters for a given group G. Computationally this is very easy, using GAP I am able to solve the SLEs and find the above character in terms of perm characters. So I have proved that this character is a sum of perm characters for some specific sizes of some classes groups, through pretty much brute force.
However I am looking to look at this character in terms of more abstract settings, which may be able to help me prove more. I am sure this character is somehow related to the centre of the group (as for abelian groups it is trivial) but am unsure how.
I realise this is a very vague question, but i'm not really looking for any specific answers, just any initial ideas that people have on the character or any musings on the subject, as very little info is available in texts.
Many thanks for any help,
Matt
I have some questions on your problem,
In your matrix,
It seems like [6 0 0] corresponds to the regular representation, where each column denotes a conjugacy class (1^3), (2, 1), (3).
Similarly, [3 1 0] corresponds to the defining representation, and [1 1 1] corresponds to the trivial representation for S_3.
Anyhow, where does [2 0 2] come from?
Can you also give some description of your lemma or provide reference for that?
There is a lemma that states that this is equal to