一类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-群的自同构群(Ⅱ)

重新确定了广义超特殊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是换位子群为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的自同构群的结构.设|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阶的p-群

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

2~2p~3阶群的构造

设G是2~2p~3阶群,S_2,S_p分别为G之sylow 2-群与sylow p-群,由于p≠3,S_pΔG,且S_p∩S_2=1,G=S_2S_p由ο(S_2)=4,知S_2或为循环群或为初等交换群,由ο(S_p)=p~3(p≠2),推出共有五种类型的群。 1.S_p=(?)Z_p, 由群之扩展理论,容易得到如下5个群:     

有限局部环上酉群阶的计算

设K=F_(q^2),其特征为p, q=p^α,K有对合自同构ω:a→a^q. G是一个p 群，其阶为p^β, 群代数R=KG为一局部环. K的2阶自同构ω可延拓为R的一个2阶自同构，记为ω'，为方便，对任意a∈R, 记ω‘(a)为~a. R上2n级酉群定义为U_(2n)R={A∈GL_(2n)R|A(0,I^n,I^n,0)~A^t=(0,I^n,I^n,0)} 该文计算了U_(2n)R的阶.      

无限的可解SD_2-群

在本文里我们首先证明了:每真子群都是循环群的无限可解群或者是拟循环 p-群 Z(p~∞)或者是无限循环群,然后我们研究了这种群的自然推广.我们把每真子群都可以由二元生成的群叫做 SD_2-群,我们证明了:每个无限的可解SD_2-群或者是拟循环 p-群 Z(p~∞)或者它本身也是二元生成的,并且我们给出了无限的可解 SD_2-群的相当完整的结构.     

关于型为L_2(p)的单K_4-群的一个新刻画（英文）

设G是型为L_2(p)的单K_4-群,其中p是不等于2~n-1的素数,σ_1(G)表示群G的最高阶元素的阶.本文证明了该类单K_4-群能被其阶|G|和最高阶元素的阶σ_1(G)唯一确定.所谓K_4-群指的是阶刚好含4个不同素因子的群.     

基于p~6阶群的一类满足LA猜想的群的证明方法

研究一类新非交换P群是LA群的证明方法,该P群是由p~6阶群家族中分类为1~6的扩张群.以p~6阶群Φ_(39)家族的Φ_(39)(I~6)为例详细论述,且给出了它们的一些性质,最后证明了新群都是LA-群.     

一类3p~2阶4度1-正则图

设p为大于3的素数,群G=和H=(其中r(?)1(mod p~2),r~3≡1(mod p~2),3|(p-1))是两类3p~2阶非交换群.通过研究Cayley图的正规性,完成了对G和H的所有4度Cayley图的分类,并得到了一类新的4度1-正则图.     

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

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

On Non-commuting Sets in a Finite p-group with Derived Subgroup of Prime Order

Let G be a finite group. A nonempty subset X of G is said to be noncommuting if xy≠yx for any x, y ∈ X with x≠y. If |X| ≥ |Y| for any other non-commuting set Y in G, then X is said to be a maximal non-commuting set. In this paper, we determine upper and lower bounds on the cardinality of a maximal non-commuting set in a finite p-group with derived subgroup of prime order.     

2p2阶3度Cayley图

Cayley图Cay(G,S)称之为正规的,如果G的右正则表示是Cay(G,S)全自同构群的正规子群。本文决定了2p~2(p为素数)阶群上3度连通Cayley图的正规性,作为该结果的一个应用,对每一个1(?)s(?)5,对2p~2阶3度s-正则Cayley图作了分类。     

满足|I_3(G)|=4的有限2群的完全分类

完全分类了满足|I_3(G)|=4的有限2群,其中I_k(G)表示G的所有p~k阶子群的交.     

三个或多个素变数的线性方程

设G是有限群,p是|G|的一个素因子,P是G的一个Sylow p-子群.若下列条件之一满足,则G是p-幂零:(1)P的极大子群均在G中S-半正规且(|G|,p-1)=1;(2)P的二次极大子群均在G中S-半正规且(|G|,p2-1)=1.     

Finite p-groups all of whose maximal abelian subgroups are soft

A subgroup A of a p-group G is said to be soft in G if CG(A) = A and |NG(A)/A| = p. In this paper we determined finite p-groups all of whose maximal abelian subgroups are soft; see Theorem A and Proposition 2.4.     

On the number of solutions of $$x_1\cdots x_{p^k}=g$$ x 1 ⋯ x p k = g in a finite p-group

Archiv der Mathematik - Let G be a finite p-group, $$g\in G$$ , $$A\subseteq G$$ , and $$q:=p^k\ge |G|$$ . We determine, modulo p, the number of solutions $$(x_1,\ldots ,x_q)\in A^q$$ of the...