北大群伦电子group theory_6.ppt

行置换算子集: 杨盘T的所有的行置换算子组成的集合. ;引理1: 设T和T?是两个杨盘, 由置换r相联系, 即T?=rT. 置换s作用于杨盘T上将T中任一位置(i,j)处的数字变 到sT中的(k,l)处, 则s?=rsr–1作用在T?上将T?中位于(i,j) 处的数字变到s?T?中的(k,l)位置.;引理2: 设T是杨盘, p和q分别是T的任意行置换和列 置换, T? 与 T 通过置换 pq 相联系, 即T?=pqT. 则T中位于同一行的任意两个数字不可能出现 在 T? 的同一列. 设两个杨盘由置换 r 相联系,即T?=rT. 如果 T 中 任意两个位于同一行的数字不出现在即T? 的同 一列, 则置换 r 必可表示为 r = pq.;引理4: 如果存在两个数字同时位于杨盘T的同一行 和杨盘 T? 的同一列, 则这两个杨盘的杨算子满足;引理6: 对应于杨盘 T 的杨算子 E(T) 是一个本质的本原幂等元. 相应的不变子空间 RG 是对称群 Sn 的一个不可约表示空间, 其维数是 n! 的因子. ;5.2 对称群的不可约表示;杨图[λ]的标准盘个数的计算公式: gij为杨图上位置(i,j)处的钩长.;半正规单位(半正则母单位): 定义算子;半正规单位(半正则母单位)定义