Kernel and centralizer of irreducible characters

  • Thread starter Thread starter syj
  • Start date Start date
  • Tags Tags
    Kernel
Click For Summary

Homework Help Overview

The discussion revolves around finding the kernel and centralizer of irreducible characters of a group G, specifically using the character table of S4. Participants are exploring the definitions and implications of these concepts in the context of group theory.

Discussion Character

  • Exploratory, Conceptual clarification, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the character table of S4 and attempt to identify the kernels and centralizers of various irreducible characters. There is a focus on understanding the relationship between conjugacy classes and the elements of the group.

Discussion Status

Some participants have provided examples and attempted to clarify notational issues regarding the representation of kernels and centralizers. There is ongoing exploration of the correct elements that belong to these sets, with some guidance offered on the nature of conjugacy classes.

Contextual Notes

Participants express uncertainty about the notation and the representation of elements in relation to conjugacy classes. There is a request for examples to aid understanding, and some participants are still grappling with the implications of their findings.

syj
Messages
53
Reaction score
0

Homework Statement



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.

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

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:
Physics news on Phys.org
So, what did you try already?? If you tell us where you're stuck then we'll know where to help!
 
Ok
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:
ker([itex]\varphi[/itex]1)={1A,2A,2B,3A,4A}
ker([itex]\varphi[/itex]2)={1A,2B,3A}
ker([itex]\varphi[/itex]3)={1A,2B}
ker([itex]\varphi[/itex]4)={1A}=ker[itex]\varphi[/itex]5

and
Z([itex]\varphi[/itex]1)={1A,2A,2B,3A,4A}
Z([itex]\varphi[/itex]2)={1A,2A,2B,3A,4A}
Z([itex]\varphi[/itex]3)={1A,2B}
Z([itex]\varphi[/itex]4)={1A}=Z([itex]\varphi[/itex]5)

so Z(G)={1A}

i apologise for the horrible table. i could not get the numbers to align. *so embarrassed*
 
syj said:
Ok
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:
ker([itex]\varphi[/itex]1)={1A,2A,2B,3A,4A}
ker([itex]\varphi[/itex]2)={1A,2B,3A}
ker([itex]\varphi[/itex]3)={1A,2B}
ker([itex]\varphi[/itex]4)={1A}=ker[itex]\varphi[/itex]5

and
Z([itex]\varphi[/itex]1)={1A,2A,2B,3A,4A}
Z([itex]\varphi[/itex]2)={1A,2A,2B,3A,4A}
Z([itex]\varphi[/itex]3)={1A,2B}
Z([itex]\varphi[/itex]4)={1A}=Z([itex]\varphi[/itex]5)

so Z(G)={1A}

i apologise for the horrible table. i could not get the numbers to align. *so embarrassed*

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

ker([itex]\varphi[/itex]1)={1A,2A,2B,3A,4A}

you have to say that the kernel is the elements from these classes. In this case [itex]ker(\varphi)=S_4[/itex].
 
ok,
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} ?
 
syj said:
ok,
so if 1A = 1
2A = (1 2)
2B = (1 2)(3 4)
3A = (1 2 3)
4A = (1 2 3 4)

No, that is not true. 2A contains much more elements than that! 2A is an entire conjugacy classs, remember!
The same for the rest.

then z([itex]\varphi[/itex]3)={1, 2, 3,4} ?

I cannot see how you came to that conlusion. z([itex]\varphi[/itex]3) must contain elements of S4...
 
ok
i think i understand ...
would Z([itex]\varphi[/itex]3)={1, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} ?
 
syj said:
ok
i think i understand ...
would Z([itex]\varphi[/itex]3)={1, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} ?

Yes, that is correct!
 
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.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K