期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
Riesz模范畴中自由函子的伴随性
1
作者 王金萌 汤建钢 《伊犁师范大学学报(自然科学版)》 2024年第2期1-5,共5页
基于左R-模上Riesz空间的相关研究,给出了Riesz模范畴的概念,研究了Riesz模范畴中自由函子的伴随性及可裂性,证明了自由函子与遗忘函子是一对伴随函子,以及自由Riesz模F的一个满同态ϕ:M→F是可裂的.
关键词 Riesz模范畴 自由函子 伴随性
下载PDF
对合Quantale范畴中的自由对象及其良幂性 被引量:4
2
作者 周异辉 赵彬 《工程数学学报》 CSCD 北大核心 2006年第2期216-224,共9页
本文首先给出了对合Quantale余核映射的概念,证明了任意子对合Quantale都是某对合Quantale余核映射的象。其次构造出了对合Quantale范畴IQuant中由集合生成的自由对合Quantale的具体结构,证明了遗忘函子 U:IQuant→Set有左伴随,并给出... 本文首先给出了对合Quantale余核映射的概念,证明了任意子对合Quantale都是某对合Quantale余核映射的象。其次构造出了对合Quantale范畴IQuant中由集合生成的自由对合Quantale的具体结构,证明了遗忘函子 U:IQuant→Set有左伴随,并给出了其左伴随函子。最后,证明了IQuant中的单态射恰为单同态,得出了对合Quantale上的余核映射与其在范畴IQuant 中的子对象是一一对应的,从而证明了IQuant是良幂的。 展开更多
关键词 对合QUANTALE 对合Quantale余核映射 自由对象 伴随函子
下载PDF
自由函子及其伴随函子
3
作者 吴毅清 文蕴 《数学理论与应用》 2005年第4期41-43,共3页
本文证明了由集合范畴到f-模范畴的自由函子的存在性,构造了自由函子的伴随函子.
关键词 自由函子 f-模范畴 伴随函子 存在性
下载PDF
一类泛圈图 被引量:4
4
作者 殷志祥 《淮南矿业学院学报》 1993年第1期92-96,共5页
本文证明了如果G是2连通无爪图,G不是圈,n=|v(G)|>q,G的每个导出子图A都满足φ(a_1,a_2),且G中不存在W′作为其导出子图,则G是泛圈图。
关键词 泛圈 函子图 无向图 无爪图
下载PDF
自由函子与O-张量积函子的关系
5
作者 周伟 《四川师范大学学报(自然科学版)》 CAS CSCD 1993年第3期12-14,共3页
在假设 G、H 是两个半序群,G■H 是 G 与 H 的 O-张量积,F(G),F(H),F(G■H)分别是半序群 G,H 和 G■H 上的自由 l-群的情形下,本文证明了存在 l-同构 F(G■H)=F(G)■F(H).
关键词 自由 L-群 O-张量积 函子
下载PDF
逆半群的张量积与群的张量积
6
作者 李师正 张玉芬 《曲阜师范大学学报(自然科学版)》 CAS 1995年第1期6-10,共5页
证明逆半群范畴中张量积存在,并建立它与群张量积及半格张量积的关系。
关键词 张量积 逆半群 极小群同余 半群 半格
下载PDF
无K_3图的Hamilton性
7
作者 殷志祥 《淮南矿业学院学报》 1994年第1期90-92,共3页
本文证明了:如果G是2连通图,且G不含同构于K_3,P_4^+,D的导出子图,则G是Hamilton图或奇数阶完全二部图.
关键词 泛圈图 导出函子图 图论
下载PDF
无爪图的Hamilton性
8
作者 殷志祥 《淮南矿业学院学报》 1995年第2期70-73,共4页
本文证明了如果G是2连通无爪图,G的每个导出子图A都满足(?)(a_1,a_2),且C中不含同构于D的导出子图,则G是Hamilton图.
关键词 图论 无爪图 无向图 哈密顿性
下载PDF
描述面向对象语言抽象语义的几个关键概念
9
作者 潘红军 亓常松 王巧玲 《通化师范学院学报》 1999年第5期27-30,共4页
本文运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了smalltalk的完全抽象语义模型框架。
关键词 P-代数 代数范畴 忘却函子和自由函子
下载PDF
Representations of Frobenius-type Triangular Matrix Algebras
10
作者 Fang LI Chang YE 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2017年第3期341-361,共21页
The aim of this paper is mainly to build a new representation-theoretic realization of finite root systems through the so-called Frobenius-type triangular matrix algebras by the method of reflection functors over any ... The aim of this paper is mainly to build a new representation-theoretic realization of finite root systems through the so-called Frobenius-type triangular matrix algebras by the method of reflection functors over any field. Finally, we give an analog of APR-tilting module for this class of algebras. The major conclusions contains the known results as special cases, e.g., that for path algebras over an algebraically closed field and for path algebras with relations from symmetrizable cartan matrices. Meanwhile, it means the corresponding results for some other important classes of algebras, that is, the path algebras of quivers over Frobenius algebras and the generalized path algebras endowed by Frobenius algebras at vertices. 展开更多
关键词 Frobenius-type triangular matrix algebras reflection functor locally free module rootsystem APR-tilting module
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部