B2-型量子群的不可约模的Gröbner-Shirshov对

首先用B2-型量子群U_q(B2)的已知Gröbner-Shirshov基和双自由模方法,给出B2-型量子群上不可约模V_q(λ)的Gröbner-Shirshov对,然后通过在U_q(B2)的适当形式中取q=1给出B2型单Lie代数的泛包络代数U(B2)的Gröbner-Shirshov基和不可约U(B2)-模V(λ)的Gröbner-Shirshov对。     

泛代数上的Gr迸bner-Shirshov基理论

综述了域上或交换代数上的线性（Ω-）代数的相应的簇（范畴）的Gr迸bner-Shirshov基理论的新成果,如：结合代数（包括群（半群）代数）,自由代数的张量积,李代数,Di-代数,pre-李代数,Rota-Baxter代数,metabelian李代数,L-代数,半环代数,范畴代数,等。其中包含了许多应用,尤其是给出了一些著名结论的新的证明。     

B2-型modified Ringel-Hall代数的Gr?bner-Shirshov基

给出了modified Ringel-Hall代数中不可分解复形同构类之间的所有拟交换关系,证明了这些拟交换关系之集是B₂-型modified Ringel-Hall代数的一个极小Gr9bner-Shirshov基。作为一个应用,得到了B₂-型modified Ringel-Hall代数的一组PBW基。     

关于环上矩阵乘积的广义逆

研究环上矩阵乘积的广义逆 ,得到了其广义逆存在的充要条件 ,给出了相应广义逆的表达式 ,推广了文献 [1 ]的有关结果。     

关于环上矩阵的广义逆（Ⅱ）

本文给出了环上矩阵（１，５）－逆的一个新的计算公式，并利用群逆刻划了约化环、强正则环及除环，最后讨论了矩阵幂的ＭＰ－逆和群逆之间的联系。     

矩阵广义逆与算子广义逆

回顾了矩阵广义逆和算子广义逆的发展历史,总结了该学科近年来的研究进展,并对其未来研究前景进行了展望.     

广义Fuzzy矩阵的广义逆

讨论了半环〈IL0.1,∨,∧〉与〈F(x),∪,∩〉上广义逆矩阵的计算问题,并给出了广义逆矩阵与解关系方程的关系     

环上矩阵广义逆的协变性

本给出了一类满足广义逆协变性条件的可逆矩阵集合与常见的可逆矩阵集合之间的关系，推广了复数域，四元为数体上矩阵广义逆协变性的相应结果。     

除环上矩阵的因式分解广义逆

该文研究除环上的因式分解广义逆，讨论了它的基本性质，给出了具有指定右列空间和右零空间的｛１，２｝逆可以表为一个因式分解广义逆的充要条件．     

广义逆与环的rc—正则性

引进了一类广义逆－Ｌ逆，进而利用Ｌ－逆刻画了环的ｒｃ－正则性。     

复矩阵广义逆和加权广义逆的递归计算公式

给出了计算复矩阵4种不同类型广义逆的统一递归公式和计算复矩阵3种不同类型加权广义逆的统一递归公式,推广了已有结果.     

广义逆多项式模的弱Co-Hopf性质

设R是环，但未必含有单位元．(S，≤)是Artin的严格全序幺半群．如果左R-模M具有性质(F)，则左R-模M是弱Co-Hopf模当且仅当左[[R^s.≤]]一模[R^s.≤]是弱Co-Hopf模．     

幂等自反环中广义逆的包含性质

考虑幂等自反*-环上广义逆的包含性质,对于幂等自反*-环中的两个{1,3}-可逆元素a和b,证明a=b当且仅当a{1,3}=b{1,3}.     

伪核逆的广义Cline公式和广义Jacobson引理

在?-环中,我们研究了伪核逆的广义Cline公式和广义Jacobson引理.讨论了在dbd=acd,bdb=bac条件或dbd=acd,aca=dba条件下,当1-ac(或ac)有伪核逆时,1-bd(或bd)有伪核逆的等价条件.进一步地,通过1-ac(或ac)的伪核逆给出了1-bd(或bd)的伪核逆的表达式.     

关于矩阵广义逆的几个性质

Magnus和Neudecker曾讨论Moore-Penrose广义逆所具有的“乘积化简”和“加减分拆”等若干较好性质。本文推广得到最小二乘广义逆和最小范数广义逆等也具有这些性质,为其进一步应用提供了方便。     

广义正则半群 广义逆半群

推广正则半群，逆半群为广义正则半群，广义逆半群，并得到相应的结果。     

关于广义逆的唯一性问题

给出了环上矩阵在广义逆存在前提下,各种广义逆唯一的充要条件。     

布尔群代数的广义逆

主要给出了布尔群代数BG中的元有广义逆的充要条件及广义逆的结构定理，给出了求全部广义逆的一种算法，并指出了广义逆；极大广义逆与互反的广义逆间的关系。     

平面几何命题机器证明的Grbner基方法

探讨了初等平面几何命题机器证明的Grbner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实现也较易。