离散数学结构 第十一章 半群与群（2）.docVIP

第十一章 半群与群（2） 11.2 群的定义与性质 一、群的定义 定义11.4 设G，○是代数系统，存在单位元e∈G，若 xx-1(x∈G∧x-1∈G→x○x-1=e ) 为真 则称G为群。 二、Klein四元群 例11.3 设G={a,b,c,d}，·为G的二元运算，其定义为 · e a b c e e a b c a a e c b b b c e a c c b a e 运算具有：①e为单位元；②运算可交换；③任何元素的逆为自己；④任何两个元素运算的结果等于另一个元素。 称这个群为Klein四元群。 三、群的直积 例11.4 设G1，○，G2，*是群，在G=G1×G2上定义二元运算·定义： a,b∈G, c,d∈G a,b·c,d==a○c, b*d 称G, ·是G1，G2的直积。G, ·是独异点，是群。单位元为e1,e2 a,b∈G，其逆元为 a-1,b-1∈G。 证明：（1）设e1，e2分别为G1，○，G2，*的单位元，则有 e1,e2 a,b(e1,e2∈G∧a,b∈G→ e1○a, e2*d=a,b∧a○e1, b*e2=a,b) = 1 ∴ e1,e2为G的单位元。 （2） ∵aa-1 (a∈G1∧a-1∈G1→a○a-1=e1) = 1 又∵bb-1 (b∈G2∧b-1∈G2→b○b-1=e2) = 1 ∴a,ba-1,b-1 (a,b∈G∧a-1