根据 求C2群所有不等价不可约表示：C2群有两个类，因为有限群不等价不可约表示的个数等于群的类数，故C2群有两个不等价不可约表示，因为不等价不可约表示维数的平方和等于群的阶数，故x2+y2=2，故x=1,y=1，故C2群{E,R}有两个一维的不等价不可约表示，因为任何一个群都有一个恒等表示（表示矩阵：1，1），故其还有一个一维非恒等表示（类似求D3群的一维非恒等表示的方法可以得到，表示矩阵：1，-1）。现在知道了C2群的不等价不可约表示，怎么知道D3的不等价不可约表示？ 知道了群的一部分表示怎么构造其他表示，知道了阶数小一点的群的表示，怎么知道阶数大一点的群的表示。这就是“新表示的构成”一节的内容。

定理一的例子：例 :D3 群关于不变子群 C3 的 商群 C2 的两个一维不等价不可约表示均为 D3 群的不可约表示：

定理一证明： 证明: 商群 G/H 和群 G 同态，

显然商群 G/H 的任一表示是群 G 的非 真实表示

将群 G 的阶记为 g , 不变子群 H 的阶记为 h , 则商群 G/H 的阶为 g/h 若商群 G/H 的某一表示是不可约的，则

对于群 G 来说，判断此不可约表示是否是原群的不可约表示：不可约表示的充要条件：特征标模方对群元素求和是否等于群的阶数： 又因为 故

两个表示直乘时，特征标是相乘，因为矩阵直乘是将后面的矩阵乘到前面矩阵的每个元素上，故特征标是相乘。

1.矩阵的直乘：其实就是量子力学的直积，第一章讲了 根据矩阵乘法和直乘的方法可以证明： 2.定理二证明：

在证明过程中用到了：任何有限群一维表示的特征标模为1。 一个结论： 有限群一维表示，其表示矩阵的模和特征标的模都是1.

证明：因为有限群的表示等价于幺正表示，有限群的一维表示可以通过相似变换化为幺正的，一维表示作相似变换，即X乘一个数再乘这个数的逆，最后会发现一维表示作相似变换后还是它自己，即相似变换后化为的这个幺正表示就是它自己，故它自己就是幺正表示，

直乘群复习：（见第二章）

此定理说有限群 G 的两不可约表示 Di(G) 和 Dj(G) 的直乘 D(G)=Di(G)⊗Dj(G) ，比如C6群是（一个C2，一个C3）的直乘，比如V4群是（两个C2）的直乘，根据此定理：群G的不等价不可约表示都可表示为两子群H1和H2不等价不可约表示的直乘， 因为已知C2的两个不可约表示（1，1和1，-1），故根据此定理三可以求出V4的所有不等价不可约表示，一个C2有两个不等价不可约表示，两个C2直乘刚好有4个不等价不可约表示.(5) V4群是4阶阿贝尔群，阿贝尔群的每个元素自成一类，故有4个类， 因为有限群不等价不可约表示的个数等于群的类数，故V4群有4个不等价不可约表示， 又因为有限群不等价不可约表示维数的平方和等于群的阶数，x2+y2+z2+t2=4，故x=y=z=t=1，故只能有4个一维不等价不可约表示，(6) （6）这个结论与结论（5）相同，故这验证了这个定理三的正确性。

对V4群：

定理三证明（没时间，算了，第47分）：

直乘群类的个数等于两子群类的个数的乘积。

证明：根据定理三知，子群 H1 和 H2 的所有不等价不可约表示的直乘穷尽了直乘群 G 的所有不等价不可约表示，又因为有限群不等价不可约表示的个数等于群的类数，故根据“b.“群 G 的不等价不可约表示都可表示为两子群 H1 和 H2 不等价不可约表示的直乘”的计算方法”知道，直乘得到的表示的个数等于每个表示的个数的乘积，故直乘群类的个数等于两子群类的个数的乘积。得证。

