关于有限群的一个性质

在有限群论中,我们常常通过研究一个有限群的自同构的性质,来认识这个有限群的性质,本文遵循这一方法,建立了以下的定理:定理:设G为有限群,G有一个自同构α,使得由α定义的集合I={a∈G|α(a)=a~(-1)}含有3/4|G|个元素的充要条件是:G是非阿贝尔的,且可写G=HK=KH,这里H、K均为G的指标为2的阿贝尔子群.其次,若群G满足上述条件则C(G)=H∩K,且     

含有极大子群为单群的非单有限群的结构

本文研究并解决了含有一极大子群为单群的非单有限群的结构,主要结论是:设G为有限群,H为G的一个极大子群,则1.H为p(素数)阶群时,G为p~2阶群,或pq阶阿贝尔群,或pq~β阶极小非幂零群.其中p≠q且均为素数,β为q关于模p的指数.2.H为非阿贝尔单群.但G非单时,G必为下列情形之一:1)H×K;H为非阿贝尔单群,K为素数阶群.2)H_1×H_2;H_1、H_2为互相同构的非阿贝尔单群.3)H≤G;G/H的阶为素数,H为非阿贝尔单群且在G内无正规补子群.4)G=HN;H∩N=1,H为非阿贝尔单群,N为非单的特征单群,且H依共轭不可约地作用于N上.此外,对有限群G中的单极大子群之间的关系,本文也进行了若干讨论.     

一类共轭类长度集合的长度为3的有限群

证明了:若G为有限群,且|cd(G)|=|cs(G)|=3,则G=H×A.其中A是交换群,H是非交换(p-)群且|cs(H)|=3,或H=KL,K(_)H,(|K|,|L|)=1,K是非交换p群且|cs(K)|=2,L是交换群,Z(K)=Z(H)∩K,H/Z(H)是Frobenius群,并且|cd(K)|=2,c(K)...     

关于有限C*(p)-p-群的幂零类及导群

若对群G中任意子群(阿贝尔子群或循环子群)H有| HGH|＜∞,则称群G是S*(A*,C*)-群.若| HGH|≤n,则称群G是S*(n)(A*(n),C*(n))-群.在有限p-群条件下,对偶研究S*(A*,C*)-群,证明了C*(p)-p-群的幂零类不超过3,其导群是初等阿贝尔群.     

关于有限群的s-半正规子群I

分类了含有非平凡的s-半正规子群的有限单群：G是含有非平凡s-半正规子群H的单群当且仅当G是下4型群之一：(1)G=Ap，H≌Ap-1，p为素数；(2)G=PSL(n，g)且H是一条直线或一个超平面的稳定子群，|G：H|=(q^n-1)／(q-1)=p^a，其中p和n均为素数；(3)G=PSL(2，11)，H≌A5；(4)G=M22，H≌M21或G=M11，H≌M10，还得到了一个Schur-Zassenhaus型的定理：假设有限群G含有一个s-半正规的Hallπ′-子群，则：(1)G∈Cπ；(2)进而如果G没有截段同构于PSL(2，q)，其中q是一个Mersenne素数，则G∈Dπ。     

关于伽罗华理论中一个定理的注记

在〔1〕的第250页定理中,当F的特征数是P,n就不能被户整除,否则定理不成立,但我们可以证明如下结果: 定理.若F的特征数为素数p,K是F的P次循环体,则K=F(r),r是F〔x〕中不可约多项式 (x~p-x-α)〔记为(*)〕的根。证明:因K是F的P次循环体,∴K是F的P次可离正规体,且K关于F的Galois群是一个P次循环群G。设G=(σ),由引理2,有α∈K,使θ=α σ(α) σ~2(α) 0(o) … σ~(p-1)(α)≠0。     

C2! C2n 上不可分原子的结构*

设G是有限阿贝尔群,S是群G上一个序列,称S是可分的原子,如果S ＝（g1＋g2）T ,其中g1,g2∈G,T∈F（G）满足S∈A（G）且g1 g2 T∈A（G）。设GC2"C2n是秩为2的有限阿贝尔群,且S是群G上长度为n ＋4的不可分原子,给出了群C2"C2 n 上不可分原子S的的具体结构。     

F-z-可补子群对p-幂零群的影响

