Orlik-Solomon代数的NBC基的一个算法

文中给出了Orlik-Solomon代数NBC基的一个算法,并在计算机上进行了实现。用此算法对顶点数小于7的带号完全n点形图构形做了π-分类,计算了各类的Poincaré多项式。最后,给出猜想“带号完全n点形的相反图构形A(G)是不自由的,则完全n点形图构形A(G)是自由的”的一个反例。     

一类图构形的Orlik-Solomon代数及Tutte多项式

研究得到了n-秩轮图及其导出图构形的Orlik-Solomon代数的计算公式,n-秩轮图关于某条边的删除B_n以及n-秩轮图的Tutte多项式的一般表达式,并计算了n-秩轮图（n=5,6）的双变量着色多项式,举例说明图的双变量着色多项式与Tutte多项式是不相同的。     

中心圈超平面构形

研究域K上l维向量空间V中的有限个超平面所构成的集合恰好是一个圈的中心超平面构形.计算此类构形的Orlik-Solomon代数的NBC基及它的Poincaré多项式,得到此类构形与圈图构形的关系及其可约性和超可解性.     

破轮图所决定构形为二次构形的证明

讨论了由破轮图所决定的图构形在哪些序下为二次构形。通过编写计算机程序得出有限个顶点的图构形为二次构形时序的情况,再找出这些序所反映的规律,最后再对这些规律进行逻辑论证并推广至顶点个数为n的情况。证明了由破轮图所决定的图构形为二次构形的一个充要条件。     

轮图和联图对应图构形的特征多项式

利用构形中的“删除 限制”方法, 通过考察n-圈和n-路图, 分别给出轮图和两条路的联图对应图构形的特征多项式.     

若干倍图的均匀染色

用归纳法完全解决了星、扇、轮和棱柱这4类图的倍图的均匀染色问题，对这些图给出了均匀色数，并对相应的图给出了具体的染色方法，这些结果部分支持了均匀染色猜想．     

一类带号图构形的Tutte多项式

研究了带号曲轮图和带号双半轮图对应图构形的Tutte多项式,主要用带号图的删除-限制定理来计算其Tutte多项式,并运用带号图的符号转换函数找到了几种有规律的基本图形（基图）,推导出这些基本图形Tutte多项式的递推公式后,通过计算机辅助给出这类带号图的Tutte多项式,进而得到特征多项式及OS代数的维数。最后计算了半螺旋双吸泵3种不同内部结构的Tutte多项式。     

超平面构形的ф3不变量的一个算法

文中给出了关于超平面构形不变量ф3的一个算法，在计算机上进行了实现，并对各种图构形进行了分类计算，找出轮式图中的规律。作为一个应用，证明了m＋1有个顶点的轮式图中有ф3=2m。     

轮图中间图的pebbling数

图G的一个pebbling移动是从一个顶点移走2个pebble,而把其中的一个移到与其相邻的一个顶点上.图G的pebbling数f(G)是最小的正整数n,使得不管n个pebble如何放置在G的顶点上,总可以通过一系列的pebbling移动把一个pebble移到图G的任意一个顶点上.文章研究轮图中间图的pebbling数.     

几类特殊图的最优填充

图的最优填充在稀疏矩阵计算中有重要的作用。利用图的分解定理和约化准则给出了扇形格子图Fm,n(m=1，2；n=1，2，3)和球面经纬图Gm,n(m=1；n=3，4)及(m，n)-构形等的填充数表达式，从而为确定这些图类的填充奠定了基础，并提出进一步研究的建议。     

具有大2-adic与k错2-adic复杂度的周期序列

在密码学的流密码理论当中,2-adic复杂度、k错2-adic复杂度类似于其它复杂度测度,同样要具有较大的数值.文中借助数论中的中国剩余定理等相关理论研究了二元序列的2-adic复杂度与线性复杂度的关系,证明了具有最大2-adic复杂度以及较大k错2-adic复杂度的N周期序列的存在性,给出了具有这种性质的周期序列的数目的下界.以此种周期序列作为密钥流序列可以有效地抵抗穷举攻击.     

CM elliptic curves and p-adic valuations of their L-series at s=1

For rational integers γ and λ, consider two families of (-1) and (-3) respectively. General formulae expressed by Weierstrass -functions are given for special values of Hecke L-series attached to such elliptic curves. The uniform lower bounds of 2-adic and 3-adic valuations of these values of Hecke L-series as well as global criteria for reaching these bounds are obtained. Moreover, when γ=2 and λ=2, 4, further results of 2-adic and 3-adic valuations are obtained for the corresponding curves in more general case of D1 and some restricted D2 respectively. These results are consistent with the predictions of the conjecture of Birch and Swinnerton-Dyer, and greatly develop and generalize some results in recent literature for more special cases.     

高等代数教材改革初探

本文从高等代数教学中存在的问题出发,先分析了高等代数教材的现状,再探讨了高等代数教材改革的指导思想,最后给出了高等代数教材内容编排及处理的设想。     

弱CM环的性质

主要研究特殊Noether交换环弱CM环的性质.这类环包括Cohen-Macaulay环、优秀环和广义Cohen-Macaulay环,能够用局部上同调模来刻画.证明了如果R是弱CM环,则R的有限生成代数, 以及R关于理想I的I-adic完备化环均为弱CM环.     

Special values of L-series attached to two families of CM elliptic curves

Consider two families of elliptic curves y2 x3 D1 x and y2＝ x3 4 3 2＝x3-D1x and y2=x3-2433D22 over fields ( --1 )and ( -3 ) respectively. Formulae expressed by Weierstrass _qfunctions are given for special values of Hecke L-se ries attached to such elliptic curves. The lower bounds of 2-adic and 3-adic valuations of these values of Hecke L-series as well as criteria for reaching these bounds are obtained. These results are consistent with the predictions of the conjec ture of Birch and Swinnerton-Dyer; and some results in recent literature for more special case and for 2-adic valuation are also developed.     

建立行列式理论的递归方法

现行的非数学专业的线性代数教材中，多数以排列的逆序数为基础建立行列式理论体系或给出行列式递归法的定义，缺乏其推导过程，本文从递归定义出发建立行列式的理论体系。     

二阶全矩阵代数的模代数结构

研究了某些二阶矩阵及其二阶矩阵对关于弱相似关系的等价分类,讨论了二阶全矩阵代数的kC2-模代数结构和kC3-模代数结构的同构类。在同构意义下给出了二阶全矩阵代数的kS3-模代数结构,且当k为代数闭域时,得到了二阶全矩阵代数的kS3 模代数结构的同构分类。     

关于1, 1/2, …, 1/n的一类初等对称函数的2-adic赋值

设n和k为正整数且n≥k.本文考虑关于1,1/2,…,1/n的第k次初等对称函数■的2-adic赋值．设p为素数．2015年,Lengyel证明v_p(H(n,k))>-klog_pn+O_k(1),其中v_p(H(n,k))表示H(n,k)的p-adic赋值,O_k(1)表示一个依赖于k的常数．2017年,Leonetti和Sanna猜想：对所有足够大的正整数n,总存在一个正的常数c=c(p,k),使得v_p(H(n,k))<-clogn,并对不超过x的正整数n证明了当n的p-adic表示是以k-1的p-adic表示为起始值时,除了至多3x^0.835个例外之外此猜想是正确的．本文给出了H(n,2)的2-adic赋值的确切值或下界,部分验证了上述猜想．