定理二：有限群 G 的两不可约表示 Di(G) 和 Dj(G) 的直乘 D(G)=Di(G)⊗Dj(G) 仍是群 G 的表示; 若 Di(G) 是一维表示，则 D(G) 是群 G 的不可约表示 定理二说的是，同一个群有两个表示，将这两个表示直乘起来，即对于群的每一个元素，将其对应的表示矩阵直乘。若参与直乘的表示有一个是一维的，则D(G) 是群 G 的不可约表示。 定理三：若有限群 G 等于两子群的直乘,G=H1⊗H2 , 则群 G 的不等价不可约表示都可表示为两子群 H1 和 H2 不等价不可约表示的直乘 定理三说的是，一个群是两个子群的直乘群，则它的不等价不可约表示都可表示为两子群不等价不可约表示的直乘。

把群 G 的不可约表示 D′(G) 中与子群 H 元素有关的表示矩阵挑出来, 构成子群 H 的一个表示，这个表示称为群 G 的不可约表示 Dj(G) 关于子群H 的分导表示，记为 Di(H)。 分导表示一般是可约的，可按子群 H 的不可约表示 D¯k(H) 约化：

D3群有一个二维不可约表示，有六个二维矩阵，D3群的子群{E,D,F}在刚才的二维表示中对应3个二维矩阵，这三个矩阵构成的矩阵群是{E,D,F}（C3群）的表示，称为分导表示。这个分导表示是可约的，可以将其向C3的不可约表示约化。

证明表示就是应证明元素对应，元素乘积对应，因为在D3中都满足元素乘积对应，故显然在{E,D,F}也满足，故得证：这三个矩阵构成的矩阵群是{E,D,F}的表示。

将 D¯k(H) 表示空间的基记为 ψμ , 则有 定义 ψrμ=PRrψμ , 其中 ψ1μ=ψμ 对群 G 的任意元素 S , 将 SRr 记为 RuTt , （u 和 t 完全由 S 和 r 决定），则有 这表明 nm¯k 个基 ψrμ 架设的空间对群 G 保持不变，对应群 G 的 nm¯k 维 表示 Δk(G) , 该表示称为子群 H 的表示 D¯k(H) 关于群 G 的诱导表示 诱导表示一般是可约的，可按群 G 的不可约表示 Dj(G) 约化

分导表示：从原群的不可约表示中，把关于子群的表示矩阵挑出来，构成子群的一个表示 诱导表示：有了子群的不可约表示，将表示空间扩大，它会构成群G的表示，称为诱导表示

有限群 G 的不可约表示 Dj(G) 关于子群 H 的分导表示 Dj(H) 中包含子群 H 的不可约表示 D¯k(H) 的重数 ajk , 等于子群 H （注意和前面求分导表示时是同一个H）的不可约表示 D¯k(H) 关于原群 G 的诱导表示 Δk(G) 中包含群 G 的 不可约表示 Dj(G) 的重数 bjk , 即 ajk=bjk

不证明这个定理。只是弄懂这个定理在说什么。 有限群 G 的不可约表示 Dj(G) 关于子群 H 的分导表示 Dj(H)是可约的，将其向子群的不可约表示约化，约化时不可约表示会出现几次就是重数ajk，诱导表示同理。这个定理说的是两种重数相等。

老师说这个例题具体的东西他就不讲了。说明这个例题很可能不重要。毕竟求诱导表示的方法很复杂，很可能不考。

标题行：类 {Cα} 前标上该类元素个数 na 标题列: 第 α 个不可约表示 根据有限群不可约表示的个数等于类的个数知道，特征标表是 gc×gc 方阵 竖：同一类在不同表示中的特征标 横：不同的类在同一个表示中的特征标

行：不同类在同一不可约表 示中的特征标 列: 同一类在不同的不等价不可约 表示中的特征标

惯例：第一行给出恒等表示的特征标， χα1=1 惯例：第一列给出恒元在各 不等价不可约表示的特征标， 即各不可约表示的维数

因为恒元的表示矩阵为单位矩阵，故其表示的特征标就是维数

行的正交关系 :∑α=1gcn(α)gχαi∗χαj=δij （正交性，注意其中有复共轭） 列的正交关系 :∑jn(α)gχαj∗χβj=δαβ （完备性，注意其中有复共轭）

这个结论需要加上一维两个字吗

因为恒元的表示矩阵为单位矩阵，故其表示的特征标就是维数

