A representation is called unitary <=> D(g) is unitary forall g in G.
I will use ` to denote "dagger"= transpose and conjugate
Is D(g) equivalent to a unitary representation?
Theorem: given N dim representation, D, of a finite group G of order h, D is equivalent to a unitary representation of G.
Let X = Sum(i=1,h,D(g)`D(g)). X is hermetian and positive definite.
there exists a unitary matrix, U, s.t.
X=U^(Diag)U where Diag =
| . |
| . |
with di's = eigenvalues of X.
X positive definite => di>0 forall i.
X=S*S with S=U^*(Diag^1/2)*U with S hermetian where (Diag^1/2) =
|d1^.5 | | . | | . | | dn^.5|
forall a in G: D`(a)XD(a)=Sum(i=1,h,D`(a)D`(gi)D(gi)D(a))=Sum(i=1,h,D`(gia)D(gia))=X
let D~=SDS^ => D~`=(SDS^)`=S^`D`S`=S^D`S D~`D~=I => D~ is unitary and D~ is equivalent to D.
Theorem: any non-compact group has no finite dime unitary irreps.