离散数学讲义(第5篇).pptVIP

5-3 半群（续） 例4：设Z是整数集，m是任意整数，Zm是由模m的同余类组成的同余类集，在Zm上定义+m和?m：对任意[i]，[j] ? Zm, [i]+m[j]=[(i+j)(mod m)] [i] ?m[j] ]=[(i ? j)(mod m)] 试证在这两个二元运算的运算表中任何两行或两列都不相同。 证明：考察代数系统〈Zm，+m〉与〈Zm， ?m〉 1. 封闭性 2. 可结合 3. 含幺元〈Zm，+m〉与〈Zm， ?m〉中分别含幺 元[0]与[1] 得证代数系统都为独异点，由定理，运算表中任何两行或两列都不相同。 半群 5-3 半群（续） 定理：设〈S，?〉是独异点，对任意的a，b ? S，且a，b均有逆元，则 a) (a-1)-1=a b) a ? b有逆元，且 (a ? b)-1=b-1 ? a-1 证明： a）因为a-1为a的逆元，即a ? a-1= a-1 ? a = e，所以， (a-1)-1=a。 b）因为(a ? b) ?(b-1 ? a-1) = a ? (b ? b-1) ? a-1 = a ? e ? a-1 = a ? a-1 = e 同理可证(b-1 ? a-1) ? (a ? b) = e。 因此(a ? b)-1 = b-1 ? a-1 5-4 群与子群 设〈G，?〉是一个代数系统，其中G是非空集合， ?是G上的二元运算，如果 群 例如：代数系统〈R-{0}, ?〉与〈P (S), ?〉等，都是群。 （1）运算?是封闭的 （2）运算?是可结合的 （3）存在幺元e （4）对于每一个元素x ? G，存在着它的逆元x-1 则称代数系统〈G，?〉为一个群。 5-4 群与子群（续） 例1：设R={0°，60°，120°，180°，240°，300°}表示在平面上几何图形绕形心顺时针旋转角度的六种可能情况，设★为R上的二元运算，对于R中任意两元素a，b，a★b表示平面图形连续旋转a和b的道德总旋转角度，并规定360°=0°。证明：〈R，★〉是一个群。 60° 0° 300° 240° 180° 120° 120° 120° 60° 0° 300° 240° 180° 180° 180° 120° 60° 0° 300° 240° 240° 60° 180° 120° 120° 120° 240° 180° 180° 180° 300° 240° 240° 240° 0° 300° 300° 0° 300° 300° 120° 60° 60° 60° 60° 0° 0° 0° ★ 5-4 群与子群（续） 设〈G，?〉是一个群， 如果G是有限集，则称〈G，?〉是有限群，G中的元素个数通常称为该有限群的阶数，记作|G|。 如果G是无限集，则称〈G，?〉是无限群。 有限群，无限群 例2：试验证代数系统〈Z，+〉是一个群。 例1中的〈R，★〉是一个有限群，阶为6。 证明： 1）+在Z上封闭 2）+在Z上可结合 3）幺元为0 4）任给a ? A，其逆元为-a 因此，代数系统〈Z，+〉是一个群（无限群）。 广群 半群 独异点 群 5-4 群与子群（续） {群} ? {独异点} ? {半群} ? {广群} 定理：群中没有零元。 群中任意元素的逆元必唯一。 5-4 群与子群（续） 证明：设群〈G，?〉 1）当|G|=1时，它的唯一元素视为幺元 2）当|G|1时，假设群〈G，?〉有零元q，则对群中任何元素都有x ? q = q ? x = q ? e，即零元 不存在逆元，与〈G，?〉是群矛盾，因此群中没有零元。 定理：设〈G，?〉是群，对任意的a，b ? G，必存在唯一的x ? G，使得a ? x=b。 证明：设群a的逆元为a-1，令x=a-1 ? b，则 a ? x = a ? (a-1 ? b)=(a ? a-1) ? b = e ? b = b 若另有x1满足a ? x1 = b，则a-1 ? (a ? x1) = a-1 ? b， 即x1 = a-1 ? b。 定理：设〈G，?〉是群，对任意的a,b,c ? G，若a ? b = a ? c或b ? a=c ? a，则必有b=c（消去律）。 证明：设a ? b =a ? c，且a的逆元为a-1，则有a-1 ? (a ? b) = a-1 ? (a ? c) (a-1 ? a) ? b = (a-1 ? a) ? c e ? b = e ? c b = c 同理可证，当b ? a = c ? a时，b = c。 5-4 群与子群（续） 5-4 群与子群（续） 定义：设S是一个非空集合，从集合S到S的一个双射称为S的一个置换。 例如：S={a，b，c，