有限集合上函数的强等价类

假设D、R是有限集,记R~D={f;f:D→R}。又假设G、H是分别作用在D、R上的置换群。L。Carlitz定义R~D中的强等价关系如下:对于任意的f、g∈R~D,称f关于     

一致区域和Zygmund定理

设G是复平面C上的一个区域,且至少含两个点。用表示在G中解析,上连续的函数全体所组成的集合。对于是一个二阶连续模型函数,它在所讨论的区间上都有定义。如果对任意的z_1,z_2∈G及任意点z∈G∩[R(z_1,h)∪R(z_2,h)],下面不等式成立     

由一类图的着色导出的素数子集的分类

设P表示全体素数的集合,D(?)P。令G(Z,D)表示这样一个图:它的顶点集是全体整数的集合,两个顶点x和y之间有边连结当且仅当|x—y}∈D。Eggleton,Erds和Skilton等在文献中证明了:不论对任何素数子集D(?)P,图G(Z,D)的色数至     

约束的p-子群和p-约束群的亏数群的一些结果

本文中,G是有限群,S_p(G)是G的Sylow p-子群的集合。我们固定一个分裂的模系统(K,R,F),这里,CharK=0及CharF=P。一个p-块是指群代数FG的     

有关亏数群的一些结果

本文中,G为有限群。S_p(G)为G的Sylow p-子群的集合。我们固定一个分裂的模系统(K,R,F),这里,CharK=0及CharF=p。一个p-块是指群代数FG的块。     

临界2棱连通图的最大度及度大于4的点数

设G是临界2棱连通图,D是G中2度顶点集合,D_(≥2k-1)(G)={x:(x∈G)∧(d(x)≥2k-1)},D_(2k-1):2k(G)={x:(x∈G)∧(2k-1≤d(x)≤2k)},其中k是自然数。[a]表示不大于a的最大整数。我们得到如下结果:     

关于单K_4-群

确定某种类型阶的单群已有不少结果(见文献[1—6]),其中文献[2]证明了有限群G的阶的相异素因子数|π(G)|为3的单群是下述群之一:A_5,A_6,L_2(7),L_2(8),L_2(17),L_3(3),U_3(3)及U_4(2)。文献[7]称上述单群为单K_3-群,并指出它们的分类只能作为所有的有限单群分类的一个推论。     

L_p(R)中一个光滑函数类在L(R)尺度下的无穷维宽度和最优恢复

1 引言设 r 为一自然数,P_r(t)=(t-t_j),t_j 为实数,j=1,2,…,n.P,(D)(D=d/dt)表示 P_r(t)的导出微分算子.对1≤p,q,s≤∞,W_(pqs)(P_r)表示定义在全实轴 R 上所有具有 r—1次局部绝对连续且满足约束条件‖P_r(D)f‖_(pq)≤1的光滑函数 f∈L_s(R)构成的集合.这里范数‖·‖_(pq)按文献[1]定义如下:     

Melnikov猜想Δ=4情形的一个证明

