广义超特殊p-群的自同构群

确定了广义超特殊p-群G的自同构群的结构.假设｜G｜=p^2n＋m,｜ζG｜=p^m,其中n≥1,m≥2,（1）当p是奇数时,记AutG＇G={α∈AutG｜α在G上作用平凡},则（i）AutG＇G Aut G,Aut G/AutG＇G=～Zp-1;（ii）如果G的幂指数是p^m,那么AutG＇G/InnG=～Sp（2n,p）×Zp^m-1;（iii）如果G的幂指数是p^m＋1,那么AutG＇G/InnG=～（K×Sp（2n-2,p））×Zp^m-1,其中K是p^2n-1阶超特殊p-群.特别地,当n=1时,AutG＇G/Inn G=～Zp×Zp^m-1.（2）当p=2时,（i）如果G的幂指数是2^m,那么Out G=～Sp（2n,2）×Z2×Z2^m-2.特别地,当n=1时,｜Aut G｜=3·2^m＋2,Aut G的Sylow子群都不是正规子群,并且Aut G的Sylow 2-子群都同构于HK,其中H=Z2×Z2×Z2×Z2^m-2,K=Z2.（ii）如果G的幂指数是2^m＋1,那么OutG=～（ISp（2n2,2））×Z2×Z2^m-2,其中I是一个2^2n-1阶初等Abel 2-群.特别地,当n=1时,｜AutG｜=2^m＋2并且Aut G=～HK,其中H=Z2×Z2×Z2^m-1,K=Z2.     

关于广义超特殊p-群的自同构群

用如下的方式确定了广义超特殊p-群G的自同构群.设|G|=p2n+m,|ζG|=pm,|N|=pl并且G'≤N≤ζG,其中n≥1且m≥2.AutnG表示AutG中平凡地作用在N上的所有自同构形成的正规子群.则(1)当p是奇素数时,AutG/AunG≌Z(p-1)pl-1.进一步地,(i)如果G的幂指数是pm,则Autn...     

广义超特殊p-群的自同构群Ⅲ

确定了广义超特殊P-群G的自同构群的结构.设|G|=p2n+m,|ζG|=pm,其中n≥1,m≥2,AutfG是AutG中平凡地作用在Frat G上的元素形成的正规子群,则(1)当G的幂指数是pm时,(i)如果p是奇素数,那么Aut G/AutfG≌Z(p_1)pm-2,并且AutfG/Inn G≌Sp(2n,p)×zp.(ii)如果p=2,那么AutG=AutfG(若m=2)或者AutG/AutfG≌Z2m-3×z2(若m≥3),并且AutfG/InnG≌Sp(2n,2)× z2.(2)当G的幂指数是pm+1时,(i)如果p是奇素数,那么AutG=<θ>×AutfG,其中p的阶是(p-1)pm-1,且AutfG/InnG≌K(×)Sp(2n-2,p),其中K是p2n-1阶超特殊p-群.(ii)如果p=2,那么Aut G=<θ1,θ2>(×) AutfG,其中<θ1,θ2>=<θ1>×<θ2>≌Z2m-2×Z2,并且AutfG/InnG≌K(×)Sp(2n-2,2),其中K是22n-1阶初等Abel 2-群.特别地,当n=1时,AutfG/InnG≌Zp.     

广义超特殊p-群的自同构群Ⅲ

