|A(G)|=28p(p为奇素数)的有限Abel群G的构造

利用有限Abel群G的自同构群A(G)的阶来讨论群G的构造,根据有限交换群的性质,推导出了|A(G)|=28p(p为奇索数)的有限Abel群G的全部类型.当p=3时,G有57型;当p=5时,G有34型;当p=17时,G有16型;当p=257时,G有2型;当p≠3,5,17,257时,G最多有60型.     

一类有限Abel群G的构造

确定有限阶群的构造，是有限群理论的核心问题，本文从群Ｇ的自同构群间（Ｇ）入手，利用群Ｇ的自同构群Ａ（Ｇ）的阶来刻划群Ｇ的构造，采用了一种较为简便的方法证明了下面的结果：定理设Ｇ是有限Ａｂｅｌ群，若｜Ａ（Ｇ）｜＝２７ｐ（ｐ为奇素数），于是１）当ｐ＝３时，Ｇ有４３型，２）当ｐ＝５时，Ｇ有２９型；３）当ｐ＝１７时，Ｇ有１４型，４）当ｐ≠３，５，１７时，Ｇ最多有４５型．     

一类23p2q阶群的构造

利用有限群的性质,运用群扩张和数论的理论,给出了当p,q是不同的素数且p＜q,23p2q阶群G在具有p2q阶循环正规子群A时的构造如下:①当B为循环群时,有22型;②当B为[4,2]型交换群时,有19型;③当B为初等交换群时,有5型;④当B为四元数群时,有5型;⑤当B为二面体群时,有10型.     

一类阶为2·11·pn的群的构造

利用可解群的性质,通过群的扩张理论,给出了Sylowp-子群为循环群时2.11.pn(p≠3奇素数)阶群的构造:①当p≠5,7时,若p≡1(mod 11),有6型;若p 1(mod 11),有4型;②当p=5时有6型;③当p=7时有4型.     

由群G的｜（G）｜确定G的构造

由群Ｇ的｜（Ｇ）｜确定Ｇ的构造黄本文（武汉大学数学系，武汉，４３００７２）关键词自同构群，Ａｂｅｌ群，群构造中留法分类号Ｏ１５２·ｌ１主要结果定理ＩＧ是有限交换群，当卜（Ｇ）ｌ—ＺＰｑ（Ｐ，ｑ为互异奇素数）时，则Ｇ最多有６型：ＧＩ二二ＣＩＷ＋ＩＧ２二...     

关于Sylow子群皆交换的p~2q~3阶群的构造

设p,q为奇素数,且p>q.本文对Sylow子群皆交换的p2q 3阶群进行了完全分类并获得了其全部构造:1)当q(p2-1)且p(q2+q+1)时,G恰有6个不同构的类型;2)当q(p-1)但p|(q2+q+1)时,G恰有8个不同构的类型;3)当q|(p-1)但q2(p-1)且p(q2+q+1)时,G恰有q2+19个不同构的类型;4)当q|(p-1)且p|(q2+q+1)但q2(p-1)时,G恰有q2+21个不同构的类型;5)当q2|(p-1)但q3(p-1)时,G恰有2q2+q+24个不同构的类型;6)当q3|(p-1)时,G恰有(q3+5q2+2q+52)/2个不同构的类型;7)当q|(p+1)但q2(p+1)时,G恰有10个不同构的类型;8)当q2|(p+1)但q3(p+1)时,G恰有12个不同构的类型;9)当q3|(p+1)时,G恰有13个不同构的类型.     

2-（v,p,1)设计的可解区传递自同构群

设P是一个奇素数,（G,J）是一个对,这里J是一2-（v,p,1）设计,G是J的一个可解区传递自同构群．如果u〉（p3/4＋1）^p-1,则v是一个素数q的方幂,且G要么旗传递,要么G≤AГL（1,u）．进一步,当n为奇数时,p=q或G是奇阶的．     

一类2-(v,k,1)设计的可解区组传递自同构群

设G是一个2-(v,k,1)设计的可解区组传递自同构群,且k≥3. 若v＞(k(k-1))/2-1)2,则v=pn, 其中p为素数. 进一步,当n为一个素数的幂,则G为旗传递或者G≤AΓL(1,pn).     

2-（y，P，1）设计的可解区传递自同构群

设P是一个奇素数,（G,J）是一个对,这里J是一2-（v,p,1）设计,G是J的一个可解区传递自同构群．如果u〉（p3/4＋1）^p-1,则v是一个素数q的方幂,且G要么旗传递,要么G≤AГL（1,u）．进一步,当n为奇数时,p=q或G是奇阶的．     

一类阶为2qp~n的群的构造

利用可解群的性质,通过群的扩张理论,证明了Sylowp-子群为循环群的2qpn(q相似文献   

关于一个猜想的探讨

作者在文献[1]中证明了一个结果:有限群G如果满足|P(G),p|=1,则G为P~-可解群。本文将指出,这个论断的逆命题不成立。并且还指出,满足条件(|P(G)|,p)=1的有限群也不一定是p~-超可解群。     

自同构群的基柱为交错群的区组设计

2-（v,k,1）设计的自同构群的传递性强烈地影响着设计的结构，Buekenbout等人在2-（v,k,1）设计有旗传递自同构群的假设下几乎决定出所有可能的设计，此后人们转而研究具有区组传递的自同构群的设计，我们证明了，若一个2-（v,k,1）设计D有一个自同构群G在D上区组传递、点本质，且G的基柱为交错群，则D为2元域上3维射影空间而G=A7或A8。     

一种生成S8所有子群的算法

提出了一种借助计算机生成S8的所有子群的方法，给出了求取A8的所有子群和由A8的所有子群“扩张”到S8的所有子群的理论基础及计箅机实现办法，证明了算法的有效性，并用C语言实现了该算法，求出了A8和S8的所有子群。     

一类4pq(p>q≠3)阶群的构造

在有限群理论中,确定n阶群的构造是一个分类问题.利用了超可解群的性质,通过群的扩张理论解决了在p 1(modq)时4pq(p>q≠3)群的构造,即证明了下面的定理:当p/≡1(modq)时4pq(p>q>3)阶群的构造:①10种,p/≡1(mod 4),q/≡1(mod 4)时;②16种,p≡1(mod 4),q≡1(mod 4)时.③12种,p≡1(mod 4),q/≡1(mod 4)时;④12种,p/≡1(mod 4),q≡1(mod 4)时.     

由辫子群G_2的表示求解Yang-Baxter方程

本文给出了由辫子群求解Yang-Baxter方程的一般方法,并在此基础上由相应于G_2群的辫子群的表示,求出了YBE的解。     

计算模糊子群的等价类

在群同构意义下即可对经典子群进行等价分类.模糊子群是对经典子群的推广,将模糊子群用一系列水平子群形成的极大子群链来描述,由群的格可得极大子群链,模糊子群的分类就转化为极大水平子群链的等价分类.从子群的格的角度出发,得到了有限群的模糊子群等价类个数的具体范围.计算出阶为pq的有限群的模糊子群的等价类个数.     

射影线性群区传递作用于5-(q+1,7,λ)设计

设D 是一个t-(v,k,λ)设计,G 是D 的一个自同构群,CAMERON等证明了如果G 是区传递的,则t≤7并且G在点集合上是［t/2］传递的. 对t≤4,已有研究取得了一些研究成果.本文主要讨论t=5时的情形,并且假定G是特殊射影线性群PSL(2,q)3-齐次作用在5-(v,7,λ)设计上,此时v=q+1,利用这2个群在射影线上作用的轨道,讨论了5-(v,7,λ)设计的存在性,并构造出了具有给定参数的单纯5-(v,7,λ)设计.