设Ｇ为一个平面图,Ｖ(Ｇ),Ｅ(Ｇ),Ｆ(Ｇ),δ(Ｇ)和Δ(Ｇ)分别表示Ｇ的顶点集合、边集合、面集合、顶点最小度和最大度.ＮＧ(ｕ)为点ｕ在Ｇ中的邻集,Ｇ[Ｓ]为Ｇ中由ＳＶ(Ｇ)导出的子图.Ｇ中的一个3圈Ｃ3称为Ｇ的一个分离三角形,如果Ｃ3的内部和外部均含有Ｖ(Ｇ)\Ｖ(Ｃ3)中的顶点.Ｇ的边面全色数χｅｆ(Ｇ)是使得集合Ｅ(Ｇ)∪Ｆ(Ｇ)中的相邻或相关联的元素均染为不同色的最少颜色数.由定义,χｅｆ(Ｇ)≥Δ(Ｇ)是显然的.另一方面,Ｍｅｌｎｉｋｏｖ猜想[1]:对任何简单平面图Ｇ,χｅｆ(Ｇ)≤Δ(Ｇ) 3.文献[2,3]给出了下面结果:定理1　若Ｇ为Δ(Ｇ…     

连通环上Borel子群的自同构

设G是由有限维复单李代数L与其伴随表示确定的伴随型Chevalley-Demazure群概形,R是一个含单位元的交换环,R~*是R中所有单位构成的乘群,G(R)是环只上的ChevaUey群。设Δ是L的根系,Δ~+是由某一组素根系确定的正根系。设E(R)是G(R)的初等子群,U(R)是E(R)中由所有x_α(t),t∈R,α∈Δ~+,生成的上三角幺幂子群。设T(R)是G(R)的标准极大环面,T(R)同构于Hom(P,R~*),其中P是由Δ在整数环Z上张成的格。设B(R)是G(R)的由子群U(R)与T(R)生成的标准Borel子群。本文的主要结果是:     

单群的一种数量特征

本文只讨论有限群,文中记号是标准的.设G是有限群,用π(G)表|G|的素数因子的集合.用[x]表示不超过x的最大整数.用纯数量来刻划群历来被群论工作者重视,并有许多好结果(见文献[1]).这种研究可分成几个方面,其中一个重要的方面是用极大子群的阶或指数来刻划群的特性.例如,Huppert关于超可解群的著名定理:有限群G超可解(?)G的极大子群的指数都是素数.Guralnick给出了有素数幂指数的极大子群的单群,并证明极大子群的指数都是素数幂的群G可解或G/S(G)(?)PSL(2,7).王殿军用极大子群的阶的集合刻划了SL(2,q).作者从极大子群的指数的因子情况和类数等不同的角度来研究群的结构,获得了一些结果.通过这些研究可以看到极大子群的指数集合或阶的集合对群的结构有很大的影响.我们猜想这两个集合能够用来刻划群特别是单群.本文已获得下列定理:     

关于数学结构的一些元数学定理

定义1 设S是个体集合,R是S上的一些关系的集合,M(S,R)由R和S所组成。如果它的公理可在一阶语言L中表述,并使得对任何可在M中定义的n元关系A和M中的     

图的联结数及其三角形

简单图G的联结数记作bind(G),它是满足下式的最大实数C。这里V(G)是图G的顶点集,N(u)表示图G中与顶点u相邻接所有顶点作成的集合。     

p块中不可约模表示的个数

G是有限群,F是G的特征为p的分裂域.FG是群代数,我们简记为R=FG。J(R)是R的根。对R的任一子代数W,令(?)=(W J(R))/J(R),它是(?)=R/J(R)的子代数。特别地当W是理想时,     

图到其迭线图的子图的同构

如果存在一个图G到图H的子图G′上的同构φ,我们就记作GH,说G嵌入到H内,而φ称为G到H内的一个嵌入。1982年,D.Bauer和R.Tindell对既不是道路,也不是K_(1,3)的图G定义了一个不变量∧(G),它是使GL~n(G)成立的最小的n,n≥1。他们研究了∧(G)=1的图,并提出研究∧(G)=2的图,以及对所有树T,确定∧(T)这两     

正则图中的哈密尔顿圈

关于2连通、k正则图中哈密尔顿圈的存在性,已经有了许多结果,参见[1—5]。 本文仅考虑简单图,并采用常用的图论方面的术语和记号。以V(G)和E(G)分别表示图G的点集合和边集合。     

关于有限群的相关正规补子群

本文所论群均为有限群,π为素数之集合,π′为其余集,π(G)表示群G的阶的素因数集合。     

仿射空间中的5-设计

Alltop给出了一个仿射空间中的5-设计,本文扩展文献[1]的结果,给出V_8(F_2)中六个5-设计,其参数为5-(2~8,k,λ),其中k=23,24,25,46,47,69. 设Q=V_n(F_2)是二元域F_2上的n维向量空间,G是Q上的仿射变换群。 V_n(F_2)中的四元集有两个仿射类U_1~(4)和U_2~(4)由四元化零集(即元素之和为零)组成,五元集也有两个     

关于滤环与分次环的Bjrk问题

设R为含单位元的诺特滤环,G(R)为相应分次环.设M为R滤模,gr(M)为相应的分次G(R)模.Bj(?)rk探讨了M为良滤模与gr(M)为有限生成模二者的关系.当R为正滤环且G(R)为诺特环时,M为良滤模的充要条件是gr(M)为有限生成模.但只把对R的限制放宽到Zariski滤环,就难于断定这一结论是否正确了.具体地说,Bj(?)ry的问题如下:设R为Zariski滤环,M是有限生成R模且配备分离滤,则当gr(M)是有限生成G(R)模时,M是否为良滤模?     

可分解设计RGD(4,3;v)的存在性

所谓一个可分组设计GD(k,m;v)是指这样一个有序三元组(V,G,B),其中V是一个v元集,G是V的一些m子集(称作组)的集合,B是V的一些k子集的集合,使得 (ⅰ) G构成V的一个划分; (ⅱ) V中任意一对取自G中不同组的元素恰好在唯一的一个区组中相遇。 给定一个GD(k,m;v),若B中的若干个区组构成V的一个划分,则称为一个平行