第07章 半群与群.pptVIP

第七章 半群与群 7.1 半群和独异点的定义及其性质 7.2 半群和独异点的同态与同构 7.3 积半群 7.4 群的基本定义与性质 7.5 置换群和循环群 7.6 子群与陪集 7.7 群的同态与同构 7.1 半群和独异点的定义及其性质 定义7.1.1 给定 S，⊙ ，若⊙满足结合律，则称 S，⊙ 为半群。 可见，半群就是由集合及其上定义的一个可结合的二元运算组成的代数结构。 定义7.1.2 定 M，○ ，若 M，○ 是半群且○有幺元或○满足结合律且拥有幺元，则称 M，○ 为独异点。 可以看出，独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元e，独异点表为 M，○，e 。 如果半群 S，⊙ 中的集合S是有限的，则称半群为有限半群，对于有限半群可以给出下面有趣定理。 定理7.1.1 S，⊙ 为有限半群? ?x x∈S∧x⊙x x 本定理告诉我们，有限半群存在等幂元。 定义7.1.3 给定半群 S，⊙ ，若⊙是可交换的，则称 S，⊙ 是可交换半群。类似地可定义可交换独异点 M，○，e 。 定义7.1.4 给定半群 S，⊙ 和g∈S，以及自然数集合N，则 g为 S，⊙ 的生成元: ?x x∈S→ ?n n∈N∧x gn 此时也说，元素g生成半群 S，⊙ ，而且称该半群为循环半群。 类似地定义独异点 M，○，e 的生