Dtyjlui

$textbf{Lemma }$If $V$ is a representation of a finite group $G$, then $V$ is of real type if and only if $V$ is the complexification of a representation $V_{mathbb{R}}$ over the field of real numbers.

Now I have to show that if $G$ is a finite non-trivial group of odd order, it has an irreducible representation not realisable over the reals. This is my attempt so far:

Since the order of $G$ is odd, it has no non-trivial elements whose order is 2. So by Frobenius-Schur we know that $1=sum_{V}text{dim}(V)FS(V)$ where $FS(V)$ is the Frobenius-Schur indicator, this sum can be of course be written as $$1=sum_{Vtext{ is of real type}}text{dim}(V)-sum_{Vtext{ is of quaternionic type}}text{dim}(V).$$
Since $G$ is non-trivial, it has by the above equality an irreducible representation which is quaternionic and by the above lemma, this one is not realisable over the reals.

My question is whether my reasoning is not flawed, especially when I am using the lemma. Any help would be appreciated. Thanks.

I can't say if your proof is correct. But I have another one, in case it helps.

I'll assume the following theorems in the Bröck's book about Representations of Compact Lie Groups, in which $V$ is a complex representation of $G$ and $chi_V:Gtomathbb{C}$ its character:

Theorem II.4.11: (i) $displaystyleintchi_V(g)operatorname{dg}=dim V^G;$

$V^G:={vin V:gv=v,,forall gin G}$, is the fixed point set of $V$.

Theorem II.6.8: Let $V$ be an irreducible complex representation of $G$. Then

$$intchi_V(g^2)dg=left{begin{array}{ll}
1&Leftrightarrow Vquad textrm{is of real type (realisable over reals)}\
0&Leftrightarrow Vquad textrm{is of complex type}\
-1&Leftrightarrow Vquad textrm{is of quaternionic type}
end{array}right.$$

I'll prove that every nontrivial complex irreducible representation of $G$ is of complex type (not realisable over reals and does not admit a quaternionic structure).

Indeed, since $G$ is of odd order, all of its elements has unique square root. Thus $gmapsto g^2$ is a diffeomorphism. Then, by the change of variables,
$$intchi_V(g^2)dg=intchi_V(g)dg=dim V^G=0;$$
since every $vin V^G$ spans a $1$-dimensional trivial sub-representation of $V$, $V^G=0$.

Therefore $V$ is of complex type.

The reasoning is correct, though you could perhaps be a little more clear on how you deduce the existence of a quaternionic representation from your equality: the group is non-trivial so must have at least two irreducible representations, so the equality couldn't hold if there were no quaternionic irreducibles.

This is the sort of argument that would be reasonably omitted in many papers, but when first learning these things it helps to spell everything out and omit no arguments.