1、命题6.6:设G为群,且a,b,c ∈G。如果ba = ca,则b = c;并且,如果ab = ac,则b = c
证明:
因为G为群,且a,b,c ∈G,所以存在逆元a^-1^,使得以下公式成立:
a⋅a^−1^=e=a^−1^⋅a
又因ba=ca,所以
baa^−1^=caa^−1^即b=a
由于ab=ac,有: a^−1^ab=a^−1^ac,即b=c,命题得证。
2、命题6.7:证明:
由于G是群,则对于所有a、b在G里,有:
g^m^g^n^=g.g...g(m−1次群运算).g.g...g(n−1次群运算)=g.g...g(m+n−1次群运算)=g^m^^n^a
变形,有:
∀m,n∈Z,(g^m^)n=g^m^.g^m^...g^m^(n−1次群运算)=g^m+m+...m^=g^mn^,得证
3.证明对任意偶数阶群G,都存在g∈G,g不等于e且g^2=e
证明:因为群中任一阶大于2 的元素和它的逆元的阶相等,且当一个元素的阶大于2 时,其逆元和它本身不相等,即阶大于2的元素是成对的。
所以偶数阶群中,除去成对的阶大于2的元素,剩下的只能是一阶元和二阶元,一阶元只有单位元一个,所以二阶元的个数为奇数个,所以对任意偶数阶群G存在二阶元。
4.命题6.8证明
群G的非空子集H是G的子群,当且仅当H不等于 ∅,且对任意a,b ∈H,ab^-1∈H
充分性:
G的非空子集H是G的子群,因为a,b∈H,所以b^−1^∈H,由封闭性可得ab−1∈H
必要性:
因为H=ϕ,且a,b∈H,ab^−1^∈H.取任意a∈H,e=aa^−1^∈H。故单位元存在
任取b∈H,有b^−1^=eb^−1^∈H。故逆元存在
对任意a,b∈H,有b−1∈H,ab=a(b−1)−1∈H。故满足封闭性任取a,b,c∈H,(ab)c=a(bc)。结合律满足
5、证明:
因为G是群,gi∈G,所以gigi^−1^=e所以(g0g1...gn)(gn^−1^...g^1−1^g0−1)=g0g1...(gngn−1)...g1−1g0−1=e
故g0g1...gn的逆元是gn^−1^...g1^−1^g0^−1^