2.7有限群群代数及不可约基.pptVIP

2.7 有限群群代数的不可约基;正则表示的约化中，每个不可约表示的重数=表示的维数 因此，把正则表示进行约化也是计算有限群不等价不可约表示的一种方法 ◆有限群群代数的不可约基 把正则表示约化得到的群元素的线性组合 为什么研究： ?系统哈密顿量各简并能级的函数空间是对称群的不变空间，即群元素作为算符作用的到H的函数基上仍在H的函数空间内;?把不可约基作用到H的本征函数上 能把H的本征函数投影成属于对称群不可约表示的函数基 ?这样就解决了按照群论方法选择哈密顿量本整函数基的计算问题（即定态波函数按不可约表示分类问题） ?有些物理问题，这种方法非常有用，如 分子振动能谱的研究 常用这种方法计算属不可约表示的函数基;Φjμr 称为属不可约表示Dj μ行的函数基，三个指标与上节规定相同，r 用于区分mj个Dj ?群元素S作为算符作用??新基上，得到表示Dj(S);?群元素S还可以从右作用到新基上 因 左乘、右乘群元素的运算是独立进行的 故 右乘群元素不会改变矢量基在左乘群元素作用下的性质 即 φjμr S 仍属不可约表示Dj μ行，这样mj个矢量基φjμr 构成对右乘群元素不变的子空间，对应群G的一个mj维表示;把矢量基作适当组合，可使两个表示相同 这一过程不算证明，只是说明 为此，在有限群G的群代数中可以选择一组矢量基， 称为不可约基，满足;?计算不可约基的时候，原则上S要取遍所有群元素，但实际操作中，只取生成元就够了，有时为了方便，可多取若干元素 ?应用到物理问题上：设哈密顿量H的能级E是m重简并，本征函ψρ(x)构成一个函数空间 ?上节介绍了群论方法将这些函数基组合成对称群G的不可约表示的基，但是，若对称群G的不可约基已知，将其中的群元素S换成变换算符PS，作为投影算符作用到函数基上，则φjμr ψρ(x)(≠0)就是属不可约表示的函数基;二、D3群群代数的不可约基;同理： ? 二维表示：μ=1，2，重数=维数 2;0 -1;