关于Erdoes—Ginzburg—Ziv定理的一个注记

设G为n阶加法Abel群，S＝{αi}i=1^2n-1是G中元序列，对α∈G用r(S,α）表示α写成S中n项之和的方法数。1961年Erdoes，Ginzburg与Ziv证明了n为素数时r(S,0)≥1。1996年高维东指出n是素数p时r(S,0)≡1(mod p)。证明了下述结果：假定有特征为素数p的域使G为其加法子群，则r(S,0)≡1(mod p)，且对α∈G/{0}有r(S,α）≡0(mod p)。这推广了高维东的工作。     

一类上可嵌入图

本文主要证明了如下结果 :设G为 3-连通图 ,若G的顶点集存在一个C一划分 {V1,V2 ,… ,Vn} ,使得对每个 1≤i≤n ,|Vi|≡ 0 (mod 2 ) ,且对任意的v∈V(G) ,dG=(v)≡ 1(mod 2 ) ,则G是上可嵌入的 .     

杨辉三角与素数的关系

设p为素数,s,t∈N,a=t∑i=0 aip^i,r=s∑i=0 rip^i,这里ai,ri∈N,0≤ai≤p-1,0≤i≤t,0≤ri≤p-1,0≤i≤s,证明了Ca^r=Ca0^r0…Cas^rs（mod p）和Ca＋r^r≡Ca0＋r0^r0 Ca1＋r1^r1…Cat＋rt^rt（mod p）两个同余式．据此导出了杨辉三角的第a行以及第0行至第a行的二项系数中,使Ca^r≡0（mod p）的个数和使Ca^r≡0（mod p）的个数,推出了斜列{Ca＋r^r：r=0,1,…}中使Ca＋r^r≠0（mod p）的个数和使Ca＋r^r≡0（mod p）的个数．     

有关LUCAS序列的几个充要条件

Lucas序列Un(u)和Vn(u)定义为:U0=0,V0=2,U1=1,V1=u,Un=uUn-1-Un-2,Vn=uVn-1-Vn-2,n≥2.本文分别给出了同余式组 UN r(u)≡0 mod NVN r(u)(≠)2 mod N,UN r(u)(≠)0 mod NVN r(u)≡2 mod N和UN r(u)(≠)0 mod NVN r(u)(≠)2 mod N成立的几个充要条件,并对满足同余式组的u的个数进行估计,其中N=pq是两个奇素数之积,q=k(p 1) r,|r|＜(p 1)/(2),k≥7,((u2-4)/(p))=-1且gcd(u,N)=gcd(u2-4,N)=1.     

关于整数的非负最小剩余与Fermat商的差

设p为素数,整数n与p互素。Fermat商qp(n)的定义为qp(n)≡np-1-1/p(mod p),0≤qp(n)≤p-1。此外还规定qp(kp)=0,k∈Z。研究整数n的非负最小剩余rp(n)与Fermat商qp(n)的差的均值分布,并给出了恒等式。     

特征为2的有限域上一类正形置换多项式的非存在性

研究了特征为2的有限域上一类正形置换多项式的非存在性.利用乘积多项式中次数的分布规律和整数的m进制表示的有关技巧,证明了在有限域F2n上不存在次数为2d-1的正形置换多项式的充分条件是:n(mod d)≡0,1,或者当n(mod d)≡r(1＜r＜d,1＜ d＜log2n)时,这个多项式的2r-1次项的系数为0.进一步,给出了在有限域F2n上次数为2d的多项式是正形置换多项式的必要条件是:当n(mod d)≡0,1时,这个多项式的2d-1次项的系数必为0;或者当n(mod d)≡r(1相似文献   

关于不定方程x~3±1=6pqDy~2的整数解

设Q=6p_1…p_sr_1…r_n(s,n∈Z_+),其中p_j≡1(mod 6)(j=1,2,…,s)为奇素数,r_i≡5(mod 6)(i=1,2,…,n)为奇素数.关于不定方程x3±1=Qy2的初等解法至今仍未解决.利用同余式、Legendre符号的性质、递归序列、Pell方程解的性质证明了:当D=r_1…r_n(n∈Z+),r_i≡5(mod 6)(i=1,2,…,n)为奇素数,p≡q≡1(mod 6)为奇素数,(p/q)=-1时,不定方程x~3±1=6pqDy~2仅有平凡解的两个充分条件.     

半群T_(n,r)的极大(正则)子半群的完全分类

设S_n和T_n分别是X_n={1, 2,…,n}上的对称群和全变换半群.对1≤r≤n,令T(n,r)={α∈T_n:|im(α)|≤r},则T(n,r)是全变换半群T_n的双边理想.对1≤r≤n-1,考虑半群T_(n,r)=T(n,r)∪S_n,得到了半群T_(n,r)的极大子半群S有且仅有两类:S=T_(n,r)\[τ_i](1≤i≤p=p_r(n))和S=T(n,r)∪G,其中G是群S_n的极大子半群.同时,证明了半群T_(n,r)的极大子半群和极大正则子半群是一致的.所得结果推广了已有的结果.     

同阶子群个数之集为{1,3,p+1}的有限群

设G是有限群，n(G)表示同阶子群个数组成的集合.本文刻画了n(G)={1, 3,p+1}时有限群G的结构，其中p为奇素数.     

广义Lehmer数的渐近行为（英文）

整数a称为模p的Lehmer数是指1≤a≤p-1且a+a~(-1)为奇数,其中a~(-1)表示a模p的逆.令M_p为模p的Lehmer数的个数.1994年,张证明了■.设整数c≥2,整数d∈[0,c-1].对每个素数p≡1(mod c),如果a+a~(-1)≡d(mod c),则称整数a为关于模p的(c,d)-Lehmer数.令M_(c,d,p)表示模p的(c,d)-Lehmer数的个数.本文得到■,推广了张的结果.     

关于不定方程x~3+5~3=2Ry~2

设R=p1 p2 Q,Q=r i(n∈Z),ri-1(mod6)(1≤i≤n)为互异的奇素数,p1≡p2≡1(mod 6)为奇素数。运用初等方法得出了不定方程x 3+53=2Ry 2无正整数解的一个充分条件。     

一类上可嵌入图

本文主要证明了如下结果：设C为3－连通图，若G的顶点集存在一个C－划分{V1,V2,…，Vn},使得对每个1≤i≤n，|Vi|≡0(mod 2)，且对任意的ν∈V(G),dG=(ν)≡1(mod 2),则G是上可嵌入的。     

局部环上线性群中一类子群的扩群

设R是局部环 ,I1,I2 是R中任意固定的且为不同时等于R的理想 ,S I1,T I2 为R的任意两个理想 ,GL(n ,R)是R上n级一般线性群 ,G(n ,r ,S ,T)表示子群A　BC　D ∈GL(n ,R)B∈Sr×(n-r) ,C∈T(n-r)×r .当n≥ 4 ,1 ≤r相似文献   

Diophantine方程x~3+1=3Qy~2的整数解

设Q=p∏ni=1ri(n∈Z+),ri≡-1(mod 6)(i=1,2,…,n)为互异的奇素数,p≡1(mod 6)为奇素数.运用Pell方程的解的性质、同余式、平方剩余、递归序列等证明了Diophantine方程x~3+1=3Qy~2仅有平凡解(x,y)=(-1,0).     

关于有限群的正规π-补的存在性

主要证明了如下二结果 :(1)假设 3 π并且有限群G的每个非Abel单截段之阶的形如 4n - 1的素因数的个数是偶数 ,则G是π′ 闭的当且仅当G是π 齐次的 ;(2 )假设对于有限群G的任一单截段A B ,|A B|之形如 4n - 1的素因数的个数是偶数并且只要A B PSL(2 ,p) ,p是一个形如 4n 1的素数使得n(2n 1) 0 (mod 5 ) ,那么G是π′ 闭的当且仅当G是π 齐次的 .     

二项式序列bn(r,s)在模p下的同余性质

将序列bn(r)=n∑k=1(nk)I(nk-1)r-I推广成bn(r,s)=n∑k=1(nk)r(nk-1)s ,并研究序她bn(r,s)在modp下的同余性质,得出对任意奇素数p和k,r,s ∈N,有bkp(r,s) O(mod p)的结论.     

一类有可换Sylow 2-子群的8p~3阶群的完全分类

设p为奇素数(p≠3,7),G是Sylow 2-子群是型为(22,2)的8阶交换群C4×C2的8p3阶群,利用群在群上的作用理论,对群G进行了完全分类并确定了它的全部构造,即:1)当p≡1(mod 4)时,G恰有74个彼此不同构的类型;2)当p≡3(mod 4)时,G恰有40个彼此不同构的类型。     

正整数被素数p整除的判别法

设p是素数且p≠2,5,|k|是满足10k≡1(mod p)成立的最小正整数,Mn=n∏i=010iai(0≤ai≤9,i=0,1,…,n,an≠0).运用数学归纳法证明了:若对?i=0,1,…,n-1,有bi+1=kci+ai+1,bi+1≡ci+1(mod p),其中c0=a0,|ci+1|≤p-1/2,则p|Mn?p|bn.     

非核特征标集合与正规子群

讨论了当N≤｜G时,IBrp(G｜N)对正规子群N的结构及N对G的扩张性质的影响.得到: 定理1　若N G,G/N是p′群,则对任意的非线性不可约pBrauer特征标φ∈IBrp(G｜N)有:素数p不 整除φ(1)当且仅当N有正规Sylowp子群. 定理3　设G是p可解群,G/N是{p,q}′群,N G,素数p≠q.若对所有非线性不可约pBrauer特征标 φ∈IBrp(G｜N)有q｜φ(1),则N有一正规q补. 定理4　设G是p可解群,G/N是p′群,N G.素数p≠q.若对所有非线性不可约pBrauer特征标φ∈ IBrp(G｜N′)有q｜φ(1),则N有一正规q补.     

Irr(G|N)与群的可解性

主要讨论了不可约特征标集Irr(G｜N)在限制条件下对正规子群N的可解性的影响,然后讨论了关于N的一些简单结构.得到了下面一些主要结果:定理1　设N G.若Irr(G｜N)中每特征标S单项,则N为S群.定理2　设N G.若Irr(G｜N)中每特征标χ,存在H≤G,λ∈Irr(H)使χ=λG,H/Kerλ可解,则N可解.定理6　设S为素数阶群的集合,N G,a=max(cd(G｜N)),若任意χ∈Irr(G｜N),χ(1)相似文献