I am trying to understand why two-dimensional representation of irreducible nonlinear character of $Q_8$ is not "real".
I know that there is exactly one two-dimensional representation of $Q_8$, which associated with this nonlinear character, which, up to equivalence, has the following form:
\begin{equation*}
\begin{pmatrix}
1 & 0\\
0 & 1\\
\end{pmatrix}
\rightarrow 1;
\end{equation*}
\begin{equation*}
\begin{pmatrix}
-1 & 0\\
0 & -1\\
\end{pmatrix}
\rightarrow -1;
\end{equation*}
\begin{equation*}
\begin{pmatrix}
i & 0\\
0 & -i\\
\end{pmatrix}
\rightarrow i;
\end{equation*}
\begin{equation*}
\begin{pmatrix}
-i & 0\\
0 & i\\
\end{pmatrix}
\rightarrow -i;
\end{equation*}
\begin{equation*}
\begin{pmatrix}
0 & -1\\
1 & 0\\
\end{pmatrix}
\rightarrow j;
\end{equation*}
\begin{equation*}
\begin{pmatrix}
0 & 1\\
-1 & 0\\
\end{pmatrix}
\rightarrow -j;
\end{equation*}
\begin{equation*}
\begin{pmatrix}
0 & -i\\
-i & 0\\
\end{pmatrix}
\rightarrow k;
\end{equation*}
\begin{equation*}
\begin{pmatrix}
0 & i\\
i & 0\\
\end{pmatrix}
\rightarrow -k
\end{equation*}
Why are there no matrices that, when conjugating the matrices presented above, would not give them all with real components?
In general, to simplify this problem, we can assume that one of the matrices associated with the element $i, j$ or $k$ is in such a basis when it has exactly the form that I indicated above. And the rest of the matrices are conjugated by some non-degenerate matrices.But it didn't help me simplify the task much.
Any help?
Best Answer
By the sounds of it you want an explanation rather than a proof, because the proof is just the fact that such a representation has to be irreducible, and there is only one by counting the squares of dimensions of irreducible representations.
For an explanation, suppose that we could, in fact, find three real matrices $A$, $B$ and $C$ such that $A^2=B^2=C^2=-1$ and $AB=C$, $BC=A$, etc., so they look like the unit quaternions. What about all $\mathbb R$-linear combinations of $A$, $B$ and $C$, (and $1$)? These would have to form a copy of $\mathbb H$, the quaternions. And then $M_2(\mathbb R)\cong \mathbb H$ because they are both $4$-dimensional $\mathbb R$-vector spaces, but that's certainly not true.
(Now, along the way, you would have to prove that the map from $\mathbb H$ to $M_2(\mathbb R)$ that sends $i$ to $A$, $j$ to $B$ and $k$ to $C$ is injective, which is why this is an explanation rather than a proof.)
Edit: Perhaps you want to simply know why this irreducible complex representation cannot be realized over the real numbers, despite it having a real character. This is because the Frobenius--Schur indicator of the representation is $-1$, which means that the character is real but the representation is not.