倾斜模唯一性的有效判定

本文总假设k为代数闭域,A为k上基的(basic)连通的(connect)有限维代数(结合的,带单位元)。代数A上的模总指有限生成左A-模。在同构的意义下,记{P_A(a)|a∈I}表示所有不可分解投射模的集合,{E_A(a)|a∈I}表示所有不可分解入射模的集合,{S_A(a)|a∈I}表示所有单模的集合,这里I是固定的有限集合,P(a)/rad P(a)=S(a)=soc E(a),在不引起混淆的情况下,我们可以省略下标A.另外,对于JI,我们记     

椭圆曲线码的自同构群

设K是以F_q为常数域的单变量函数域,如果K是可离生成的且亏格为1的守恒域,则称K是椭圆函数域(定义见文献[1],p.190).我们总假设K中有一阶素除子且个数≥6,并用K(1)记作K中一阶素除子集合。在K(1)中取定一个元P_∞,那么我们可以在K(1)中定义一个加法,使K(1)是一个Abel群,P_∞是这个群中零元素,用〈K(1),⊕,P_∞〉记之,加法按如     

P(n,4)与A(n,4)的简单统一显式

设P(n,k)为整数n分为k部的无序分析的个数,每个分部≥1.这个数已成为组合图论和数论里的重要数据,应用广泛,但却十分难于具体计算.为此,作者已给出P(n,k)的降部恒等式和快速计算的几个定理.但对每一k≥4而言,迄今无法求出简单统一的公式,目前只有 P(n,2)=[n/2]简单统一的公式,目前只有和p(n,3)=.又设A(n,k)为下述Diophantos方程sum from i=1 to k(ix_i)=n (1)的非负整数解的个数.尽管方程(1)看来很特殊,但求A(n,k)也是十分困难的.迄今只有 Hardy给出的 A(n,3)=<(n+3)~2/12>.人们至今无法给出简单统一的 A(n,4).本文所有记号与文献[1,2]相同,表示距实数x的最近整数,并记r=1-(-1)~n/2=0(当n为偶数),1(当n为奇数)(2)本文主要的结果是引理1(转换关系)     

定向图中的路和回路

一个没有环的,任意两个顶点之间最多只存在一条弧的有向图,称作为定向图。定向图D=(V,A),其中V是D中的顶点集合,A是D中的弧集合。令D中各顶点的出度和入度不小于k.Jackson证明了D中存在一条长度至少为2k的通路。在本文中,将给出一个更好的结果。     

关于函数的增长性

本文的目的是给出一个方法,用它可以根据以上几个不等式来研究,当r经过某些集合中的值趋于∞时,log M(r)/T(r),M(r)/A(r),M(r)/m(r)及rM~1(r)/M(r)的渐近性质。我们的方法是根据下列定理:定理1 设f(x),r(t),δ(y)及φ(y)为四个满足下列条件的函数:     

凸体内的随机单形

设K是n维欧氏空间E_n中的有界凸体,P_0,P_1,P_2,…,P_k是K内的k+1个随机点,△_k表示凸包conv{P_0,P_1,…,P_k)的min{k,n}维体积。令     

可分解设计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的一个划分,则称为一个平行     

有限几何与BIB设计的构作(Ⅰ)——利用有限几何的子空间构作BIB设计

设有v 个元素,称作处理,将它们安置在b 个区组中,使得i)每个处理都在r 个区组中出现,ii)安置在每个区组中的处理个数都是k,iii)任意一对不同的处理都在λ个区组中出现,则称此安置为一个平衡不完全区组设计,即BIB 设计,v、b、r、k 与λ叫做这个设计的参数.本文研究利用有限几何的子空间构作     

正则二部竞赛图的弧泛回路性质

二部竞赛图D=(V,A)即是一个完全二部定向图,称D具有弧k回路性质,若D中的每一条弧均在k回路上,这里k为偶数,且4≤k≤|V(D)|,若对所有的偶数k4≤k≤|V(D)|,D总是具有弧k回路性质,则称D具有弧泛回路性质。     

关于本原矩阵严格Hall指数的一个猜想

设B_n是所有n阶布尔矩阵的集合,对A=(a_(ij)),B=(b_(ij))∈B_n,若a_(ij)≤b_(ij),i,j=1,2,…,n,则记A≤B。如果存在正整数k,使A~k=J_n(全1方阵),那么A∈B_n称为本原矩阵。这样最小的k称为A的本原指数,记作γ(A)。B_n中所有本原矩阵的集合记为P_n。如果存在置换矩阵Q,使Q≤A,那么A∈B_n     

广义Kac-Moody代数虚根与权的注记

