格路与组合恒等式

给出格路集Ｒ＿（ｎ×ｍ）的定义和其上的一种偏序关系；利用格路函数的性质计算出该偏序集的Ｍｂｉｕｓ函数，从而建立其上的Ｍｂｉｕｓ反演和一系列多元组合恒等式，使一些卷积公式成为其特例．     

基于格路模型的组合恒等式证明

组合恒等式在组合数学中占有重要地位,它有多种证法,模型的转换是组合计数的基本方法,其方法简洁直观。将格路模型应用在证明组合恒等式中,使证明方法十分灵活。在用这一方法时,要认真审题,观察每一项的结构以及各项的相同点,再建立相应的模型。     

对称格路与恒等式

对一种简单而又重要的组合结构——对称格路进行了研究。记dn,mn,sn分别为长2n的对称Dyck格路,M otzkin格路,Schr¨oder格路的个数。利用Riordan阵理论得到了他们之间所满足的六个组合恒等式并给予两个组合解释。最后,得到了特殊Riordan阵系数所满足的恒等式。根据某些恒等式估计长为2n的对称Dyck路平均中间高度和平均落在x轴上的点的个数。     

一类广义格路的计数

连结m×n的棋盘上一对对角顶点的路称为广义格路.利用限位排列计数方法,得到m×n的棋盘上长为m+n+2的广义格路的计数公式.     

试论卡普兰斯基的多项式恒等式环与正交模格思想北大核心CSCDCSSCI

美国数学家卡普兰斯基主要研究代数学,在环论、模论、群论等代数领域做出了里程碑式的成果。本文通过文献考证和概念分析,重点对卡普兰斯基的两篇抽象代数学代表作进行研究。研究表明:他证明了一个具有多项式恒等式的本原代数在其中心上是有限维的,开创了非交换代数的重要分支;他在模格领域引入"正交"概念,首次将以正交偶为模对的正交补格命名为"正交模格",证明了任何正交补完备模格都是连续几何。     

广义代数格的可加性与T0拓扑

证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的，进而证明可加广义代数格之范畴等价于T0拓扑空间之范畴。因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用。     

q类似的雅可比恒等式与量子Kac—Moody代数

本文通过对李代数ｇ＝ＳＬ（２，Ｃ）的基底（ｂａｓｉｓ）的ｑ参数化，构造了一种ｑ类似的雅可比恒等式，进一步获得了对应的量子Ａ（１）１Ｋａｃ－Ｍｏｏｄｙ代数     

关于二次线性迭代序列的一些恒等式

利用形式幂级数的变换技巧，得到了一类关于二次线性迭代序列的恒等式。特别地，可选择恒等式中所涉及的参变量，以得到关于古典Ｆｉｂｏｎａｃｃｉ数和Ｌｕｃａｓ数的倒数幂的恒等式。     

矩阵环的欧拉恒等式与标准多项式恒等式

Szigeti-Tuza和Revesz使用Swan图论定理构造了n×n矩阵环Mn（C）的欧拉恒等式[1].本文中证明这些恒等式可由标准多项式生成,即：若欧拉图Γp,q从某顶点t到u（t,u可为同一点）至少有n条边,则该欧拉图对应的欧拉多项式fΓp,q（X）可由标准多项式Sn（X）生成.该结果不仅推广了Chang[2]和Giambruno-Sehal[3]的结果,而且找到由欧拉恒等式生成的T-理想的一个有限生成集.     

关于模格,分配格充要条件的严格推证

本文在离散数学的范围内,从格、子格、模格、分配格的定义,格的运算性质出发,充分利用两个特殊的五元格,对有关格是模格、格是分配格的充分与必要条件的五个定理作出严格的推证。     

粗集代数与蕴涵格、格蕴涵代数、剩余格

在重新定义补运算和构造新蕴涵算子的基础上,证明了偶序对〈R,～R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格,而且可构成正则剩余格和MV-代数。     

谈无限双线性方程的一些性质

设A=（ai）iI，B=（bi）iI，ai，bi，n[0，1]，则称方程A⊙X=B⊙X=r为无限双线性方程，其中⊙是。max-min合成．讨论了[0，1]格上无限双线性方程的一些性质．     

关于带对角步的格路一文的纠错

指出了V.K.Rohatgi一文中关于从(0,0)到(m,n)的带对角步和其它限制的格路的三个计数公式是错误的,并给出了正确的形式.     

一类行列式恒等式的证明及应用

给出了二、三阶行列式恒等式．利用行列式的定义和数学归纳法两种方法给出证明．在一定条件应用恒等式去计算一些行列式和解线性方程组．一方面,从新的角度探讨了行列式自身的性质;另一方面,为快速计算带有字母的行列式（符号运算）提供了新的方法．其结果不能够包含在已有的经典方法中,补充了已有的结果．     

欧拉恒等式与Amitsur-Levitzki定理

Szigeti-Tuza-Revesz使用Swan图论定理构造了Mn（F）的欧拉恒等式.该文证明这些恒等式可用简单方法由Amitsur-Levitzki定理得到.特别地,用这一方法还可得到Chang[3]、Giambruno-Sehgal[4]关于Mn（F）的多项式恒等式.