群的定义及其推广.docVIP

群的定义及其推广摘要：本文主要是考虑了以下一个问题，不为空集的集合G，对“.”有结合律，则G是一个群的充分必要条件是任意的a,b属于G.方程aX b以及Ya b在G中都有解，其中方程有解与方程有解两个条件能否去掉一个？通过分析验证，最终得出结论为两个方程有解缺一不可，下文则通过论证证明这一事实。关键词：群，左单位元，右单位元，左逆元，右逆元，单位元，逆元，元素§1 基础知识群的第一定义：当且仅当G是一个关于运算“·”封闭的半群，如果任意的a,b属于G,方程aX b,Ya b在G中都有唯一解，则G为一个群。群的第二定义：G是一个对上述“·”封闭的半群，而且G中存在左单位元e,对于任意的a属于G,都存在左逆元，那么G为一个群。§2问题的连接证明在书中可以看到，如果 G,. 是一个群，那么对于任意的a,b 属于G, 取c a -1 . b,d b.a^ -1 , 则a.c b,d.a b… 1.1 由于群满足消去律，使得（1.1）成立的c,d是唯一的，反之，若对任意的a.b属于G,均有唯一的c,d使 1.1 成立，又由于G为非空，所以我们任取一个g属于G,由条件可知，对g,应有e使得e.g g,可证得，这样得到的元素e实际上是个左单位元。对于任意的a属于G,据条件，相应于a,g又必有h属于G,使得g.h a, 于是 e.a e. g.h g.h a e.g .h 结合律 g.h e对g有特殊作用，e.g g a g.h a 再来证明对于e,每个a属于G都有左逆元，据条件，对a,e应有d使得 d.a e 据群的第二定义，（G,.）为群。§3问题的猜想和论证在定义一的证明中，我们看到两个方程分别转化成了有左单位元和左逆元的证明，此时，由群的第二定义得出G为群，由此可见，若aX b,Ya b中去掉一个方程，必然引起两个元素之间会少去一个，因此，两个条件必不可少，当且仅当两个方程均有唯一解的情况下，G才为群。如下反例：设G为实数域上的全体n阶矩阵，我们由以前的知识知道，G满足结合律，则G为半群，但是由于G中的矩阵有的可逆，有的不可逆，因此不可能找到单位元，即矩阵 设为E .AE EA A.使得对于任意的矩阵都成立，所以没有单位元，所以显然，G不是一个群，但是任意的矩阵A,C.在G中有B使得AB C,但是由矩阵的运算我们知道，矩阵的乘法没有交换律，即在G中不一定能找到,使得A C，所以此时两个方程只满足了一个，而且同时G也不是一个群，所以命题是错误的。§4问题的结论经过对于问题的分析和论证，可以得出，关于“·”封闭的半群G为群，当且仅当aX b,Ya b两个方程在G中均有唯一解，且两个条件缺一不可。§5问题的推广关于群的定义，我们讨论了㈠基本定义，即结合律单位元逆元。推广了㈡结合律左单位元左逆元（右单位元和右逆元）㈢结合律方程aX b和Ya b有唯一解…㈣结合律两个消去律㈤结合律左单位元右消去律（右单位元和左消去律）其中共七种定义分别提到了左单位元，右单位元，左逆元，右逆元，左消去律，右消去律，且通过本文知道，只有一个方程满足有解的情况下不为群，所以说可以思考8个条件的重新组合成其他的群的定义参考文献：韩士安，林磊，近世代数，第二版，北京，科学出版社，2009牛凤文，抽象代数，第二版，武汉，武汉大学出版社，2008Garrett Birkhoff，Saunders Mac Lane，A Survey of Modern Algebra , fifth Edition ，近世代数概论，王连祥，徐广善译，北京，人民邮电出版社，2008Joseph .J .Rotman, A First Couse in Abstract Algebra with Applications Third Edition ,抽象代数基础教程，李样明，冯明军译，北京，机械工业出版社，2008盛德成，抽象代数研究生教科书，北京，科学出版社，2001英文摘要：This??articles main ideas survey the two equation : aX b and Ya b all have answer in??G，In it. a, b are wantonly in G. Its the ample and necessary requirement to the G is a group. Among them. If we can remove one of the two equations. By way of analyses and test and verify. We can reach the conclusion a X b and Y a b all have answer in G should not lack