关于五维RDS型李代数的一些结果

通过对李代数的理想格性质的讨论来研究李代数的结构。根据理想格满足的一些条件,对四维可解RDS型李代数部分结论进行了修正。通过对一维中心的五维不可解李代数的讨论,确定它不是RDS型李代数。     

具有一维中心的四维RDS型李代数的分类

通过李代数的理想格所满足的一些条件，研究李代数的结构与性质。讨论一类RDS型李代数的构造，并决定所有具有一维中心的四维RDS型李代数。     

一类新的RDS型李代数

通过对李代数理想格的讨论,研究李代数的结构和性质。借助李代数的理想的刻画,构造了一类新的高维RDS型李代数。     

对RDS型李代数的进一步讨论

通过对李代数理想格的研究,讨论李代数的结构与性质。用三维典型单李代数与它的不可约模做半直积,构造了一类新的RDS型李代数。     

一类新的四维RDS型李代数

通过讨论李代数的理想格，研究李代数的结构与性质。根据三维可解RDS型李代数的分类结果，构造了一类新的四维RDS型李代数。     

n—RDS型李代数及其构造

本文通过对李代数理想格的讨论,研究李代数的结构。根据理想格满足的一些条件,给出李代数的一簇子类Ｒｎ,ｎ≥１,Ｒｎ中元素称为ｎ－ＲＤＳ型李代数。本文刻划了Ｒｎ的一些特性,并得到了关于特征零代数闭域Ｆ上有限维ｎ－ＲＤＳ型李代数的一系列结果,特别是,对ｎ≥２决定了所有ｎ－ＲＤＳ型李代数;证明了：对任何正整数Ｎ,存在Ｎ维可解１－ＲＤＳ型李代数。     

Kac—Moody群的无限维代数子群

Ｓ．Ｐ．Ｗａｎｇ在文献中已经提出了Ｋａｃ－Ｍｏｏｄｙ群的有限维代数子群的概念。笔者首先把Ｃｈｅｖａｌｌｅｙ闭子群定理推广到Ｋａｃ－Ｍｏｏｄｙ群的有限维代数子群,即定理１．３。其次,通过子群和子代数之间的对应建立了Ｋａｃ－Ｍｏｏｄｙ群的无限维代数子群,并且证明无限维代数子群的说法是有限维代数子群的推广。     

Heisenberg李代数的自同构群

首先给出了Heisenberg李代数的两种定义形式,由这两种定义形式,我们得到了(2n 1)维Heisenberg李代数的自同构群Aut(H);此外,我们还给出Aut(H)的一些子群;并在低阶(n=0,1,2)情形下,讨论了Aut(H)与这些子群之间的关系.     

n-李代数的导子和自同构群

导子是一种特殊的线性变换,它在研究n李代数的结构和表示理论中起着重要作用.讨论了n李代数导子及内导子的性质,得到了n李代数的幂零内导子生成的一种子群是自同构群的正规子群.     

一类复单李代数的保根正交变换群

A1型复单李代数的保根正交变换群G与Weyl群W之间有着密切关系．一方面得到了形是G的极大正规子群，并且求出了G与形的商群G／W．另一方面构造了G的一个异于Weyl群的极大正规子群，从而说明G的极大正规子群并不唯一．     

Nordhaus-Gaddum型的代数连通度的界

对任一个n阶单图G,用a(G)表示G的代数连通度,Gc为G的补图.通过代数连通度与Laplacian谱半径的关系,给出了几类图的Nordhaus-Gaddum的代数连通度的和的界.     

双圈图的N—G型的代数连通度的界

对任一个凡阶单图G,用0（G）表示G的代数连通度,Gc表示它的补图．针对双圈图．即边数等于顶点数加1的且只含有2个边不交的基本圈的简单连通图,证明了对任一n阶双圈图G,有1≤a（G）＋a（G^C）,当且仅当3G兰G1时等式成立．     

含有两个基本圈的简单图的N-G型代数连通度的界

对任一个n阶简单图G,用a（G）表示G的代数连通度.在已有文献研究的基础上,通过分类研究和个别图具体研究,证明了对任一含有两个基本圈的简单图G,有1≤a（G）＋a（Gc）.     

Sp(4,5n)的第一Cartan不变量

有限群的模表示论研究的一个重要方面是计算Cartan不变量 ,即它的一个不可约模在某个射影不可分解模的合成列中作为合成因子出现的重数 ,而第一Cartan不变量是最有趣又最难的一个 .利用代数群模表示理论中的一系列结果 ,并利用MATLAB数学软件 ,计算了 5 n 个元素的有限域上特殊辛群Sp(4,5 n)的第一Cartan不变量 .     

拟双星图的N-G型的代数连通度的界

文章利用图G的代数连通度与其线图的邻接谱半径之间的关系,给出:任n阶拟双星图G ,s0-1相似文献   

Piecewise algebraic varieties

The piecewise algebraic variety is a generalization of the classical algebraic variety. This paper discusses some properties of piecewise algebraic varieties and their coordinate rings based on the knowledge of algebraic geometry.     

函数－规约混合语言的设计与实现

在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则视为重写规则，基于重写模型，以平行最外方法辅以必要归约进行计算．     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

一类高阶代数微分方程代数体解的值分布

利用亚纯函数或代数体函数的Nevanlinna值分布理论,研究了一类高阶代数微分方程的代数体解的值分布问题.证明了一类复高阶代数微分方程在存在代数体允许解并满足一适当条件的情况下,该方程的亏量问题.     

代数自反与弱代数自反

基于线性插值的需要，本文引入了弱代数自反的概念，并发现两者有一种对关系，于，有关代数自反的许多结果可以移植到弱代数自反上。