广义Lie代数的Kegel定理

设π是一个群,(H,σ)是一个余三角Hopfπ-余代数,在π-H-余模范畴中构造了一类广义Lie代数,并且得到了经典的Kegel定理。     

n+2维最大秩幂零n-Lie代数及其导子代数

根据最大秩幂零n-Lie代数的概念及有关结论, 证明不可分解非Abel最大秩幂零的n 2维n-Lie代数在同构意义下只有一类, 给出了具体的乘法表, 并讨论了它的导子代数及其内导子代数.     

关于严格shod代数中IP路的钩子

shod代数(小维数代数)是研究代数表示论的一种重要的代数类型,它包含严格shod代数与拟倾斜代数.本文通过探讨严格shod代数中的钩子,证明了严格shod代数中的IP路至少存在一个钩子,且至多存在两个连续的钩子.     

伪补MS-代数的核理想与同余关系

在伪补MS-代数上引入核理想的概念,利用伪补MS-代数主同余表示定理,讨论伪补MS-代数上的核理想的性质,得到核理想生成的同余关系的表达式。     

复杂系统的可执行模型仿真方法研究

针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。复杂系统; 可执行模型; 可执行模型代数; 模型验证     

Cartan型李代数的不可约表示

利用广义限制李代数的概念和性质,研究Cartan型李代数L=X(m,n)(X=W,S,H)的不可约表示,给出了特征标高度h(2≤h相似文献   

关于有限群环与它的因子群环之间的类和对应

设N是有限群G的一个正规子群,γ：G→G是自然满同态以及γ：RG→RG是由γ经过线性扩张得到的一个R-代数满同态,其中R是一个代数整数环。首先证明了γ在Z（RG）上限制,仍是Z（RG）到Z（RG）之间的代数同态。进一步,确定了RG中的类和在γ下的像,同时给出了RG中的类和与RG中的类和之间的一个对应。最后,作为这个对应的应用,得到了有限群G的共轭类与N的陪集之间一个数量关系。     

MP^M中介代数的性质

讨论了MPM中介代数的一些性质,从而推导出一个引理,并且完善了<中介命题演算系统MPM的代数系统>一文中2个定理的证明,并给出具体实例加以说明.     

WC倾斜模的Auslander Reiten对应

给出了WC倾斜模与满足特定条件的子范畴的一一对应关系, 将倾斜模上的Auslander Reiten 对应推广到了WC倾斜模上。     

初等算子的范数估计

文章给出了‖I＋QA,B‖达到上下界的充分条件,并在此基础上讨论了基本初等算子的范数．