6.3-子群及陪集-2018.pptVIP

习题6.2--2 举例说明不要求可除条件而要求消去条件，即要求由ax=ay可推出x=y，由x·a=y·a可推出x=y，则G不见得是一个群，若G有限怎么样？ 解:(1)例如，全体正整数在普通乘法下，适合消去律，但不是群。 (2)往证有限半群，满足消去条件，一定是群。 解：因G有限，设G={a1，a2，…an}，任取G中元素a，用a右乘G中各元素得a1a，a2a，…，ana先证这n个元素必不相同。反证法，若aia=aja (i?j) ，由消去条件有ai=aj，矛盾。 设G1={a1a，a2a ，…ana},G=G1 .则对任意b?G，必有ai，使aia=b，因之方程xa=b有解。同理可知ay=b有解。故G是群。 * * 解释：一、 A的所有元素必须都有映像；但B中不要求每个元素都有原像；二、可以A中的多个元素对应b中的一个元素；但不允许A中的一个元素对应b中的多个元素； * 培集的性质 从（5）还可推出： （6）aH=bH的充分必要条件是a-1b∈H。 证明：必要性. 由b∈bH,及aH=bH知， b∈aH,故a-1b∈H。 充分性. 由a-1b∈H，知， b∈aH, 故由性质（5），知 aH=bH。 陪集的性质 （7）任意两个右陪集aH和bH或者相等或者不相交。 证明： 如果aH和bH相交，则它们包含公共元素c，即c∈aH，且c∈bH。因此， 由（5）得aH=cH，且bH=cH。故， aH=bH。 正规子群 定义. 设H是群G的子群,设对G中的任意 元素g,都有gH=Hg,则称H是G的正规子群。 gH=Hg 与 对任意 h ∈H,gh=hg是一个意思吗？ 结论1 “平凡”子群H={1}和G都是G的正规子群. 结论2 Abel群的任意子群是正规子群。 结论： H是G的正规子群，必要而且只要对任意的g∈G，gHg-1 ? H. 证明：必要性. 由H是G的正规子群，知，对于 任意g∈G，gH=Hg,即,gHg-1=H，故 gHg-1 ? H. 充分性. 设对任意g∈G，gHg-1 ? H。既然此式 对任意g∈G成立，则以g-1∈G代g仍成立： g-1H（g-1）-1 ?H，即，g-1Hg ?H； 以g左乘以g-1右乘之，得H ? gHg-1 因此，H=gHg-1对任意g∈G都成立,即，gH=Hg, 因而H是正规子群。 正规子群的例 例：S={0,1,2,3}， ⊕4为模4加法运算，则(S,⊕4)为模4整数加法群,H={0,2}，(H, ⊕4) 为S的子群.验证H是S的正规子群。 证明：0 ⊕4H={0 , 2}=H⊕4 0 1 ⊕4H={1 , 3}=H⊕4 1 2 ⊕4H={0 , 2}=H⊕4 2 3 ⊕4H={3 , 1}=H⊕4 3 正规子群的例 例. 设G是3次对称群: {I,(1 2),(1 3),(2 3),(1 2 3),(1 3 2)}, 则 （1）H1={I,(1 2)}不是正规子群，因为 （1 3）H1≠ H1（1 3） （2） H2={I,(1 2 3),（1 3 2）}是正规子群. 证明：对任意σ∈H2 ，σH2 = H2 σ= H2 (1 2) H2= H2 (1 2) ={(1 2),(2 3),(1 3)}, 因(2 3) H2=H2(2 3) ={(1 2),(2 3),(1 3)}, 同理， (1 3) H2= H2 (1 3) 。 Lagrange定理 设G为有限群，则G的任意子群H的元数整除群G的元数。 证明： 设|G|= n，|H|=r。 设H有s个右陪集,则每个右陪集的元数等于H的元数r，再由不同的右陪集没有公共元素，知所有右陪集的并集有元数rs。 而G等于所有右陪集的并集，故 |G|= n = rs =|H|s， 即，子群H的元数整除群G的元数。 Lagrange定理的逆命题不成立 Lagrange定理的逆命题含义： (1)设G是有限群，H ?G，若有|H|||G| ,则H为G的子群。 (2)设G是有限群，，若m||G| ，则G存在一个元数个数为m的子群。 例：以四次交代群A4为例，说明n元群对于n的因数k，可能没有k元子群。即证明A4没有6元子群. 证明：假设A4有一个6元子群H，而A4包含3个形如(ab)(cd)的元素，包含8个形如(abc)的元素。 (1)若H中都是形如(abc)的元素，而(abc)-1=(cba) ∈H，即H中3元置换必成对出现，加上一个单位置换H的元数不会是6. 矛盾 (2)若H中都是形如(ab)的元素