GL(n,Z)中的局部有限子群的一点注记

证明了：若Ｇ是一般线性群ＧＬ（ｎ,Ｚ）中的局部有限子群,则Ｇ含有一个２~ｍ阶的初等阿贝尔２－子群,且 Ｇ同构于 ＧＬ（ｎ,Ｚ_ｐ）的一个子群,其中户为任意奇素数．当 ｎ＝１,２,３,４时,Ｇ的阶分别是 ２,３· ２~ｋ（ｋ＝ｍｉｎ（４,ｍ＋１）,０≤ｍ≤４）,３·２~ｋ（ｋ＝ｍｉｎ｛５,ｍ＋１｝,０≤ｍ≤５）,３~２·５·２~ｋ（ｋ＝ｍｉｎ｛９,ｍ＋６｝,０≤ｍ≤９）的一个因子,而当ｎ≥５时,Ｇ的阶是（ｐ~ｉ－１）的一个因子,其中ｐ为任意素数．     

广义双循环半群和Jones半群

本文刻画了广义双循环半群Ｂｎ＝〈ａ,ｂ｜ａ＾ｎｂ＝１〉和Ｊｏｎｅｓ半群Ａｎ＝〈ａ,ｂ｜ａ＾ｎ＋１ｂ＝ａ〉（ｎ≥１）的结构;证明了每个Ａｎ都具有Ｐ．Ｒ．Ｊｏｎｅｓ所发现的半群Ａ＝〈ａ,ｂ｜ａ＾２ｂ＝ａ〉的所有重要性质,特别地,证明了Ａｎ,Ａｍ可互相嵌入,从而得到：第三个Ｄ－非平凡的无幂等元「０－」单半群若不含Ｃ＝〈ａ,ｂ｜ａ＾２ｂ＝ａ,ａｂＴ＾２＝ｂ〉,则必含每个Ａｎ或它们的对偶,作为推论,每人广义     

椭圆一个定理的又一初等证明

定理　椭圆Ｃ：ｘ２ａ２＋ｙ２ｂ２＝１（ａ＞ｂ＞０）有且仅有两条对称轴：直线ｘ＝０和ｙ＝０．文［１］指出,这个定理的证明一般要用到仿射几何知识,同时文［１］给出了一个初等证明．笔者再给出这个定理的又一种初等证明如下．定理的证明　易验证直线ｘ＝０和ｙ＝０均是椭圆Ｃ的对称轴．因点Ｂ（０,ｂ）关于直线ｘ＝ｋ（ｋ≠０）的对称点Ｂ′（２ｋ,ｂ）不在椭圆Ｃ图１上,故直线ｘ＝ｋ（ｋ≠０）不是椭圆Ｃ的对称轴．设Ｆ１,Ｆ２是椭圆Ｃ的两个焦点,椭圆Ｃ的长轴Ａ１Ａ２关于直线ｌ：ｙ＝ｋｘ＋ｎ（ｋ,ｎ至少有一个不等于零）的…     

邻域并和[a,b]-因子

设ａ＜ｂ是整数,Ｇ＝（Ｖ（Ｇ）,Ｅ（Ｇ））是一个图．Ｇ的一个支撑子图Ｆ称为Ｇ的一个［ａ,ｂ］－因子,若对任意的υ∈ＥＶ（Ｇ）,有ａ≤ｄ_Ｆ（υ）≤ｂ．本文得到了下列结果：设１≤ａ≤ｂ是整数,Ｇ是一个阶为ｎ的图,最小度δ（Ｇ）≥ａ且＞（ａ＋ｂ）（２ａ＋２ｂ－３）如果对于Ｇ的任意两个不相邻的顶点ｕ,υ有Ｎ_Ｇ（ｕ）ＵＮ_Ｇ（υ）≥ａｎ,则Ｇ有一个［ａ,ｂ］－因子．     

半群与弱椭圆算子(英)

设ｉＡｊ（１≤ｊ≤）是有界Ｃ_０群的可交换生成元,Ｐ（Ａ）＝∑_｜μ｜≤２ａ_μＡ~μ（Ａ~μ＝Ａ_１~μ…Ａ_ｎ~μｎ）如果Ｐ是弱椭圆的且其实部是上有界的,则我们证明Ｐ（Ａ）生成一个Ｃ_０半群．     

