软代数可分解为链直积的一个条件

利用极大点与并-既约元的概念给出了软代数能分解为链直积的一个条件．     

环的既约理想和既约分解

引进了环的既约理想的概念,研究了既约理想的性质并得出了理想分解的两个结论1.环的任一理想均可分解为一些(有限或无限)的既约理想的交.2.Artin环或Noether环的任意理想均可分解为有限个既约理想的交.     

N元格蕴涵代数不等式的解^＊ I

在格蕴涵代数中研究了带蕴涵算子的N元格蕴涵代数不等式,得到其有解的充分必要条件,同时还在b是L交既约元的情况下,找出该不等式的所有极小解,进而给出N元格蕴涵代数不等式的具体解集.     

并半连续格的映射性质

在半素滤子上,引出了并半连续格,并主要讨论了并半连续格之间的一些映射性质.     

N元格蕴涵代数不等式的解Ⅱ

在格蕴涵代数中研究N元格蕴涵代数不等式,得到其有解的充分必要条件.在b有不可约有限交分解的情况下找出N元格蕴涵代数不等式的所有极大解,从而给出N元格蕴涵代数不等式的具体解集.     

《红楼梦》中四字格之并并格英译探析

四字格词组是汉语言文字的显著特征,是汉语词汇中的重要成员,其使用频率相当高。在所有常用的四字格中,并列四字格条目最多,约占整个四字格条目半数以上。本文从介绍四字格词组的定义、结构、基本特征等入手,以中国古典四大名著之一《红楼梦》的英译本为语料,讨论了在翻译中正确表达汉文化中独有的并并格的方法。     

双重中心化子定理的新证明

文献[1]给出了半单代数上不可约模情况下的双重中心化子定理。文章将半单代数C[Zn]上的正则模(C[Zn])°分解成了n个一维子模的直和,证明了C[Zn](C[Zn])°的双重中心化子等于其本身。文献[2]给出了任意代数上完全可约模情况下的双重中心化子定理,针对该定理给出两种不同于[2]中的证明。     

关于极小正规子群的一个注记

讨论可分解为若干极小正规子群直积的有限群,给出存在异于诸直积因子的极小正规子群的充要条件及其个数.特别地,给出这种子群个数唯一时大群的结构特征.     

一个极小不可满足公式子类改名的复杂性研究

改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用,对于一些具有对称结构的难例公式,可以通过改名来降低其证明的复杂性.研究了一个极小不可满足公式子类,给出了该子类的改名算法,并证明了对该子类中改名问题可以在多项式时间内判定.     

一个极小不可满足公式子集的构造

对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向.极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳证明是很有用的.找到了一个能递归构造的极小不可满足公式的子类M4X+,并证明这种递归构造方法具有可靠性和完备性,最后给出了一个构造实例.     

带蕴涵算子的N元格蕴涵代数不等式的解

在格蕴涵代数中研究了带蕴涵算子的N元格蕴涵代数不等式,得到其有解的充分必要条件,同时还在b是L交既约元的情况下,找出该不等式的所有极大解,进而给出其具体解集.     

Novikov代数的非奇异模

本文给出两类特征0无穷维单Novikov代数的非奇异模的结构定理。     

日语主体格助词用法探究——以中国人日语学习者主体格助词的误用分析为例

在日语中,每一个格助词能表达不同的格关系,而表达同一格关系的格助词又有多个。日语中用于标记主体格成分的基本格助词共有6个,其中以「が」、「の」为最常见,使用频率最高。由于格助词主体格的用法大部分学习者不太熟知,容易出现误用。     

不可微泛函拟极小问题解的C~(1,τ)正则性

设W(R)满足条件(1),本文证明泛函的局部1+W(R)一极小问题解的局部正则性。     

关于CP~n中全实极小子流形的注记

给出了复射影空间中完备极小子流形的一个内蕴刚性定理,从而推广了相应结果。     

格理想的几个结论

讨论了格的理想,得到了一些主理想和素理想的几个结论.     

李超代数不可约模的一个维数定理

主要介绍了特征为p〉0的域上李超代数的不可约模与它的不可约子模之间的一个维数定理,并给出它的详细证明过程．其理论意义在于如果对于一个给定的李超代数找出满足基本定理的条件及它的子代数的不可约模的情况,就可以讨论它的模的不可约性及维数．     

N元格蕴涵代数不等式的解Ⅰ

在格蕴涵代数中研究N元格蕴涵代数不等式,得到其有解的充分必要条件。在b是L交既约元的情况下找出N元格蕴涵代数不等式的所有极大解,从而给出N元格蕴涵代数不等式的具体解集。     

唯一分解整环R上不可约多项式的一些判别准则

修改文献[6]中定理的条件,获得了两个判别唯一分解整环R上偶次多项式不可约的充分性定理,并得到了两个新的推论.     

KG—模的换位代数与模的不可约性之间的关系

本文主要证明当K是数域,G是有限群,V是KG—模时,V的换位代数D=HomKG（V,V）≌K蕴含V不可约,即Schur引理的逆定理;进一步,V在复数域C上的标量扩张C？KV是不可约CG—模当且仅当D≌K。