二、半群和独异点、群与子群.pptVIP

第二讲 半群、群和子群 例 定理 定理 独异点 定理 群 有限群 定理 定理 等幂元 子群 平凡子群 定理 定理 * 定义 一个代数系统S，*，其中S是非空集合，*是S上的 一个二元运算，如果运算*是封闭的，则称代数系统 S，*为广群。 一. 广群 二. 半群 定义 一个代数系统S，*，其中S是非空集合，*是S上的 一个二元运算，如果 1）运算*是封闭的。 2）运算*是可结合的，即对任意的x,y,z∈S，满足 (x * y) * z = x * (y * z) 则称代数系统 S，*为半群。 设集合Sk={x|x ∈I ∧ x≥k}，k≥0，那么Sk,+是一个 半群吗？（其中+是普通加法运算） 分析 因为加法运算在Sk上是封闭的，并且该运算可结合， 所以Sk,+是一个半群。 若k＜0，则运算+在Sk上是不封闭的。 ？ 代数系统I+,－是半群吗？R，/呢？ 注意 设S,*是一个半群，B ? S且*在B上是封闭的，那 末B,*也是一个半群。通常称B,*是半群S,*的 子半群。 证明