11．4 陪集与拉格朗日定理.pptVIP

11．4陪集与拉格朗日定理陪集定义设T是群G的子群，a?G。令 Ta={ta|t?T} 称Ta是子群T在G中的右陪集。 称a为Ta的代表元素。陪集例，设A={1,2,3}，令G={A上的双射函数}，则G关于函数复合运算构成群。 f0={1,,2,,3,},f1={1,,2,,3,}, f2={1,,2,,3,},f3={1,,2,,3,}, f4={1,,2,,3,},f5={1,,2,,3,}, 令T={IA,f5}，T?G？， TIA= Tf5= Tf3= Tf1=右陪集相等的充分必要条件定理设T是群G的子群，则?a,b?G有 a?Tb?ab-1?T?Ta=Tb右陪集相等的充分必要条件定理T?G，?a,b?G， a?Tb?ab-1?T?Ta=Tb说明：?a,b?G，a?Tb?Ta=Tb右陪集中的任何元素都可作为它的代表元素；ab-1?T?a,b在同一个右陪集中(a,b?Ta=Tb);两个右陪集相等的充分必要条件。陪集定理设T是群G的子群，在G上定义二元关系R： ?a,b?G,a,b?R?ab-1?T则R是G上的等价关系，且[a]R=Ta。证明：?a,b?G,a,b?R?ab-1?T1.自反：?a?G,aa-1=e?T?a,a?R2.对称：?a,b?G,a,b?R?ab-1?T?(ab-1)-1?T ?ba-1?T?b,a?R3.传递：?a,b,c?G,a,b,b,c?R?ab-1,bc-1?T ?(ab-1)(bc-1)?T ?ac-1?T?a,c?R ?R是G上的等价关系。讨论：?a,b?G,a,b?R?ab-1?T R是G上的等价关系，则商集 G/R={[a]R|a?G}={Ta|a?G}，有性质(124)：?a?G,[a]R=Ta??；?a,b?G,a,b?R?[a]=[b]?a,b?G,a,b?R?[a]?[b]=??Ta?Tb=? G/R是G的划分：给定T?G，T的所有陪集， {Ta|a?G}是G的划分； 划分是由G和T(G和R)确定的,R也是由T确定的.陪集结论：已知群G，?T?G，T确定G的一个划分。 ?={Ta|a?G}讨论：子群{e}确定的G的划分？子群G确定的G的划分？子群{e,a}确定的klein四元群{e,a,b,c}的划分？拉格朗日定理T在G中的右(左)陪集数，叫做T在G中的指数，记作[G:T]拉格朗日定理：设G是有限群,T是G的子群，则 |G|=|T|?[G:T]拉格朗日定理2.|G|=|T|?[G:T]： 设[G:T]=r， G=Ta1?Ta2?…?Tar 且i?j时，Tai?Taj=?(i,j=1,2,…,r) 所以， |G|=|Ta1|+|Ta2|+…+|Tar| =|T|+|T|+…+|T| =|T|?r =|T|?[G:T] 即|T|||G|，|T|是|G|的因子。推论1.阶为素数的群G不可能有非平凡子群。群与子群判定例通信编码：二进制数字编码 码字：字长=有效信息位+校验位 如，ASCII码 ?：异或，模2加法群与子群判定例.某一二进制通信编码的码字x=(x1x2…x7)，其中x1,x2,x3,x4为数据位，x5,x6,x7为校验位，且满足： x5=x1?x2?x3 x6=x1?x2?x4 x7=x1?x3?x4，?是模2加法。设S为所有这样的码字构成的集合，在S上定义二元运算如下：?x,y?S,令x?y=z，z=(z1z2…z7) zi=xi?yi(i=1,2,…,7)证明：①S,?构成群； ②且是T,?的子群，其中 T={x=(x1x2…x7)|xi?{0,1}}，?运算同S,?中的运算。群与子群判定1，分析①S中的元素 x=(x1,x2,…,x7),xi?{0,1} x5=x1?x2?x3?{0,1} x6=x1?x2?x4?{0,1} x7=x1?x3?x4?{0,1}②T中的元素 x=(x1,x2,…,x7),xi?{0,1}③S?T2，证明 关键是什么？群与子群判定1)S,?是群①封闭性 ?x,y?S,令z=x?y， zi=xi?yi(xi,yi,zi?{