完成以下证明：
命题 6.6
设 G \mathbb{G} G为群，且 a, b, c ∈ \in ∈ G \mathbb{G} G。如果 ba = ca，则 b = c；并且，如果 ab = ac，则 b = c。
证明：
ba=ca.
两边同时与a的逆元进行运算，baa
−
^-
−
1
^1
1=caa
−
^-
−
1
^1
1
G满足结合律，因此，b(aa
−
^-
−
1
^1
1)=c(aa
−
^-
−
1
^1
1)
整理得be=ce
进而b=c
命题6.7
设 G \mathbb{G} G是群， ∀ \forall ∀a,b ∈ \in ∈ G \mathbb{G} G，以下性质成立。
① ∀ \forall ∀m,n ∈ \in ∈ Z \mathbb{Z} Z,g m ^m mg n ^n n=g m ^m m + ^+ + n ^n n;
② ∀ \forall ∀m,n ∈ \in ∈ Z \mathbb{Z} Z,(g m ^m m) n ^n n=g m ^m m n ^n n;
③ ∀ \forall ∀m,n ∈ \in ∈ Z \mathbb{Z} Z,(gh) n ^n n=(h − ^- − 1 ^1 1g − ^- − 1 ^1 1) − ^- − n ^n n;如果 G \mathbb{G} G是阿贝尔群，则(gh) n ^n n=g n ^n nh n ^n n。
证明：
证明①：
（1）m,n
∈
\in
∈
N
\mathbb{N}
N
g
m
^m
m=
{
{\color{Blue}\left\{\right.}
{g·g·g……g
}
{\color{Blue}\left . \ \right \}}
}
m
−
1
次
群
运
算
{\color{Blue}m-1次群运算}
m−1次群运算
g
n
^n
n=
{
{\color{Blue}\left\{\right.}
{g·g·g……g
}
{\color{Blue}\left . \ \right \}}
}
n
−
1
次
群
运
算
{\color{Blue}n-1次群运算}
n−1次群运算
g m ^m mg n ^n n
= { {\color{Blue}\left\{\right.} {g·g·g……g } {\color{Blue}\left . \ \right \}} } m − 1 次 群 运 算 {\color{Blue}m-1次群运算} m−1次群运算· { {\color{Blue}\left\{\right.} {g·g·g……g } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
= { {\color{Blue}\left\{\right.} {g·g·g……g } {\color{Blue}\left . \ \right \}} } m + n − 1 次 群 运 算 {\color{Blue}m+n-1次群运算} m+n−1次群运算
=g m ^m m + ^+ + n ^n n
（2）n
∈
\in
∈
N
\mathbb{N}
N,m<0
g
m
^m
m=
{
{\color{Blue}\left\{\right.}
{g
−
^-
−
1
^1
1·g
−
^-
−
1
^1
1·g
−
^-
−
1
^1
1……g
−
^-
−
1
^1
1
}
{\color{Blue}\left . \ \right \}}
}
−
m
−
1
次
群
运
算
{\color{Blue}-m-1次群运算}
−m−1次群运算
g
n
^n
n=
{
{\color{Blue}\left\{\right.}
{g·g·g……g
}
{\color{Blue}\left . \ \right \}}
}
n
−
1
次
群
运
算
{\color{Blue}n-1次群运算}
n−1次群运算
|m|<n，-m<n
g
m
^m
mg
n
^n
n
= { {\color{Blue}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Blue}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Blue}-m-1次群运算} −m−1次群运算· { {\color{Blue}\left\{\right.} {g·g·g……g } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
= { {\color{Blue}\left\{\right.} {(g − ^- − 1 ^1 1·g)·(g − ^- − 1 ^1 1·g)·(g − ^- − 1 ^1 1·g)……(g − ^- − 1 ^1 1·g) } {\color{Blue}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Blue}-m-1次群运算} −m−1次群运算· { {\color{Blue}\left\{\right.} {g·g·g……g } {\color{Blue}\left . \ \right \}} } n + m − 1 次 群 运 算 {\color{Blue}n+m-1次群运算} n+m−1次群运算
=e· { {\color{Blue}\left\{\right.} {g·g·g……g } {\color{Blue}\left . \ \right \}} } n + m − 1 次 群 运 算 {\color{Blue}n+m-1次群运算} n+m−1次群运算
=g m ^m m + ^+ + n ^n n
|m|>n，-m>n
g
m
^m
mg
n
^n
n
= { {\color{Blue}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Blue}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Blue}-m-1次群运算} −m−1次群运算· { {\color{Blue}\left\{\right.} {g·g·g……g } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
= { {\color{Blue}\left\{\right.} {(g − ^- − 1 ^1 1·g)·(g − ^- − 1 ^1 1·g)·(g − ^- − 1 ^1 1·g)……(g − ^- − 1 ^1 1·g) } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算· { {\color{Blue}\left\{\right.} {g·g·g……g } {\color{Blue}\left . \ \right \}} } − m − n − 1 次 群 运 算 {\color{Blue}-m-n-1次群运算} −m−n−1次群运算
=e· { {\color{Blue}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Blue}\left . \ \right \}} } − m − n − 1 次 群 运 算 {\color{Blue}-m-n-1次群运算} −m−n−1次群运算
=g m ^m m + ^+ + n ^n n
（3）m
∈
\in
∈
N
\mathbb{N}
N,n<0
证明与(2)同理。
（4）m<0，n<0
g
m
^m
m
n
^n
n
= { {\color{Blue}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Blue}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Blue}-m-1次群运算} −m−1次群运算· { {\color{Blue}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Blue}\left . \ \right \}} } − n − 1 次 群 运 算 {\color{Blue}-n-1次群运算} −n−1次群运算
= { {\color{Blue}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Blue}\left . \ \right \}} } − m − n − 1 次 群 运 算 {\color{Blue}-m-n-1次群运算} −m−n−1次群运算
=g m ^m m + ^+ + n ^n n
证明②：
（1）m,n
∈
\in
∈
N
\mathbb{N}
N
(g
m
^m
m)
n
^n
n
= { {\color{Blue}\left\{\right.} {g m ^m m·g m ^m m·g m ^m m……g m ^m m } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
= { {\color{Blue}\left\{\right.} { { {\color{Orange}\left\{\right.} {g·g·g……g } {\color{Orange}\left . \ \right \}} } m − 1 次 群 运 算 {\color{Orange}m-1次群运算} m−1次群运算· { {\color{Orange}\left\{\right.} {g·g·g……g } {\color{Orange}\left . \ \right \}} } m − 1 次 群 运 算 {\color{Orange}m-1次群运算} m−1次群运算· { {\color{Orange}\left\{\right.} {g·g·g……g } {\color{Orange}\left . \ \right \}} } m − 1 次 群 运 算 {\color{Orange}m-1次群运算} m−1次群运算…… { {\color{Orange}\left\{\right.} {g·g·g……g } {\color{Orange}\left . \ \right \}} } m − 1 次 群 运 算 {\color{Orange}m-1次群运算} m−1次群运算 } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
= { {\color{Blue}\left\{\right.} {g·g·g……g } {\color{Blue}\left . \ \right \}} } m n − 1 次 群 运 算 {\color{Blue}mn-1次群运算} mn−1次群运算
=g m ^m m n ^n n
（2）n
∈
\in
∈
N
\mathbb{N}
N,m<0
(g
m
^m
m)
n
^n
n
= { {\color{Blue}\left\{\right.} {g m ^m m·g m ^m m·g m ^m m……g m ^m m } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
= { {\color{Blue}\left\{\right.} { { {\color{Orange}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Orange}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Orange}-m-1次群运算} −m−1次群运算· { {\color{Orange}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Orange}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Orange}-m-1次群运算} −m−1次群运算· { {\color{Orange}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Orange}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Orange}-m-1次群运算} −m−1次群运算…… { {\color{Orange}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Orange}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Orange}-m-1次群运算} −m−1次群运算 } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
= { {\color{Blue}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Blue}\left . \ \right \}} } − m n − 1 次 群 运 算 {\color{Blue}-mn-1次群运算} −mn−1次群运算
=g m ^m m n ^n n
（3）m
∈
\in
∈
N
\mathbb{N}
N,n<0
(g
m
^m
m)
n
^n
n
= { {\color{Blue}\left\{\right.} {g − ^- − m ^m m·g − ^- − m ^m m·g − ^- − m ^m m……g − ^- − m ^m m } {\color{Blue}\left . \ \right \}} } − n − 1 次 群 运 算 {\color{Blue}-n-1次群运算} −n−1次群运算
= { {\color{Blue}\left\{\right.} { { {\color{Orange}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Orange}\left . \ \right \}} } m − 1 次 群 运 算 {\color{Orange}m-1次群运算} m−1次群运算· { {\color{Orange}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Orange}\left . \ \right \}} } m − 1 次 群 运 算 {\color{Orange}m-1次群运算} m−1次群运算· { {\color{Orange}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Orange}\left . \ \right \}} } m − 1 次 群 运 算 {\color{Orange}m-1次群运算} m−1次群运算…… { {\color{Orange}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Orange}\left . \ \right \}} } m − 1 次 群 运 算 {\color{Orange}m-1次群运算} m−1次群运算 } {\color{Blue}\left . \ \right \}} } − n − 1 次 群 运 算 {\color{Blue}-n-1次群运算} −n−1次群运算
= { {\color{Blue}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Blue}\left . \ \right \}} } − m n − 1 次 群 运 算 {\color{Blue}-mn-1次群运算} −mn−1次群运算
=g m ^m m n ^n n
（4）m<0，n<0
(g
m
^m
m)
n
^n
n
= { {\color{Blue}\left\{\right.} {g − ^- − m ^m m·g − ^- − m ^m m·g − ^- − m ^m m……g − ^- − m ^m m } {\color{Blue}\left . \ \right \}} } − n − 1 次 群 运 算 {\color{Blue}-n-1次群运算} −n−1次群运算
= { {\color{Blue}\left\{\right.} { { {\color{Orange}\left\{\right.} {g·g·g……g } {\color{Orange}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Orange}-m-1次群运算} −m−1次群运算· { {\color{Orange}\left\{\right.} {g·g·g……g } {\color{Orange}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Orange}-m-1次群运算} −m−1次群运算· { {\color{Orange}\left\{\right.} {g·g·g……g } {\color{Orange}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Orange}-m-1次群运算} −m−1次群运算…… { {\color{Orange}\left\{\right.} {g·g·g……g } {\color{Orange}\left . \ \right \}} } − m − 1 次 群 运 算 {\color{Orange}-m-1次群运算} −m−1次群运算 } {\color{Blue}\left . \ \right \}} } − n − 1 次 群 运 算 {\color{Blue}-n-1次群运算} −n−1次群运算
= { {\color{Blue}\left\{\right.} {g·g·g……g } {\color{Blue}\left . \ \right \}} } m n − 1 次 群 运 算 {\color{Blue}mn-1次群运算} mn−1次群运算
=g m ^m m n ^n n
证明③：
证
明
前
半
部
分
：
{\color{Green}证明前半部分：}
证明前半部分：
由于
G
\mathbb{G}
G是群，根据命题6.3、命题6.4，(gh)
−
^-
−
1
^1
1=h
−
^-
−
1
^1
1g
−
^-
−
1
^1
1，且(h
−
^-
−
1
^1
1g
−
^-
−
1
^1
1)
−
^-
−
1
^1
1=h
−
^-
−
1
^1
1g
−
^-
−
1
^1
1，((gh)
−
^-
−
1
^1
1)
−
^-
−
1
^1
1=gh。
（1）n
∈
\in
∈
N
\mathbb{N}
N
(gh)
n
^n
n
= { {\color{Blue}\left\{\right.} {(gh)·(gh)·(gh)……(gh) } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
(h − ^- − 1 ^1 1g − ^- − 1 ^1 1) − ^- − n ^n n
=((gh) − ^- − 1 ^1 1) − ^- − n ^n n
= { {\color{Blue}\left\{\right.} {(((gh) − ^- − 1 ^1 1) − ^- − 1 ^1 1)·(((gh) − ^- − 1 ^1 1) − ^- − 1 ^1 1)·(((gh) − ^- − 1 ^1 1) − ^- − 1 ^1 1)……(((gh) − ^- − 1 ^1 1) − ^- − 1 ^1 1) } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
= { {\color{Blue}\left\{\right.} {(gh)·(gh)·(gh)……(gh) } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
=(gh) n ^n n
（2）n<0
(gh)
n
^n
n
= { {\color{Blue}\left\{\right.} {(gh) − ^- − 1 ^1 1·(gh) − ^- − 1 ^1 1·(gh) − ^- − 1 ^1 1……(gh) − ^- − 1 ^1 1 } {\color{Blue}\left . \ \right \}} } − n − 1 次 群 运 算 {\color{Blue}-n-1次群运算} −n−1次群运算
= { {\color{Blue}\left\{\right.} {(h − ^- − 1 ^1 1g − ^- − 1 ^1 1)·(h − ^- − 1 ^1 1g − ^- − 1 ^1 1)·(h − ^- − 1 ^1 1g − ^- − 1 ^1 1)……(h − ^- − 1 ^1 1g − ^- − 1 ^1 1) } {\color{Blue}\left . \ \right \}} } − n − 1 次 群 运 算 {\color{Blue}-n-1次群运算} −n−1次群运算
=(h − ^- − 1 ^1 1g − ^- − 1 ^1 1) − ^- − n ^n n
综上，前半部分得证。
证
明
后
半
部
分
：
{\color{Green}证明后半部分：}
证明后半部分：
（1）n
∈
\in
∈
N
\mathbb{N}
N
(gh)
n
^n
n
= { {\color{Blue}\left\{\right.} {(gh)·(gh)·(gh)……(gh) } {\color{Blue}\left . \ \right \}} } n − 1 次 群 运 算 {\color{Blue}n-1次群运算} n−1次群运算
由于
G
\mathbb{G}
G是阿贝尔群，满足
∀
\forall
∀a,b
∈
\in
∈
G
\mathbb{G}
G，a·b=b·a，则：
原式
=
{
{\color{Orange}\left\{\right.}
{
{
{\color{Blue}\left\{\right.}
{g·g·g……g
}
{\color{Blue}\left . \ \right \}}
}
n
−
1
次
群
运
算
{\color{Blue}n-1次群运算}
n−1次群运算·
{
{\color{Blue}\left\{\right.}
{h·h·h……h
}
{\color{Blue}\left . \ \right \}}
}
n
−
1
次
群
运
算
{\color{Blue}n-1次群运算}
n−1次群运算
}
{\color{Orange}\left . \ \right \}}
}
=g n ^n nh n ^n n
（2）n<0
(gh)
n
^n
n
= { {\color{Blue}\left\{\right.} {(gh) − ^- − 1 ^1 1·(gh) − ^- − 1 ^1 1·(gh) − ^- − 1 ^1 1……(gh) − ^- − 1 ^1 1 } {\color{Blue}\left . \ \right \}} } − n − 1 次 群 运 算 {\color{Blue}-n-1次群运算} −n−1次群运算
=
{
{\color{Blue}\left\{\right.}
{(h
−
^-
−
1
^1
1g
−
^-
−
1
^1
1)·(h
−
^-
−
1
^1
1g
−
^-
−
1
^1
1)·(h
−
^-
−
1
^1
1g
−
^-
−
1
^1
1)……(h
−
^-
−
1
^1
1g
−
^-
−
1
^1
1)
}
{\color{Blue}\left . \ \right \}}
}
−
n
−
1
次
群
运
算
{\color{Blue}-n-1次群运算}
−n−1次群运算
由于
G
\mathbb{G}
G是阿贝尔群，满足
∀
\forall
∀a,b
∈
\in
∈
G
\mathbb{G}
G，a·b=b·a，则：
原式
= { {\color{Orange}\left\{\right.} {g − ^- − 1 ^1 1·g − ^- − 1 ^1 1·g − ^- − 1 ^1 1……g − ^- − 1 ^1 1 } {\color{Orange}\left . \ \right \}} } − n − 1 次 群 运 算 {\color{Orange}-n-1次群运算} −n−1次群运算· { {\color{Orange}\left\{\right.} {h − ^- − 1 ^1 1·h − ^- − 1 ^1 1·h − ^- − 1 ^1 1……h − ^- − 1 ^1 1 } {\color{Orange}\left . \ \right \}} } − n − 1 次 群 运 算 {\color{Orange}-n-1次群运算} −n−1次群运算
=g n ^n nh n ^n n
综上，后半部分得证。
证明对任意偶数阶群 G \mathbb{G} G，都存在 g ∈ \in ∈ G \mathbb{G} G，g ≠ e 且 g 2 ^2 2= e。
证明：
由题意，若g
2
^2
2=e，则g·g=e，即g的逆元为自身。
假设偶数阶群
G
\mathbb{G}
G的阶数为n=2m，m
∈
\in
∈
N
\mathbb{N}
N
∗
^*
∗，则
G
\mathbb{G}
G中元素的个数为n=2m。
根据群的定义，
G
\mathbb{G}
G中存在一个单位元e，由定义可知，单位元的逆元是其本身，即e
−
^-
−
1
^1
1
∈
\in
∈
G
\mathbb{G}
G，e·e
−
^-
−
1
^1
1=e
−
^-
−
1
^1
1·e=e，则e
−
^-
−
1
^1
1=e。
以下要证明的为，除去e还存在与自身互为逆元的元素。
由于
G
\mathbb{G}
G中任意元素都存在逆元，除去单位元外，有n-2=2m-1个元素，假设这2m-1个元素的逆元都不是自身，根据逆元的定义可知，不同元素的逆元不同，因此这2m-1个元素将构成
2
m
−
1
2
\frac{2m-1}{2}
22m−1对互为逆元的组合。
但由于
2
m
−
1
2
\frac{2m-1}{2}
22m−1=m-
1
2
\frac{1}{2}
21，很显然不是整数，这是不合理的，因此，假设不成立，这2m-1个元素一定存在逆元是自身的，即存在 g
∈
\in
∈
G
\mathbb{G}
G，g ≠ e 且 g·g
−
^-
−
1
^1
1=g
−
^-
−
1
^1
1·g=e，即g
2
^2
2= e，原命题得证。
命题 6.9
群 G \mathbb{G} G 的非空子集 H \mathbb{H} H 是 G \mathbb{G} G的子群，当且仅当对任意 a, b ∈ \in ∈ H \mathbb{H} H，ab − ^- − 1 ^1 1 ∈ \in ∈ H \mathbb{H} H。
证明：
证明充分性：
因为
H
\mathbb{H}
H是
G
\mathbb{G}
G的子群，所以
H
\mathbb{H}
H满足群公理。
因此
∀
\forall
∀b
∈
\in
∈
H
\mathbb{H}
H，存在逆元b
−
^-
−
1
^1
1
∈
\in
∈
H
\mathbb{H}
H，根据封闭性可知ab
−
^-
−
1
^1
1
∈
\in
∈
H
\mathbb{H}
H。充分性得证。
证明必要性：
根据
∀
\forall
∀a,b
∈
\in
∈
H
\mathbb{H}
H，ab
−
^-
−
1
^1
1
∈
\in
∈
H
\mathbb{H}
H，易知
∀
\forall
∀b
∈
\in
∈
H
\mathbb{H}
H，存在逆元b
−
^-
−
1
^1
1，则第四条群公理得证。
而a,b
−
^-
−
1
^1
1
∈
\in
∈
H
\mathbb{H}
H，ab
−
^-
−
1
^1
1
∈
\in
∈
H
\mathbb{H}
H则满足了封闭性。
根据逆元的定义，bb
−
^-
−
1
^1
1=e=b
−
^-
−
1
^1
1b，由此可知单位元e存在，则第三条群公理得证。
由于
G
\mathbb{G}
G是群，其中的元素满足结合律，而
H
\mathbb{H}
H是
G
\mathbb{G}
G的子集，
H
\mathbb{H}
H中的元素都是
G
\mathbb{G}
G中的元素，则一定满足结合律。
以上，四条群公理得证，
H
\mathbb{H}
H在群
G
\mathbb{G}
G的操作符上满足群公理且是
G
\mathbb{G}
G的子集，因此
H
\mathbb{H}
H是
G
\mathbb{G}
G的子群。必要性得证。
综上所述，原命题得证。
证明：设 G \mathbb{G} G是群，对任意n∈ N \mathbb{N} N，i ∈ \in ∈[0,n],g i _i i ∈ \in ∈ G \mathbb{G} G。证明g 0 _0 0g 1 _1 1…g n _n n的逆元是g n _n n − ^- − 1 ^1 1…g 1 _1 1 − ^- − 1 ^1 1g 0 _0 0 − ^- − 1 ^1 1
证明：
对任意n
∈
\in
∈
N
\mathbb{N}
N，i
∈
\in
∈[0,n]，g
i
_i
i
∈
\in
∈
G
\mathbb{G}
G，g
i
_i
i存在一个逆元g
i
_i
i
−
^-
−
1
^1
1，则g
i
_i
ig
−
^-
−
1
^1
1=e。
因此，(g
0
_0
0g
0
_0
0
−
^-
−
1
^1
1)(g
1
_1
1g
1
_1
1
−
^-
−
1
^1
1)…(g
n
_n
ng
n
_n
n
−
^-
−
1
^1
1)=ee…e=e
(n个e)
根据结合律，
e=(g
0
_0
0g
0
_0
0
−
^-
−
1
^1
1)(g
1
_1
1g
1
_1
1
−
^-
−
1
^1
1)…(g
n
_n
ng
n
_n
n
−
^-
−
1
^1
1)
=（g
0
_0
0g
1
_1
1…g
n
_n
n）(g
0
_0
0
−
^-
−
1
^1
1g
1
_1
1
−
^-
−
1
^1
1…g
n
_n
n
−
^-
−
1
^1
1)
=（g
0
_0
0g
1
_1
1…g
n
_n
n）(g
n
_n
n
−
^-
−
1
^1
1…g
1
_1
1
−
^-
−
1
^1
1g
0
_0
0
−
^-
−
1
^1
1)
因此，g 0 _0 0g 1 _1 1…g n _n n的逆元是g n _n n − ^- − 1 ^1 1…g 1 _1 1 − ^- − 1 ^1 1g 0 _0 0 − ^- − 1 ^1 1.
6679
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
