交换环上Cartan型李代数的不变滤过

特征p>0的代数闭域F上单李代数的分类问题已有长达半个世纪的历史,直至最近才在p>7的条件下得到解决,证实了F上单李代数或为典型的,或为广义Cartan型的(广义Kos-trikin-(?)afarevi(?)猜想).进而要对一般域上单李代数分类,即须考虑型的问题.K((?)F)上(中心)单李代数L’称为F上单李代数L的型如果L≌L’(?)_K F.

Heyting代数的不变滤子

综合运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步深入研究.引入了Heyting代数的关于其子集的不变滤子概念.给出了不变滤子的若干性质.证明了Heyting代数的关于一个给定子集的不变滤子全体之集构成一个完备Heyting代数.

IMTL-代数的运算不变滤子

在IMTL-代数M中引进关于同余关系R的-运算不变滤子StR(X)、-运算不变滤子StR(X)和一个集合关于另一个集合的运算不变滤子St(X,Y)。细致讨论这些运算不变滤子的一些性质,证明全部滤子组成的格,且滤子F关于恒等关系=的运算不变滤子St=(F)是F的伪补,St(F,G)是F关于G的相对伪补。

Heyting代数的扩张模糊滤子

运用代数学与模糊集的方法和原理对Heyting代数的模糊滤子理论作进一步深入研究。引入了Heyting代数(H,≤,→)的模糊滤子f关于H上模糊子集μ的扩张模糊滤子和不变模糊滤子概念,获得了扩张模糊滤子和不变模糊滤子的若干性质。建立了扩张模糊滤子和生成模糊滤子间的关系,并利用这一关系给出了扩张模糊滤子在格结构研究中的应用,证明了一个Heyting代数(H,≤,→)的全体模糊滤子之集FFil(H)的3个特殊子集关于模糊集合包含序都构成完备Heyting代数。