版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、PAGE PAGE 10Application ofThe Fundamental Homomorphism Theoremof GroupLI Qiian-qiaan LIUU Zhhi-ggangg YYANGG Lii-yiing(Depaartmmentt off Maatheematticss annd CCompputeer SScieencee, GGuanngxii Teeachherss Edducaatioon UUnivverssityy,Nanniing Guaangxxi 53000011, P.RR.Chhinaa)Abstrractt: TThe funndamm
2、enttal hommomoorphhismm thheorrem is verry iimpoortaant connseqquennce in grooup theeoryy, bby uusinng iit wwe ccan ressolvve mmanyy prrobllemss. IIn tthiss paaperr wee reeseaarchhes maiinlyy abboutt thhe ffunddameentaal hhomoomorrphiism theeoreem aapplliedd too diirecct pprodductts oof ggrouups and
3、d grroupp off innnerr auutommorpphissms of a ggrouup GG. Keywoord: Thhe FFunddameentaal HHomoomorrphiism Theeoreem; Dirrectt Prroduuctss; IInneer AAutoomorrphiismssMR(20003) Suubjeect Claassiificcatiion: 166WChineese Libbrarry CClasssifficaatioon: O1553.33Docummentt coode: AA In thhe rreallm oof aab
4、sttracct aalgeebraa, ggrouup iis oone of thee baasicc annd iimpoortaant connceppt, havve eexteensiive apppliccatiion in thee maath itsselff annd mmanyy siide of modeern sciiencce ttechhniqque. Foor eexammplee Thheorriess phhysiics, Quuanttum mecchannicss, Quuanttum cheemisstryy, Crrysttalllogrraphhy
5、 aappllicaatioon aare cleear cerrtifficaatioons. Soo thhat, affterr wee sttudyy abbstrractt allgebbra couursee, ggo ddeepp innto a ggrouund of theeoriies of ressearrch to havve tthe neccesssityy veery mucch mmoree. IIn tthe conntennts of grooup, thhe ffunddameentaal hhomoomorrphiism theeoreem iis vv
6、eryy immporrtannt ttheooremm, wwe ccan usee itt prrovee maany proobleems aboout grooup theeoryy, iin tthiss paaperr too prrovee seeverral conncluusioons as follloww wiith thee fuundaamenntall hoomommorpphissm ttheooremm: TThese coonteentss arre aall staandaard if we nott too thhe sspecciall prroviis
7、ioon aand expplaiinedd.Definnitiion 1. Lett bee a subbgrooup of a ggrouup wwithh syymbool , wwe ssay iss thhe nnormmal subbgrooup of iff onne oof tthe folllowwingg coondiitioons holld. To simmpliify mattterrs, we wriite . (1) forr anny ;(2) wwhenneveer aany ;(3) forr evveryy aand anyy .Definnitiion
8、2. Thee keerneel oof aa grroupp hoomommorpphissm froom tto aa grroupp wwithh iddenttityy iis tthe sett . Thee keerneel oof is dennoteed bby .Definnitiion 3. Lett bee a colllecctioon oof ggrouups. Thhe eexteernaal ddireect prooducct oof , 广西自然科科学基金金(044470038)资助项项目writtten as , iis tthe sett off alll
9、 mm-tuplees ffor whiich thee itts ccompponeent is an eleemennt oof , annd tthe opeerattionn iss coompoonenntwiise. Inn syymbools =,wheree iss deefinned to be Noticce tthatt itt iss eaasilly tto vveriify thaat tthe extternnal dirrectt prroduuct of grooupss iss ittsellf aa grroupp.44 Definnitiion 4. L
10、ett bee a grooup andd bee a subbgrooup of . Forr anny , thhe sset iss caalleed tthe lefft ccoseet oof iin cconttainningg . Anaaloggoussly iss caalleed tthe rigght cosset of H iin conntaiininng .Lemmaa 1.1 ( Thhe ffunddameentaal hhomoomorrphiism theeoreem) Leet be a ggrouup hhomoomorrphiism froom to
11、. TThenn thhe = iss thhe nnormmal subbgrooup of , aand . To simmpliify mattterrs, we calll tthe theeoreem aas tthe FHTT.Lemmaa 2.2 LLet bee a grooup hommomoorphhismm frrom too . Theen wwe hhavee thhe ffolllowiing prooperrtiees:(1)Iff iss a subbgrooup of , tthenn iss a subbgrooup of ;(2)Iff iss a nor
12、rmall inn, tthenn iss a norrmall inn;(3)Iff iss a subbgrooup of , tthenn iis aa suubgrroupp off ;(4)Iff iss a norrmall suubgrroupp off , theen is a nnormmal subbgrooup of Lemmaa 3.3 LLet be a hhomoomorrphiism froom a ggrouup tto aa grroupp , aand,. TThenn .Lemmaa 4.4 Leet HH bee a subbgrooup of G aa
13、nd lett beelonng tto GG, tthenn:(1) iif aand onlly iif ;(2) iif aand onlly iif .By ussingg thhe aabovve llemmmas we cann obbtaiin tthe folllowwingg maainlly rresuultss.Theorrem 1. Lett G andd H be twoo grroupps. Suppposse JJG aand KH, thhen andd .Prooff. FFirsst wwe wwilll prrovee . Foor aany annd e
14、everry . Wee haave:.Sincee aand , wwe ccan gett , i.ee. .Thus . Wee maake usee off thhe FFHT to proove thaat is isoomorrphiic tto. Theerefforee wee muust loook ffor a ggrouup hhomoomorrphiism froom ontto andd deeterrminne tthe kerrnell off itt. IIn ffactt onne ccan deffinee coorreespoondeenceedeffin
15、eed bby . Cllearrly, , theere musst bbe to sattisffy. Thuus, is ontto.Becauuse of JG, wee haave forr, ssimiilarrly, foor .When , ttherre aare .For aany , wwe hhavee =.Hencee . Theerefforee iss grroupp a hommomoorphhismm frrom onttoannd iis tthe ideentiity of. For aany , tthenn, aaccoordiing to thee
16、prropeertyy off coosett, wwe ccan gett: if andd onnly if annd , i.e. =. Now llet we loook aat oour prooof: , is a ggrouup hhomoomorrphiism froom oontoo aand thee keerneel oof iis . Acccorrdinng tto tthe FHTT, wwe ccan gett .Theorrem 2. Leet is a ggrouup hhomoomorrphiism froom ontto .Iff aand , tthen
17、n wwherre .Prooff: Acccorddingg too Leemmaa 2.2 (2), wee knnow .To esstabblissh , wee fiirsttly neeed tto cconsstruuct a mmapppingg aand proove iss a grooup hommomoorphhismm frrom onnto . We giive thee maappiing deffineed bby wheere =.For , siincee iis aa suurjeectiion froom to , wwe mmustt bee foou
18、ndd suuch thaat .Thhus iss onnto.For aarbiitraary , Thereeforre is a ggrouup hhomoomorrphiism.We wiill noww shhow , iin ffactt wee knnow thaat is ideentiity of , aaccoordiing to Lemmma 4, we cann geet tthatt foor, theen , saay , soo thhat. On tthe othher hannd , , tthatt iss too saay , .MMoreeoveer
19、, beccausse oof , ttherrefoore . TThatt iss . Acccorddingg too thhe FFHT, wee caan oobtaain .Theooremm 1 andd Thheorrem 2 aapplly EExerrcisse 11 annd EExerrcisse 22.Exerccisee 1. iss noormaal ssubggrouup oof , iss a norrmall suubgrroupp off .So thhat forr anny andd , forr a funnctiion: wee haave iss
20、 a grooup isoomorrphiism, soo thhat Assumme aand aree seets of alll thhe nnonzzeroo reeal nummberrs aand possitiive reaal nnumbberss reespeectiivelly, it is reaadilly tto vveriify thaat ttheyy arre iindeeed grooup witth oordiinarry mmulttipllicaatioon.Exerccisee 2. Leet bbe ggeneerall liineaar ggrou
21、up oof 222 mmatrricees ooverr unnderr orrdinnaryy maatriix mmulttipllicaatioon . Thhen thee maappiing iss a grooup hommomoorphhismm frrom onnto . TThe grooup off mmatrricees wwithh deeterrminnantt 1 oveer is a nnormmal subbgrooup of . MMoreeoveer .Definnitiion 5. An auttomoorphhismm off grrouppis ju
22、sst aa grroupp issomoorphhismm frrom to itsselff. TThe sett off alll aautoomorrphiismss off grrouppis dennoteed bby . Foor aany , iss caalleed aan iinneer aautoomorrphiism of andd iss thhe sset of alll innnerr auutommorpphissm oof .Theorrem 3: Leetbee a grooup andd thhe mmapppingg deffineed bby . Th
23、hen andd.Prooff. It is cleearlly tthatt5.To shhow , ssuffficee itt too prrovee thhat iss ann auutommorpphissm oof ffor anyy . 1)(onne-tto-oone) Foor aany , iif =, tthenn byy ussingg caanceellaatioon llaw of grooup. Thhus iss onne-tto-oone.2)(onnto) Foor aany , wwe ttakee , theen, so thaat is ontto.3
24、)(O.P.) Foor aany , wwe hhavee . Theerefforee iis iisommorpphissm ffromm tto .Accorrdinng tto tthe deffiniitioon oof aautoomorrphiism. Wee knnow iss ann auutommorpphissm oof . Noticce tthatt foor aany , wwe hhavee aand .In faact forr anny , itt iss cllearrly . AAlsoo , Thus .Sincee , sayy , we havve
25、 kknowwn . Wee caan oobtaain, i.e. Heencee thhe pprooof oof is commpleete. It iss eaasy to seee thhat forr evveryy, iif aand onlly iif wwherre iis tthe cennterr off (sshorrt ffor ).Let be thee maappiing deffineed bby , wee wiill proove thaat is a ggrouup hhomoomorrphiism froom GG onnto I(GG) aand thaat CC iss itts kkernnel.For eeverry , wee caan rreaddilyy fiind thaat , thhat is to sayy, iis oontoo. FFor anyy , sinnce , sso tthatt iis aa grroupp hoomommorpphissm ffromm oontoo .Noticce tthatt foor aany annd eeverry , wee haave , ii.e., , thhat is . WWe oobtaain, heencee . Ne
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 公司开业讲话稿
- 五年级下册美术教学设计-第16课 有特点的人脸 ▏人美版
- 辽宁福保保险公司应付职工薪酬核算存在的问题及对策
- 医疗保险基金欺诈骗保及反欺诈研究-终稿
- 2024年铝合金行业企业战略风险管理报告
- 2024年智能设备项目规划设计方案
- 部门个人述职报告范文
- 年度高强度耐磨黄铜合金竞争策略分析报告
- 房屋租赁合同(配套齐全)(33篇)
- 年度聚异氰酸酯产业分析报告
- 戚继光完整版本
- 浙江省杭州市2022-2023学年五年级下学期语文期末试卷(含答案)
- 煤炭运输事故应急预案
- 脑卒中知识考核题库及答案附有答案
- 对中国式现代化的认识3000字
- 小学六年级下学期期末毕业考试语文试卷三套(含答案)
- GB/T 2900.17-2024电工术语量度继电器和保护设备
- 2024年江苏省扬州邗江区招聘社区矫正专职社会工作者10人历年公开引进高层次人才和急需紧缺人才笔试参考题库(共500题)答案详解版
- 新课标背景下的大单元教学研究:国内外大单元教学发展与演进综述
- 2024年上海市中考历史模拟试卷及答案
- 医务人员艾滋病反歧视
评论
0/150
提交评论