《近世代数课件--置换群 (1)》教学课件.pptVIP

* 数学与计算科学学院 * 的杨图为 则 或 例4: SU(4)群的两个不可约表示的直积 的杨图为 * 数学与计算科学学院 * 则 或 SU(4)群的两个不可约表示的直积 的杨图为 * 数学与计算科学学院 * 这样， SU(4)群的三个不可约表示的直积 的杨图为 则 * 数学与计算科学学院 * 或 谢谢！ * 数学与计算科学学院 * 互换后得到的杨盘. 为杨盘 中的数字 的轴距，计算轴距有一个简单的规则，即如果规定 沿着杨盘向上或向右移动一格为+1，向下或向左 移动一格为-1，则从k-1出发，沿着直角路线到达 k总共经过的方格的代数和就是轴距. 上述规则仅给出了两相邻数字对换的不可约表 示的矩阵，利用下列递推关系 就可将任一对换用相邻数字的对换表示出来，比 如 * 数学与计算科学学院 * 由于任一置换都可以分解为对换之积，这样只要知 道了的所有相邻对换元素(k-1, k)的表示矩阵 . 就可以确定出 的任一元素的表示矩阵，从而 群 的不可约表示也就完全确定了. 例1: 现在我们利用上述方法求出群 的表 示矩阵. 对于 群，其杨图与杨盘为： * 数学与计算科学学院 * 所以不可约表示 与 都是一维的. 对于杨盘 ， ，故 , 对于 群，其杨图与杨盘为： * 数学与计算科学学院 * 所以，不可约表示 与 是一维的，而 是二 维的. 故得： 对于杨盘 , 再由关系(3) 知: * 数学与计算科学学院 * 对于 盘， , 故由(1)式得: . 对于 盘， ，故由(1)式得: . 因 故由(1)式得: 这样 * 数学与计算科学学院 * 对于 盘， 故由(1)式得: 对于 盘， 故由(1)式得: 又 故由(1)式得: 这样 * 数学与计算科学学院 * 再由上面的关系(3)可求解其它元素的表示, 结果为: 由此可见， 群的各表示与§2.4节例1求得的 群的不可约表示一一对应，其结果完全一样，这是 显然的. 因为 群与 同构. * 数学与计算科学学院 * §3.4 群不可约表示的特征标 群的不可约表示的特征标称为它的单纯特 征标，它是类的函数，常用 来标记，这里的右 上角 为n的一种配分 , 用以标 记 的不可约表示，右下脚 也是n 的一种配分. 用以标记 中的某一类，按置换群 理论， 群相应于配分 的不可约表示 在 类中的特征标为： 上式求和i是对将 个连续格子添加到 * 数学与计算科学学院 * 杨图 中的所有可能的方法进行的，而 其中 为在每次添加中连续格子的“距”之和，而“距” 为最长一列中的格子数减1. 所谓连续格子是指处在 杨图 同一行的格子，每一行的格子 标号相同，且由上而下标号依次增大，如下图所示: * 数学与计算科学学院 * 将 的格子添加到杨图 的规则是：添加每一组数字相同的连续格子不许出 间断，添加的每一步都要使所得到的方格图为一杨 图，且从上而下或从左而右看，数字必须是不减次 序，每一步添加相同数字的格子必须形成那一步的 杨图阶梯的一个连续段，所谓杨图的阶梯是由杨图 右下方的边缘带上的格子组成. 如杨图