群表示论基本概念

1.用矩阵来表示群元素，群元素乘法对应于矩阵乘法，满足

D(A)D(B)=D(AB)

2.若群G所有元素R在两个表示D(G),D'(G)中存在同一相似变换，使得

D'(R)=X^(-1)D(R)X

那么则称D'(R)和D(R)相似。称这两个表示是等价的。

注意这是一个很强的要求，因为每个群元素都要用同一个相似矩阵来变换

3.若群G的每一个表示矩阵D(R)都可以通过同一个相似变化X化为同一形式的阶梯矩阵

那么这个表示是可约表示，否则就是不可约表示，这个要求同样是很强的，因为所有矩阵都要同一个相似变换，更进一步

上面所说的等价和可约要求都挺强的，舒尔定理提供了一些可以操作的方式来刻画不可约表示

舒尔定理一

 
换句话说，如果存在X，使得D1X=XD2，对所有群元素都成立，那么这两个表示不是两个不可约，不等价表示。这个定理还是难以应用

舒尔定理二

换句话说，如果存在一个矩阵X，使得DX=XD，且X不是常数矩阵，那么这个表示一定是可约的。