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

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_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｜=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=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)).     

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

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 a Class of Finite p-groups with a Cyclic Derived Subgroup

Let p be an odd prime,and let k be a nonzero nature number.Suppose that nonabelian group G is a central extension as follows1→G'→G→Z_(p~k)×…×Z_(p~k),where G'≌Z_(p~k),and ζG/G' is a,direct factor of G/G'.Then G is a central product of an extraspecial p~kgroup E and ζG.Let |E|=p~((2n+1)k) and |ζG|=p~((m+1)k).Suppose that the exponents of E and ζG are p~(k+l) and p~(k+r),respectively,where 0≤l,r≤k.Let Aut_(G') G be the normal subgroup of Aut G consisting of all elements of Aut G which act trivially on the derived subgroup G',let Aut_(G/ζG,ζG) G be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on the center ζG and let Aut_(G/ζG,ζG/G') G be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on ζG/G'.Then(ⅰ) The group extension 1→Aut G'→Aut G→Aut G'→1 is split.(ⅱ) Aut_(G') G/Aut_(G/ζG,ζG) G≌G_1 × G_2,where Sp(2n-2,Z_(p~k))■H≤G_1≤Sp(2n,Z_(p~k)),H is an extraspecial p~k-group of order p~((2n-1)k) and(GL(m-1,Z_(p~k))■Z_(p~k)~((m-1))■Z_(p~k)~((m))≤G_2≤GL(m,Z_(p~k))■Z_(p~k)~((m)).In particular,G_1=Sp(2n-2,Z~(p~k))■ H if and only if l=k and r=0;G_1=Sp(2n,Z_(p~x)) if and only if l≤r;G_2=(GL(m-1,Z_(p~k))■ Z_(p~k)~((m-1))■ Z_(p~k)~((m)) if and only if r=k;G_2=GL(m,Z_(p~k))■Z_(p~k)((m)) if and only if r=0.(ⅲ) Aut_(G') G/Aut_( G/ζG,ζG/G') G≌G_1 × G_3,where G_1 is defined in(ⅱ);GL(ml,Z_(p~k))■ Z_(p~k)~((m-1))≤G_3 ≤GL(n,Z_(p~k)).In particular,G_3=GL(m-1,Z_(p~k))■ Z_(p~k)~((m-1)) if and only if r=k;G_3=GL(m,Z_(p~k)) if and only if r=0.(ⅳ) Ant_(G/ζG,ζG/G') G≌ Aut_(G/ζG,ζG/G') G■ Z_(p~k)~((m)),If m=0,then Ant_(G/ζG,ζG/G') G=Inn G≌Z_(p~k)~((2n));If m 0,then Ant_(G/ζG,ζG/G') G≌Z_(p~k)~((2nm))×Z_(p~(k-r))~((2n)),and Aut_(G/ζG,ζG) G/Inn G≌Z_(p~k)~((2n(m-1))× Z_(p~(k-r))~((2n)).     

The Automorphism Group of a Class of Nilpotent Groups with Infinite Cyclic Derived Subgroups

The automorphism group of a class of nilpotent groups with infinite cyclic derived subgroups is determined. Let G be the direct product of a generalized extraspecial Z-group E and a free abelian group A with rank m, where E ={(1 kα_1 kα_2 ··· kα_nα_(n+1) 0 1 0 ··· 0 α_(n+2)...............000...1 α_(2n+1)000...01|αi∈ Z, i = 1, 2,..., 2 n + 1},where k is a positive integer. Let AutG G be the normal subgroup of Aut G consisting of all elements of Aut G which act trivially on the derived subgroup G of G, and AutG/ζ G,ζ GG be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on the center ζ G of G. Then(i) The extension 1→ Aut_(G') G→ AutG→ Aut(G')→ 1 is split.(ii) Aut_(G') G/Aut_(G/ζ G,ζ G)G≌Sp(2 n, Z) ×(GL(m, Z)■(Z~)m).(iii) Aut_(G/ζ G,ζ GG/Inn G)≌(Z_k)~(2n)⊕(Z)~(2nm).     

超特殊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是换位子群为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惟一确定.     

有循环极大子群的素数幂阶群的作用是边传递的图(II)

假定Γ是一个有限的、单的、无向的且无孤立点的图,G是Aut(Γ)的一个子群.如果G在Γ的边集合上传递,则称Γ是G-边传递图.我们完全分类了当G为一个有循环的极大子群的素数幂阶群时的G-边传递图.结果为:设图Γ含有一个阶为pn(p是素数,n≥2)的自同构群,且G有一个极大子群循环,则Γ是G-边传递的,当且仅当Γ同构于下列图之一1)pmK1,pn-1-m,0≤m≤n-1;2)pmK1,pn-m,0≤m≤n;3)pmKp,pn-m-1,0≤m≤n-2;4)pn-mCpm,pm≥3,m＜n;5)2n-2K1,1;6)pn-1-mCpm,pm≥3,m≤n-1;7)2pn-mCpm,pm≥3,m≤n-1;8)2pn-mK1,pm,0≤m≤n;9)pn-mK1,2pm,0≤m≤n;10)pn-mK2,pm,0＜m≤n;11)C(2pn-m,1,pm);12)pkC(2pm-k,1,pn-m),0＜k＜m,0＜m≤n;13)(t-s,2m)C(2m 1/(t-s,2m),1,2n-1-m),其中0≤m≤n-1,2n-2(s-1)≡0(mod 2m),t≡1(mod 2),s(≠)t(mod 2m),1≤s≤2m,1≤t≤2n-1;14)∪p i=1 Ci p n-1,其中Ci p n-1=Ca1a1 [1 (i-1)pn-2]a 1 2[1 (i--1)p n-2]…a 1 (pn-1-1)[1 (i-1)p n-2]≌Cp n-1,i=1,2,…,p;15)∪2 i=1 Ci 2n-1,其中Ci 2n-1=Ca1a 1 [1 (i-1)(2n-2-1)]a1 2[1 (i-1)(2n-2-1)]…a1 (2n-1-1)[1 (i-1)(2n-2-1)]≌C2n-1,i=1,2.     

