[离散数学讲义第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] 得证代数系统都为独异点，由定理，运算表中任何两行或两列都不相同。 半群 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 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 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 5-4 群与子群 设〈G，?〉是一个代数系统，其中G是非空集合， ?是G上的二元运算，如果 群 例如：代数系统〈R-{0}, ?〉与〈P (S), ?〉等，都是群。 （1）运算?是封闭的 （2）运算?是可结合的 （3）存在幺元e （4）对于每一个元素x ? G，存在着它的逆元x-1 则称代数系统〈G，?〉为一个群。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 5-4 群与子群（续） 例1：设R={0°，60°，120°，180°，240°，300°}表示在平面上几何图形绕形心顺时针旋转角度的六种可能情况，设★为R上的二元运算，对于R中任意两元素a，b，a★b表示平面图形连续旋转a和b的道德总旋转角度，并规定360°=0°。证明：〈R，★〉是一个群。 ★ 0° 60° 120° 180° 240° 300° 0° 0° 60° 120° 180° 240° 300° 60° 60° 120° 180° 240° 300° 0° 120° 120° 180° 240° 300° 0° 60° 180° 180° 240° 300° 0° 60° 120° 240° 240° 300° 0° 60° 120° 180° 300° 300° 0° 60° 120° 180° 240° Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 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，+〉是一个群（无限群）。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 广群 半群 独异点 群 5-4 群与子群（续） {群} ? {独异点} ? {半群} ? {广群} Evaluation only. Created with Aspose.Slides for .NET 3.5 Cl