具有理想收缩性质的某些GV-半群(英文)

如果半群S的每一个理想都是它的幂等同态像,称半群S具有理想收缩性质。GV-半群是完全正则半群在π-正则半群范围内的推广。本文刻画了某些具有理想收缩性质的GV-半群。     

阿基米德序半群的链(英文)

本文通过一个序半群S上的一些二元关系以及它的理想(右理想,双理想)的根集分别给出了该序半群是阿基米德(右阿基米德,t-阿基米德)序子半群的链的刻画.进一步证明了准素序半群是阿基米德序半群的链.最后,通过素根定理证明了序半群S是阿基米德序子半群的链当且仅当S是阿基米德序子半群的半格且S的所有素理想关于集合的包含关系构成链.     

良B-拟Ehresmann半群

设S是一个半群,B是S的一个子带.如果S是一个满足同余条件的B-半富足半群,且对所有的a,b∈S都有aB（a＊）B（b＋）b B（（ab）＋）abB（（ab）＊）,就称S为一个良B-拟Ehresmann半群.本文给出了良B-拟Ehresmann半群的整体表示和标准表示,并作为特殊情形得到了良拟适当半群的结构刻画.     

B0,I0,B1,I1,C0-半群

利用半群的理想和双理想呈现的包含关系定义了新的半群类B0,I0,B1,I1,C0-半群,讨论其性质,证明了正则半群S是C0-半群的充要条件是S是矩形带;B0,I0,B1,I1,C0-半群各自的直积半群和关于同余的商半群保持B0,I0,B1,I1,C0性.     

基于理想的半单序超半群

本文给出了序超半群上几类正则序超半群的等价刻画和半单偏序超半群的等价刻画,并研究了几类相关性质。本文的主要结论是:设(S,。,≤)为序超半群,f是S上的模糊子集,S为左拟正则的当且仅当f≤1°f°1°f,类似地我们给出右拟正则的刻画;S是半单的当且仅当f≤1°f°1°f°1。     

序半群的阿基米德半群的半格分解

本文通过一个序半群S上的一些二元关系以及它的理想的根集的性质该序半群是阿基米德半群的半格,特别地是阿基米德半群的链的刻划,证明了S是阿基米德链当且仅当S是准素的.通过序半群的m-系的概念,证明了S的任意半素理想是含它的所有素理想的交,并通过该结论,证明了S是阿基米德半群的链当且仅当S是阿基米德半群的半格且S的所有素理想关于集包含关系构成链.作为应用,该结论在一般的半群（没有序）[1]中也成立.     

关于序超半群的左超理想的研究

本文在序超半群中引入了极小左超理想和极大左超理想的概念, 并讨论了它们的一些相关性质. 进一步地, 引入了序超半群的弱素左超理想、拟素左超理想、拟半素左超理想及弱拟素左超理想的概念, 并讨论这四种素超理想之间的关系. 而且通过左超理想和弱~$m$-系刻画了序超半群的弱拟素左超理想. 同时, 借助于$m$-系对序超半群的拟素左超理想给出刻画. 尤其证明了序超半群$S$是强半单的当且仅当$S$的每个左超理想是$S$的包含它的所有拟素左超理想的交.     

关于半群的直觉模糊拟理想

给出了半群中直觉模糊拟理想的等价定义,研究了半群中直觉模糊拟理想的若干性质和刻画,并用直觉模糊拟理想刻画群,完全正则半群和群半格．     

序半群序同余的一个注记

序半群S的什么子集可以作为S的同余类是一个重要的问题. 在文[8]中,作者证明了如果序半群S的 理想$C$是$S$的某个同余类, 则$C$是凸的; 而且当$C$是强凸理想时，逆命题成立. 在本文中, 我们给出了序半群同余的一个新的构造，并证明了序半群$S$的理想$B$是$S$的某个同余类的充要条件是$B$是凸的.     

关于poe—半群的双理想

推广正则半群中的双理想到ｐｏ－半群之中，利用ｐｏ－半群中的双理想研究了正则ｐｏｅ－半群、内正则ｐｏｅ－半群。得到了如下主要结果：①Ｓ为正则ｄｕｏ的充要条件是：Ｂ（ａｂ）＝Ｂ（ａ）∩Ｂ（ｂ），Ａ↓ａ、ｂ∈Ｓ；②Ｓ正则ｄｕｏ的充要条件为Ｓ为Ｂ－单序半群的半格；③Ｓ内正则的充要条件为：Ｒ∩Ｂ∩Ｌ包含于（ＬＢＲ］；④Ｓ正则且内正则的充要条件为：Ｒ∩Ｂ∩Ｌ包含于（ＢＲＬ］。     

