离散数学(二)群和子群离散数学(二)群和子群.pdfVIP

离散数学(二)第五讲 计算机学院: 焦晓鹏 群和子群 主要内容: 11 群的定义 2 群的性质和结构 3 子群及其判定定理 4 群同态 重点和难点: 重点: 群的性质和结构 难点: 群同态 一、半群、独异点和群 群的定义： 设G, *是代数,若*满足: (1) G 关于* 封闭； G , *为半群 (2) G上运算*可结合； G , *为独异点 (3) G 关于*存在么元e ； G , *为群 (4) G 中每个元素关于*存在逆元, 即对每一a ∈G, 存在一个元素a-1, 使a-1 * a = a * a-1 = e 。 则称代数系统G, * 为群。 (2) G上运算*可结合：对所有的a,b,c ∈G有，(a*b)*c=a*(b*c) 一、半群、独异点和群 对群G , * ， (1) 若运算*是可交换，则称该群为可交换群, 或称阿贝尔群。 (2) 若G是无限集，则称G , * 为无限群 (infinite group) 若G是有限集，则称G , * 为有限群 (finite group) 有限群G 的基数|G|称为群的阶数。 例1 (1) I, +,0是阿贝尔群，无限群 (2) 代数N , + , [0]是阿贝尔群, 这里x-1=k-x 。 k k 但代数N , × ,[1] 不是群, 因为0元素没有逆元。 k k 二、群的性质与结构 方程解的唯一性定理 定理1 G , *是群, 则对于任何a、b ∈G, (a) 存在唯一的元素x ∈G, 使得a * x=b 。 (b) 存在唯一的元素y ∈G, 使得y * a=b 。 证明： (a) 设么元e ∈G, 存在性：取x= a-1 * b,则 a * x ＝a * (a-1 * b)=(a * a-1) * b= e * b=b 唯一性：存在x1,x2 ∈G, 使得a * x1=b ，a * x2=b ，那么 x1=e * x1=(a-1 * a) * x1= a-1 * (a * x1) =a-1 * (a * x2) = (a-1 * a) * x2=e*x2=x2 (b) 同理可证。 二、群的性质与结构 消去律 定理2 如果G, *是一个群, 则对于任何a、b 、c ∈G, (a) a*b=a*c b=c 。 (b) b*a=c*a b=c 。 证明： 因为群的每一元素都有逆元, a-1 * (a *b)=a-1 * (a * c) 注意到：左边= (a * a-1) * b =e * b=b 右边=a-1 * (a * c)=(a * a-1) * c=e * c=c 本定理显然成立。 定理3 么元是群中唯一等幂元素。 证明：如果x是等幂元素, 则x*x=x 。x*x=x=x*e, 由定理2 消去律知x =e ，所以么元是群中唯一等