王立锋，谢祥云



王立锋，谢祥云

（五邑大学 数学与计算科学学院，广东 江门 529020）

1 引言与预备知识

本文中使用但没有提及的概念参见文献[1,3,4].

同理可证2）.

同理可以证明2）.

同理可证2）.

由式（2）和式（3），有：

由式（5-7），有：

同理可证2）.

[1] HOWIE J M. An introduction to semigroup theory [M]. London: Acad Press, 1976.

[2] 谢祥云. 序半群引论[M]. 北京：科学出版社，2001.

[责任编辑：熊玉涛]

WANGLi-feng, XIEXiang-yun

(School of Mathematics and Computation Science, Wuyi University, Jiangmen 529020, China)

1006-7302（2013）03-0001-06

O152. 7

A

2013-03-12

国家自然科学基金资助项目（ No.10961014，No.11271040）；广东省自然科学基金资助项目（S201101000368）；安徽省高校优秀青年人才基金重点项目（2012SQRL115ZD）；安徽省高校自然科学研究项目（KJ2012B133）.

王立锋（1983—），男，安徽临泉人，在读硕士生，主要研究方向为软计算理论；谢祥云，教授，博士，硕士生导师，通信作者，研究方向为序半群的代数理论、模糊代数、粗糙集理论.