定理二：有限群 G 的两不可约表示 Di(G) 和 Dj(G) 的直乘 D(G)=Di(G)⊗Dj(G) 仍是群 G 的表示; 若 Di(G) 是一维表示，则 D(G) 是群 G 的不可约表示

因为设阿贝尔群有g个元素，每个元素自成一类，故g个类，根据原则（1）知，不可约表示的个数等于群的类数，故g个不可约表示。又根据原则（2）知，不可约表示维数的平方和等于群的阶数，故其不可约表示都是一维的。

特征标表中任何两行都正交，故也会和一维恒等表示对应的行正交，即

例子：

证明：先证明表示取复共轭后的特征标是原表示特征标的复共轭、一个不可约表示取复共轭后还是不可约表示：一个不可约表示D(G）,取复共轭后，它一定还是一个不可约表示，因为取复共轭会使得特征标变为D(G)的特征标的复共轭，但不改变特征标的模方，之前是不可约的，特征标模方对群元素求和等于g，取复共轭后，特征标模方对群元素求和还是等于g，故其还是不可约的。 对自共轭表示，自共轭表示D(G）的表示矩阵取复共轭得到的复共轭表示与原来的表示等价，根据等价的充要条件知，特征标对应相等，又因为前面证明了复共轭表示的特征标是原来表示D(G)的特征标的复共轭，故自共轭表示的特征标为实数，或下图证明： 。 对非自共轭表示，其表示矩阵取复共轭得到的复共轭表示与原来的表示不等价，根据等价的充要条件知，特征标不会对应相等，又因为前面证明了复共轭表示的特征标是原来表示D(G)的特征标的复共轭，故有限群不可约的非自共轭表示与其复共轭表示（不可约）成对出现，特征标互为复共轭。得证。

证明复杂，没时间，省略。

不等价不可约自共轭表示的个数：等于自逆类的个数 不等价不可约非自共轭表示的对数：等于相逆类的对数 例子：

其它元素的表示矩阵由群元素的乘积关系给出。（背） 证明：N 阶循环群 G={E,R,R2,…,RN−1} 是阿贝尔群 每个元素自成一类 , 共N 个类, 因此有 N 个不等价不可约表示; 这 N 个不等价不可约表示维数的平方和还等于 N, 因此每个不可约 表示都是一维的；即阿贝尔群的不可约表示都是一维的。 因为表示矩阵都是一维的，故 因为根据表示的定义，有D(SR)=D(S)D(R)，故表示矩阵需满足群元素的乘积关系，有 即元素 R 的表示矩阵有 N 个解，每个解代表一个不等价不可约表示, 记为 :循环群中元素R在N个不等价不可约表示中的表示矩阵分别为（背）：

根据循环群中元素R在N个不等价不可约表示中的表示矩阵公式，可以得到以下所有的循环群特征标表： 也可以根据一般原则中的三点求出以上特征标表：（2）得：2个表示，（1)得；2个一维表示，因为一定有一维恒等表示，故求出了第一行，在根据（3）特征标表中行是正交的，列也是正交的，可以求出第二行。 也可以根据一般原则中的三点求出以上特征标表：（2）得：3个表示，（1)得；3个一维表示，因为一定有一维恒等表示，故求出了第一行，又根据恒元对应的表示矩阵是单位矩阵求出第一列，在根据（3）特征标表中行是正交的，列也是正交的，设a,b,c,d，可以求出a,b,c,d的关系，化为只有一个自变量a，再根据“i.有限群不可约的非自共轭表示与其复共轭表示（不可约）成对出现，特征标互为复共轭；不可约自共轭表示的特征标为实数”、“j.不可约表示的充要条件：特征标模方对群元素求和等于g”可以解得复数a。但是这个方法很复杂，还是公式法最好。 也可以得到C6