关于A_(n-1)型CHEVALLEY扩群■的唯一性

本文讨论[1]中留下的A_(n-1)型Chevalley群G≌SL_n(K)的扩群G的唯一性问题,得到群G在同构意义下至多有1/2φ(n)个。     

多重循环群的一个注记

设A是秩为n的自由Abel群.熟知A的自同构群Aut(A)=GL(n,Z).设f(λ)=λⁿ+a_n-1λ^n-1+…+a₁λ+a₀∈Z[λ]是不可约多项式,其中a₀=±1.设T=<α>是无限循环群,α通过多项式f(λ)的Frobenius相伴矩阵诱导的自同构作用在A上.设G=A ■ T.我们证明G是剩余有限p-群当且仅当p整除f(1).     

初等Abel群的加法定理

本文中用Kneser's定理得到下列结论一个新的简单证法.设G为初等Abel p-群(运算用加法),S={a1,a2,…,an)为G的一个n项不含有零然的元素列(元素可允许重复),∣s∣=n=pm-1 p-2,,其中p为素数,若对G的任意子群H,S最多含有∣H∣-1项,则:(1)当m=2时,∑0(S)=G;(2)当m 3时,∑(S)=G.特别有(1)Olson'猜想r(ZpZp)=2p-2;(2)r(mZp)=c(mZp)=pm-1 p-2,m 3.     

一类p4阶群的Burnside环之增广商群

设G是有限群,以 Ω(G)和 Δ(G)分别表示G的Burside环及其增广理想.对任意的自然数n,具体构造了 Δn(Ip)作为自由(Z)-模的一组基底,并给出了商群 Δn(Ip)/Δn+1(Ip)的结构,其中IP=,p是奇素数.     

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

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

The Classification of Connected Imprimitive Arc-transitive Graphs on Zp × Zp

The term (di)graph is employed to mean that a graph in question is either a directed graph or an undirected graph.The symbol G(p,r)represents the digraph defined by Chao: V(G(p,r))=Zp,E(G(p,r))={(x,y)|x-y∈Hr},where P is a prime,r is a positive divisor of P-1 and Hr is the unique subgroup of order r in Aut(Zp).A Cayley graph (?)=Cay(G,S)is called imprimitive if A=Aut((?))acts imprimitively on V((?)).Let (?)=Cay(G,S)be a connected imprimitive arc-transitive graph on G=Z×Z,B={B0,B1,…,Bp-1}the complete block system of A=Aut((?))on V((?))=G and K the kernel of A on B.Then obviously K≠1.     

换位子群是不可分Abel群的有限秩可除幂零群

完整地确定了换位子群是不可分Abel群的有限秩可除幂零群的结构,证明了下面的定理.设G是有限秩的可除幂零群,则G的换位子群是不可分Abel群当且仅当G'=Q或Q_p/Z且G可以分解为G=S×D,其中当G'=Q时,■当G'=Q_p/Z时,S有中心积分解S=S_1*S_2*…*S_r,并且可以将S形式化地写成■其中■,式中s,t都是非负整数,Q是有理数加群,π_κ(k=1,2,…,t)是某些素数的集合,满足π_1■Cπ_2■…■π_t,Q_π_k={m/n|(m,n)=1,m∈Z,n为正的π_k-数}.进一步地,当G'=Q时,(r;s;π_1,π_2,…,π_t)是群G的同构不变量;当G'=Q_p/Z时,(p,r;s;π_1,π_2,…,πt)是群G的同构不变量.即若群H也是有限秩的可除幂零群,它的换位子群是不可分Abel群,那么G同构于H的充分必要条件是它们有相同的不变量.     

一个不等式的进一步推广和加强

利用幂级数展式和凸函数的性质把关于一个不等式的推广和强化的两个最新结果推广到更加一般的情形p(p -1 ) d ap- 1pn+1-ap- 1pm <∑nk=m1a1pk相似文献