1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Kernel and centralizer of irreducible characters

  1. Aug 9, 2011 #1


    User Avatar

    1. The problem statement, all variables and given/known data

    Find the kernel of all irreducible characters of G, when given the character table.
    Find the centralizer of each irreducible character of G, when given the character table.
    Find Z(G) (the centralizer of G) for the same character table.
    2. Relevant equations
    I know that ker([itex]\chi[/itex])={g [itex]\in[/itex]G| [itex]\chi[/itex](g)=[itex]\chi[/itex](1)} where [itex]\chi \in [/itex] Irr(G).

    I also know that Z([itex]\chi[/itex])={g [itex]\in[/itex] G | |[itex]\chi[/itex](g)|=[itex]\chi[/itex](1)}

    and I think Z(G) is the intersection of all Z([itex]\chi[/itex])

    I hope you can the gist of the question.

    3. The attempt at a solution
    The question I have to answer pertains to a given character table of S4.
    I do not want an answer to this particular table.
    If someone could please give me an example using another character table so I can follow.
    Last edited: Aug 9, 2011
  2. jcsd
  3. Aug 9, 2011 #2
    So, what did you try already?? If you tell us where you're stuck then we'll know where to help!
  4. Aug 9, 2011 #3


    User Avatar

    the character table I am given for S4 is as follows.
    I am really green at this latex stuff and so I will try to list it as a table as best as I can:

    [g] 1A 2A 2B 3A 4A

    [itex]\varphi[/itex]1 1 1 1 1 1
    [itex]\varphi[/itex]2 1 -1 1 1 -1
    [itex]\varphi[/itex]3 2 0 2 -1 0
    [itex]\varphi[/itex]4 3 1 -1 0 -1
    [itex]\varphi[/itex]5 3 -1 -1 0 1

    so i have:


    so Z(G)={1A}

    i apologise for the horrible table. i could not get the numbers to align. *so embarrassed*
  5. Aug 9, 2011 #4
    Seems correct!! However, there is a small notational thingy. The 1A, 2A, 2B, 3A, 4A are conjugacy classes, right? But the kernel, centralizer and centres do not consist out of conjugacy classes, but ouy of elements of G. So instead of saying


    you have to say that the kernel is the elements from these classes. In this case [itex]ker(\varphi)=S_4[/itex].
  6. Aug 9, 2011 #5


    User Avatar

    so if 1A = 1
    2A = (1 2)
    2B = (1 2)(3 4)
    3A = (1 2 3)
    4A = (1 2 3 4)

    then z([itex]\varphi[/itex]3)={1, 2, 3,4} ?
  7. Aug 9, 2011 #6
    No, that is not true. 2A contains much more elements than that!! 2A is an entire conjugacy classs, remember!
    The same for the rest.

    I cannot see how you came to that conlusion. z([itex]\varphi[/itex]3) must contain elements of S4...
  8. Aug 9, 2011 #7


    User Avatar

    i think i understand ...
    would Z([itex]\varphi[/itex]3)={1, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} ?
  9. Aug 9, 2011 #8
    Yes, that is correct!!
  10. Aug 9, 2011 #9


    User Avatar

    woooo hooooo !!!!
    thanks a mil
    im gona tackle the representation of a group question now.
    still not sure how to get that proof sorted out.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook