某些有限群的自同构群

证明了: 若n是大于1的奇数, 使得对任意素数p都有p⁴æn, 则不存在有限群G, 使得|Aut(G)| = n.     

具有4pq阶自同构群的有限群

本文讨论了自同构群阶为4pq(p,q为不同奇素数)的有限群,得出了它们的构造.     

充当自同构群的有限群的几点注记

设p为奇素数,本文给出了中心循环中心商的阶小于p^5的有限p-群的完全分类并且给出它们中无对合自同构的群的自同构群的阶。由此,我们找到了能作为有限群自同构群的p^mq^n阶群和p^n阶群,统一和推广了Curran在1988年和Caranti与Scoppola在1990年的文章的所有结果。     

不充当自同构群的有限群

设ｐ为奇素数，本文将用一些新的技巧来证明，当Ｐ是阶小于Ｐ＾１１的交换Ｐ－群时，自同构群方程Ａｕｔ（Ｘ）＝Ｐ无解。这个结果使ＭａｃｈＨａｌｅ在１９８３年的工作得到了突破，并且我们所给的方法具有广泛性。     

2pq阶群的自同构群

继续「１～２」等的工作,给出了２ｐｑ阶群Ｇ的自同构群ＡｕｔＧ的准确构造。     

自同构群是循环群被交换群扩张的有限群

设Ｃ是有限群，ＡｕｔＧ＝ＡＢ，，Ａ是交换群且每Ｓｙｌｏｗ子群的秩≤２，Ｂ是循环群，本文得出了Ｇ的结构，特别地，证明了ＡｕｔＧ是秩≤２的交换群时，Ｇ循环。     

自同构群阶为prq~2的有限群

本文给出满足|Aut(G)|=prq~2,q>2的有限群 G的完全分类。     

自同构群

设Ｇ是有限群，ＡｕｔＧ＝ＡＢ，Ｂ△ＡｕｔＧ，（｜Ａ｜，｜Ｂ｜）＝１，Ａ是交换群且每Ｓｙｏｗ子群的秩≤２，Ｂ是循环群。本文得出了Ｇ的结构，特别地，证明了ＡｕｔＧ是秩≤的交换群时，Ｇ循环。     

剩余有限minimax可解群的自同构

设G是剩余有限minimax可解群,α是G的自同构且φ:G→G(g→[g,α])是满射,则有以下结果:(1)当α~p=1时,G是幂零类不超过h(p)的幂零群的有限扩张,其中h(p)是只与p有关的函数;(2)当α~4=1时,G存在一个指数有限的特征子群H,使得H″≤Z(H)和C_H(α~2)是Abel群.并且C_G(α~2)和G/[G,α~2]都是Abel群的有限扩张.     

换位子群为p阶群的有限p-群的自同构群

设G是换位子群为p阶群的有限p-群,确定了AutG的结构,证明了(i)AutG/AutGG≌Zp-1,其中AutGG={α∈AutG|α平凡地作用在G上}.(ii)AutGG/Op(AutG)≌iGL(ni,p)×jSp(2mj,p),其中Op(AutG)是AutG的最大正规p-子群,ni和mj由G惟一确定.     

若干家族p-群的自同构群的阶

本文确定了Rodney James文章中P．Hall isoclinism族第一家族到第十家族所有群的自同构群的阶,并纠正了Rodney James文章里的某些错误．     

一类不能作为自同构群的有限群

本文证明了阶小于ｐ９的有限交换ｐ－群不能作为有限群的自同构群，从而推进了ＭａｃＨａｌｅ的结果．     

关于允许一个无不动点自同构群的有限群的可解性

关于允许一个无不动点自同构(群)的有限群的可解性的猜想是有限群研究中的一个重要问题。结果比较丰富的是限制该自同构群为一个p-群的情形。Thompson于1959年证明了p阶群的情形。Martineail于1971年证明了初等Abel p-群的情形。Rickman于1979年证明了p²阶群的情形。本文借助Glauberman的一个定理,对p=2或3的一般情形给出了肯定的回答。实际上是用较初等的方法证明了更为广泛一些的结论。     

一类p-群的自同构群的阶

