1
$\begingroup$

Let $G$ be a group of order 21:

1) Determine all possible values of $n$, where $n$ is the number of conjugacy classes of $G$.

2) Determine all the possible decomposition of $\mathbb{C}[G]$ as a product of matrix rings.

Could you help me solve these 2 problems?

EDIT: I think that to solve 1 maybe we can use the fact that the number of conjugancy class of $G$ is equal to the number of distinct simple $\mathbb{C}[G]$-modules.

  • 7
    Use Sylow's theorems.2012-05-03
  • 0
    how? and in which part?2012-05-04
  • 0
    @John: From Sylow's theorems you get that the group is $C_7\rtimes C_3$, the product direct if and only if the group is abelian. If abelian, then you have all the conjugacy classes (21 of them); if nonabelian, the conjugacy classes in $C_7$ are induced by the action of $C_3$ (three of them); and then looking at the action of $C_7$ on the (necessarily) 7 copies of $C_3$ gives you two more conjugacy classes for a total of $5$.2012-05-04
  • 0
    I didn't understand how you are counting these conjugancy classes :(2012-05-06

1 Answers 1

5

While Chris Eagle's answer is probably the preferred one, you can do this using rep theory, which it seems like might be how you want to do it.

1) We know that $\displaystyle 21=\sum_{\chi\in\text{irr}(G)}\chi(1)^2$. Now, we know that each $\chi(1)\mid 21$ and so $\chi(1)=1,3,7,21$, but since $\chi(1)^2<21$ we may conclude that $\chi(1)=1,3$. So, we have the equation $m_1+9m_2=21$. But, we know that $m_1=|G^\text{ab}|$ so that $m_1\mid 21$ so that $m_1=1,3,7,21$. I think you can deduce from this that the only solutions are $(m_1,m_2)=(21,0)$ and $(m_1,m_2)=(3,2)$. This tells you that there are either $21$ or $5$ conjugacy classes. Moreover, you know that both exist since not all groups of order $21$ are abelian (why?)

2) From the previous analysis I think you can easily conclude that either, as $\mathbb{C}$-algebras,

$$\mathbb{C}G\cong\mathbb{C}^{21}$$

or

$$\mathbb{C}G\cong\mathbb{C}^{3}\times\text{Mat}_3(\mathbb{C})^2$$

Depending on whether $G$ is abelian or not.

EDIT: Let $\widehat{G}_\mathfrak{L}$ denote the set of all linear characters with group operation being tensor product. Show then that $\widehat{G}_\mathfrak{L}=\text{Hom}_\mathbf{Grp}(G,\mathbb{C}^\times)$. But, since $\mathbb{C}^\times$ is abelian we have that $\text{Hom}_\mathbf{Grp}(G,\mathbb{C}^\times)$ is equipotent to $\text{Hom}_\mathbb{Z}(G^\text{ab},\mathbb{C}^\times)$. That said, by earlier comment this is equal to $\widehat{G^{\text{ab}}}_\mathfrak{L}$, but since $G^\text{ab}$ is abelian all its characters are linear, and it has $|G^{\text{ab}}|$ characters. The conclusion follows.

  • 0
    Thank you for the answer, there is only one thing that I didn't understand, I would accept also a reference for it; how do you know that $m_1=|G^{ab}|$?2012-05-04
  • 0
    It's clear to me that $m_1\geq |G^{ab}|$, I cannot prove the other inequality.2012-05-04
  • 0
    @John See my edit.2012-05-04
  • 0
    @John I forgot to mention a reference. I believe probably your best bet would be to see Isaacs's *Representation Theory of Finite Groups*.2012-05-04