初基演算

<正> 命题演算的构成,通常有三步骤的说法,即从 Johanson 的“极小演算”到 Heyting的构造论命题演算再到二值演算.此外,Lewis 从模态或严格蕴涵出发,也分别了许多步骤,以达到二值演算为其极限;特别值得注意的是最后三个步骤,即从 S4 到 S5 到二值演算.这两个三步骤就某意义说乃是通常命题演算的构成中最本质的步骤.综合这两个三步骤,会带来许多便利,而本文所提出的也就是作为二者共同基础的初基演算.     

广义正则平面曲线的顶点

<正> 引言.四顶点定理.自印度加尔各答大学教授 Mukhopadhyaya 证明后,继而论之者颇多.Blaschke 证明:一正则卵形线若与任一圆之交点至多有四点时,则此卵形线至多有四顶点.另一人证明:一正则卵形线若与一圆有2n个交点时,则此卵形线至少有2n个顶点.Fog 及 Graustein 曾推广四顶点定理至简单闭曲线.Jackson 从研究二顶点曲线的特性出发,以研究四顶点曲线,指出了更广泛的四顶点曲线族.因不具二顶点曲线的特性就为四顶点曲线.以上这些曲线是指正则曲线,即曲线上的曲率不仅存     

Some Characterizations of Left Weakly Regular Ordered Semigroups

In this paper, the notion of left weakly regular ordered semigroups is introduced. Furthermore, left weakly regular ordered semigroups are characterized by the properties of their left ideals, right ideals and (generalized) bi-ideals, and also by the properties of their fuzzy left ideals, fuzzy right ideals and fuzzy (generalized) bi-ideals.     

具有有穷个模态辞的模态系统

<正> 在真值逻辑系统中如果加入“可能”“必然”等模熊概念,所得的逻辑系统叫做模态系统(modal system).如果该真值系就为伟统的二值系统,特名曰传统模态系统(下文的讨论不限于传统模态系统).纯由命题变元以及“～”(非)“◇”(可能)“口”(必然)三运算而组成的命题叫做模态辞(modality).若只经奇数次～运算的名曰负模态辞,经偶数次(包括0次)～运算的名曰正模态辞.     

正规环的Fuzzy双侧理想

本文首先提出正规环的Fuzzy双侧理想的定义,讨论了Fuzzy双侧理想和Fuzzy理想之间的关系,给出对环、Fuzzy对环、左(右)零环等概念,并在正规环中研究了它们的性质。最后在超正规环和完全正规环中研究了Fuzzy双侧理想和Fuzzy理想,得出一些有趣的结果。     

N-fuzzy Filters in Ordered Semigroups

In this paper we define N-fuzzy filters,N-fuzzy bi-ideal subsets and N-fuzzy bi-filters of ordered semigroups and characterize ordered semigroups in terms of N-fuzzy filters, N-fuzzy bi-ideal subsets and N-fuzzy bi-filters.We establish relationship of N-fuzzy filters and prime N-fuzzy ideals of ordered semigroups. Also we discuss the relationship of N-fuzzy bi-filters and prime N-fuzzy bi-ideal subsets of ordered semigroups.     

Bi-Ideals in Ordered Semigroups and Ordered Groups

It is shown that an ordered semigroup is right and left simple if and only if it does not contain proper bi-ideals. An example showing that an ordered semigroup without proper bi-ideals need not be an ordered group is constructed. Bibliography: 7 titles.     

实Nest代数上的广义Jordan~*-左导子

设H是实Hilber空间, (?)是B(H)中含恒等算子I的算子代数,若(?) 是从(?)到B(H)的线性映射,如果(?)满足对任意的T∈(?),有(?)(T2)=T*(?)(T)+ (?)(T)T-T*(?)(I)T,则称(?)是一个广义Jordan*-左导子;如果(?)满足对任意的T∈(?), 有(?)(T)(ker(T))(?)ran(T*),则称(?)是一个左*-核值保持映射.本文主要获得了如下 结果: Nest代数上每个弱算子拓扑连续的左*-核值保持映射是广义Jordan*-左内 导子,即存在A,B∈B(H),使得对任意的T∈(?),有(?)(T)=T*A+BT.特别地,(?) 也是一个广义Jordan*-左导子.