排序方式： 共有74条查询结果，搜索用时 15 毫秒
61.
罗从文 《三峡大学学报(自然科学版)》2005,27(3):276-278
将半群在集合上的作用推广到序半群，给出了序半群的表示定理，并且引入同余关系和R-同态概念，刻画了R-偏序集的商和余积． 相似文献
62.
刘晓冀 《曲阜师范大学学报》2005,31(2):45-47
研究态射广义Moore-Penrose逆的倒换顺序律，利用态射广义Moore-Penrose逆的性质给出了态射广义Moore-Penrose逆的倒换顺序律成立的九种等价刻画，推广了关于态射Moore-Penrose逆的相应结论． 相似文献
63.
廖祖华 《江南大学学报(自然科学版)》2003,2(2):197-198
研究了态射方程αxβ=γ的解，并且给出了态射方程αxβ=γ有惟一解及不同类型广义逆惟一的充要条件． 相似文献
64.
65.
林喜季 《福州大学学报(自然科学版)》2013,41(3):318-324
考虑AsB的箭图 (Q*, I*) 的自同构由带关系箭图(Q, I)的自同构和带关系箭图 (Q′, I′) 的自同构决定情况, 证明了 AsB的Frobenius态射由 A 的Frobenius态射和 B 的Frobenius态射决定; 代数 AsB 的固定点代数同构于相应的代数 A 的固定点代数与 B 的固定点代数的张量积. 相似文献
66.
范畴中态射集的sharp序 总被引：4，自引：0，他引：4
刘晓冀 《华中师范大学学报(自然科学版)》1998,32(2):129-132
定义了范畴中态射集的ｓｈａｒｐ序，给出了它的一些性质和等价刻划，并讨论了它与态射集减序的关系。 相似文献
67.
李思泽 《北京交通大学学报(自然科学版)》2001,25(3):13-15
对一个模属于有向循环给出判断和深刻的刻划 ,且讨论了预投射划分的某些性质 . 相似文献
68.
利用态射的加权广义逆定义态射集的左（右）加权星型序,给出它的等价刻画,以及特殊范畴中进一步的等价刻画,当加权态射分别为单位态射时,得到文献[1～3]的相应结论. 相似文献
69.
Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述. 相似文献
70.
李桂英 《漳州师范学院学报》2009,22(3):10-13
根据Hom-结合代数的概念来新定义子Hom-余模、Hom-模同态、Hom-余模同态的概念,并进一步讨论它们的基本性质. 相似文献