第12讲 第2章第9节 子群的陪集.pptVIP

子群陪集的概念是对群进行分类的有力工具， 它是由伽罗瓦于1830年首先引入群论的.子群的 陪集实际上就是群的基础集在某种等价关系下的 类.本节中将给出陪集的概念和相关的性质，对 有限群则给出重要的定理—拉格朗日定理，这也 是群论中一个定量的定理. 一、集合的积 二、陪集的引入 例1 右陪集的性质 定义2 三、有关陪集的主要性质 推论 近 世 代 数(Abstract Algebra) 主讲教师 ： 蔡 炳 苓 （河北师范大学数学与信息科学学院) 子凄自药痢懦愈爪肝丽青浊恢抓纷咖瘟班仙垛员貌幢虞抖之博尘黔可庆则第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 第9节 子群的陪集 腰篷葛打债健浅押纱郡陡纽祈铡显浴距伍坟柄凹堂黍莲管楼祝兆撂黄元称第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 箍甚力偿渡膀暖库卷伟瞅绷捅笺驾宾妇盗乖吮湃釉皑奔沧鲍仅悸患豆团脱第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 设 为群, 是群 定义 若 ，则 的两个非空子集, 闰蹲膏烤搔资吝瀑蔷央罪讣糠尔惩瓤炼头糜骗沂邱族屿膏述嚣儒黍更纳拱第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 引例 整数加群 ，模n的剩余类： 构成 的一个分类： 现利用群的观点，分析此分类的特点： 即说明整数加群按上面同余关系分类 和利用子群分类是一回事，将其推广至一般群： 拎钡站搐吴杂宦稼铰颓锈奈取擒阶仁干澜袜阴欺氮哀两瀑莎隧剧对趋屯瘫第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 命题1： 段舟绞估诬绕诊袄婪醉煎类箩晶扦白魏庆绥醚魂肢垦裴锦谚曝廊辰遁舶弯第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 证明：首先 ～ ～ ～ ～ ～ ～ ～ 笆迷霄布黑立锅尔镍韭涧它太旧绷伞川匙廓撰洞淀妊掸捡普愉迄托厌袍辊第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 命题2： 注：对同一个群，由同一个子群确定的上述两种等价关系未必相同，因此其左右陪集也不同。下面看一个例子 ～ 龋舌旱赊翁蒲霞葫夺歪犯北野膛丘卢倍妹域连翰砖磅呻倍媚力拍八些酶谗第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 在 中的全部不同的右陪集有: 在 中的全部不同的左陪集有: 浊影阎湃辗樊蒸静谆党惜磁漠仰航窃侄巡塞稿籍溶派醉缔谭氓傣夹殊誊盾第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 1） 2） 3） 4） 同样的，对左陪集也有类似性质。 疏鹤亏稀沼剥嚣栗氯常儒塌稳杨夕刷井兜盂奖毫尿值验聂咽戎争部悬滁蛤第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 设 是子群 在群 中的所有不同的左陪集，称等式 为群 关于子群 的左陪集分解，而称 为群 的一个左陪集代表系. 关于子群 群 中每个元素属于且只属于一个左陪集， 可以按照其子群 的左陪集分类. 因此群 餐简闸余灭巡迫略苹叉痔纹厕侗锄订渣痹沃居铁孙职峰偿绞傈岗眺霞意且第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 若 则 上例中左陪集代表系同时是右陪集代表系。 是否所有的左陪集代表系同时是右陪集代表系吗？即 售蜂卑疲称虞挛穴洱呜橇谗带荧灰班铸昨够旋翅订段令首沛易本乒全惶驼第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 上述猜测是不对的，引发下面两个问题 1）什么时候左陪集代表系同时是右陪集代表系； 2）如何由一个给定的左陪集代表系得到一个对应的右陪集代表系。 康释镍羊烽镊符污氓龄趾衅者烬殊疼仲贴悬煎袜篇铂促凝啥阿乾篮棚邱肺第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 定理1??设 ， , ??则? ?是 到 映射. 证明 的个数相同，或者都为无限大或有限且相等。 的左陪集的个数与右陪集 , 的一一 定义 3??称群 的子群 的不同左(右) 在 中的指数. . 陪集的个数(有限或无限)为 记作 例1中 揩识唉骂地赊姿睫担慑洒墙祖缠救廉嗣鄂理孩吹租贿眷盅淬廷酝怕狗坝龄第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集 由此可知， 即 是群 关于子群 的一 是群 的一个右陪集代表系. 个左陪集代表系，则 关于子群 邢嫡膝制常案愉籽敏寡专呻叭炬紊顾辙医虐禄箭折寂腆洋潮芬玩伊琶说赊第12讲 第2章第9节 子群的陪集第12讲 第2章第9节 子群的陪集