- 更多网络例句与一一的模相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Similar to [KV2], for a Dynkin-algebra A, we prove that there is a bijection between the bi-aisles in Db and thestrictly full triangulated subcategories of Db which are closed under direct sum-mands.
运用[KV2]中的技巧,对Dynkin型k-代数A的模范畴的有界导出范畴Db,我们证明了其上的双aisles与其上的严格的且关于直和项封闭的三角满子范畴存在着一一对应的关系。
-
Let L and P be Lie color algebras and let M be a graded module over P, the crossed modules which make M as their kernal and P as their cokernal are considered. It is shown that under a suitable equivalent relation, there is a bijection between the set of the equivalent classes CML and the homogeneous components of degree zero of H~3.
从交叉模的定义出发,对于给定的Lie color代数L,P以及阶化P模M,考虑所有以M为核、以P为余核的L的交叉模,在这些交叉模之间定义了一个等价关系,由此得到交叉模的等价类集CML,证明了CML与三维上同调群H~3的零次齐次部分之间存在一一对应,从而可以利用三维上同调群对Lie color代数的交叉模进行分类。
-
A search engine selects one or more search hits from among a plurality of hits, wherein a hit is a reference to a page or a site, based on a user interest, comprising an input module for accepting a query from a user, the query representing an interest of the user; a tracking module for tracking the user's navigation through the plurality of pages, including at least a destination purchase page, the destination purchase page being a page from which the user makes a purchase; a sales module which records associations between purchases and queries where the associations are provided, at least in part by an output of the tracking module; and a search module, which takes as its inputs at least a query and sales associations of that query provided by the sales module, and which outputs one or more search hits based on at least the query and the sales associations of that query.
一搜索引擎从一一击的多数状态中选择一或更多搜索一击,在哪方面一一击是一参考一页的或者一地点把代表一用户的利益问题建立在一用户权益的基础上因为承认一从一个用户问题包括一投入模数;一因为跟踪用户的航行通过页的多数状态,目的地购买页,包含至少一目的地购买页,是一从其用户买东西的页跟踪模数;一记录在购买和问题之间协会其协会部分地至少被一输出提供的销售额模数的跟踪模数;和一把至少那经过销售额模数提供问题的一问题和销售额协会视为它的投入,和哪一个使出,把一或更多搜索一击建立在至少那问题的问题和销售额协会的基础上的搜索模数。
-
Then we parallelize them at the thread level by using C++ with OpenMP directives supported in the Intel C++ Compilers.
然后将这些模组使用Intel C++ Compiler提供的OpenMP应用程式介面来进行执行绪阶段平行,将模组一一地平行化。
- 更多网络解释与一一的模相关的网络解释 [注:此内容来源于网络,仅供参考]
-
faithful functor:一一的函子
faithful anti representation 一一反表示 | faithful functor 一一的函子 | faithful module 一一的模
-
faithful module:一一的模
faithful functor 一一的函子 | faithful module 一一的模 | faithful representation 一一表示
-
faithful representation:一一表示
faithful module 一一的模 | faithful representation 一一表示 | faithfully flat ring 一一平坦环
-
full unimodular group:完全幺模群
full subcategory 完全子范畴 | full unimodular group 完全幺模群 | fully faithful 完全一一的
-
fully faithful:完全一一的
full unimodular group 完全幺模群 | fully faithful 完全一一的 | fully faithful functor 完全一一函子