1.证明命题6.6
因为G是群,且 a, b, c ∈ G, 所以 G 中存在 a − 1 a^{-1} a−1 ,使得 a ∗ a − 1 = e = a − 1 ∗ a a* a^{-1} = e = a^{-1}*a a∗a−1=e=a−1∗a
又 ba = ca, 同乘 a − 1 a^{-1} a−1后有 b a a − 1 = c a a − 1 baa^{-1} = caa^{-1} baa−1=caa−1
可得 b = c b = c b=c
同理有 a − 1 a b = a − 1 a c a^{-1}ab = a^{-1}ac a−1ab=a−1ac
则 b = c b = c b=c
2.证明命题6.7
- ∀ \forall ∀ m, n ∈ Z, g m ∗ g n = g m + n g^m*g^n = g^{m+n} gm∗gn=gm+n
g m + n = g ∗ g ∗ g ⋅ ⋅ ⋅ g ( m + n − 1 次 群 运 算 ) g^{m+n} = g*g*g···g(m+n-1次群运算) gm+n=g∗g∗g⋅⋅⋅g(m+n−1次群运算)
g m = g ∗ g ∗ g ⋅ ⋅ ⋅ g ( m − 1 次 群 运 算 ) g^{m} = g*g*g···g(m-1次群运算) gm=g∗g∗g⋅⋅⋅g(m−1次群运算)
g n = g ∗ g ∗ g ⋅ ⋅ ⋅ g ( n − 1 次 群 运 算 ) g^{n} = g*g*g···g(n-1次群运算) gn=g∗g∗g⋅⋅⋅g(n−1次群运算)
下面两式相乘即可得:相乘后群运算次数等于 g m + n g^{m+n}