D2 群 \left(\mathbf{V}_{4}\right\left(\mathbf{V}_{4}\right . 群)是阿贝尔群， 有 4 个元素，一个恒元，三个二阶元素，它们各自成一类，共 4 个类，因此 4 个不 等价不可约表示都是一维的。（阿贝尔群的不可约表示都是一维的） 根据“e.新表示的构成一节中定理三：若群等于两子群的直乘，则其所有不等价不可约表示都由两子群的不等价不可约表示的直乘给出（背，重要）”和得到： 从而得到V4的特征标表。

D3 群有 6 个元素，恒元是一类，2 个三阶元素构成一类, 3 个二阶元 素构成一类, 共 3 个类, 3 个不等价不可约表示维数的平方和为 6 , 故该群有 2 个一维不可约表示和 1 个二维不可约表示。 法一：找不变子群，对任何一个DN群，CN是它的一个不变子群，商群是C2，根据“c.新表示的构成一节中定理一：商群的不可约表示也是原群的不可约表示 （而且是 非真实表示 ）（背，重要）”知道， 这样得到了特征标表的前两行， 根据恒元对应的表示矩阵是单位矩阵求出第一列（注意二维表示是2），故特征标表： （其他方法很难解出a,b，以下方法最好） 根据“d.新表示的构成一节中定理二的一部分：群的一维非恒等表示与高维不可约表示直乘，仍是群的不可约表示（背，重要）”，根据矩阵直乘知道直乘后得到的不可约表示中对应的特征标为-b，而因为只有一个二维表示，故b=-b，解得b=0。 根据“g.除恒等表示外，有限群任意一不可约表示的特征标对群元素求和等于零（背，重要）”知2+2a+3b=0，故a=-1. 法二：像之前的例题一样求出其所有的不可约表示，再根据表示求出特征标表。

D4 群有 8 个元素，恒元是一类，绕四次轴转动的 2 个四阶元素构成一 类, 1 个二阶元素（即绕4次轴转180度）构成一类，绕二次轴转动的 4 个二阶元素分成两类, 共 5 个类,

复习一下第二章即知道是5个类

5 个不等价不可约表示维数的平方和为 8 , 故该群有 4 个一 维不可约表示和 1 个二维不可约表示。 特征标表第一行都是1，第一列除了最后一行是2，其他都是1。 D4 群有 1 个不变子群 C4,2 个不变子群 D2 , 这3个不变子群对应的商群都是 C2 群 ; 还有 1 个不变子群 C2 , 这个不变子群对应的商群是 D2∘

根据“c.新表示的构成一节中定理一：商群的不可约表示也是原群的不可约表示 （而且是 非真实表示 ）（背，重要）”知道，根据不变子群 C4及其商群C2 知道， E & 2C4 & C42这4个元素对应1（即表示矩阵为1，因为一维，特征标为1），2C2′ & 2C2′′这4个元素对应-1，得到特征标表第二行。 根据不变子群 D2（{E, T2, S0, S2}）及其商群C2 知，E 、C42、2C2′对应1，E 、C42、2C2′′对应-1。 以上就是4个一维不可约表示，即得到了特征标表的前4行。 根据不变子群 C2（{E, T2}）及其商群D2 知，但因为D2的不可约表示都是一维表示，故这样对应得不到二维表示。 设特征标表为： 根据“d.新表示的构成一节中定理二的一部分：群的一维非恒等表示与高维不可约表示直乘，仍是群的不可约表示（背，重要）”，根据矩阵直乘知道直乘后得到的不可约表示中2C2′′对应的特征标为-d，而因为只有一个二维表示，故d=-d，解得d=0。同理得a=0，c=0. 根据“g.除恒等表示外，有限群任意一不可约表示的特征标对群元素求和等于零（背，重要）”知2+b=0，故b=-2. 故特征标表：

D5 群有 10 个元素，恒元是一类， 4 个五阶元素分成两类，5 个二阶元 素构成一类，共 4 个类， 4 个不等价不可约表示维数的平方和为 10 , 故该群有 2 个一维不可约表示和 2 个二维不可约表示。 D5 群有 1 个不变子群 C5 , 商群是 C2 群。

根据第二章中的

故第一行第一列可以得到。 设

根据 故特征标表：

D6 群有12 个元素，恒元是一类，绕六次轴转动的 2 个六阶元素构成一 类，2 个三阶元素构成一类, 1 个二阶元素构成一类，绕二次轴转动的 6 个二阶元素分成两类，共 6 个类, 6 个不等价不可约表示维数的平方 和为 12 , 故该群有 4 个一维不可约表示和 2 个二维不可约表示。 D6 群有 1 个不变子群 C6,2 个不变子群 D3 , 商群都是 C2 群 ; 一个不 变子群 C3 , 商群是 D2 群 ; 还有一个不变子群 C2 , 商群是 D3 群。 根据不变子群可以求出前4行。 根据D5中的方法得到后两行。 D6的另一种方法： 因为D6等于D3直乘C2，得到特征标表。

设 Di 为群 G 的 mi 维不可约幺正表示，定义投影算符（背）

老师说，、μ、ν有mi个，故共有∑imi2个这样的算符。？幺正是否有更强的限制。所以我认为这个说法是否有错误，没时间，以后再说。

共有g个线性独立的投影算符。

为什么线性独立，可能可以通过类似正交定理的推论来证明：

Pμνiψ是一个算符作用于ψ，得到的还是一个函数

证明（此证明重要）： 这表明，若投影算符已知，则可从任意函数出发构造荷载不可约表示的基（背）： 将投影算符作用于ψ，得到Pμνiψ，若其非零，则它就是这个第i个不可约表示Di的第 μ 列的函数（其实是荷载这个不可约表示的一个基矢量）。取遍所有的μ（μ一共有mi个），就得到荷载这个不可约表示的基。

得到了基之后，就可以求出这个不可约表示。但是在投影算符定义中用了，故好像是在循环，是无用功，但是这个性质的意义是：假设不知道这个表示的表示矩阵Di，如果有另外不一个办法，可以不根据定义而求出投影算符，则我们就可以根据此性质，从任意函数出发构造荷载不可约表示的基，得到了基之后，就可以求出这个不可约表示。这就是一个从已知的投影算符出发得到不可约表示的表示矩阵的方法。 在置换群一章我们就是这样从杨算符出发求表示。

若 ψμi 属于不可约表示 第Di第μ 列的函数，即 的含义（背，重要）：投影算符作用在属于第i个不可约表示Di的第 ν 列的函数时，得到的是属于第i个不可约表示Di的第 μ 列的函数。 的含义： 投影算符作用于只要不是（属于第i这个不可约表示第ν列的这个函数）时，结果都是0.

将任意函数ψ按不可约表示的基函数展开 展开成属于第j这个不可约表示第λ列的函数，展开系数是aλrj，如果是重表示，用r来标记是哪个重表示。 例

根据性质2知道： 最右边的r是标记重表示。（为什么这里有重表示？重表示不是就在系数就行吗？没时间，以后再说） 这表明， Pμμi 将任意函数ψ中属于第i个不可约表示Di的第 μ 列的分量投影出来并将其它成分消除掉

这就是投影算符这个名字的来源

这个函数ψ在 这样展开时，有属于第i个不可约表示Di的第 μ 列的分量时，Pμνiψ 就非零； 而当ψ不含属于第i个不可约表示Di的第 μ 列的分量时，Pμνiψ 就是零。

根据投影算符公式可以写出这些投影算符。 对二维不可约幺正表示，有上面4个投影算符。

对以上所有投影算符，可以发现P11A+P11B+P11E+P22E=I，其物理意义：根据性质3，因为对任意一个函数，它展开 ，有4项，一项是属于一维恒等表示第一列的，一项是属于一维非恒等表示第二列的函数，还有一项属于二维不可约表示第一列的函数，还有一项属于二维不可约表示第二列的函数，而根据性质3知道，P11A将属于一维恒等表示这一项挑出来了，P11B将属于一维非恒等表示第二列的函数这一项挑出来了，等等，故这4个投影算符P11A,P11B,P11E,P22E将这4项都挑出来了，故将ψ还原了。故它们之和是单位算符。

因为ψ可以任意取，这里取， 故能知道投影算符作用于ψ等于什么： 根据性质1：设 ψ 为任意函数， 若Pμνiψ 非零，则Pμνiψ为 这个第i个不可约表示Di的第 μ 列的函数，知道，如果投影算符作用后不等于0，得到结论：

而若将任意函数取为 ψ(x,y)=−2xy，则 得到的荷载二维不可约表示的基的结果和刚才取 ψ(x,y)=2x2得到的荷载二维不可约表示的基相同。