确定了广义超特殊p-群G的自同构群的结构.设|G|=p~(2n+m),|■G|=p~m,其中n≥1,m≥2,Aut_fG是AutG中平凡地作用在Frat G上的元素形成的正规子群,则(1)当G的幂指数是p~m时,(i)如果p是奇素数,那么AutG/AutfG≌Z_((p-1)p~(m-2)),并且AutfG/InnG≌Sp(2n,p)×Zp.(ii)如果p=2,那么AutG=Aut_fG(若m=2)或者AutG/AutfG≌Z_(2~(m-3))×Z_2(若m≥3),并且AutfG/InnG≌Sp(2n,2)×Z_2.(2)当G的幂指数是p~(m+1)时,(i)如果p是奇素数,那么AutG=〈θ〉■Aut_fG,其中θ的阶是(p-1)p~(m-1),且Aut_f G/Inn G≌K■Sp(2n-2,p),其中K是p~(2n-1)阶超特殊p-群.(ii)如果p=2,那么AutG=〈θ_1,θ_2〉■Aut_fG,其中〈θ_1,θ_2〉=〈θ_1〉×〈θ_2〉≌Z_(2~(m-2))×Z_2,并且Aut_fG/Inn G≌K×Sp(2n-2,2),其中K是2~(2n-1)阶初等Abel 2-群.特别地,当n=1时...     

广义超特殊p-群的自同构群(Ⅱ)

重新确定了广义超特殊p-群G的自同构群的结构.设|G|=p~(2n+m),|ζG|=p~m,其中n≥1,m≥2,Aut_cG是AutG中平凡地作用在ζG上的元素形成的正规子群,则(i)若p是奇素数,则AutG=〈θ〉×Aut_cG,其中θ的阶是(p-1)p~(m-1);若p=2,则AutG=〈θ_1,θ_2〉×Aut_cG,其中〈θ_1,θ_2〉=〈θ_1〉×〈θ_2〉≌Z_(2m-2)×Z_2.(ii)如果G的幂指数是p~m,那么Aut_cG/InnG≌Sp(2n,p).(iii)如果G的幂指数是p~(m+1),那么Aut_cG/InnG≌K×Sp(2n-2,p),其中K是p~(2n-1)阶超特殊p-群(若p是奇素数)或者初等Abel 2-群.特别地,当n=1时,Aut_cG/InnG≌Z_p.     

