工程数学近世代数.ppt

*设G是群，x∈G，使得等式xk=e成立的最小正整数k称为x的阶（或周期），记作|x|=k，称x为k阶元.若不存在这样的正整数k，则称x为无限阶元.在Z6,?中，2和4是3阶元，3是2阶元，1和5是6阶元，0是1阶元在Z,+中，0是1阶元，其它整数的阶都不存在.二、群中的相关概念第30页，共68页，星期日，2025年，2月5日*三、群的性质---幂运算规则定理1设G为群,则G中的幂运算满足：(1)?x∈G，(x?1)?1=x.(2)?x,y∈G，(xy)?1=y?1x?1.(3)?x∈G，xnxm=xn+m，n,m∈Z.(4)?x∈G，(xn)m=xnm，n,m∈Z.注：(xy)n=(xy)(xy)…(xy),是n个xy运算，G为交换群，才有(xy)n=xnyn.第31页，共68页，星期日，2025年，2月5日*三、群的性质---群方程存在唯一解定理2G为群，?a,b∈G，方程ax=b和ya=b在G中有解且仅有惟一解.a?1b是ax=b的解.ba?1是ya=b的唯一解.第32页，共68页，星期日，2025年，2月5日*三、群的性质---消去律定理3G为群，则G适合消去律，即?a,b,c∈G有(1)若ab=ac，则b=c.(2)若ba=ca，则b=c.

第33页，共68页，星期日，2025年，2月5日*三、群的性质---运算表排列规则定理4设G为有限群，则G的运算表中每行每列都是G中元素的一个置换，且不同的行（或列）的置换都不相同.注意：必要条件，用于判断一个运算表不是群.abcdabcdbcdabacdcdbadbacabcdabcdabcdcdabbcdadabc第34页，共68页，星期日，2025年，2月5日*5.1群的定义与性质5.2子群5.3循环群5.4置换群第5章群第35页，共68页，星期日，2025年，2月5日*子群定义子群的判定定理重要的几类子群第36页，共68页，星期日，2025年，2月5日*子群的定义定义设G是群，H是G的非空子集，如果H关于G中的运算构成群，则称H是G的子群,记作H≤G.若H是G的子群，且H?G，则称H是G的真子群，记作HG.实例nZ（n是自然数）是整数加群Z,+的子群.当n≠1时,nZ是Z的真子群.

对任何群G都存在子群.G和{e}都是G的子群，称为G的平凡子群.?第37页，共68页，星期日，2025年，2月5日*子群判定定理判定定理1设G为群，H是G的非空子集.H是G的子群当且仅当?x,y∈H有xy?1∈H.?判定定理2设G为群，H是G的非空子集.H是G的子群当且仅当?x,y∈H有xy∈H且x?1∈H.?第38页，共68页，星期日，2025年，2月5日*重要子群生成子群定义设G为群，a∈G，令H={ak|k∈Z}，则H是G的子群，称为由a生成的子群，记作a.证首先由a∈a知道a≠?.任取am,al∈a，则am(al)?1=ama?l=am?l∈a根据判定定理可知a≤G.第39页，共68页，星期日，2025年，2月5日*实例整数加群Z,+，由2生成的子群是2={2k|k∈Z}=2Z模6加群Z6,?中由2生成的子群2={0,2,4}Klein四元群G={e,a,b,c}的所有生成子群是：e={e},a={e,a},b={e,b},c={e,c}.第40页，共68页