代数学(第7讲).docVIP

第七讲 §1.8同余，商半群与群 复习有关内容： 1，设是集合的一个关系。如果具有以下三种性质：（1）自反性：， 均有（或）；（2）对称性：当时必有（或当时必有）；（3）传递性：，当且时，必有（或当且时，必有）。那么关系叫做的一个等价关系。设是集合上的一个等价关系。令，称为由确定的（关于等价关系的）等价类。它对应的分类称为关系的商集，记为，即。 2，设是群的子群，。我们称为相对于子群的右陪集，称为相对于子群的左陪集。 新课： 一、同余，商半群、商群 1、Def 1.4 设是一幺半群，M上的一个同余（关系）是M中的一个等价关系，且满足，由。 2、商幺半群 设是的一个同余关系，M关于的商集记为，即，其中。，我们定义，我们说这个定义是合理的。假设，那么，所以，从而，即，这表明了定义的合理性。，我们有，即结合律成立。又，因此是的恒等元。因此是一个幺半群。称为关于同余关系的商幺半群。 3、商群 设M=G是一个群，是G上的同余关系，则是一个幺半群，并且，，，所以。于是是一个群。称为关于同余关系的商群。 二、正规子群 1、Def 1.5 设G是一个群，K是G的一个子群，如果，均有，则称K为G的一个正规（不变）子群。 2、Th1.6 设G是一个群，是G上的同余关系，那么，商群中的恒等元是G的一个正规子群，并且，其中Kg与gK分别是关于K的右陪集和左陪集。反之，设K是G的一个正规子群，在G上定义关系如下： 那么关系是G上的一个同余关系，而相对于的同余类刚好是左（右）陪集gK。 Proof：（1）假设是G上的一个同余关系，K是商群的恒等元，即。下证是G的一个正规子群。 首先，显然有。设，则，从而，所以。于是，是G的一个子幺半群。 ，我们有，从而，这样。所以 K是G的一个子群。 对于任意，我们将证明。 设，则有，于是 。这样 , 即。所以；反之，，使得，所以，因此，这样，于是。同理可证，于是。下面证明群G的子群K是正规的当且仅当。 设K满足，那么，于是，使得，因此K是G的正规子群。反之，若K是G的正规子群，那么，，均有，于是。这样。同时，即。因此Kg=gK。 （2）反过来，设K是G的一个正规子群，定义关系。易证是一个等价关系。下证是同余关系。设，则有，从而。又因为K是正规的，bK=Kb，即，使得。所以，它是一个同余关系。。证毕。 3、记为，称它为G的相对于正规子群K的因子群（商群）。在中定义运算：（gK）（hK）=（gh）K，则是恒等元，gK的逆元是。 三、单群 1、一个群若除了G和{1}之外没有其它的正规子群，则称G为单群。 四、用集合论观点来定义正规子群 1、设A,B是群G的两个子集，定义。 2、设G是一个群，那么P（G）是一个幺半群；G的子集H是子群；这里。 §1.9同态 基本概念 1、Def 1.6 设M和M/是两个幺半群，，如果，，，则称是幺半群M到M/ 的一个同态。 2、在Def1.6 中，如果M/ 是一个群，则条件是多余的。因为由条件 。 3、例：设G是集合S的一个变换群。，并且满足。记是在T上的限制，那么映射是G到Sym T的一个同态，称为限制同态。因为。于是，， 。 从而 。 4、一个同态不必是满射或单射。如果是满射（单射），则称是满同态（单同态）。当然如果是双射，则就是同构。 5、设是幺半群M到幺半群M/的同态，那么，我们有。如果a是可逆的，那么由可得，因此在M/ 中可逆，且，因此，均有。 6、Th1.7：设与是幺半群M（或群G）到幺半群M/的同态，S是M（或群G）的生成集。如果，那么。 Proof：设，显然。因为，所以，同时，对于任意，我们有。于是，。这说明是M的一个子幺半群。又并且M=〈S〉，所以。因此。 类似地可证明群G的情况：设，那么是G的一个子幺半群。又，所以。因此是G的一个子群。又并且G=〈S〉，所以。因此。证毕。 7、设M是一幺半群，M到自身的同态称为自同态，M到M的一个同构称为自同构。 8、设是幺半群的同态，那么是幺半群的同态。因为，同时 ，其中是M//中的恒等元。 设，那么AutM是M的一个变换群。称它为M的自同构群。再设，那么EndM是M的一个变换幺半群，称它为M的自同态幺半群。 9、例（P58，第9题）：设是群G的子群：，，。 ① 证明：。 ② 证明：若是有限群，则 。 Proof：①，，我们有 ，。反之 ，则有 ，从而。令，则并且。即，因此 。所以。 ② 若是有限群，则。又是满射，并且是上的一个等价关系，所以是双射，从而 。又 （因为），所以。证毕。 作业：P57：4，7，10.