一类p''''-自由的幂零群的p-自同构(Ⅱ)

设G=KP,其中K是有限生成的p'-自由的幂零群,P是有限秩的幂零p-群,并且[K,P]=1,即G是K和P的中心积,α和β是G的两个p-自同构,记I=〈(αβ(g))·(βα(g))-1|g∈G〉,则(i)当I=Zpn (○+) Zp∞时,α和β生成一个可解的剩余有限p-群,它是有限生成的无挠幂零群被有限p-群的扩张;在下列3种情形下,α和β生成一个可解的剩余有限p-群,其幂零长度不超过3.(ii)当I=Z (○+) Zp∞时;(iii)当I有正规列1＜J＜I,其商因子分别为无限循环群和有限循环群时;(iv)当I有正规列1＜L＜J＜I,其3个商因子分别为无限循环群、有限循环群和拟循环p-群时.特别地,当上述群K是一个FC-群时,α和β生成的群是有限生成的无挠幂零群被有限p-群的扩张.     

无限正则p-群

对一类无限正则p-进行了研究,得到了一个正则的局部幂零P-群G如果满足|G:(?)_1(G)|<∞,那么G是幂零的且G是可除阿贝尔P-群被有限群的扩张.进而,还研究了一类无限的非正则p-群,但它的所有真商群或者真的无限子群是正则群.在假设这类群存在拟循环子群的情况下,在定理1.2和1.3给出了这类群的结构的刻画.     

超特殊Z-群的自同构群

确定了超特殊Z-群的自同构群.设G是超特殊Z-群,即G={(1 α_1 α_2···α_n α_(n+1) 0 1 0···0 α_(n+2) ···0 0 0 ··· 0 α_2n 0 0 0··· 1 α_(2n+1) 0 0 0···1 α_(2n+1) 0 0 0···0 1)|α_j∈Z,j=1,2,3,...,2n+1}Aut_cG是AutG中平凡作用在ζG上的自同构形成的正规子群,则AutG=Aut_cG×Z_2,且1→Z···Z}2N→Aut_cG→Sp(2n,Z)→1是正合列.     

一类p′-自由的幂零群的p-自同构(Ⅱ)

设G=KP,其中K是有限生成的p′-自由的幂零群,P是有限秩的幂零p-群,并且[K,P]=1,即G是K和P的中心积,α和β是G的两个p-自同构,记I:=〈(αβ(g))·(βα(g))~(-1)|g∈G〉,则(i)当I=Z_(p~n)(?)Z_(p~∞)时,α和β生成一个可解的剩余有限p-群,它是有限生成的无挠幂零群被有限p-群的扩张;在下列3种情形下,α和β生成一个可解的剩余有限p-群,其幂零长度不超过3.(ii)当I=Z(?)Z_(p~∞)时;(iii)当I有正规列1相似文献   

可除阿贝尔p-群的自同构群

主要探讨了秩大于或者等于p-1的可除阿贝尔p-群的p-自同构群,并且得到这些p-自同构如何作用在该可除阿贝尔p-群上.这些结论有助于进一步理解Cernikov p-群的结构.     

拟极小外p-自同构不动点子群为p阶的p-群

阶为某素数p的方幂的自同构如果不是内自同构,则称其为外p-自同构.如果φ是群G的外p-自同构且o(φ)=p,其中φ是φ在Out(G)=Aut(G)/Inn(G)中的自然同态像,则称φ为群G的拟极小外p-自同构.设φ是有限p-群G的任意拟极小外p-自同构,给出了|C_G(φ)|≤p时G的结构.     

外p-自同构对p-群生成元个数的一个限制

阶为某素数p的方幂的非内自同构,称为外p-自同构.研究了有限p-群G的任意外p-自同构φ满足|C_G(φ)|≤p^k时群G生成元的个数.     

一类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.     

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

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

换位子群为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-群的p-自同构

设G是一个有限秩的幂零p-群,α和β是G的两个p-自同构,记I= ((αβ(g))(βα(g))-1)|g∈G),则(i)当I是有限循环群时,α和β生成一个有限P-群; (ii)当I是拟循环p-群时,α和β生成一个可解的剩余有限P-群,它是有限生成的无挠幂零群被有限p-群的扩张．     

两类重要p-群及其自同构群的阶

In the paper we obtain two infinite classes of p-groups,calculate the orders of their automorphism groups and correct a mistake(perhaps misprinted)of Rodney James'paper in 1980.     

无限正则p-群

对一类无限正则p-群进行了研究,得到了一个正则的局部幂零p-群G如果满足|G(Ω)1(G)|＜∞,那么G是幂零的且G是可除阿贝尔p-群被有限群的扩张.进而,还研究了一类无限的非正则p-群,但它的所有真商群或者真的无限子群是正则群.在假设这类群存在拟循环子群的情况下,在定理1.2和1.3给出了这类群的结构的刻画.     

关于具有某些特殊有限中心化子子群的局部幂零p-群(英文）

研究具有某些特殊有限中心化子子群的局部幂p-群.主要考虑以下两种情形:1)对某个p~2阶子群H,满足CG(H)=H;2)对某个p阶元x,满足CG(x)=(x)×(y).     

一类p-自由的幂零群的p-自同构

设G=KP, 其中K是有限生成的p′-自由的幂零群, P是有限秩的幂零p-群, 并且[K,P]=1, 即G是K和P的中心积, α和β是G的两个p-自同构, 记I:=<(αβ (g))·(βα(g))(¹)|g\in G>, 则 (i) 当I是有限循环群时, <α,β>是一个有限p-群; (ii) 当I是拟循环p -群时, <α,β>是一个可解的剩余有限p-群, 它是有限生成的无挠幂零群被有限p-群的扩张; (iii) 当I是无限循环群时, <α,β>是一个可解的剩余有限p-群, 其幂零长度不超过3; 特别地, 当上述群K是一个FC-群时, 若I是无限循环群, 则<α,β>是有限生成的无挠幂零群被有限p-群的扩张.