设H是有限群G的一个子群,称H在G中是F-z-可补的,如果存在G的一个子群K,使得G=HK且H∩K≤Z∞(G),其中,是一个群系.首先利用p阶和p2阶子群的Np-z-可补性,得到如下结论:1)令G是与A4无关的有限群,p是|G|的最小的素因数,P是GNp(群G的Np-剩余类)的Sylow p-子群.如果P的每个p或4阶循环子群均在G中Np-z-可补,那么G是p-幂零群.2)令G有限群,p是|G|满足(|G|,p2-1)=1的素因数.令H是G的正规子群使得G/H是p-幂零的.若H的每个阶为p2的子群均在G中Np-z-可补,则G是p-幂零的.其次探讨Sylow p-子群的2-极大子群的U-z-可补性对p-幂零群结构的影响,得到如下结论:3)令p的|G|最小的素因数.若G与A4无关且Gp每个2-极大子群均在G中U-z-可补,则G是p-幂零的.     

Cayley有向图的商图

设C(G,S)是有限群G上关于S(S(?)G)的Cayley有向图。给定G的一个子群H,我们在C(G,S)上引入商Cayley有向图的记号,它在某种意义上来说类似于群论中的商群,因此可在这一类图上讨论其性质。 对于g∈G,我们用N~ (g)表示g在C(G,S)中的外邻集。设集合K={g∈C|N~ (g)=S},可以看出它是G的子群,我们称其为C(G,S)的核。当H=K时,Cayley有向图与它的商有向图之间存在着一些非常好的同构关系。在这个假定下,我们进一步根据商有向图及核K为C(G,S)的自同构群刻划出了一系列特性。     

弱Φ-可补子群对p-幂零群结构的影响

设H是有限群G的一个子群,H在G中是弱Φ-可补的,如果存在G的一个子群K,使得G=HK且H∩K≤Φ(H),其中Φ(H)是H的Frattini子群.利用p阶和p~2阶子群的弱Φ-可补性,得到如下结论:1)设G是有限群,p是|G|的满足(|G|,p-1)=1的素因数.设E是G的一个正规子群使得G/E是p-幂零群.若■的每个阶为p或4循环子群均在G中弱Φ-可补,那么G是p-幂零群.2)设G有限群,p是|G|满足(|G|,p~2-1)=1的素因数.设E是G的正规子群使得G/E是p-幂零的.若■的每个阶为p~2的子群均在G中弱Φ-可补,则G是p-幂零的.由这些结论,得到了一系列推论,推广了已知结果.     

子群的M-可补性对群结构的影响

若存在子群K使得G=HK,且对于H的任意极大子群H1,有H1K为G的真子群,则称子群H在G中是M-可补的.利用M-可补子群的性质对p-幂零群结构进行研究,得到一些新结果:①设G是有限群,p是|G|的奇素因子,P∈Sylp(G),则G是p-幂零群当且仅当P在G中M-可补,且NG(P)是p-幂零群.②设G是有限群,p是|G|的奇素因子,P∈Sylp(G).若P的任意极大子群在G中M-可补,且NG(P)是p-幂零群,则G是p-幂零群.     

一类齐性概复空间(摘要)

<正> 这里只给出文章的要,所有定理和推论的证明都没有写出。 设G是一个紧致连通李群,K是它的一个最大秩连通子群。可以证明,K为一闭子群,因而X=G/K是一个齐性流形。设g和k分别是G和K的李代数,根据〔1〕的结果,G/K上具有G—不变概复结构当且仅当存在g的内自同构组成的奇数阶有限群F,使k=g_F,此处g_F表示g在群F下的不动点子代数。若t是g的一个奇数m阶内自同构,g_t表示g在t下的不动点子代数,令k=g_t,则G/K上当然具有G—不变概复结构。本文讨论这一类齐性空间上不变概复结构的数目(限于G为单纯情形),从而得到这类齐     

陪集图的同构与自同构

