双诱导映射下的L-Fuzzy子环上的L-Fuzzy模

给出了L－Fuzzy子环的L－Fuzzy模概念,给出了它的若干刻画,并证明了在双诱导映射及逆映射下L－Fuzzy子环上的L－Fuzzy模仍L－Fuzzy环上的L－Fuzzy模。     

广义导子幂中心化子条件(英文)

设R是素环,U是R的极大右商环,C是R的扩展型心,I是R的非零理想,δ是R上的广义导子,a,b,q∈U.本文给出了恒等式(aδ(qx)-bx)~n=0(∈C在I上成立的充分必要条件,得到的结果推广了Herstein,Lanski,Lee的结论.     

保体上上三角幂等矩阵的诱导映射

假设T_m(D)是体D上所有上三角m×m矩阵的集合.首先分别给出诱导映射和保幂等性的定义.然后为了刻画T_m(D)的保幂等的诱导映射,提出类序列的概念,同时描述类序列的性质.最后,使用矩阵技术和初等方法,借助于分类讨论得到了T_m(D)的保幂等的诱导映射的一般形式并且给出了某些例子,用以解释某些结果之间的关系.     

图半群中幂等元生成的子半群(英)

本文明确刻划了图的强自同态么半群中幂等元生成的子半群．     

B(X)上的保k次幂线性映射

设Ｘ 为Ｂａｎａｃｈ 空间,Ｂ（Ｘ）为Ｘ 上有界线性算子全体组成的代数,本文给出了Ｂ（Ｘ）上保ｋ 次幂弱连续线性满射的完全刻划．     

套代数上的可加双导子和中心化映射

令$\mathcal N$是Banach空间$X$上的套, Alg$\mathcal N$是相应的套代数. 本文证明了, 如果套$\mathcal N$中存在非平凡元$N$在$X$中可补, 且$\dim N\not=1$, 则Alg$\mathcal N$上的每个可加双导子是内导子. 作为此定理的应用, 分别给出了套代数上中心化(交换)映射, 斜中心化导子以及斜交换的广义导子的具体刻画.     

幂环的结构与分类

完整地研究了各种幂环的结构及它们之间的关系. 对幂环进行了分类, 并构造了各类的子环列和理想列.     

双诱导映射■集合范畴的L_b-余等值子和L_b-正则满态射(英文)

In this paper,it gives the definition of the category of ■-sets and bi-induced maps whose true value set is a Locale,a complete Heyting algebra.In this category it defines the L_b-monomorphisms and the L_b-epimorphisms.Especially,it gives the definition,the judgmental theorem of L_b-coequalizers.Furthermore,it defines L_b-regular epimorphisms and proves the judgmental theorem.At the end it concludes a result:the category of ■-sets and bi-induced maps is finitely cocomplete.     

4维幂零李代数的导子与triple导子

利用导子和triple导子的定义,刻画了特征不等于2的代数闭域上4维幂零李代数的导子和triple导子.     

逆序(L)集合范畴的格值函数空间及其性质

引入逆序(L)集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间,进一步指出在逆序(L)集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序(L)集合范畴为Cartesian闭范畴.     

双诱导型定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.     

Blocking Sets of Type (1, k) in a Finite Projective Plane

Following a previous work of Tallini (J. Geom. (1987), 191–199), we investigate the arithmetical properties of a blocking set in a finite projective plane which is met by any line in either 1 or k points, for a fixed number k. The results are then used to give some characterizations of blocking sets of this type which are preserved by a large collineation group of the plane.     

The Category of Directed Systems in a Category

We present two related categorical constructions. Given a category C, we construct a category C^[d], the category of directed systems in C. C embeds into C^[d], and if C has enough colimits, then C is monadic over C^[d]. Also, if E,M is a factorization structure for C, then C^[d] has a related factorization structure E_d M_d such that if E consists entirely of monic arrows, then so does E_d and the E_d-quotient poset of an object A is naturally the poset of directed downsets of the E-quotient poset of A. Similarly, if M consists entirely of monicarrows, then so does M_d and the M_d-subobject poset of an object A is naturally the poset of directed downsets of the M-subobject poset. C^[d] has completeness and cocompleteness properties at least as good as those of C, and it is abelian if C is. Dualization gives the other construction: a category C^[i], the category of inverse systems in C, into which C also embeds and which satisfies similar properties, except that directed downsets in the E-quotient and M-subobject posets are replaced by directed upsets.     

双枝模糊集与直觉模糊集的关系(I)

首先就双枝模糊集和直觉模糊集的定义和运算进行了比较和讨论,对于它们不同的地方我们通过重新定义直觉模糊集的一些概念使得双枝模糊集能几乎完全地统一到直觉模糊集上来。从而双枝模糊集就可以成为一种特殊的直觉模糊集,所以需要用双枝模糊集解决的问题也就可以用直觉模糊集来解决了。     

Some Sets of Type (m,n) in Cubic Order Planes

A (4,9)-set of size 829 in (2,5³) is constructed, as is a (4,11)-set of size 3189 in (2,7³).     

双枝模糊集与直觉模糊集的关系(II)——截集

就双枝模糊集的截集定义和运算与直觉模糊集的水平截集定义和运算进行了比较和讨论,对于它们不同的地方我们通过重新定义直觉模糊集的水平截集概念使得双枝模糊集的截集和运算能几乎完全地统一到直觉模糊集的水平截集和运算上来.从而需要用双枝模糊集解决的问题也就进一步可以用直觉模糊集来解决了.     

含(M)型算子的变分不等式解的存在性及应用

中X是自反Banach空间，K是X的有界、闭、凸子集。研究包含（M）型算子的变分不等式问题：A↑f∈X,求u∈K，使（w-f,v-u)≥0，w∈Tu。其中T是一个有限连续．（M）型、有界集值映射。利用KKM映射和Gwinner定理，我们得到了该变分不等式可解性的结果。最后讨论了这样的变分不等式它的应用。