关于有限环的分配律的筹表检验法

<正> 在学习正交拉丁方构造理论中,除了需要解决有限群的结合律的检验问题外,还有这样一个问题:关于有限环或有限域的分配律怎样检验? 假设R是个非空有限集,其加法与乘法分别用加法表与乘法表来表示,如果下列条件满足,就说R对于给定的加法与乘法是一个有限环:     

低阶非交换群中自同交的正交情况

<正> §1.前言设 G 是一个有限群.定义1.有限群 G 中元素的一个置换φ:x→xφ,x,xφ∈G,被称作是一个自同交,如果     

剩余有限minimax 可解群的几乎正则自同构

设G 是一个剩余有限的minimax 可解群, α 是G 的几乎正则自同构, 则G/[G, α] 是有限群, 并且(1) 当α^p = 1 时, G 有一个指数有限的幂零群其幂零类不超过h(p), 其中h(p) 是只与素数p 有关的函数.(2) 当α² = 1 时, G 有一个指数有限的Abel 特征子群且[G, α]′ 是有限群.关键词剩余有限minimax 可解群几乎正则自同构     

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

设幂零群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的下中心列考虑了类似的问题,得到了"对偶"的结果.     

每个子群都c-正规的有限群

在本文中我们研究有限CN-群, 即每个子群都c-正规的有限群. 我们得到以下结果:群G是CN-群当且仅当G^∈的每个子群都在G中正规.群G是CN-群当且仅当G可解且c-正规性是传递的.设p是一个奇素数, P是一个p-群, 则P是一个CN-群当且仅当Φ(P)≤Z(P).我们也得到了一些CN-群的直积为CN-群的判别条件.     

有限可分群的一个可解性定理

<正> 本文考虑的群都是有限群. 群G叫做可分的(Factorizable),如果G可以表为两个真子群A与B之积,即G=AB.子群A和B的构造对群G有怎样的影响是一个活跃的研究课题. 许多作者研究过可分群的可解性问题.本文的主要工作是证明了下面的 定理1 设群G=AB,子群A和B满足下述条件:     

有限秩的幂零p-群的p-自同构

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

有限秩的可解群的正则自同构

设G是有限秩的剩余有限可解群或是有限秩的剩余有限可解群的有限扩张,α是G的一个索数p阶正则自同构且φ:G→G(g→[g,α])是满射,则G是幂零类不超过h(p)的幂零群,其中h(p)是只与p有关的函数.     

某些有限群的自同构群

令G是一个奇阶群。本文证明了:当G具有小阶时,G不能作为一个有限群的全自同构群。     

有限交换群中的极大迷向子模

设有限群G作用在有限交换群E上,并且E带有一个G-不变的乘法辛型.如果U和V为E的两个极大迷向的G-子模,证明了相伴的两个辛G-模U⊥/U和V⊥/V同构.     

有限生成的幂零群的共轭分离性质

研究了有限生成的幂零群中元素的共轭分离问题.设ω表示全部素数组成的集合,π是ω的非空真子集,G是有限生成的幂零群,则下述三条等价:(i)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限p-商群中不共轭,其中p∈π;(ii)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限π-商群中不共轭;(iii)G的挠子群T(G)是π-群且G/T(G)是Abel群.同时举例说明:设G是有限生成的无挠幂零群,对于任意素数p,x和y都在G的有限p-商群G/G~p中共轭,但x和y在G中不共轭.     

用极大子群刻划Sy-群

用极大子群来刻划群类已有很多结果,例如:有限群G是幂零群的充要条件是G的极大子群是正规的;有限群G为超可解群的充要条件是G的极大子群的指数为素数;有限群为循环p-群的充要条件是有唯一极大子群,等等。在这篇文章中,我们用一个极大子群条件来刻划 Sy-群(由〔2〕知道,有限群G是Y-群的充要条件是G=MN,其中M,N是G的幂零Hall子群,N=r_∞(G)是G的幂零剩余,且对任意N之子群H有G=N·N_G(H)。而Sy-群是子群封闭的Y-群)。为此,我们先讨论Y-群的极大子群的性质。     