子集的交叉t－相交定理

设Ｘ为一个ｎ元集合，Ｃｎｋ为Ｘ的所有ｋ元子集全体，若Ａ∈Ａ，Ｂ∈Ｂ有｜Ａ∩Ｂ｜≥ｔ，则称（Ａ，Ｂ）为一个交叉ｔ－相交子集族．本文得到最大交叉ｔ－相交子集族和最大非空交叉２－相交子集族．证明如下两个结论．（１）若（Ａ，Ｂ）为一个交叉ｔ－相交子集族，且ａ≤ｂ及ａ＋ｂ≤ｎ＋ｔ－１，则｜Ａ＋Ｂ｜≤ｍａｘ｛（ｂｎ），（ａｎ）｝，且当（Ａ；Ｂ）＝（φ，Ｃｎｂ）或（Ｃｎａ，φ）时达到上界．（２）若（Ａ，Ｂ）为一个交叉２－相交子集族，且ａ＜ｂ，ａ＋ｂ≤ｎ－１及（ｎ，ａ，ｂ）≠（２ｉ，ｉ－１，ｉ）（ｉ为任意正整数），又Ａ，Ｂ均非空，则｜Ａ＋Ｂ｜≤１＋（ｂｎ）－（ｂ（ｎ－ａ））－ａ（（ｂ－１）（ｎ－ａ））且当（Ａ，Ｂ）＝（｛Ａ｝，Ｃｎｂ－｛Ｂ｜｜Ｂ｜＝ｂ，｜Ａ∩Ｂ｜≤１｝）时达到上界．     

一类不能作为自同构群的奇阶群

本文考虑如下问题：怎样的有限群可以作为另一个有限群的全自同构群？我们首先证明，若有限群Ｋ有一个正规Ｓｙｌｏｗｐ－子群使得｜Ｋ：Ｚ（Ｋ）｜ｐ＝ｐ２，那么Ｋ有２阶自同构．利用这个结果，我们证明了，若奇阶群Ｇ具有阶Ｐｓｍ（１≤ｓ≤３），ｐ为｜Ｇ｜的最小素因子，ｐｍ，ｍ无立方因子，则Ｇ不可能作为全自同构群．     

Curran第三猜想的一个反例

本文证明了：当ｐ＞２，ｎ≥６时，存在ｐ￣ｎ阶群Ｇ使得｜ＡｕｔＧ｜＝ｐ￣（ｎ＋１）．由此得到３－群作为有限群的自同构群的最小阶为３￣７．从而给出了Ｇｕｒｒａｎ在１９８９年提出的猜想的一个反例。     

A（x）－C（x）的渐近公式

设Ａ、Ｃ是一些自然数的集合。对于Ａ中任一自然数ｍ，每一ｍ阶群都是Ａｂｅｌ群；对于Ｃ中任一自然数ｎ，每一ｎ阶群都是循环群。本文的目的是证明下面的渐近公式：此处γ是Ｅｕｌｅｒ常数，ｌｏｇｒｘ＝ｌｏｇ（ｌｏｇ＿（ｒ－１）ｘ），ｌｏｇ＿１ｘ＝ｌｏｇｘ。     

两个“推广”的注记

贵刊文［１］、［２］给出了不等式：２（ａ３＋ｂ３＋ｃ３）≥ａ２（ｂ＋ｃ）＋ｂ２（ｃ＋ａ）＋ｃ２（ａ＋ｂ）（ａ,ｂ,ｃ＞０）（高中《代数》下册Ｐ３２第５题）的两个推广,读后颇受启发,作为两个推广的注记,本文对其中的指数作进一步的推广;推广１　设ａ、ｂ、ｃ、ｋ、ｍ、ｎ＞０,且ｍ≥ｋ,ｍ＋ｋ＝ｎ,则２（ａｎ＋ｂｎ＋ｃｎ）≥ａｎ＋ｂｎ＋ｃｎ＋ａｍ－ｋｂｋｃｋ＋ａｋｂｍ－ｋｃｋ＋ａｋｂｋｃｍ－ｋ≥ａｍ（ｂｋ＋ｃｋ）＋ｂｍ（ｃｋ＋ａｋ）＋ｃｍ（ａｋ＋ｂｋ）证明　现证前一个不等式,即证ａｎ＋ｂｎ＋ｃｎ≥ａｍ－…     

