1) direct product decomposition
直积分解
1.
Boole complement elements and the direct product decomposition of R_0-algebra;
R_0-代数的Boole可补元与直积分解
2.
Further study is made on pseudo-t-norms and implication operators on a complete lattice, their direct products and direct product decompositions.
讨论了完备格上的伪 t-模与剩余蕴涵算子以及它们的直积与直积分解 ,给出了积格上伪 t-模或蕴涵的偏单调性的定义以及正则伪 t-模和正则蕴涵的定义 ,最终得到了积格上伪 t-模或蕴涵可以直积分解的充分条件以及积格上正则伪 t-模或正则蕴涵可以分解的充要条件 ,完全解决了 DeBaets提出的直积分解条件问题 。
2) factorization of direct product
直积分解
1.
In the group theory,the direct product is an important concept and the factorization of direct product is an important studying method.
直积分解是群论中的一种重要研究方法 。
2.
In this paper,the author studies the factorization of direct product of the finite commutative group Z*n.
研究了有限交换群Zn*的直积分解,同时给出分解的方法和例子。
3) subdirect product decomposition
次直积分解
4) weak direct product decomposition
弱直积分解
1.
In this paper, we establish the weak direct product decompositions of lattices generated finite-wisely by co-primes, and solve the problem of direct product decompositions of complete Heyting algebras generated by co-primes in a new way.
本文建立了并素元有限生成格的弱直积分解,并给出一个解决并素元生成的完全Heyting代数的直积分解问题的新方法;作为弱直积分解的应用,证明了并素元有限生成的完全Heyting代数必然同构于有限个既约的完全Heyting代数的直积, 证明了并素元有限生成格是Boole代数的充要条件是它同构于某有限集的幂集格。
5) dual direct product decomposition
对偶直积分解
6) direct integral;integral direct sum
积分直和;直积分
补充资料:起信论直解
【起信论直解】
(书名)二卷,明释德清直解。其自序曰:“贤首旧疏,科释最为精详。加之记文浩瀚,学者望洋,杳莫可究。余就本疏少删其繁,目为略疏。业已刻双径,率多尊崇。顷念法门寥落,讲席荒凉。(中略)山居禅悦之暇,因祖旧章,率意直注本文。贵在一贯,不假旁引枝蔓。而一心真妄迷悟之义,了然毕见,如视白黑,足有便于初学。”
(书名)二卷,明释德清直解。其自序曰:“贤首旧疏,科释最为精详。加之记文浩瀚,学者望洋,杳莫可究。余就本疏少删其繁,目为略疏。业已刻双径,率多尊崇。顷念法门寥落,讲席荒凉。(中略)山居禅悦之暇,因祖旧章,率意直注本文。贵在一贯,不假旁引枝蔓。而一心真妄迷悟之义,了然毕见,如视白黑,足有便于初学。”
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条