本文中符号均同文献[1],并记P_ ~0 ={λ∈P_ |〈λ,α_i~v〉≥O,(?)α_i∈∏~(im)}.可以证明,当GKM代数g(A)不必可对称化时,文献[2]中的结果亦成立,即有引理 设(?)∈P_ ~0,则(a)任一λ∈P(?)都关于(?)非退化;(b)对任意α_i∈∏~(im)及λ∈P(?),当〈λ,α_i~v〉=0时,过λ的α_i权链中只含λ一个元;当〈λ,α_i~v〉>0时,过λ的α_i权链形如 …,λ-α_i,λ,…,λ qα_i(q∈Z_ );(c)P(?)=W|λ∈P_ ~0|λ关于(?)非退化}.定理1 设(?)∈P_ ~0,则P(?)(?)((?) Q)∩C_0(W(?)).     

关于路图P_3(G)的Hamilton性的两个结果

“路图”是线图概念的发展.给定一个图G及自然数k≥2,路图P_k(G)的顶点是G中k个顶点的路P_k;两条路P_k在路图中是相邻的,如果它们的并是P_(k+1)或C_k.为     

具有偏差变元的偏微分方程周期解

的形如Z=(iω)P,P∈Z~n,的零点个数为算子L的ω特征指数,记作r(ω)。定义2 算子L说是ω偏差椭圆的,如果存在充分小的正数λ和充分大的正数A,使得     

码的重量谱系的充分条件

令C是[n,k;q]码,即码长为n,维数为k的q元线性码。对C的任意子码D,定义D的支持是D中码字不全为零的分量的位置集,记为χ(D),D的支持重量为,|χ(D)|。对1≤r≤k,r维最小支持重量定义为     

不可约g(A)模的某些性质

设g(A)是结合于n×n广义Cartan矩阵A的kac-Moody代数,为Cartan子代数,π={α_1,…,α_n},π~v={α_1~v,…,α_n~v}分别为根基和对偶根基。P_+表示支配整线性函数的集合。g(A)上不可约可积模L(Λ)的权系记为P(Λ)。本文首先证明了如果λ是P(Λ)中的一个支配权,那么P(λ)P(Λ)。进一步,如果A—λ也是支配的,那么就有mult_(λμ)≤mult_Λμ,_μ∈P(λ)。此外还证明了文献[1]中命题11.2(b)中的条件不仅是充分的也是必要的,并利用P(Λ)给出P(λ)的一个刻划。本文中所用的符号均与文献[1]中的相同。     

矩阵dI_βJ的性质及其应用

设v>2,又设v元集S的一个子集系(?)={B_1,B_2,…,B_b}是S上的一个平衡不完全区组设计,其参数为b、v、r、k、λ。记该设计的关联矩阵为A,于是     

Pòlya计数定理之精细化

屠规彰在《组合计算方法及其应用》(科学出版社,1981,p.206)一书中提出的P(?)lya-de Bruijn定理(ds Bruijn,N.G.,A survey of generalizationof Pblya's enumeration theorem, Nieuw Arch. Wik.1971,19,89—112)三个局限性问题之一为:“它(P(?)lya-de Bruijn定理)只给出了等价类的个数,而未告诉我们每个等价类中有多少个元;”。这里,我     

再论多重共轭Fourier级数的强求和

本文是文献[1]的继续,其目的是改进文献[1]关于多重共轭Fourier级数强求和的结果。 沿用文献[1]的记号。设Q={x=(x_1,…,x_k):-π≤x_j<π,j=1,…,k}。 L(Q)表示在Q上可积的函数的集合,设P(x)是一个n≥1次的k元齐次调和多项式。对于f∈     

(a,b,k)-临界图

本文所考虑的图皆指有限无向简单图。设G是一个图,具有顶点集合V(G)和边集合E(G)。文中未加说明的记号和定义参见文献[1]。设S(?)V(G),用G[S]表示G中由S导出的子图。用d_G(x)表示顶点x在G中的次数。设a和b是两个非负整数且a≤b。图G的一个[a,b]-因子是G的一个支撑子图H,使对任意的x∈V(H)有设。如果去掉图G的任意k个顶点所剩的图仍有[a,b]-因子,则称图G是(a,b,c)-临界图,或者说G是(a,b,k)-临界的。如果a=b=n,则简称(a,b,k)-临界图为(n,k)-临界图。如果n=1,则简称(n,k)-临界图为k-临界图。Plummer和Lovasz讨论了2-临界图的特征和性质。于青林给出了k-临界图的特征。刘桂真和于青林研究了(n,k)-临界图的特征。本文考虑a相似文献   

具有广义半线性性质的抽象语言族

一、引言和结果陈述 设V={v_1,…,v_n}为字母集合,对每个字P∈V~*,以N_(vi)(P)表示字母v_i在P中出现的次数,1966年Parikh在研究语言的本性不分明特性的时候,引进了映射φ:V~*→N~n,φ(P)=(N_(v_1)(P),…,N_(v_n)(P)),其中N={0,1,2,…}.N~n中子集合A叫作是线性的,是指存在r≥0和a_0,a_1,…,a_r∈A,使得