广义超特殊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.     

The automorphism group of a generalized extraspecial p-group

In this paper, the automorphism group of a generalized extraspecial p-group G is determined, where p is a prime number. Assume that |G| = p 2n+m and |ζG| = p m , where n 1 and m 2. (1) When p is odd, let Aut G G = {α∈ AutG | α acts trivially on G }. Then Aut G G⊿AutG and AutG/Aut G G≌Z p-1 . Furthermore, (i) If G is of exponent p m , then Aut G G/InnG≌Sp(2n, p) × Z p m-1 . (ii) If G is of exponent p m+1 , then Aut G G/InnG≌ (K Sp(2n-2, p))×Z p m-1 , where K is an extraspecial p-group of order p 2n-1 . In particular, Aut G G/InnG≌ Z p × Z p m-1 when n = 1. (2) When p = 2, then, (i) If G is of exponent 2 m , then AutG≌ Sp(2n, 2) × Z 2 × Z 2 m-2 . In particular, when n = 1, |AutG| = 3 · 2 m+2 . None of the Sylow subgroups of AutG is normal, and each of the Sylow 2-subgroups of AutG is isomorphic to H K, where H = Z 2 × Z 2 × Z 2 × Z 2 m-2 , K = Z 2 . (ii) If G is of exponent 2 m+1 , then AutG≌ (I Sp(2n-2, 2)) × Z 2 × Z 2 m-2 , where I is an elementary abelian 2-group of order 2 2n-1 . In particular, when n = 1, |AutG| = 2 m+2 and AutG≌ H K, where H = Z 2 × Z 2 × Z 2 m-1 , K = Z 2 .     

广义超特殊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的自同构群.设G=X_3(p~m)~(*n)*Z_(p~(m+r)),其中m≥1,n≥1和r≥0,并且X_3(p~m)=x,y|x~(p~m)=y~(p~m)=1,[x,y]~(p~m)=1,[x,[x,y]]=[y,[x,y]]=1.Aut_nG表示Aut G中平凡地作用在N上的元素形成的正规子群,其中G'≤N≤ζG,|N|=p~(m+s),0≤s≤r,则(i)如果p是一个奇素数,那么AutG/Aut_nG≌Z_(p~((m+s-1)(p-1))),Aut_nG/InnG≌Sp(2n,Z_(p~m))×Z_(p~(r-s)).(ii)如果p=2,那么AutG/Aut_nG≌H,其中H=1(当m+s=1时)或者Z_(2~(m+s-2))×Z_2(当m+s≥2时).进一步地,Aut_nG/InnG≌K×L,其中K=Sp(2n,Z_(2~m))(当r0时)或者O(2n,Z_(2~m))(当r=0时),L=Z_(2~(r-1))×Z_2(当m=1,s=0,r≥1时)或者Z_(2~(r-s)).     

U(4,Z)的自同构群(英文)

In this paper,the automorphism group of G is determined,where G is a 4 × 4 upper unitriangular matrix group over Z.Let K be the subgroup of AutG consisting of all elements of AutG which act trivially on G/G,G /ζG and ζG,then （i） InnG ■ K ■ AutG;（ii） AutG/K≌=G₁×D₈×Z₂,where G₁=(a,b,c|a⁴=b²=c²=1,a^b=a^-1,[a,c]= [b,c]=1 ;（iii） K/Inn G≌=Z×Z×Z.     

图Gn的优美表示

将给出三个结果：（i）如果图G是SZ（｜S｜=n≥2）上的整数和图,那么0∈S当且仅当图G至少有一个（n-1）度顶点;（ii）图G（G≠K2）是至少有两个零点的整数和图当且仅当G■K2·Gn;（iii）设图G（G≠K2）是SZ上的整数和图,｜S｜=n＋2,n∈N＋.若图G至少有两个零点,则S={mx｜m=-1,0,1,2,…,n;x∈Z且x≠0}.     

超特殊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的自同构群.设|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...     

关于华罗庚和段学复的一个猜想

设G是有限p-群,｜G｜=pn.对于0mn,G的pm阶子群的个数记为sm（G）.华罗庚和段学复曾经猜想：对于任意的有限p-群G,只要p〉2,sm（G）模p3只可能同余于1,1＋p,1＋p＋p2或1＋p＋2p2等四种情形.本文对此猜想进行研究,给出了此猜想成立的一些群类及此猜想不成立的一些群类.