广义超特殊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|=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,（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阶的p-群

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

超特殊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是正合列.     

有限秩的幂零群的自同构(Ⅱ)

设幂零群G=KP=PK,其中P是有限秩的幂零p-群,K是G的有限秩的p-自由的正规子群,p不属于K的谱Sp(K).设1=ζ0Gζ1G···ζcG=G是G的上中心列,α和β是G的两个p-自同构,把α,β在每个ζiG/ζi-1G上的诱导自同构分别记为αi和βi,又记Ii:=Im(αiβi-βiαi),则(i)如果每个Ii都是有限循环群,并且I:=(αβ(g))(βα(g))-1|g∈G是G的有限子群,那么α和β生成一个有限p-群;(ii)如果Ii或为有限循环群,或为拟循环p-群,或为Zpn⊕Zp∞对某自然数n,那么α和β生成一个可解的剩余有限p-群,它是有限生成的无挠幂零群被有限p-群的扩张;(iii)如果Ii或为有限循环群,或为拟循环p-群,或为Zpn⊕Zp∞,或为无挠的局部幂零群,或Ii有正规列1JiIi,其商因子分别为有限循环群、无挠的局部幂零群,或Ii=Zp∞⊕Ji,Ji为无挠的局部幂零群,或Ii有正规列1KiJiIi,其商因子分别为有限循环群、拟循环p-群、无挠的局部循环群,那么α和β生成一个可解的剩余有限p-群,它的幂零长度至多是3.特别地,当K是一个FC-群时,在情形(iii),α和β生成的群也是有限生成的无挠幂零群被有限p-群的扩张.此外,如果G=KP里,K是一个FC-群,对G的下中心列考虑了类似的问题,得到了"对偶"的结果.     

关于广义Dedekind群

如果群G的任意循环子群H满足|HG:H|≤p,其中p是素数,那么称G是C*(p)-群.若群G是有限C*(p)-p-群,则当p＞3时,该群的幂零类至多为2;若p=3,该群的幂零类至多为3,而且当cl(G)=3时,exp(G)=9;同时,若G与任意有限C*(p)-p群G × K直积是C*(p)-P-群G×K,则G是初等阿贝尔p-群.最后还对局部幂零的C*(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.     

Automorphisms of Extensions of ℚ by a Direct Sum of Finitely Many Copies of ℚ

Let G be an extension of ℚ by a direct sum of r copies of ℚ. (1) If G is abelian, then G is a direct sum of r + 1 copies of ℚ and AutG ≅ GL(r + 1, Q); (2) If G is non-abelian, then G is a direct product of an extraspecial ℚ-group E and m copies of ℚ, where E/ζE is a linear space over Q with dimension 2n and m + 2n = r. Furthermore, let AutG′G be the normal subgroup of AutG consisting of all elements of AutG which act trivially on the derived subgroup G′ of G, and AutG/ζG,ζGG be the normal subgroup of AutG consisting of all central automorphisms of G which also act trivially on the center ζG of G. Then (i) The extension 1 → AutG′G → AutG → AutG′ → 1 is split; (ii) AutG′G/AutG/ζG,ζGG ≅ Sp(2n,Q) × (GL(m, Q) ⋉ ℚ(m)); (iii) AutG/ζG,ζGG/InnG ≅ ℚ(2nm).     

K3-free图的线图的哈密顿性

设G是一个简单图，Gi G，G1在G中的度定义为d（Gt）=∑v∈v（c）d（v），其中d（v）为v在G中的度数。本文的主要结果是：设G是n≥2阶几乎无桥的简单连通K3-free图，且G≌k1,n-1、Q1和Q2，若对G中任何同构于四个顶点路的导出子图I有d（I）≥n＋2，则G有一个D-闭迹，从而G的线图L（G）是哈密顿图。     

On the Group of p-endotrivial kG-modules

In this paper,we define a group Tp(G) of p-endotrivial kG-modules and a generalized Dade group Dp(G) for a finite group G.We prove that Tp(G) ≌ Tp(H) whenever the subgroup H contains a normalizer of a Sylow p-subgroup of G,in this case,K(G) ≌ K(H).We also prove that the group Dp(G) can be embedded into Tp(G) as a subgroup.     

马休群与斯坦诺5设计

讨论了马体群旗传递作用于斯坦诺5设计上的情况，得到了如下结论：设D=（X，Ω，I）是非平凡的斯坦诺5设计，D的自同构群G旗传递地作用在D上。若G是几乎单群，则 （i）基柱Soc（G）不是下列单群：N=Mv，v=11，22，23和N=M11,v=12 （ii）若N=M12，v=12，则D是一个5-（12，6，1）设计，且G M12 （iii）若N=M24，v=24，则D是一个5-（24，8，1）设计，且G M24。     

马休群与斯坦诺4-设计

讨论了马休群旗传递作用于斯坦诺4-设计上情况,得到了如下结论：设D=（X,B,I）是非平凡的斯坦诺4-设计,D的自同构群G旗传递地作用在D上。若G是几乎单群,则 i）Soc（G）不同构于单群：N=Mv,v=12,22,24和N=M11,v=12; ii）若N=M11,v=11,则D是一个斯坦诺4-（11,5,1）设计,且G△M11; iii）若N=M23,v=23,则D是一个斯坦诺4-（23,7,1）设计,且G△M23。     

内交换p群的中心扩张(Ⅳ)

设N,H是任意的群.若存在群G,它具有正规子群≤Z(G),使得≌N且G/≌H,则称群G为N被H的中心扩张.本文完全分类了当N为p~3阶初等交换p群及H为内交换p群时,N被H的中心扩张得到的所有不同构的群.从而我们完全分类了初等交换p群被内交换p群的中心扩张得到的所有不同构的群.     

p-幂零群的若干充分条件

群G的子群H称为半置换的，若对任意的K≤G，只要（｜H｜,｜K｜）=1．就有HK=KH，H称为s-半置换的，若对任意的p‖G｜,只要（p，｜H｜）=1，就有PH=HP，其中P∈Sylp（G）．本文利用Sylow子群的2-极大子群的s-半置换性得到有限群为p-幂零群的一些充分条件．