1.5群的直积同构同态.ppt

*1.5群的直积、同构和同态一、群的直积定义：设H1和H2是群G的两个子群H1={R1,R2,...,Rh1}，R1=EH2={S1,S2,...,Sh2}，S1=E若满足：1）除恒元R1=S1=E外，子群H1和H2无公共元素2）分属两子群的元素乘积可以对易，即3）群G是所有形如的元素构成的集合则称群G为H1和H2的直接乘积，简称直积，记作H1，H2称为群G的直积因子H1H2GRjSμE说明1）直积群的阶是两个子群阶的乘积g=h1×h22）群H1和H2都是群G的不变子群3）直接因子H1，H2并不一定是阿贝尔群二、群的同构定义：若群G和G的所有元素间都按某种规则存在一一对应的关系且它们的乘积也按同一规则一一对应则称两群同构符号表示：若且则注意1）两个群的恒元与恒元对应2）同构无方向性证明：1）数群{1，i，-1，-i}与C4v的循环子群{E,C4,C42,C43}同构（乘法表相似）2）在乘法下所有整数的群与在加法下所有实数的群同构(提示：同构映射可由取对数（或指数）建立)练习三、群的同态1.定义：若群G和G的所有元素间都按某种规则存在一多对应的关系即群G中任一元素都唯一地对应G中的一个确定元素G中任一元素至少对应G中一个元素也可对应G中若干元素且群元素的乘积也按同一规则一多对应则称两群同态符号表示：若且则G~G注意1）同态有方向性，即G与G同态，不一定G与G同态2）同构是一种特殊的同态，即若G≈G，则必有G~G；反之则不一定3）显然只含恒元的群{E}与任何群同态，（映射规则取为乘群元素的逆）一般不考虑这种同态2.定理（一）——同态核定理若群G与群G同态，则与G恒元相对应的G中的元素的集合H称为同态核，则有1）同态核H是G的不变子群2）与G其它每个元素对应的G中元素的集合构成H的陪集3）群G与群G关于H的商群同构，即G≈G/H证明定理（一）思路：1）证明与G恒元E对应的G中元素集合H是G的子群2）再证H是G的不变子群3）最后证与G其它元素R对应的G中元素集合是H的陪集RH则G显然与商群G/H同构（见商群定义）证明：1）（H是G的子群，据群的四个条件）●设H的内容是H={S1,S2,...,Sh}，H中的元素与元素间乘积均对应于G中的恒元E，即Sμ→E,Sν→E,SμSν→E因此有即子集H对元素乘积封闭●设G中的恒元E→G中的元素T则ESμ→TE,同时，ESμ=Sμ→E则TE=E即T=E亦即E→E恒元E属于子集H●将群G中任意元素R及其逆元R-1对应G’中的元素R’,P’即R→R,R-1→P则即R→R,R-1→R-1，G中互逆元素对应G中的元素也互逆则对有Sμ→E,Sμ-1→E-1=E因此，H中任意元素Sμ的逆Sμ-1属于子集H●H中的元素都属于群G，则H中元素乘积显然满足结合律●综上，子集H在与群G相同乘积规则下满足群的四个条件，因此，H是G的子群2）（证H是不变子群）群G中的元素RSμR-1→G中的元素RER-1=E即RSμR-1=Sν→E属于H则RSμ=SνR，由元素的任意性，可知RH=HR因此，子群H是G的不变子群3）（证与G其它元素对应的G中元素集合是H的陪集）●H的陪集元素RSμ→G中的元素RE=R●反过来，将G中的元素R对应G中的任意元素记为Rμ（不唯一）●群G中的元素RSμR-1→G中的元素RER-1=E又G中R-1→G中R-1Rμ→R则R-1Rμ→R-1R=E因此，R-1Rμ属于H，这是R,Rμ属于同一左陪集RH的充要条件●又R,Rμ均对应G中的R考虑到元素的任意性，可知商群G/H的每一个复元素H或RH分别与G中元素E或R存在一一对应的关系它们的乘积也同一规则地一一对应因此，G/H≈G3.定理（二）●设群G是一已知群，集合G是一个定义了