群自同交的相合映象与相合类

<正> 设 G 是一个有限群.定义1.有限群 G 中元素的一个置换被称作是一个自同交,如果1φ=1,此处用1代表 G 的单位元素;以及 x→(xφ)x~(-1)也是 G 的一个置换.     

有限群的共轭类个数与群的性质

用群的共轭类个数刻画了交换群,同时用一个很简洁的方法重新证明了Frobenius G提出的一个著名问题:对于一个固定的数自然数n,共轭类数为n的有限群,在同构的意义下是有限的.     

剩余有限minimax可解群的自同构

设G是剩余有限minimax可解群,α是G的自同构且φ:G→G(g→[g,α])是满射,则有以下结果:(1)当α~p=1时,G是幂零类不超过h(p)的幂零群的有限扩张,其中h(p)是只与p有关的函数;(2)当α~4=1时,G存在一个指数有限的特征子群H,使得H″≤Z(H)和C_H(α~2)是Abel群.并且C_G(α~2)和G/[G,α~2]都是Abel群的有限扩张.     

有限群整群环的正规化子性质

Hertweck的反例说明,一个有限群即使它的一个正规子群和它对应的商群具有正规化子性质,该有限群也未必有正规化子性质.本文证明如下主要结果:设G是一个有限群,N是G的一个正规子群且Z(G/N)的中心单位是平凡单位.如果N的Sylow 2-子群是N的一个直因子,则G有正规化子性质.     

Burnside定理的一个推广

<正> 作者在文[1]中曾变动Bufnside定理的条件得出下述两个定理:定理1. 如果有限群G是 p-正常的,又G的p-sylow子群P的正常化N_p=P×K,那末就存在着G的正常子群它的因子群是P群.定理2.如果有限群G的每一个p- 的元素均与其正常化N_中阶数与p互质的元素可交换相乘,那末就存在G的正常子群N使G=PN,P∩N=e,其中P是G的一个p-sylow子群.     

超可解群的概况

有限群方面的问题较多,个人了解的很少,本文仅就个人所知道的超可解群发展的近况作一个梗概的介绍. 除幂零群外,经常碰到的有限群大别为两类(单群与可解群,当然幂零群也是可解的).已知凡阶为p~aq~b形的群以及奇阶群都是可解的,所以说有限阶可解群几乎普遍地存在,因之提出这样一个问题,即在幂零群与可解群之间研究较幂零群范围广而较可解群范围窄的一类的群是有必要且有意义的.这类群现在叫超可解群.所谓G是超可解群,指的是G有一个正规群列G=G_0>G_1>G_2>…>G_(r-1)>G_r=1(即每G_i为G之正规子群,记作G_i G),使得每商群G_i/G_(i+1)为循环群.于是超可解群必具有限多个生成元,     

具有阿贝尔Sylow 2-子群的有限群的整群环的正规化子性质

Mazur猜想:具有阿贝尔Sylow 2-子群的有限群有正规化子性质.设G是一个有限群,N是G的一个正规子群且Z(G/N)仅有平凡单位,本文建立了由Z(G/N)中单位诱导的G的自同构与N的Coleman自同构之间的联系,在此基础上证明了若G是一个具有阿贝尔Sylow 2-子群的有限群且Z(G/F*(G))仅有平凡单位,则Mazur猜想对G成立.     

Bi-Cayley图的一些代数性质

设G是一个有限群,S是G的一个子集,Bi-Cayley图BC(G,S)是一个二部图:其顶点集为G×{0,1},而边集为{{(g,0),(sg,1)}:g∈G,s∈S}.本文研究了有限阿贝尔群G上的Cayley图D(G,S)和Bi-Calyley图BC(G,S)之间特征值的关系,并由此得到循环群上的Bi-Cayley图的特征值.继而得到生成树数的一些渐进性定理.