韶关学院学报
韶關學院學報
소관학원학보
Journal of Shaoguan University(Social Science Edition)
2012年
2期
5~7
,共null页
关联半群 ＊-同余 滤子
關聯半群 ＊-同餘 濾子
관련반군 ＊-동여 려자
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.
