离散数学 半群和独异点.pptxVIP

1 定义2：若半群〈S, *〉对运算*有么元，则称该半群为含么 半群, 也称独异点。 （3点） 例2：判断下列给出的代数是不是独异点。 ① 〈E,+〉和〈E, *〉,E为正偶数集{2,4,6,…} ； ② 〈S,*〉，其中S是不同高度的人的集合，a*b表示a,b 中较高者； ③ 〈 R+, ·〉 〈 R+, ÷〉 ④ 〈 {Rn|n∈N}, 合成运算， R0 〉，其中R是S上的二元 关系 ； × √，么元为最矮的人 √ × √ 半群和独异点 2 定义 3 ：如果〈S, *〉是半群,T ⊆S且关于运算*封闭, 那 么〈T, *〉是〈S, *〉的子代数, 称〈T, * 〉为 〈S, * 〉的子半群。 如 〈[0，1], * 〉,〈N, * 〉都是〈R, * 〉的子半群. 定理1：子半群是半群。 证： 子半群是子代数, 关于运算*封闭, 结合律是继承的, 所以是半群。 证毕。 半群和独异点 3 定义4：如果〈S,*,1〉是独异点。T ⊆S , 且关于运算*封