Linear representation of finite group over complex numbers has invariant Hermitian inner product

For finite-dimensional vector space
Suppose $$G$$ is a finite group and $$\alpha:G \to GL(V)$$ (with $$V$$ finite-dimensional) is a linear representation of $$G$$ over a vector space $$V$$ over $$\mathbb{C}$$, the field of complex numbers. Then, there exists a Hermitian inner product $$b: V \times V \to V$$ such that

$$\! b(\alpha(g)v,\alpha(g)w) = b(v,w) \ \forall \ g \in G, \ v,w \in V$$

In other words, we can think of $$b$$ as a Hermitian inner product invariant under the action of $$G$$.

Further, if we choose a basis for $$V$$ that is an orthonormal basis for $$b$$, then in this basis, all the matrices for $$\alpha(g), g \in G$$, are unitary matrices, i.e., they live in the group $$U(n,\mathbb{C})$$ if $$n$$ is the dimension of $$V$$.

Related facts

 * Linear representation of finite group over reals has invariant symmetric positive-definite bilinear form
 * Grand orthogonality theorem is a theorem about orthogonality relations between the matrix entries of a representation when it is written using unitary matrices.