格上三角模及其构造方法

首先引进格上三角模的概念，给出7个格上三角模的具体模型。研究了格上三角模的基本性质，并给出了构造格上三角模的一般方法。     

有限链上的三角子模

为了构造有限链上的三角模，引入了有限链上的三角子模的概念，给出了生成有限链上的三角子模三角模的方法；然后讨论了有限链上的光滑三角子模的结构。     

蕴涵算子族及其构造

给出了蕴涵算子族的定义,将蕴涵算子的性质进一步推广,给出了蕴涵算子族的16条常用性质.基于含参数的三角模和余三角模构造了42种蕴涵算子族.验证了所构造的蕴涵算子族是否满足16条常用性质,揭示了它们与几个重要蕴涵算子族之间的关系.     

形式三角矩阵环上的F-Gorenstein平坦模

设■是形式三角矩阵环,其中A,B是环,U是(B,A)-双模.利用Hom函子和伴随同构等理论,刻画形式三角矩阵环T上的F-Gorenstein平坦模结构,并证明若_BU的平坦维数有限,U_A的平坦维数有限且对任意的余挠左A-模C,有U?_AC是余挠左B-模,则左T-模■是F-Gorenstein平坦模当且仅当M₁是F-Gorenstein平坦左A-模,Coker φ^M是F-Gorenstein平坦左B-模,且φ^M:U?_AM₁→M₂是单射.     

无界上三角算子矩阵的谱等式

研究了无穷维复可分Hilbert空间中的2×2无界上三角算子矩阵■是满射、下方有界及可逆的充要条件,进而得到了等式σ_*(T)=σ_*(A)∪σ_*(D)成立的充要条件,其中σ_*∈{σ_δ,σ_ap,σ}。这些结论推广了Du,Han及Barraa等学者在有界算子矩阵的情形下给出的充分条件。作为应用,给出了对角占优的上三角无穷维Hamilton算子可逆及谱等式成立的充要条件,并辅以实例佐证。     

三角矩阵环上的Gorenstein AC-投射模

考虑三角矩阵环上的Gorenstein AC-投射模. 设T是三角矩阵环, 其中A和B是环, U是(B,A)-双模. 证明: 若_BU是平坦模, U_A是有限生成投射模, 则左T-模M是Gorenstein AC-投射模当且仅当M₁是Gorenstein AC-投射左A-模, φ^M是单同态, 且Coker φ^M是Gorenstein AC-投射左B-模.     

三角Banach代数上的对偶模Jordan导子和对偶模广义导子

设A,B是含单位元的Banach代数, M是一个Banach A,B-双模。 T=(^{A M}_B) 按照通常矩阵加法和乘法,范数定义为‖(^{a m}_b)‖=‖a‖_A+‖m‖_M+‖b‖_B,构成三角Banach代数。通过作用(^{f h}_g)(^{a m}_b)=f(a)+h(m)+g(b), T的对偶空间 T^*为(^{A* M*}_B^*)。 在T^*上定义模作用 (^{a m}_b)·(^{f h}_g)=(^{a·f+m·h b·h}_b·g), (^{f h}_g)·(^{a m}_b)=(^{f·a h·a}_h·m+g·b), 使其成为一个对偶Banach T-双模。从T到T^*的映射称为对偶模映射。 本文对T上对偶模Jordan导子和对偶模广义导子进行讨论, 给出了T上对偶模Jordan导子是对偶模导子的一个充分条件并且对T上对偶模广义导子进行了刻画。     

格上的s-传递模糊矩阵

在模糊矩阵文献中,人们不仅用min和max这两个运算来定义和讨论矩阵的运算,还用[0,1]上的三角模来定义和讨论矩阵的运算.本文利用完备分配格L上三角s-模及模糊矩阵运算,定义了s-传递模糊矩阵,并且给出s-传递模糊矩阵的一些性质.如设S是∧-分配s-模,A是s-幂等矩阵,那么,A是幂等矩阵当且仅当A是传递矩阵;传递的...     

主理想整环上三角块矩阵模的保群逆线性算子

本文刻画了当R是一个至少含有4个单位的主理想整环时,R的上三角块矩阵模到全矩阵模的保群逆线性算子的具体形式。通过对其过渡矩阵的限制,又得到了上三角块矩阵模上的保群逆线性算子的具体形式。并且作为应用,上三角矩阵模上的保群逆线性双射的具体形式也被给出。     

