The characters of a representation D of G is: X(g)=Tr(D(g))=trace of the D(g)'s
Theorem:
* a,b in G with a~b => X(a)=X(b) (their characters are the same)
Proof:
D(b)=D(g^ag)=D(g^)D(a)D(g)
X(b)=Tr(D(b))=Tr(D(g^)D(a)D(g))
=> Tr(D(b))=Tr(D(a))
Proof as above
X(g) = X1(g)+X2(g)