论文部分内容阅读
设S为非空集,在S上定义一个二元运算“·”,若(S,·)满足以下两个条件:(1)对任意的a,b∈S,有a·b∈S;(2)对任意的a,b,c∈S,(a·b)·c=a·(b·c)恒成立,则称(S,·)是一个半群[15].若S是带有序关系“≤”的半群且满足对任意的x∈S,a≤b蕴涵xa≤xb并且ax≤bx,则称(S,·,≤)是一序半群[16].1965年,Zadeh介绍了模糊子集的概念.设S为非空集,任意一个从S到区间[0,1]的映射f称为S的一个模糊子集[18].1981年,M.K.Sen介绍了Γ半群的概念,设S和Γ是任意两个非空集合,如果存在一个S×Γ×S→S的映射,写作(a,γ,b)→aγb,满足对任意的a,b,c∈S,γ,μ∈Γ,(aγb)μc=aγ(bμc)恒成立,则称S是一个Γ半群[12].若Γ半群S是一个序集并满足对任意的a,b,c∈S,γ∈Γ,a≤b蕴涵aγc≤bγc并且cγa≤cγb,则称S是一序Γ半群[14]。
本文研究了模糊序半群和序Γ半群的基本理论,共分两章.
第一章首先我们引入了序半群S的模糊双理想的概念,然后给出了模糊双理想的一些性质并讨论由序模糊点生成的模糊双理想.最后我们利用序模糊点和模糊双理想对正则舵序半群给出了刻画.
第二章首先我们引入了B-单子Γ半群,序Γ半群S的序双理想,极小序双理想,核的概念,然后证明了序Γ半群S的一个序双理想B是极小的当且仅当B是B-单的并且证明了序Γ半群S的所有序双理想的并是S的核.最后我们引入正则序Γ半群的概念利用序左理想、序右理想或者序左理想、序右理想和序拟理想来刻画正则序Γ半群。