令G是一个有限图,H是G的无核子群,D是形如HgH(gH)的一些双陪集的并,且满足D=D-1。记(Cos(G,H,D)表示G关于H和D的陪集图,A=Aut(Cos(G,H,D))。用RH(G)表示G在H的全体右陪集所在的集合Ω=[G:H]上的右乘置换表示,σ(g)表示g∈G通过共轭作用诱导在G上的自同构。本文不但证明了NA(RH(G))=RH(G)Aut(G,H,D)且RH(G)∩Aut(G,H,D)=I(H),其中Aut(G,H,D)={α∈Aut(G)|Hα=H,Dα=D},I(H)={σ(h)|h∈H},而且证明了Cos(G,H,D)是一个CI-图当且仅当对任意的σ∈SΩ,满足RH(G)σ≤A,必存在a∈A使得RH(G)a=RH(G)σ。作为对本文两个定理的应用,本文考虑了一类线性群上陪集图的CI-性问题及其在同构意义下的计数问题。     

关于环的Galois扩张

设R为确单位元1的环,G为R的有限自同构群,C为R的中心,K={g∈G|g(c)=c,Vc∈C}.假定R在R~G上是Galois的,Galois群为G,使得R~G是Azumaya C~G一代数.本文证明了:(1)若R~K是C上的Azumaya代数,则R=Ac~(R~K)使得A是C上的Galois扩张,Galois群为K.如果还有K的阶数是R中的单位,则还有R~K在R~G上是Galois的,Galois群为G/K.(2)若R~K=CR~G且K的阶数是R中的单位,则有(1)的结果且R~K满足Kanzaki假设.     

子群的π-可补性对群结构的影响

如果存在G的一个子群K,使得G=HK且|H∩K|π=1,则群G的一个子群H称为在G中π-可补,此时K称为H在G中的π-补.研究了π-可补子群的一些性质,并利用群G的Sylowp-子群的极大和极小子群的π-可补性,给出了群G为p-幂零群的一些条件.特别地证明了如下结果:设G是一个群,P是G的一个Sylowp-子群,p∈π且p是|G|的一个素因子,如果(|G|,p-1)=1且P的每个极大子群在G中π-可补,则G是p-幂零群.     

有限群的弱c-正规

群G的一个子群H称为在G中弱c-正规，如果存在G的一个次正规子群K，使得G＝HK且H∩K≤HG，其中HG＝∩↑x∈GH^x是包含在H中的G的最大正规子群。该文利用子群弱c-正规性给出一个群为可解群、p－幂零群的一些条件，主要定理有：1）设G是一个有限群，则G可解当且仅当G的每个在Fc中的极大子群M在G中弱c-正规。2）设G是有限群，P是G的Sylow p-子群，这里p为素数，p||G|且（|G|,p-1)=1。假设存在P的一个极大子群P1使得P1在G中弱c-正规且Op(G)≤P1，则G／Op（G）是p-幂零的。     

有一个超可解子群其指数为素数的有限群

Kazarin和Korzjukov在[2]中描述了满足下述条件的有限群G的构造: (ⅰ) G是非超可解的,它有一个指数为素数的超可解子群M,并且M■G。 (ⅱ) Frattini子群Φ(G)=1。我们的工作是证明了下面的定理: 定理1 如果有限群G包含一个指数为素数的2-幂零子群,那么G是可解的。定理2 假设有限非可解群G包含一个子群M满足下列条件: (1) 指数|G:M|是素数,     

积分第一中值定理的一个简明的证明

本学报1979年第2期刊登了绍文同志《关于积分第一中值定理》一篇文篇,作者给出了定理的证明。本文就C∈(a,b)的问题再给出一个较为简明的证明,并给一个例子,说明连续的条件是必要的,即若f(x)在〔a,b〕上不连续时,则结论不再成立。这个定理是这样叙述的: 积分第一中值定理设在区间〔a,b〕上f(x)与g(x)都可积,且g(x)不变号,m≤f(x)≤M,则存在μ,m≤μ≤M,使下式成立 integral from n=a to b(f(x)g(x)dx)=μintegral from n=a to b(g(x)dx) (1)如果f(x)在〔a,b〕上连续,则可进一步证明,存在C∈(a,b),使 (?) (2) 为了叙述上的完整起见,把前一部分的证明也写上。证明:先证前一部分。由f(x)与g(x)在区间〔a,b〕上的可积性知(1)式左端的积分是存     

浅谈子群的一个判定定理的证明

关于一个群 G 的非空子集 H 是否它的子群有众所周知的判定定理:定理1 设 G 为群,H 为 G 的非空子集。则 H 是 G 的子群的充分必要条件是1)如 a,b∈H,则 ab∈H2)如 a∈H,则 a~(-1)∈H当 H 为 G 的非空有限子集时,有更为简单的判定条件:     

容许一个无不动点自同构群的有限群

设G是一个有限群,G的自同构群A无不动点地作用于G,且(│G│,│A│)=1,本文证明了下面几个主要定理。 定理3.2 若G有A-不变的幂零Hall子群H,且H的Sylow2-子群H_2Abel,a∈A~#,C_G(a)≤H,则H在G内有幂零的正规补群,特别地G可解。 定理3.4 若a∈A~#,C_G(a)为奇阶,则G2-闭,特别地G可解。 定理3.8 进一步假定A的指数无平方因子,若G有A-不变的幂零Hall子群H使a∈A~#,C_G(a)≤H,则G幂零。 定理3.2和3.8 都是Thompson(14)关于无不动点自同构的著名定理的推广,也是Scimemi(13)结果的部分推广,定理3.4是Pettet〔8)结果的部分推广。