完全可约性定理,complete reducibility theorem

1)complete reducibility theorem
完全可约性定理

2)orthogonal complete reducibility
正交完全可约性

3)completely reducible
完全可约
1.
(c) Let V≠0 be a faithful and completely reducibleF[G]-module over an arbitrary field F.
(c)若V≠0是任意域F上的一忠实且完全可约F[G]模。


2.
completely reducible,quasi-primitive and finite G-module for a solvable group G.
证明了可解群阶的定理:令V≠0是有限拟本原G 模,|V|=qn,素数q>0,G为完全线性群GL(V)的一可解完全可约子群,则a)|G|≤|V|α/λ,b)若2 |G|,且q≠2,则|G|≤|V|3/2/241/3。



4)completeness theorem
完全性定理
1.
By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell’s method to prove a completeness theorem on relational algebraic semantics of those system.
本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。


更多例句>>

5)completely reducible
完全可约的

6)completely reducible group
完全可约群


补充资料：完全可约模


完全可约模
completely reducible module

完全可约模{~Pl。创y耐“dbjem记uje;。咖撰即删-汪哪丽M姐y肠] 结合环R土的可以表小为其不可约R子模之和的极月(见不可约模(1。red ucible module))其等价的定义有1)通是它的极小子模之和;二)A同构于不可约模的直和几3)A与毛一的基座(s oclc)相同.完全可约模的于模及商模仍然足完全tJJ约模.模M的广模构成的格足有补格，当以仅玩M是完全可约模. 如果环R土的所有右R模都皓完全可约的，则其所有左R模也都尼完全可约的反之亦然;此时称R为完全可约环(娜m州c回y reduQble rmg)或经典半单环(classl以1 semi一，，mple ring)个环尺是完全可约的充分条件她它作为自身仁的左(石)模是完全可约自J

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

完全可约性定理,complete reducibility theorem