第十章 群.ppt

第十章 群 10.1群的定义和性质 半群与独异点 群的定义与性质 半群的定义 定义：设V=S, o是代数系统，o为二元运算，如果o运算是可结合的，则称V为半群。 半群的定义 例:（A，*）是半群，对于A中任意两个不同的元素x和y都有x*y≠y*x。证明A中每一个元素都是幂等元。 独异点 定义：设V = S, ?是半群，若 e∈S 是关于 ? 运算的单位元，则称 V 是幺半群，也叫做独异点。 半群与独异点的子代数 定义：半群的子代数称为子半群，独异点的子代数称为子独异点。 半群与独异点的子代数 实例： Z+,+, N,+是Z,+的子半群， N,+是Z,+的子独异点， Z+,+不是Z,+的子独异点。 半群与独异点的子代数 例：A={1,2,3,4,5}, B={1,3,5 }, C={2,4}, 运算*定义为a*b=max (a,b) , 判断(B,*), (C,*)是不是（A,*）的子独异点。 半群和独异点的同态 例：设半群 V1 = S,·，其中 · 为矩阵乘法。 半群和独异点的同态 群的定义 定义：设G,? 是代数系统，?为二元运算。如果 ? 运算是可结合的，存在单位元e∈G，并且对 G 中的任何元素 x 都有x?1∈G，则称G为群。 Klein四元群 运算表特征： 对称性---运算可交换 主对角线元素都是幺元e 每个元素是自己的逆元 a, b, c 中任两个不同的元素运算都等于第三个元素。 群的相关术语 若群 G 是有穷集，则称 G 是有限群，否则称为无限群。 群 G 的基数称为群G的阶。有限群 G 的阶记作|G|。 若群G中的二元运算是可交换的，则称G为交换群或 阿贝尔(Abel)群。 群的相关术语 实例： Z,+ 和 R,+是无限群； Zn,?是有限群，且为 n 阶群； Klein四元群 G = {e, a, b, c}是 4 阶群； 群的相关术语 群的相关术语 例：分别在Z3,? 中求2?3，在 Z,+ 中求(?2)?3 。 群的相关术语 群的相关术语 定义：设G是群，x∈G，使得等式xk=e成立的最小正整数k称为x的阶（或周期），记作 |x|=k，称x为k阶元。若不存在这样的正整数k，则称x为无限阶元。 群的性质---幂运算规则 定理1: 设 G 为群, 则 G 中的幂运算满足： ?x∈G，(x?1)?1 = x. ?x, y∈G，(xy)?1 = y?1x?1 ?x∈G，xnxm = xn+m，n, m∈Z. ?x∈G，(xn)m = xnm，n, m∈Z. 若G为可交换群，则(xy)n = xnyn 群的性质---消去律 定理2：G 为群，则G满足消去律，即?a,b,c∈G 有 (1) 若 ab = ac，则 b = c。 (2) 若 ba = ca，则 b = c。 群的性质---消去律 例：设G 为群， a,b∈G，k∈Z+， 证明： 群的性质---消去律 群的性质---消去律 例：设G 为群，G是Abel群当且仅当对于任意的a,b∈G， 群的性质---消去律 例：设 G = {a1, a2, …, an} 是 n 阶群，令 aiG = { ai aj | j =1,2, … , n } 证明：aiG = G。 群的性质 定理3：设G为群，a∈G，且|a|=r，设k是整数，则: (1) (2) 群的性质 例：设G 为群， a,b∈G是有限阶元，证明： 群的性质 群的性质 群的性质 例:设G为有限群,则G中阶大于2的元素有偶数个。 群的性质 群的性质 证明：偶数阶群必含2阶元。 10.2 子群 子群的定义 子群的判定定理 群G的中心C 子群的定义 定义：设G是群，H是G的非空子集，如果H关于G中的运算构成群，则称 H 是 G 的子群, 记作 H≤G. 若 H 是G的子群，且 H?G，则称H是G的真子群，记作HG。 子群的定义 例：设G,*为群，定义集合S如下： 证明S,* 是G,*的子群。 子群的定义 子群的定义 (4)?证明S中的任意元素都存在逆元 子群判定定理 判定定理1：设 G 为群，H是 G 的非空子集。H是G的子群当且仅当 (1) ?x, y∈H有 xy∈H； (2) ?x∈H有 x?1∈H 。 子群判定定理 判定定理3：设 G 为群，H是 G 的非空子集，如果H是有穷集，则H是G的子群当且仅当?x, y∈H有 xy∈H。 子群判定定理 例：设H,*是群G,*的子群，如果 证明：A,*是G,*的子群。 子群判定定理 生成子群 例：设 G 为群，