Finite Groups with a Pre-Fixed-Point-Free Power Automorphism

A power automorphism θ of a group G is said to be pre-fixed-point-free if C_G(θ) is an elementary abelian 2-group. G is called an E-group if G has a pre-fixed-point-free power automorphism. In this paper, finite E-groups, together with all their pre-fixed-point-free power automorphisms, are completely determined. Moreover, a characteristic of finite abelian groups is given, which explains some known facts concerning power automorphisms.     

Coleman自同构群的投射极限

在这篇注记中，利用群的投射极限性质给出了有限可解群的Coleman自同构群的一个具体构造.作为应用，证明了二面体群的Coleman外自同构群或者是1或者是一个初等阿贝尔2-群.     

Coleman自同构群的投射极限

在这篇注记中,利用群的投射极限性质给出了有限可解群的Coleman自同构群的一个具体构造.作为应用,证明了二面体群的Coleman外自同构群或者是1或者是一个初等阿贝尔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|=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...     

Finite groups with an almost regular automorphism of order four

P. Shumyatsky’s question 11.126 in the “Kourovka Notebook” is answered in the affirmative: it is proved that there exist a constant c and a function of a positive integer argument f(m) such that if a finite group G admits an automorphism ϕ of order 4 having exactly m fixed points, then G has a normal series G ⩾ H ⩽ N such that |G/H| ⩽ f(m), the quotient group H/N is nilpotent of class ⩽ 2, and the subgroup N is nilpotent of class ⩽ c (Thm. 1). As a corollary we show that if a locally finite group G contains an element of order 4 with finite centralizer of order m, then G has the same kind of a series as in Theorem 1. Theorem 1 generalizes Kovács’ theorem on locally finite groups with a regular automorphism of order 4, whereby such groups are center-by-metabelian. Earlier, the first author proved that a finite 2-group with an almost regular automorphism of order 4 is almost center-by-metabelian. The proof of Theorem 1 is based on the authors’ previous works dealing in Lie rings with an almost regular automorphism of order 4. Reduction to nilpotent groups is carried out by using Hall-Higman type theorems. The proof also uses Theorem 2, which is of independent interest, stating that if a finite group S contains a nilpotent subgroup T of class c and index |S: T | = n, then S contains also a characteristic nilpotent subgroup of class ⩽ c whose index is bounded in terms of n and c. Previously, such an assertion has been known for Abelian subgroups, that is, for c = 1. __________ Translated from Algebra i Logika, Vol. 45, No. 5, pp. 575–602, September–October, 2006.     

关于可解群p—块的几个结果

主要结果是如下定理:设G是有限可解群使得G/F(G)是奇阶A-群,又设p是一个素数且G不含截断q~(pn):(Z_m:Z_p)。其中q~(pn):(Z_m:Z_n))是初等交换q-群q~(pn)被Z_m:Z_p的扩张,而m=(q~(pn)-1)/(q~n-1)。则G有亏数零p-块的充要条件是O_p(G)=1。     

Classifying cubic symmetric graphs of order 10p or 10p~2

A graph is called s-regular if its automorphism group acts regularly on the set of its s-arcs. In this paper, the s-regular cyclic or elementary abelian coverings of the Petersen graph for each s ≥ 1 are classified when the fibre-preserving automorphism groups act arc-transitively. As an application of these results, all s-regular cubic graphs of order 10p or 10p2 are also classified for each s ≥ 1 and each prime p, of which the proof depends on the classification of finite simple groups.     

On the Wielandt Subgroup in a p-Group of Maximal Class

The Wielandt subgroup of a group G,denoted by w(G),is the intersection of the normalizers of all subnormal subgroups of G.In this paper,the authors show that for a p-group of maximal class G,either wi(G) = ζi(G) for all integer i or wi(G) = ζi+1(G) for every integer i,and w(G/K) = ζ(G/K) for every normal subgroup K in G with K = 1.Meanwhile,a necessary and suflcient condition for a regular p-group of maximal class satisfying w(G) = ζ2(G) is given.Finally,the authors prove that the power automorphism group PAut(G) is an elementary abelian p-group if G is a non-abelian pgroup with elementary ζ(G) ∩ 1(G).