判断矩阵是否可约、表示是否可约

结论：
1.如果χ是群G的一个不可约表示的特征标，则(χ|χ)=|G|=g。【这里的特征标内积对应GAP中的ScalarProduct，与向量内积的定义保持一致，有些文献的定义相差一个系数1/|G|】
特征标内积为∑[R∈G]χ^j(R)*χ^j(R)=|χ^j(R)|^2—a_j=1—>∑[R∈G]|χ(R)|^2=g
注意：
有些文献上定义特征标内积为(χ^i(R)|χ^j(R))=(1/g)∑[R∈G]χ^i(R)*χ^j(R)
则表示不可约的充要条件为(χ(R)|χ(R))=1
gap> [1,ComplexConjugate(E(3)),ComplexConjugate(E(3)^2)];
[ 1, E(3)^2, E(3) ]
gap> ScalarProduct([1,E(3),E(3)^2],[1,ComplexConjugate(E(3)),ComplexConjugate(E(3)^2)]);
3【所以[1,E(3),E(3)^2]、[ 1, E(3)^2, E(3) ]这2个C_3的1阶复表示都是不可约的】
2.如果χ与χ'是两个不同构的不可约表示的特征标，则(χ|χ')=0（正交关系）。
3.如果χ_1, χ_2, χ_h,是G的所有两两不同的不可约特征标，则G的每个表示的特征标φ，φ=∑[i=1->h]m_iχ_i，这里m_i=(φ|χ_i)是非负整数，(φ|φ)= ∑[i=1->h]m_i^2。 
我们有一个一般的定理：
如果φ是G的一个表示的特征标，则(φ|φ)是一个正整数n|G|，且表示不可约当前仅当(φ|φ)=|G|。
C_4、C_2×C_2的2阶表示：
C_4=<(1234)>={ { {1,0},{0,1}},{ {0,1},{-1,0}},{ {-1,0},{0,-1}},{ {0,-1},{1,0}}{<}GL_2(R)，1阶元和2阶元的表示矩阵是可约的
gap> ScalarProduct([2,0,0,0],[2,0,0,0]);
4【所以C_4的这个2阶表示是不可约的】
C_2×C_2={(1),(12)(34),(13)(24),(14)(23)}={ { {1,0},{0,1}},{ {1,0},{0,-1}},{ {-1,0},{0,1}},{ {-1,0},{0,-1}}{<}GL_2(R)：1阶元和3个2阶元的表示矩阵都是可约的
gap> ScalarProduct([2,0,0,-2],[2,0,0,-2]);
8【所以C_2×C_2的这个2阶表示是可约的】
C_4={1,-1,i,-i}的1阶忠实表示：1，-1，i，-i
a+bi->{ {a,b},{-b,a}}
1->{ {1,0},{0,1}},-1->{ {-1,0},{0,-1}},i->{ {0,1},{-1,0}},-i->{ {0,-1},{1,0}}
gap> ScalarProduct([1,-1,E(4),-E(4)],[1,-1,-E(4),E(4)]);
4【所以C_4的这个1阶复表示是不可约的】
S_3={(1,2,3),(2,1,3),(1,3,2),(3,2,1),(3,1,2),(2,3,1)} 的2阶【维】表示：
{ {1,0},{0,1}},{ {-1,1},{0,1}},{ {1,0},{1,-1}},{ {0,-1},{-1,0}},{ {-1,1},{-1,0}},{ {0,-1},{1,-1}}
【1阶元和2个2阶元的表示矩阵是可约的，2个3阶元和另外1个2阶元"0,-1;-1,0"的表示矩阵是不可约的】其相应的特征标是
2,0,0,0,-1,-1
gap> ScalarProduct([2,0,0,0,-1,-1],[2,0,0,0,-1,-1]);
6【所以S_3的这个2阶表示是不可约的】
gap> g:=SymmetricGroup(3);;L:=Irr(g);;n:=Size(L);;for i in [1..n] do Print(DegreeOfCharacter(a),"->X",i,"=",List(L[i]),"\n");od;
1->X1=[ 1, -1, 1 ]
1->X2=[ 2, 0, -1 ]
1->X3=[ 1, 1, 1 ]
gap> g:=SymmetricGroup(3);;L:=Irr(g);;n:=Size(L);;for i in [1..n] do for j in [1..n] do Prin