第5篇ch12代数系统ch13群ch14环与域剖析.ppt

13-4 陪集和拉格朗日定理 定义13-4.2 设H，?为G，?的子群，那么对任一a?G，称{a}H为H的左陪集(left coset),记为aH;称H{a}为H的右陪集(right coset),Ha 。 定义13-4.1 设G,?为群,A,B?P(G),且A≠0，记 AB={ a?b ? a?A,b?B} 和 A-1= { a-1 ? a?A} 分别称为A，B的积和逆。 定理13-4.1(拉格朗日定理) 设H，?为G，?的子群，a,b?G，那么 （a) R={ a,b|a?G,b?G且a-1?b?H }是G中的一个等价关系。对于a?G ，若记 [a]R={x|x?G且a,x?R}， 则 [a]R=aH (b) 设H，?为有限群G，?的子群，|G|=n, |H|=m, 那么H阶的整除G的阶 m|n 。 ? 证明思路:先证（a） 对于任意a?G，必有a-1?G，使得a?a-1=e?H，所以a,a-1?R。关系R是自反的。 若a,b?R。则a?b-1?H，因为H是G的子群，故 (a-1?b)-1 = b-1?a?H 所以，b,a?R。关系R是对称的。 若a,b?R,b,c?R。则a-1?b?H,b-1?c?H，所以a-1?b?b-1?c=a-1?c?H， a,c?R,关系R是传递的。证明了关系R是对称的。是等价关系 。 对于a?G,有b?[a]R当且仅当a,b?R,即当且仅当a-1?b?H,而a-1?b?H就是b?aH。因此[a]R=aH。 再证(b) 由于R是G中的一个等价关系，所以必定将G划分成不同的等价类[a1]R，[a2]R，...，[ak]R，使得 k k G = ∪[ai]R = ∪aiH i=1 i=1 又因为H中任意两个不同的元素h1,h2,a?G，必有a?h1≠a?h2，所以|aiH|=m, i=1,2,…,k。因此 k k n=|G|=|∪aiH| =∑|aiH|= mk i=1 i=1 所以H阶的整除G的阶 m|n 。 ? 推论1 任何指数阶的群不可能有非平凡子群。 推论2 设G,?为n阶有限群，那么对于对于任意a?G,a的阶必是n的因子且必有an=e,这里e是群G,?的幺元。如果n为质数，则G,?必是循环群。 13-5 同态与同构 定义13-5.1 设A, ★和B,? 是两个代数系统，★和?分别是A和B上的二元运算，f是从A到B的一个映射，使得对任意a1,a2?A，有 f(a1★a2)=f(a1) ? f(a2) （先算后映=先映后算） 则称f为由代数结构A, ★到B,? 的同态映射（homomorphism），称代数结构A, ★同态于B,? ，记为A~B 。 f(A),? 称为A, ★的一个同态象（image under homomorphism）。其中 f(A)={x|x= f(a),a ? A} ? B 图16-5.1 同态映射示意图 a★c b★c a c b A, ★ B, ? ， f(a)=f(b) f(c) f(A) B, ? f(a) ? f(c) =f(b) ? f(c) 先算后映=先映后算 定义13-5.2、3 设f是由A, ★到B,? 的一个同态，当同态f为单射时，又称f为单一同态；当f为满射时，又称f为满同态；当f为双射时，又称f为同构映射，或同构（isomorphism）。当两个代数结构间存在同构映射时，也称这两个代数结构同构。当f为A, ★到 A,? 的同态（同构）时,称f为A的自同态（自同构）。 * 第 五 篇 代数系统 第12章 代 数 系 统(结 构) 1521 代数系统的引入 定义12-1.1 如果 ? 为An到B的一个函数，则称 ? 为集合A上的n元运算（operater）。如果 B?A，则称 该n元运算在A上封闭。 定义12-1.2 一个非空集合A到连同若干个定义在该集合上的运算 f1,f2,…,fk 所组成的系统称为一个代数系统（代数结构），记为A, f1,f2,…,fk 。 定义12