1) irreducible set
不可约集
2) irreducible rule set
不可归约规则集
1.
Several works suggest proving termination by using triggering and activation graphs at compile-time, and computing an irreducible rule set is the key technique.
主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点·有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集·现有的计算方法由于具有一定保守性,使得计算出的不可归约规则集仍可进一步地归约,这无疑将影响到规则集的可终止性判定的准确性和运行阶段规则分析的效率·经过深入分析活化规则可无限执行的特点,提出了活化路径等概念·基于这些概念,提出了一个计算主动规则集的不可归约规则集的有效算法,使现有方法求得的不可归约规则集得到进一步的归约
3) minimal generating set
不可约生成集
4) irreducible cluster integral
不可约集团积分
5) reducible cut-set
可约割集
6) irreducible module
不可约模
1.
This paper presents a resentch of the irreducible module of Lie algebra by studying minimal left ideal of reducible envelop algebra.
通过研究李代数的既约包络代数的极小左理想来研究李代数的不可约模,对于htχ<1,确定了特征p=2上的Witt代数W(2,1)的χ-既约包络代数的所有极小左理想。
2.
The weight set of an irreducible module for the algebraic group G of type A over an algebraically closed field of characteristic p>0 is described in the present note by constructing a nonzero vector with weight μ.
通过详细构造权为μ的非零向量,决定了特征p>0的代数闭域上A型代数群G的不可约模的权集。
3.
If t∈G,o(t)=2 and V/Cv(t)=2,then V=V1V0,V0=Cv(G);If V/CV(G) is G natural module ,then V=V0,( is G irreducible module,/C(G) is G natural module,and |C(G)|≤2,V0≤CV(G).
考察了L(3,2)的GF(2)模可分解成不可约模的直和,若V为G的非凡模且t∈G,o(t)=2能使V/Cv(t)=2,则V=V1 V0,其中V1为G自然模,V0=CV(G);若V/CV(G)为G自然模,则V= A V0,其中 A为G不可约模, V/C V(G)为G自然模,且|C V(G)|≤2,V0≤CV(G)。
补充资料：由归
1.出嫁。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条