5-3 半群研讨.ppt

5-3 半群 广 群 一个代数系统S，?，其中S是非空集合， ?是S上的一个二元运算，如果运算?是封闭的，则代数系统S，?为广群。 半 群 一个代数系统S，?，其中S是非空集合， ?是S上的一个二元运算，如果： （1）运算?是封闭的。 （2）运算?是可结合的，即对任意的x，y，z?S，满足 (x?y) ?z = x?(y?z) 则代数系统S，?为半群。 子半群 设S，?是一个半群，B?S且? 在B上是封闭的，那么B，?也是一个半群。通常称B，? 是半群S，?的子半群。 独异点 含有幺元的半群称为独异点。 群 设G，?一个代数系统，其中G是非空集合， ?是G上的一个二元运算 ，如果： （1）运算?是封闭的。 （2）运算?是可结合的。 （3）存在幺元e。 （4）对于每一个元素x?G，存在着它的逆元x-1 。 则称G，?是一个群。 有限群 设G，?是一个群。如果G是有限集，那么称G，?为有限群，G中元素的个数通常称为该有限集的阶数，记为|G|； 无限群 设G，?是一个群。如果G是无限集，那么称G，?为无限群。 子 群 设G，?是一个群，S是G的非空子集， 如果S，?也构成群，则称S，? 是G，?一个子群。 平凡子群 设G，?是一个群， S，? 是G，?一个子群， 如果S={e}，或者S=G，则称S，? 是G，?一个平凡子群。 交换群 如果群G，?中的运算? 是可交换的，则称该群为阿贝尔群，或称交换群。 循环群 设G，?为群，若在G中存在一个元素a，使得G中的任意元素都由a的幂组成，则称该群为循环群，元素a称为循环群G的生成元。 * *