Find all complex irreducible representations of the group $\mathbb{H}_8 \times C_2^2$
I am learning representation theory. We studied some useful theorems such as Maschke's theorem and Schur's theorem which say that a representation of a group over $\mathbb{C}$ can be decomposed as a sum of representation of degree $1$.
All of this is interesting, but it does not help in finding all irreducible representation of a group.
That's why for fun I tried to find all irreductible representations of the group $ G = \mathbb{H}_8 \times C_2^2$. The problem is that I don't know at all how to do this. Is it even possible?
I know that there is a whole theory about finding irreductible representation of symmetric groups through Specht module. So I guess that in order to find all irreducible representations of this group I need to find an embedding of $G$ in $S_n$ for some $n$ and then use all the theory about the symmetric to get the irreducible representation of $G$.
An other idea would be to find the number of conjugacy class of $G$ since it will give me the number of representations of $G$, but once again I don't see how it helps. Knowing the number of representations doesn't seem to really help in findind them.
I would love to know what are the general strategies to find the irreducible representation of a group that is not abelian and not symmetric, just as $G$.
Thank you!
N.B.: $\mathbb{H}_8$ is the Quaternions.
Best Answer
If you have a direct product of two groups and the irreducible representations of each of them, then the representations of the direct product can be obtained by tensoring together irreducible representations of each group (a representation $p$ of $Q_8$ and $r$ of $C^2_2$ then $r\otimes p$ is a representation of $H_8\times C_2^2$).
It is certainly worth calculating the character tables first, then this discussion should be helpful (see the answer) for reconstructing the faithful irreducible representations of $Q_8$ (there are 2, the other representations are all linear one-dimensional).
From there it should not be too much effort to calculate the tensor products. If you get stuck calculating the character table of $Q_8$ there are plenty of examples online (e.g. my masters project).