从任意2n—1个整数中必可选出n个使其和为n之倍数

柯召、孙琦提出了如文题所述的猜测.单墫证明了这一猜测.本文的目的是用初等方法证明这一猜测.定理1.p 为素数,从任给2p-1个整数中必可选出 p 个使其和为 p 之倍数.证:任给2p-1个整数 a_1,a_2,…,a_2p-1.从中选出 p 个作和.共有 C_(2p-1)~p=C_(2p-1)~(p-1)个和:S_1=a_1+a_2+…+a_p,S_2=a_1+a_2+…+a_(p-)+a_(p+1)     

论Sylow p-子群循环的p~nq~3阶群的构造

设p,q为奇素数,且p>q.对Sylow p-子群循环的pnq3阶群进行了完全分类,并获得了其全部构造:(ⅰ)当q不整除(p-1)且p不整除(q2+q+1)时,G恰有5个彼此不同构的类型;(ⅱ)当q不整除(p-1)但p整除(q2+q+1)时,G恰有6个彼此不同构的类型;(ⅲ)当q整除(p-1)但q2不整除(p-1)且p不整除(q2+q+1)时,G恰有q+10个彼此不同构的类型;(ⅳ)当q整除(p-1)且p整除(q2+q+1)但q2不整除(p-1)时,G恰有q+11个彼此不同构的类型;(ⅴ)当q2整除(p-1)但q3不整除(p-1)时,G恰有q+12个彼此不同构的类型;(ⅵ)当q3整除(p-1)时,G恰有q+13个彼此不同构的类型.     

一类含有调和数的同余式（英文）

该文目的是创建一系列含有调和数的同余式.当p3为一素数时,利用已有的组合恒等式和同余式,得到了如下的同余式:∑p-1k=1k~2H_k~2≡79/108p-4/9(mod p~2)和∑p-1k=1H_k~3≡23/18(mod p).同时也得到了∑(p-1)/2k=1H_k~2/k≡-8/3q_p~3(2)+1/6B(p-3)(mod p)和∑(p-1)/2k=1H_(2k)~2≡-1+1/2q_p~2(2)(mod p),这里Bn(n∈N)称为Bernoulli数,当pa时,q_p(a)=(a~(p-1)-1)/p称为Fermat商.     

默森尼质数的判别法及其构造

得到默森尼 (Mersenne)数为质数的判别法和构造 ,当Mp=2 p- 1为合数时其因数的特征及其因数个数的估计。(1)Mp=2 p- 1为质数的充要条件是 Mp2kp + 1≡ 0　 (mod p)(2 )如果Mp=2 p- 1且Qi|Mp　i=1,2 ,……T那么 12     

生成大素数的一个方法

初步探讨了如何快速生成一个大素数p,使得p-1有大的素因子q的方法,其中q满足q〉（p-1）/log2（p-1）。     

一类新的可分差集

通过2阶分圆类的方法得到了两类新的可分差集,参数分别为(7,p,2p-1,p-2,21(p-1)),(3,q,21(q+3),41(q-3),1).     

两类p叶亚纯函数的性质

首先定义了微分算子Ikp,然后利用这个算子Ikp引入了2类p叶亚纯函数族∑(S)*p-1 (k,α,β)及∑(C)p-1(k,α,β),得到这2个函数族的系数不等式,并定义了函数族∑Ghψ(Cn+p).利用函数族∑(S)*p-1(k,α,β)和∑(C)p-1(k,α,β)的系数特征得到结论:有限个∑(S)*p-1(k,...     

关于强p闭群

在文[1]中为了讨论超可解群,引入了强p-闭群的定义,本文研究了强p-闭群的一些性质,主要得出了以下三个结果,(1)强p-闭群有类似于H.Wielandt的结果,即若G有三个指数两两互素的强p-闭子群,则G是强p-闭群,(2)如果A、B是G的两个正规的强p-闭子群,G=AB,则G是强p-闭的充要条件是[A,B]是p-群,(3)若G是内强p-闭群,则|G|=p~αq~β,p>q,G是内幂零群,且Q△G,Q∈Sylq(G),Q是初等交换q-群,q|p-1,本文都是限定的有限群,且所用符号与[2]一致。     

关于非平面图染色的一个猜想

本文提出以下猜想:若θ(G)=2,则χ(G)≤9;若θ(G)≥3,则χ(G)≤6θ(G)-1。证明了当 |S|∈{p,p-1,p-2,p-3,p-4,p-5}时,该猜想是正确的。     

p-拟正规子群

本文引进了 p-拟正规子群的概念,讨论了 p-拟正规子群对群结构的影响,主要结果有:(1) G 的极大子群均 p-拟正规■Gp-闭;(2) G 的2-极大子群均 p-拟正规■Gp-闭或 G 为有指数为 p 的循环正规子群的 p~αq 阶亚循环群,p~α|q-1;(3) 若 G 有一循环极大子群 p-拟正规,则 G 超可解或 G 可解且 p-闭;(4) ■ p||G|,G 的 Sylow p-子群的所有极大子群均 p-拟正规,则 G=F_0又 F_1,其中 F_0为G 的幂零正规的 Hall 子群,F_1是 Sylow 子群全循环的群.