Say I am given a group with 4 conjugacy classes $C_1, C_2, C_3, C_4$ with orders 1,3,4,4 respectively. I will call the conjugacy class characters $\chi_1,\chi_2,\chi_3,\chi_4$ respectively.
I am given a character table with only information about $\chi_2$ Where $\xi^2 + \xi + 1 = 0$ as $\xi$ is a third root of unity.
\begin{array}{rrrrrrrrrrr} & C_1 & C_2 & C_3 & C_4 \\ \chi_0 & 1 & 1 & 1 & 1 \\ \chi_1 & & & & & & \\ \chi_2 & 1 & & \xi & & & \\ \chi_3 & & & & & & \\ \end{array}
Now I have made quite a mess trying to figure out all of the relations in order to figure out how to fill this character table in. The easiest is that the group has order 12 so I have to have the characters of degree 1,1,1, and 3 for $\chi_1,\chi_2,\chi_3,\chi_4$ respectively. Now I know about the row and column orthogonality - and I also believe that this table is for that of $A_4$ the alternating group.I also think that $\chi_3$ on $C_1$ has to be -1 as that conjugacy class has 3 elements and we would need:
$\chi_0 \cdot \chi_3: 1 \cdot 1 \cdot 3 + 3 \cdot 1 \cdot -1 + 4 \cdot 1 \cdot f + 4 \cdot 1 \cdot g = 3 - 3 + 4f + 4g = 4f + 4g = 0$
This of course would make $f = -g$. So of course $f = 1 \Rightarrow g = -1$ and we have the sum of the squares multiplied by the number of the elements of the conjugacy class equal to the order of the group, i.e. $3^2 + -1^2 + 1^2 + -1^2 = 12$ or possibly if $f = -1 \Rightarrow g = 1$, but I would have to figure out more of the elements of the rows and everything I come up with has so many variables I think that there has got to be a simpler way than what I am trying - I am missing some relationship(s) for the following:
\begin{array}{rrrrrrrrrrr} & C_1 & C_2 & C_3 & C_4 \\ \chi_0 & 1 & 1 & 1 & 1 \\ \chi_1 & 1 & a & b & c & & \\ \chi_2 & 1 & d & \xi & e & & \\ \chi_3 & 3 & -1 & f & g & & \\ \end{array}
I have found what I think is the solution here: Character Table
But there are things I don't understand, and I would like to know about as well as how to fill in the character table, according to the link:
- "If the group G contains a normal subgroup H, any character of the quotient group G/H gives a character of G by composition with the canonical homomorphism G -> G/H. If the quotient happens to be Abelian, you can use the previous remark. In particular, the number of characters of degree 1 is the index of the derived group."
I don't see how to know, on a purely algebraic level and not knowing about the geometry if $G$ contains a normal subgroup $H$ I know if it does, than each for each $g \in G, gH=Hg \Rightarrow H = g^{-1}Hg$ hence normal subgroups ?. I don't know what this tells me about the character table, could someone give me an example using the table?
- I know that the as the sum of the squares of the rows multiplied by the number of elements in the conjugacy class should equal the order of the group but when I look at the equation from the character table of $A_4$ I see for $\chi_2: 1 \cdot 1^2 + 3 \cdot 1^2 + 4 \cdot \xi^2 + 4 \cdot (\xi^{2})^2$, which as $\xi^2 = -1 - \xi$ hence $(-1 - \xi)(-1 - \xi) = 1 + 2 \xi + \xi^2$ I eventually end up with the full expression for the row of: $8 + 8 \xi + 8 \xi^2 = 8(1 + \xi + \xi^2) = 8(0) =0$.
But the order of the group is 12. So what happened? According to the link above: "The degrees of the irreducible characters divide the order of the group, and the sum of the squares of these degrees is equal to the order of the group"
From the information above, I can figure out the order of the derived subgroup $|[G,G]|$ and can describe it as a union of conjugacy classes. So far what I have: - If I let $x, y \in G$ then I get that $xy - yx = k$. I know that if $k = 0$ then we have an abelian group hence... there would be a single conjugacy class? But since there are 4 conjugacy classes $G$ is not abelian. Not sure where to go next on this one.
Is this even the right approach? What is the character table supposed to tell me about the derived subgroup?
Thank you for any help.
