群的等价的定义及证明.docx

群的等价的定义及证明 摘要：本文给岀了群的几种等价定义，采用循环方式证明了它们的等价性， 利用例题加深了对群的理解及 应用。 关键词：群集合代数运算 引言 群是一个具有一种代数运算的代数系统， 它有定义方法很多，比 如：在不同问题的讨论中为了方便人们采用乘法， 除法等不同运算形 式来定义群，而这些定义是彼此等价的，下面给出采用乘法运算形式 的群的定义。 正文 1定义 定义1.群G是一个非空集合，具有一个叫乘法的代数运算且满足 I，封闭性-a.b ? G, c ? G,使 ab =c n .结合性 - a,b,c ^G,a(bc) =(ab)c 川.可解性-a , b三G方程ax = b, ya = b在G中有解 定义2群G是一个非空集合，具有一个叫乘法的代数运算且满足封闭性，结合性，川 . 左单位元 玉 E G , \/a € G , ea = a IV .左逆元 X/ a€G,ma」EG,a」a = e 定义3群G是一个非空集合，具有一个叫乘法的代数运算且满足封闭性，结合性，川 右单位元 ， V a^G,ae=a， V .右逆元 P a^ G,Fa)E G , aa 丄=e 定义4.群G是一个非空集合，具有一个叫乘法的代数运算且满足封闭性，结合性，川 左单位元 Te三G , - a三G , ea = a，V右逆元 ~a：=G, a」：=G,aa」=e，v .右消去律 ■：：a, b, c 二 G，右 ab = cb 贝U a = c 定义5.群G是一个非空集合，具有一个叫乘法的代数运算且满足封闭性，结合性，川 右单位元 Te三G, - a三G , ae = a， V .左逆元~a?G, -la a ■ G,a」a二e， v .左消去律 一a, b, c ? G，若 ab = ac 贝U b = c 定义6.群G是一个非空集合，具有一个叫乘法的代数运算且满足封闭性，结合性，川单位 元 Te ? G , - a ? G , ea = a ， V 右逆元 _ a ? G , Ta * ? G , aa ° = e ， V 右商不变性 — _1 J - a,b 三 G,a_a = b_b 定义7.群G是一个非空集合，具有一个叫乘法的代数运算且满足封闭性，结合性，川单位 兀玉 E G, \/a € G ,ea = ae = a，” .逆兀 \/ a € G,三a~ € G,aa 一 = a~a = e 2.证明 定义1= 定义2 川由定义1中的W G中有无a使得aa」=e所以 (aa ~)( aa 丄)二 e( aa 丄)二(ea )a」=aa」 但 1 1 1 1 1 」■丄」 (aa )(aa ) = a[( a a) a ] = a (ea )=aa e 则 aa e 取 x=a b，由I a b 三G 又 a(a -b) = (aa -)b = eb = b 所以 ax = b 的解。同理 ba J 是 ya = b 的解。 定义 3二 定义 4川\/a€G 由W Ea」EG,aUG ,使aa」=e,a」a=e所以 -1 1 11 11 1 1 1 a a=(a a)e=(a a)( a a)=a (aa ) a = (a e)a =a a =e = aa 于 是 ea = (aa ~)^ = a(a ~a)二 ae 二 a , e是 G 的左单位元。V若 ab = cb, -lb - ■ G , bb - = e 从 而(ab) b A = (cb )b A, a (bb °) = c(bb ”), a = c 右消去律成立。 定义 4 = 定义 5川 -a G,ae=a(a_a)=(aa )a=ea二a,e 是 G 的右单位元。 W Pa € G , Wa = a E G 使 aa e, a a =e,(a a)e=(a a)( a a)=a (aa )a =a (ea )=a a =e=ee 由定义4的V,得a」a=e所以a」是a的左逆元。V . - a,b,c?G若ab?ac则 (a°a)b =(a」a)c即 eb二ec,b = c 左消去律成立 定义5=定义6川，W在定义 5的条件下可证明， a」a = e = aa °即a」是a的右逆元 ea = ae = a 即 e 是 G 的 左 单 位 元 。 1 1 1 1 V . \Za,b€G,a (ab)=(a a)b=eb=b(ba)a =b(aa )=be=b 即 a^(ab) = b = (ba)a」a =a」[(ab)b」] =[a」(ab)]b」=bb」上式对 _ a, b ? G 均成立， 因此有b ab = bb °, a °a = aa，从而有a，a = bb」 定义 6= 定义 7川- a?G,ae=a(a °a) =(aa°)a=ea二a,e是G