有限群表示论的新途径(Ⅱ) 内稟群和正则表示的完全分介

对任一群G可以引入一个对应的内禀群,和G对易且反同构,它是李群中第二参数群的推广。内禀群的子群链(S)的完备算符集(S)的本征值可用来区分在群G作用下变换性质完全相同的不可约基。第三类完备算符集K=(C,C(S),(S))的本征函数构成GG(S)和(S)分类基.K在群上函数空间的本征函数就是群G不可约矩阵元的复共轭。作为例子,处理了置换群S_3和S_4的正则表示的完全分介。     

用群表示论的本征函数法求O_h~3群M点的不可约基和不可约表示

本文是在已给出的O_h~3群M 点的对称操作群元的基础上,运用群表示论的本征函数法,找出其CSCO—Ⅰ,CSCO—Ⅱ,CSCO—Ⅲ(第一、二、三类完备算符集),求解相应的本征方程,得出不可约基并进而求出不可约表示。     

有限群的完备算符

在有限群中引入一个完备算符,它具有李群中决定不可约表示的Casimir不变算符集同样的作用,完全决定有限群的不可约表示,所有类算符都能表示为完备算符的多项式函数,并且完备算符自己满足K(类数)次代数方程,由此来决定完备算符的K个不同本征值,随之也就确定了所有类算符的本征值。根据类算符本征值与特征标的关系,就能直接求出所有的特征标,完全确定有限群的所有不可约表示,最后得出各种有限群均为一秩群的结论。     

Cayley有向图的商图

设C(G,S)是有限群G上关于S(S(?)G)的Cayley有向图。给定G的一个子群H,我们在C(G,S)上引入商Cayley有向图的记号,它在某种意义上来说类似于群论中的商群,因此可在这一类图上讨论其性质。 对于g∈G,我们用N~ (g)表示g在C(G,S)中的外邻集。设集合K={g∈C|N~ (g)=S},可以看出它是G的子群,我们称其为C(G,S)的核。当H=K时,Cayley有向图与它的商有向图之间存在着一些非常好的同构关系。在这个假定下,我们进一步根据商有向图及核K为C(G,S)的自同构群刻划出了一系列特性。     

有限群表示的完算备符与类算符完备集

本文给出了有限群表示完备算符的一些充分必要条件以及某些点群表示的完备算符与类算符完备集。     

计算群表和找子群链的程序设计

在用本征函数法计算群表示的基本问题时,如计算群表,找子群链,解本征方程,求完备算符集等,这些工作计算量很大。本文介绍一种计算群表和找子群链的计算机程序。     

近群融合代数的不可约表示

设G是一个有限群,K(G,n)为群G的近群融合环,其中n是给定的自然数.本文计算了近群融合环K(G,n)的Casimir数,并明确刻画了复数域C上近群融合代数A=K(G,n)(○)z C上的所有不可约表示.     

“本征函数法”在空间群上的应用

<正> 引言“本征函数法”是近年来南京大学陈金全等同志创建的一种群表示论的新方法。它巧妙地把种类繁多的求各种群的表示问题,统一到求一种完备算符集,求本征值及本征函数问题。类似于用量子力学中的力学量算符在相应的表象中求本征值的办法来简约群的表示。因此,这种方法也可称为群表示论的物理方法。这种方法计算程序单一,方法易于掌握,引起国内外重视。我们的工作是将此法推广到空间解,给出求空间群表示及基的普遍方法,并以_h~3群为例,求出O_h~3群十个波矢群的不可约表示及不可约基。     

辫子群双参数新表示

本文将含单参数的Ｃｏｎｗａｙ条件推广为含双参数，并据此建立辫子群的完备算符集，给出它的双参数新的不可约表示．同时还找到了有价值的阵元关系．     

Abel群上的弧传递Cayley有向图

设C(G,S)表示在Abel群G上关于其子集S的Cayley有向图。在本文中,有几类弧传递Cayley有向图C(G,S)用它们的连通子集S刻划了其特性,并且进一步为我们给出了一些任意度数的弧传递Cayley有向图。     

群的自由积的高可迁表示

