排序方式： 共有10条查询结果，搜索用时 187 毫秒
1
1.
讨论了带有泛分解态射的加权Moore-Penros逆,并给出了加权Moore-Penros逆存在的几个充要条件以及若干性质. 相似文献
2.
3.
4.
通过态射的分解讨论预加法范畴中态射的Moore-Penrose逆。给出了态射的Moore-Penrose逆存在的几个充要条件以及表达式。特别,得到了态射f有Moore-Penrose逆的充要条件是f有泛分解f=pgq使得g 存在并且(pg)*pg i-g g和gq(gq)* i-gg 均可逆。 相似文献
5.
讨论态射方程ax—yβ=γ。首先给出方程有解的充要条件,同时得到通解的表达式。然后,将结果应用到不定方程的理论以及Von Neumann正则环上的矩阵方程中。 相似文献
6.
引入Hom-理想和余有限Hom-理想的概念,研究Hom-理想和子Hom-余代数之间的关系。通过构造A°,给出在一定条件下A°成为Hom-余代数的充分条件。 相似文献
7.
邓芳芳 《广东职业技术师范学院学报》2014,(7):10-11
设X是n维非奇异射影簇,L是X上的丰富线丛,KX是X的典范丛,f：X→Y是以为KX＋mL支撑除子的收缩态射（m≥1）,F是f的任一纤维.文中证明了,如果dimF=m,那么F同构于m维射影空间Pm或者m＋1维射影空间Pm＋1中的超二次曲面Qm. 相似文献
8.
给出了预余Quantale态射的概念,证明了预余Quantale中的特殊元在预余Quantale态射的左伴随下不变的性质,找到了预余Quantale中态射与蕴含运算的关系,得到了预余Quantale上的一个开映射是预余Quantale态射的充要条件. 相似文献
9.
谢蓓蓓 《南阳师范学院学报》2002,1(6):8-11
在交换半环与其乘法集合的卡氏积上定义了一种等价关系，从而构造了一类新的交换半环－分式半环。讨论了交换半环与其分式半环之间的关系，刻划了分式半环的泛性质。最后，在两个可换可消半群的直积上定义相同的关系，证得该关系为群同余，并得到相近的结果。 相似文献
10.
姚从军 《科学技术与辩证法》2010,27(3):36-39,97
描述两个模型的模态等价性,同态显得太弱,同构又显得太强,寻找一个介于同态与同构之间的概念就导致了互模拟的产生。在模态逻辑中,互模拟沿着同态-强同态-有界态射-互模拟的轨迹而产生。在无穷模态语言的背景下或在像有穷的克里普克模型上,两个模型模态等价当且仅当它们是互模拟的。今天,互模拟在模态逻辑、集合论和计算机科学等领域中得到广泛的应用,显示了互模拟强大的理论价值和实践价值。 相似文献
1