韶关学院学报
韶關學院學報
소관학원학보
JOURNAL OF SHAOGUAN UNIVERSITY（SOCIAL SCIENCE）
2012年
2期
5-7
,共3页
关联半群%＊-同余%滤子
關聯半群%＊-同餘%濾子
관련반군%＊-동여%려자
implicative semigroups%*-congruence%ordered filters
一个负的有序关联半群（S,≤,.,）称为单的,设S是交换关联半群,如果S的所有滤子是{1}和S本身,则S是单的当且仅当S的所有＊-同余是IS和S×S.
一箇負的有序關聯半群（S,≤,.,）稱為單的,設S是交換關聯半群,如果S的所有濾子是{1}和S本身,則S是單的噹且僅噹S的所有＊-同餘是IS和S×S.
일개부적유서관련반군（S,≤,.,）칭위단적,설S시교환관련반군,여과S적소유려자시{1}화S본신,칙S시단적당차부당S적소유＊-동여시IS화S×S.
A negatively ordered implicative semigroup（S,≤,·）is called simple if all ordered filters of S are {1} and S itself.Let（S,≤,·） be a commutative negatively ordered implicative semigroup,then（S,≤,·）is simple if and only if all ＊-congruences of S are IS and S×S.