可数无限秩的自由格序群是同构于有理数集上的格序置换群A(Q)的2-可迁子群，THEOREM6．7)．McCleary证明了有限秩的自由格序群有一个Q上的2-可迁表示．McCleary给出自由格序群Fη(1＜η＜^s\τ )在Q上有一个o-2-可迁作用，这一想法被推广到格序群的自由积．若G是一个L-群，F是基数至少是|F|的无限生成子上的自由群，则自由积G∪H在一个基数|F|的秩域上有一个o-2-可迁表示，G1ass和Gurevich则证明了两个可数L-群在Q上有一个o-2-可迁表示。证明若G和H是在有理数集Q上有忠实表示的非平凡可数群，则它们的自由积G∪H在Q上有高可迁忠实表示；若G和H是非平凡有限和可数群，且H有一个无限阶元素，则自由积G∪H在自然数集上有高可迁忠实表示。     

置换群的优化算符

本文引入置换群的最佳完备算符集(优化算符),用它能以最简便的方式确定不可约表示矩阵。同时还讨论了优化算符的性质、本征值和本征函数,及其在置换群表示论中一些重要问题上的应用。     

关于空间群的C-G系数及IR表示的计算中位相因子的处理方法

利用量子力学中的本征函数法^[1,2]详细讨论计算空间群的表象群的不可约表示(IR矩阵)及IR基时位相因子的处理^[3,4]，以及讨论了C—G系数的计算中的位相因子的处理方法．     

子群链Pm3mPm3P23耦合系数的计算

利用陈金全教授的本征函数法计算了空间群链Pm3m(?) Pm3(?)P23的耦合系数,即母分系数.C—G(克莱布施-高登)系数是群不可约表示基组成高阶不可约表示基底的变换系数,而母分系数是由两个群链不可约表示基底组成大群不可约表示基的变换系数.最后的计算结果表明,用陈金全教授的本征函数法所求得的母分系数确实满足幺正、归一性,同时也证明了本征函数法对于求母分系数同样适用.     

O_h~8结构磁空间群C—G系数的计算

磁空间群相对于以往的空间群 ,在对物理图像的描述上更准确、深刻 .如它可在考虑晶体对称性的同时 ,也考虑到自旋磁矩的作用 ,因而它的C—G系数要更加重要 .本文利用本征函数法 ,计算了面心立方结构O8h 磁空间群的C—G系数 ,以及波矢选择规则和C—G序列     

关于单K_3-群

本短文证明了定理 设G是群,M为单K_3-群,则G(?)M当且仅当:(l)π_e(G)=π_e(M),其中π_e(G)是G中元的阶之集;(2)|G|=|M|.由于对所有的散在单群、交代群及某些李型单群有同样的结论,故提出下述猜想猜想 设G是群,M为有限单群,则G(?)M当且仅当:(1)π_e(G)=π_e(M);(2)|G|=|M|.     

关于有限群的正规子群的补子群Ⅱ

研讨了关于有限群G的一个正规子群K的补子群之存在性与共轭性的更多一些的结果。主要结果如下：(1)假设K是Abel群并且K的每个Sylow子群S在G之含S的Sylow子群中有补子群，则有：(i)K在G中有补子群；(ii)若G有Hall π—子群H，其中π=π(K)，并且K在H中的所有补子群在H中是共轭的，则K在G中的所有补子群在G中是共轭的，(2)假设K是可解的并且对所有的S／K∈Syl(G／K)，K是S的一个直因子，则有：(i)K在G中有补子群；(ii)若G有Hall π—子群H，其中π=π(K)，则K在G中的所有补子群在G中共轭的充要条件是K在H中的所有补子群在H中共轭。     

O_h~1结构磁空间群C—G系数的计算

利用本征函数法 (EFM方法 )计算了O1h 结构磁空间群第一布里渊区部分点的C—G系数 .     

极大子群的CI-截或极大完备与有限群的可解性

利用新的思路综合考虑了极大子群的极大完备与CI-截,得到结论:有限群G可解当且仅当对G中的任意极大子群M,或者I(M)中存在极大元C使C/K(C)幂零并且其Sylow-2子群的幂零类≤2,或者Sec(M)为2-闭.     

关于量子力学中力学量的基本假设

<正> 一、问题的提出力学量是量子力学的主要研究对象。无疑至今力学量已有很成熟的理论。但现在好些量子力学书籍对力学量的基本假设却存在一些问题。如有的书把表示力学量的算符的厄米性、线性性及力学量的几率描述(假设中未包括力学量的平均值公式)作假设,而把算符本征函数的完备性作推论,实际上在一般情况下,由上述假设是导不出算符本征函数的完备