所有双理想都是素双理想的半群

设S为一个半群,B是S的一个双理想(即B是S的一个满足条件BSBB的子半群)．如果对S的任意双理想C,D都有CDB蕴涵CB或DB,我们就称B为S的一个素双理想．如果K是一个N-覆盖的纯LR-带,我们就称K为一条拟链．本文证明了半群S的所有双理想都是素双理想的充分必要条件是S是一个幂等元形成拟链的纯整群并半群．

半群中一些特殊Fuzzy双理想之间的关系

讨论了半群S中,P为S的Fuzzy弱素双理想与其t截集Pt(t>0)为素双理想之间的关系,以及Fuzzy完全素双理想与Fuzzy素双理想的关系,并证明了在正则交换半群中,P为S的Fuzzy完全素双理想当且仅当P为半群S的Fuzzy素双理想;P为S的Fuzzy弱完全素双理想当且仅当P为半群S的Fuzzy弱素双理想.

半群中的特殊模糊双理想的若干性质

给出了半群的一些特殊Fuzzy双理想的定义和它们所具有的一些性质,并在充分利用这些性质的基础上证明了关于这些特殊的双理想和Fuzzy双理想的若干结论,讨论了某些非一般情况下这些特殊Fuzzy双理想之间的一些关系.