《广西自然科学基金(0447038)资助项目.docx》由会员分享，可在线阅读，更多相关《广西自然科学基金(0447038)资助项目.docx（6页珍藏版）》请在三一办公上搜索。
1、Application ofThe Fundamental Homomorphism Theoremof GroupLI Qian-qian LIU Zhi-gang YANG Li-ying（Department of Mathematics and Computer Science, Guangxi Teachers Education University,Nanning Guangxi 530001, P.R.China）Abstract: The fundamental homomorphism theorem is very important consequence in gro
2、up theory, by using it we can resolve many problems. In this paper we researches mainly about the fundamental homomorphism theorem applied to direct products of groups and group of inner automorphisms of a group G. Keyword: The Fundamental Homomorphism Theorem; Direct Products; Inner AutomorphismsMR
3、(2003) Subject Classification: 16WChinese Library Classification: O153.3Document code: A In the realm of abstract algebra, group is one of the basic and important concept, have extensive application in the math itself and many side of modern science technique. For example Theories physics, Quantum m
4、echanics, Quantum chemistry, Crystallography application are clear certifications. So that, after we study abstract algebra course, go deep into a ground of theories of research to have the necessity very much more. In the contents of group, the fundamental homomorphism theorem is very important the
5、orem, we can use it prove many problems about group theory, in this paper to prove several conclusions as follow with the fundamental homomorphism theorem: These contents are all standard if we not to the special provision and explained.Definition 1. Let be a subgroup of a group with symbol , we say
6、 is the normal subgroup of if one of the following conditions hold. To simplify matters, we write . (1) for any ;(2) whenever any ;(3) for every and any .Definition 2. The kernel of a group homomorphism from to a group with identity is the set . The kernel of is denoted by .Definition 3. Let be a co
7、llection of groups. The external direct product of , 广西自然科学基金(0447038)资助项目written as , is the set of all m-tuples for which the its component is an element of , and the operation is componentwise. In symbols =,where is defined to be Notice that it is easily to verify that the external direct product
8、 of groups is itself a group.4 Definition 4. Let be a group and be a subgroup of . For any , the set is called the left coset of in containing . Analogously is called the right coset of H in containing .Lemma 1.1 ( The fundamental homomorphism theorem) Let be a group homomorphism from to . Then the
9、= is the normal subgroup of , and . To simplify matters, we call the theorem as the FHT.Lemma 2.2 Let be a group homomorphism from to . Then we have the following properties:（1）If is a subgroup of , then is a subgroup of ;（2）If is a normal in, then is a normal in;（3）If is a subgroup of , then is a s
10、ubgroup of ;（4）If is a normal subgroup of , then is a normal subgroup of Lemma 3.3 Let be a homomorphism from a group to a group , and,. Then .Lemma 4.4 Let H be a subgroup of G and let belong to G, then:（1） if and only if ;（2） if and only if .By using the above lemmas we can obtain the following ma
11、inly results.Theorem 1. Let G and H be two groups. Suppose JG and KH, then and .Proof. First we will prove . For any and every . We have:.Since and , we can get , i.e. .Thus . We make use of the FHT to prove that is isomorphic to. Therefore we must look for a group homomorphism from onto and determi
12、ne the kernel of it. In fact one can define correspondencedefined by . Clearly, , there must be to satisfy. Thus, is onto.Because of JG, we have for, similarly, for .When , there are .For any , we have =.Hence . Therefore is group a homomorphism from ontoand is the identity of. For any , then, accor
13、ding to the property of coset, we can get: if and only if and , i.e. =. Now let we look at our proof: , is a group homomorphism from onto and the kernel of is . According to the FHT, we can get .Theorem 2. Let is a group homomorphism from onto .If and , then where .Proof: According to Lemma 2.2 (2),
14、 we know .To establish , we firstly need to construct a mapping and prove is a group homomorphism from onto . We give the mapping defined by where =.For , since is a surjection from to , we must be found such that .Thus is onto.For arbitrary , Therefore is a group homomorphism.We will now show , in
15、fact we know that is identity of , according to Lemma 4, we can get that for, then , say , so that. On the other hand , , that is to say , .Moreover , because of , therefore . That is . According to the FHT, we can obtain .Theorem 1 and Theorem 2 apply Exercise 1 and Exercise 2.Exercise 1. is normal
16、 subgroup of , is a normal subgroup of .So that for any and , for a function: we have is a group isomorphism, so that Assume and are sets of all the nonzero real numbers and positive real numbers respectively, it is readily to verify that they are indeed group with ordinary multiplication.Exercise 2
17、. Let be general linear group of 22 matrices over under ordinary matrix multiplication . Then the mapping is a group homomorphism from onto . The group of matrices with determinant 1 over is a normal subgroup of . Moreover .Definition 5. An automorphism of groupis just a group isomorphism from to it
18、self. The set of all automorphisms of groupis denoted by . For any , is called an inner automorphism of and is the set of all inner automorphism of .Theorem 3: Letbe a group and the mapping defined by . Then and.Proof. It is clearly that5.To show , suffice it to prove that is an automorphism of for
19、any . 1)(one-to-one) For any , if =, then by using cancellation law of group. Thus is one-to-one.2)(onto) For any , we take , then, so that is onto.3)(O.P.) For any , we have . Therefore is isomorphism from to .According to the definition of automorphism. We know is an automorphism of . Notice that
20、for any , we have and .In fact for any , it is clearly . Also , Thus .Since , say , we have known . We can obtain, i.e. Hence the proof of is complete. It is easy to see that for every, if and only if where is the center of (short for ).Let be the mapping defined by , we will prove that is a group h
21、omomorphism from G onto I(G) and that C is its kernel.For every , we can readily find that , that is to say, is onto. For any , since , so that is a group homomorphism from onto .Notice that for any and every , we have , i.e., , that is . We obtain, hence . Next, for any , we know , i.e. for any , ,
22、 so that , say , thus . Therefore .Since is a group homomorphism of G onto and , according to the FHT, we have .Theorem 3 is a conclusion which the FHT apply group of inner automorphisms of a group. .Let me see an example that Theorem 3 applies it.Exercise 3. is a group, the center of is and ,then .
23、References: 、近世代数初步，朱平天，李伯洪，邹 园编，科学出版社，1年8月第一版、近世代数基础，刘邵学，高等教育出版社，年月第一版、近世代数概论（上，下）王连祥，徐广善译，人民教育出版社，年月第一版4、环与代数，刘邵学著，科学出版社，年第一版5、近世代数引论， 冯克勤、李尚志、查建国、章璞编著，中国科技大学出版社2002年3月第二版群的基本同态定理的应用李倩倩 刘志刚 杨立英（广西师范学院 数学与计算机科学系， 南宁 530001） 摘要： 群的基本同态定理是群论研究中最常见、最有价值的结论之一。本文就该定理在群直积和内同构等方面的应用进行了讨论并得到了一些有意义的结果。 关键词：基本同态定理；直积；内同构。MR（2003）主题分类: 16W 中图法分类: O153.3文献标识法: A6