关于QL-算子的第一变元反序性

研究了由连续三角模T,连续三角余模S和严格否定n生成的QL-算子I=（x,y）=S（n（x）,T（x,y））,给出了该算子的部分类型成为模糊蕴涵的充要条件,推广了参考文献[8]的相应结论。     

形式三角矩阵环上的强Ding投射模和强Ding内射模

讨论了形式下三角矩阵环T=(A 0U B)上的强Ding投射模和强Ding内射模,证明了当U_A和_BU的平坦维数有限,并且(M₁M₂)_φ^M是强Ding投射左T-模时,M₁是强Ding投射左A-模,φ^M是单同态,M₂/Im φ^M是强Ding投射左B-模。     

Virasoro超代数的不可分解Harish—Chandra模

证明了Virasoro超代数的不可分解模一定是下述模之一：i）一致有界模；ii）范畴 的模；iii）范畴 的模；iv）具有平凡模V（0）作为其复合因子的一类模．推广了文献[3]的结果．     

构造三角模的新方法

根据上下确界的性质,首先利用一个满足交换律和结合律的二元函数得到了几个构造三角模和三角余模的方法;然后又利用一个只满足结合律的二元函数得到了几个构造三角模和三角余模的方法。     

完备Brouwer格上伪t—模与蕴涵算子

本文引入并讨论Brouwer格L上伪t-模概念,详细研究L上无穷V-分配伪t-模与无穷∧-分配蕴涵之间的关系,证明[0,1]上三类基本的Fuzzy蕴涵与Yager蕴涵都是[0,1]上无穷V-分配伪t-模诱导的蕴涵.此外,我们给出一种生成伪t-模与蕴涵的方法.     

构造三角模的新方法

根据上下确界的性质,首先利用一个满足交换律和结合律的二元函数得到了几个构造三角模和三角余模的方法;然后又利用一个只满足结合律的二元函数得到了几个构造三角模和三角余模的方法.     

三角矩阵环上的(n,d)-内射模

设A,B是环,U是(B,A)-双模,n,d为非负整数,■是形式三角矩阵环,首先,证明了■是n-表现左T-模当且仅当M₁是n-表现左A-模,Coker φ^M是n-表现左B-模且φ^M:U?_AM₁→M₂是单同态。其次,证明了当■是(n,d)-内射左T-模时,M₁是(n,d)-内射左A-模,M₂是(n,d)-内射左B-模。     

单位区间上由Gödel模和Galois联络生成的三角模

研究单位区间上由G?del模和Galois联络生成的三角模的结构,利用幂等元集给出这类三角模的刻画,证明两个这样的三角模同构当且仅当它们的幂等元集间存在保序同胚.     

剩余型直觉模糊差算子的统一形式

研究了直觉三角模和直觉三角余模的性质,提出了直觉模糊差算子和直觉余伴随对的概念,证明了它们可以由左连续的三角模生成,讨论了它们在直觉模糊区域上的结合性和分配性.给出了由左连续三角模生成的直觉三角余模所伴随的剩余型直觉模糊差算子的统一形式,根据直觉模糊算子与模糊算子的关系,给出了4类直觉模糊差算子的具体形式.     

完备格上的拟t-模与蕴涵算子

引入并讨论完备格L上的拟t-模与剩余蕴涵的概念，研究了L上拟t-模与剩余蕴涵之间的关系，给出求一个已知拟t-模或剩余蕴涵的剩余算子的方法，并指出[0，1]上的两类基本蕴涵和Yager蕴涵都是可以由[0，1]上的拟t-模诱导的剩余蕴涵．     

用单一公理刻画由复合直觉模糊关系生成的（S,T）-直觉模糊粗糙近似算子

粗糙集理论中的下近似算子和上近似算子是粗糙集理论基础研究和应用发展最重要的概念之一.粗糙近似算子的公理刻画是粗糙集理论研究的一个重要方向.基于[0,1]×[0,1]上的一个直觉模糊三角模T及其对偶直觉模糊三角余模S,给出由直觉模糊关系生成的直觉模糊近似算子的公理方法.证明了由串行、自反、对称、传递等合成的各种直觉模糊关系生成的S-下直觉模糊近似算子与T-上直觉模糊近似算子都可以用一条公理来刻画.