设 P 为奇素数,P~4阶群 G(121)=,a~p=b~p=c~p=d~p=1,[b,d]=a,[c,d]=b.本文给出了 G/Z(G)≌G_(121),Z(G)循环的群 G 的完全分类,并给出其中一些群的自同构群的阶,它们是自同构群的阶为 p~n 的p~(n-1)阶群,n≥6.从而完整地得到了:对一切奇素数 p,存在群 G 使|A(G)|=p~n 的最小 n 是6.     

有限ATI-群的类保持Coleman自同构

设G是一个有限群,对G的任意阿贝尔子群A及任意g∈G,若A∩A~g=1或A,则称G为一个ATI-群.本文证明了,对任意p∈τ(G),如果ATI-群G的一个p-方幂阶类保持自同构在G的任意Sylow子群上的限制等于G的某个内自同构的限制,则它必定是一个内自同构.作为该结果的一个直接推论,我们也证明了有限ATI-群G有正规化性质.     

一类不能作为自同构群的奇阶群

本文考虑如下问题：怎样的有限群可以作为另一个有限群的全自同构群？我们首先证明，若有限群Ｋ有一个正规Ｓｙｌｏｗｐ－子群使得｜Ｋ：Ｚ（Ｋ）｜ｐ＝ｐ２，那么Ｋ有２阶自同构．利用这个结果，我们证明了，若奇阶群Ｇ具有阶Ｐｓｍ（１≤ｓ≤３），ｐ为｜Ｇ｜的最小素因子，ｐｍ，ｍ无立方因子，则Ｇ不可能作为全自同构群．     

剩余有限minimax 可解群的几乎正则自同构

设G 是一个剩余有限的minimax 可解群, α 是G 的几乎正则自同构, 则G/[G, α] 是有限群, 并且(1) 当α^p = 1 时, G 有一个指数有限的幂零群其幂零类不超过h(p), 其中h(p) 是只与素数p 有关的函数.(2) 当α² = 1 时, G 有一个指数有限的Abel 特征子群且[G, α]′ 是有限群.关键词剩余有限minimax 可解群几乎正则自同构     

有限秩的幂零群的自同构

设幂零群G=KP=PK,其中P是有限秩的幂零π-群,K是G的有限秩的π′-自由的正规子群.π不属于K的谱Sp(K),设1=ζ0Gζ1G…ζcG=G是G的上中心列,α和β是G的两个自同构,把α和β在每个商因子ζiG/ζ(i—1)G上的诱导自同构分别记为αi和βi,记Ii:=Im(αiβi—βiαi),则(i)当每个Ii都是有限循环群,并且I:=〈(αβ(g))(βα(g))(-1)|g∈G〉是G的有限子群时,α和β生成一个可解的几乎Abel群.(ii)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群,或者是无挠的局部循环群,或者Ii有正规子群列1JiIi,其商因子分别为有限循环群,无挠的局部循环群,或者Ii=D⊕Ji,其中D是秩1的可除群,Ji为无挠的局部循环群,或者Ii有正规列1KiJiIi,其商因子分别为有限循环群,秩1的可除群,无挠的局部循环群时,β和β生成一个可解的NAF-群.特别地,如果α和β是A的两个π′-自同构,那么(iii)当每个Ii都是有限循环群,并且I:=〈(αβ(g))(βα(g))(-1)|g∈G〉是有限群时,α和β生成的群是有限幂零π-群被有限Abelπ′-群的扩张.(iv)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群时,α和β生成一个可解的剩余有限π∪π′-群,它是有限生成的无挠幂零群被有限可解π∪π′-群的扩张.(v)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群,或者是无挠的局部循环群,或者Ii有正规子群列1JiIi,其商因子分别为有限循环群,无挠的局部循环群,或者Ii=D⊕Ji,其中D是秩1的可除群,Ji为无挠的局部循环群,或者Ii有正规列1KiJiIi,其商因子分别为有限循环群,秩1的可除群,无挠的局部循环群时,α和β生成一个可解的剩余有限π∪π′-群,它的幂零长度至多是4.当K是FC-群时,在情形(v)中,α和β生成的群是有限生成的无挠幂零群被有限可解π∪π′-群的扩张.此外,如果G=KP,K是一个FC-群,对G的下中心列考虑了类似的问题,得到了对偶的结果.