【代数结构与数理逻辑（二）】群

第13章 群

13.1 半群，拟群和群

本章讨论的内容为$[S;\ast ]$

定义13.1（群）

1. 可结合（半群）
2. 有单位元（拟群）
3. 每个元有逆元（群无零元）

类比乘法群

定义13.2（Abel群）

群满足交换律

群运算表：如下

习题13.10：可交换群的等价性定义

$[G;\cdot ]$为群是可交换的，当且仅当对任意a,b有，$(ab{)}^2=a^2{b}^2$

定义13.4（群的阶）

$|G|=n$​，称群的阶为n，分有限群和无限群

定理13.1 半群G中n个元素连乘之积，经任意加括号结果不变

证明：

对元素个数进行归纳，证明任意结果均为$(...((a_1{a}_2)a_3)...a_n)$​

由归纳假设，可把k+1个元素之积化简为$((a_1...a_i)(a_{i+1}...a_{k+1}))$

应用结合律和归纳假设可以证明

由这个定理我们可以将多个元素的运算写成连乘或幂次的形式

定理13.2 群G中，$(a_1\dots a_n{)}^{-1}=a_n^{-1}\dots a_1^{-1}$$(ab{)}^{-1}=b^{-1}{a}^{-1}$

证明：

由定理13.1知以下等式成立
$$\begin{array}{rl}& (a_1\dots a_n)(a_n^{-1}\dots a_1^{-1})\\ & =a_1\dots (a_n{a}_n^{-1})\dots a_1^{-1}\\ & =a_1\dots a_{n-1}e{a_{n-1}}^{-1}\dots a_1^{-1}\\ & =e\end{array}$$
所以$a_n^{-1}\dots a_1^{-1}$是$a_1\dots a_n$之逆元$(a_1\dots a_n{)}^{-1}$

约定指数运算的规律：

$a^0=e$

$a^{-k}=(a^{-1}{)}^k,-ka=k(-a)$

==定理13,3 在群G中存在指数律，$a\in G,m,n\in Z$==​

$$\begin{gathered} (1)a^m{a}^n=a^{m+n} \\ (2)(a^m{)}^n=a^{mn} \end{gathered}$$

证明留作习题

定理13.4 当G为交换群时，对任意$a,b\in G$有
$$(ab{)}^n=a^n{b}^n$$

证明：分类讨论

1. n=0时，显然成立

2. n>0时，由交换律和结合律可证

3. n<0时，设n=-n’，n’>0
   $$\begin{array}{rl}(ab{)}^n& =(ab{)}^{-n^{\prime }}=((ab{)}^{-1}{)}^{n^{\prime }}\\ & =(b^{-1}{a}^{-1}{)}^{n^{\prime }}\\ & =(a^{-1}{b}^{-1}{)}^{n^{\prime }}\\ & =(a^{-1}{)}^{n^{\prime }}(b^{-1}{)}^{n^{\prime }}（用n^{\prime }>0时结论）\\ & =a^{-n^{\prime }}{b}^{-n^{\prime }}=a^n{b}^n\end{array}$$

定理13.5 群G中存在消去律

$$\begin{gathered} (1)若ac=bc,则a=b \\ (2)若ca=cb，则a=b \end{gathered}$$

证明：乘以逆元

定理（群的等价性定义）

定理13.6 半群G是群，当且仅当

(1)对任意$g\in G$，存在$\tilde{e}\in G$使$\tilde{e}g=g$，即$\tilde{e}$为左单位元

(2)对任意$g\in G$，存在$\tilde{g}\in G$使$\tilde{g}g=\tilde{e}$，不妨称$\tilde{g}$为g的左逆元

证明：

必要性是显然的，因为单位元同时是左单位元，逆元同时是左逆元

充分性：

首先证$\tilde{g}$同时也是右逆元，对$\tilde{g}$，存在$\widetilde{\stackrel{~}{g}}$使得$\widetilde{\stackrel{~}{g}}\tilde{g}=\tilde{e}$
$$g\tilde{g}=\tilde{e}(g\tilde{g})=(\widetilde{\stackrel{~}{g}}\tilde{g})(g\tilde{g})=\tilde{e}$$
再证$\tilde{e}$同时是右单位元
$$g\tilde{e}=g(\tilde{g}g)=\tilde{e}g=g$$
半群有单位元和逆元，所以是群

补充：证明环存在唯一一个右单位元，可拓展为单位元

条件拓展为整环，整环满足消去律

$ab=(ae)b=a(eb)$

定理13.7 半群G是群，当且仅当，对任意的$a,b\in G$，必存在$x,y\in G$，使$ax=b,ya=b$

证明：必要性，$x=a^{-1}b,y=b{a}^{-1}$

充分性：

定理条件相当于两个方程在G中有解，取b=a，有ya=a，令e_a=y，现证明e_a为G的左单位元：

在G中任取元素c，则必有某个x₀，使ax₀=c，于是有
$$e_{a}c=e_a(a{x}_0)=(e_{a}a)x_0=a{x}_0=c$$
记e_a为$\tilde{e}$，其是G的左单位元。再由$ya=\tilde{e}$有解知：对任意的a有左单位元

由定理13.6知，G为群

定理13.8 有限半群G是群，当且仅当运算满足消去律

证明：

必要性，由定理13.5，群满足消去律

充分性：

当$g_1\ne g_2$时，对任一个g有$g_{1}g\ne g_{2}g$（因为存在消去律）

于是 G = { g 1 g ∣ g ∈ G } G=\{g_1g|g\in G\} G={g1​g∣g∈G}

这说明对任意的$\overline{g}$存在g使得$g_{1}g=\overline{g}$，即$gx=\overline{g}$有解

同理$yg=\overline{g}$在G中也有解，由定理13.7知有限半群是群

第13章习题一

习题13.1指出下述代数系统哪些是半群，哪些是拟群

(3)$S\ne \varnothing ,[P(S);\cup ]$

拟群有封闭性、可结合、单位元

(3)是拟群（注意：P(S)（幂集）中含$\varnothing$）

习题13.4 指出下述代数系统哪些是群，哪些是可交换群

(1)$[Z;\circ ],a\circ b=a+b-2$

(2)$[Z;\circ ],a\circ b=a+b-ab$​

(3) 1的n次根关于乘法

(5) [ R ∗ ; ∗ ] , a ∗ b = a 2 b 2 , R ∗ = R − { 0 } [R^*;*],a*b=a^2b^2,R^*=R-\{0\} [R∗;∗],a∗b=a2b2,R∗=R−{0}

(6) [ F [ x ] ; + ] , F [ x ] = { a 0 + … a n x n ∣ a i ∈ R } [F[x];+],F[x]=\{a_0+\dots a_nx^n|a_i\in R\} [F[x];+],F[x]={a0​+…an​xn∣ai​∈R}，+是多项式加法

(7) [ { a + b 2 ∣ a , b ∈ Q } ; + ] [\{a+b\sqrt2|a,b\in Q\};+] [{a+b2 ​∣a,b∈Q};+]

(1)是可交换群

有封闭性、可结合、单位元是2、可交换、逆元是4-a

(2)不是群，群无逆元

单位元为0，元素a=1不存在逆元

(3)是可交换群

1的n次根可表示为$e^{i\cdot \frac{2k\pi }{n}}=cos\frac{2k\pi }{n}+isin\frac{2k\pi }{n}$​

(5)不是群，不满足结合律

$(a\ast b)\ast c=a^2{b}^2\ast c=a^4{b}^4{c}^2\ne a^2{b}^4{c}^4=a\ast (b\ast c)$

(6)是可交换群

有封闭性、可交换、可结合、由单位元为0、有逆元为$a_i^{\prime }=-a_i$即可

(7)

有封闭性、单位元0、有逆元为$-a-b\sqrt{2}$

加法满足交换律和结合律

习题13.6证明$T_S$为所有$S\to S$的一一对应组成的集合（S非空），关于映射的复合运算$\circ$，$[T_S;\circ ]$​为群；$S_S$为所有$S\to S$的映射

单位元是恒等映射$I$

$S_S$​中任意一个不是一一映射的元素是无逆元的

习题13.10$[G;\cdot ]$为群是可交换的，当且仅当对任意a,b有，$(ab{)}^2=a^2{b}^2$

证明：

必要性是显然的

充分性：

$(ab{)}^2=a(ba)b=a(ab)b$，又群中元素有逆元，两边同时乘以其逆元得$ba=ab$

可知群是可交换的

习题13.11 已知G为不可交换群，证明必存在$ab=ba$，其中$a\ne e,b\ne e$

证明：

若存在一个元素逆元不是自身，$a{a}^{-1}=a^{-1}a=e$，命题成立

若所有元素逆元都是自身，由定理13.2可知

$ab=(ab{)}^{-1}=b^{-1}{a}^{-1}=ba$

补充 在Z上定义运算*，a*b=a+b-1，Z是否为可交换群

13.2 Transformation group,permutation group and cyclic group

克莱茵四元群$K_4$​

关于复合运算$\circ$构成群，这就是一个置换群的例子（同时也是变换群）

$\circ$	e	a	b	r
e	e	a	b	r
a	a	e	r	b
b	b	r	e	a
r	r	b	a	e

定义13.5（变换群）

所谓的变换，即非空集合S到S的一个映射，当这个映射又是一一对应时，称它为一一变换。我们以$S^S$表示S上映射的全体，T(S)表示所有S上一一变换组成的集合，即
S S = { f ∣ f : S → S } T ( S ) = { f ∣ f ∈ S S 且为一一对应 } S^S=\{f|f:S\to S\}\\ T(S)=\{f|f\in S^S且为一一对应\} SS={f∣f:S→S}T(S)={f∣f∈SS且为一一对应}
设$G\subseteq T(S)$，当$[G;\circ ]$为群时，称其为变换群；其中$\circ$​为一一变换的复合运算，并称为变换的乘法

定理13.9 $[T(S);\cdot ]$​是一个变换群

定义13.6（置换群）

当S不为空，且为有限集，S上的一一变换就被称为置换。当S上的某些置换关于乘法运算构成群时，称为置换群

所有置换群同时为变换群

定义（n次对称群）

若$|S|=n$，设 S = { 1 , 2 , … , n } S=\{1,2,\dots,n\} S={1,2,…,n}，其置换的全体组成的集合一般记为$S_n$​，类似定理13.9知其是一个置换群，称为n次对称群

S上的置换群$\sigma \in S_n$，习惯写成
$$\sigma =\left(\begin{array}{cccc}1& 2& \dots & n\\ \sigma (1)& \sigma (2)& \dots & \sigma (n)\end{array}\right)$$

或
$$\sigma =\left(\begin{array}{cccc}{i}_1& i_2& \dots & i_n\\ \sigma (i_1)& \sigma (i_2)& \dots & \sigma (i_n)\end{array}\right)$$
表示置换$\sigma$之下i的象为$\sigma (i)\in S$。容易证明恒等置换e是
$$\sigma =\left(\begin{array}{cccc}1& 2& \dots & n\\ 1& 2& \dots & n\end{array}\right)$$
置换$\sigma$的逆置换的形式也容易表示，这里不再赘述

例13.9 写出三次对称群$S_3$

解：设S={1,2,3}，于是$|S_3|=3!=6$，这6个置换分别是
$$\begin{gathered} e=\left(\begin{array}{ccc}1& 2& 3\\ 1& 2& 3\end{array}\right),{\sigma }_1=\left(\begin{array}{ccc}1& 2& 3\\ 1& 3& 2\end{array}\right),{\sigma }_2=\left(\begin{array}{ccc}1& 2& 3\\ 2& 1& 3\end{array}\right) \\ {\sigma }_3=\left(\begin{array}{ccc}1& 2& 3\\ 3& 2& 1\end{array}\right),{\sigma }_4=\left(\begin{array}{ccc}3& 1& 2\\ 1& 3& 2\end{array}\right),{\sigma }_5=\left(\begin{array}{ccc}1& 2& 3\\ 2& 3& 1\end{array}\right) \end{gathered}$$
其群运算可见下表

定义13.7（循环置换）

形如
$$\sigma =\left(\begin{array}{cccccccc}{i}_1& i_2& \dots & i_{d-1}& i_d& i_{d+1}& \dots & i_n\\ i_2& i_3& \dots & i_d& i_1& i_{d+1}& \dots & i_n\end{array}\right)$$
的置换称为循环置换，称其循环长度为d。特别当$d=2$​时称其为对换。

上述$\sigma$由可写成$\sigma =(i_1\cdots i_d)$

例13.10
$$\begin{array}{rl}& \left(\begin{array}{ccccccc}1& 2& 3& 4& 5& 6& 7\\ 2& 6& 3& 1& 5& 4& 7\end{array}\right)\\ & =\left(\begin{array}{ccccccc}1& 2& 6& 4& 3& 5& 7\\ 2& 6& 4& 1& 3& 5& 7\end{array}\right)\\ & =\left(\begin{array}{cccc}1& 2& 6& 4\end{array}\right)\end{array}$$
是一个长度为4的循环置换

定理13.10 $S_n$​中的任意一个置换均可分解为不含公共元的若干循环置换的乘积

证明：对n作归纳证明

归纳基础：n=1时，结论显然成立

归纳假设：当$|S|\le n-1$时，结论成立

归纳步骤：当$|S|=n$时，任取$S_n$中的置换$\sigma$

从元素1出发取$\sigma$上的一个循环置换，设为$(1,j_1,j_2,\cdots ,j_{k-1})$，于是
$$\sigma =(1,j_1,j_2,\cdots ,j_{k-1})\cdot \left(\begin{array}{ccccccc}1& j_1& \cdots & j_{k-1}& j_k& \cdots & j_{n-1}\\ 1& j_1& \cdots & j_{k-1}& \sigma (j_k)& \cdots & \sigma (j_{n-1})\end{array}\right)$$
分析
$$\sigma =\left(\begin{array}{ccccccc}1& j_1& \cdots & j_{k-1}& j_k& \cdots & j_{n-1}\\ 1& j_1& \cdots & j_{k-1}& \sigma (j_k)& \cdots & \sigma (j_{n-1})\end{array}\right)=\left(\begin{array}{ccc}{j}_k& \cdots & j_{n-1}\\ \sigma (j_k)& \cdots & \sigma (j_{n-1})\end{array}\right)$$
可以看作n-k个元素的置换，按归纳假设可以分解成若干不含公共元的循环置换

推论13.1 任意一个置换可以分解为若干对换的乘积

证明任意循环置换可分解为对换的乘积，再由定理13.10得证
$$(i_1{i}_2\dots i_d)=(i_1{i}_2)(i_{1}2i_3)\cdots (i_{d-1}{i}_d)$$

例13.11 把置换写成循环置换的积和对换的积

$$\begin{array}{rl}\sigma & =\left(\begin{array}{cccccc}1& 2& 3& 4& 5& 6\\ 4& 3& 1& 2& 6& 5\end{array}\right)\\ & =(1423)(56)\\ & =(14)(42)(23)(56)\end{array}$$

从例13.11中可以看出(1)被分解为偶数个对换的乘积，(2)被分解为奇数个对换的乘积，并且在(2)中写出了两种不同的对换乘积，它们的奇偶性相同。由此导出定义和定理。

定理13.11 任意一个置换可被分解为对换的乘积，这种分解不是唯一的，但对换数量的奇偶性唯一

定义13.8（奇\偶置换）

在置换的对换分解式中，对换因子的个数是偶数时称为偶置换，否则称奇置换。

推论13.2 一个长度为k的循环置换，当k为奇数时，它是一个偶置换；当k为偶数时，它是一个奇置换。

推论13.3 每个偶置换均可被分解为若干长度为3的循环置换的乘积，循环置换中可含公共元

证明：
$$\begin{array}{rl}& (ab)(cd)\\ & =(ab)(bc)(bc)(cd)\\ & =(bca)(cdb)\end{array}$$
注意：(b c a)和(a b c)实际上等价

推论13.4 $S_n$中的奇、偶置换在置换的乘法运算下，其奇偶性由下表给出

$\cdot$	偶置换	奇置换
偶置换	奇置换	奇置换
奇置换	奇置换	偶置换

且奇置换的逆是奇置换，偶置换的逆是偶置换；奇置换相乘是偶置换，所以奇置换全体不构成代数系统

由于恒等置换是0个对换的乘积，我们视它为偶置换

定义13.9（n次交待群）

推论13.5 对称群$S_n$中所有的偶值换组成的集合，记为$A_n$，关于置换的乘法构成群

记为$[A_n;\cdot ]$，称n次交待群

由推论13.4以及置换群满足消去律知：$S_n$中奇、偶置换各占一半。所以$A_n$的阶为$\lceil n!/2\rceil$

例13.12根据例13.9给出的$[S_3;\cdot ]$，它的三次交待群是

$A_3=\{(1),(123),(321)\}$

其中$(1)$表示恒等置换

例13.13 设群 G = { g 1 ,  ⁣ ⋯ g n } G=\{g_1,\dotsi g_n\} G={g1​,⋯gn​}，映射${\sigma }_g:G\to G，{\sigma }_g(g^{\prime })=g{g}^{\prime }$，则
Σ = { σ g ∣ g ∈ G } \Sigma=\{\sigma_g|g\in G\} Σ={σg​∣g∈G}
关于映射的乘法构成置换群

先分析$\Sigma$中映射的本质，用置换的表示法即为
$${\sigma }_{g_i}=\left(\begin{array}{ccccc}{g}_1& \cdots & g_j& \cdots & g_n\\ g_i{g}_1& \cdots & g_i{g}_j& \cdots & g_i{g}_n\end{array}\right)$$
由此可知$\Sigma$的确为置换的集合

再证明$[\Sigma ;\cdot ]$为群

1. ${\sigma }_g{\sigma }_{g^{\prime }}(x)=g{g}^{\prime }x={\sigma }_{g{g}^{\prime }}(x)$，满足封闭性
2. ${\sigma }_e$是恒等置换，为单位元
3. ${\sigma }_{g^{-1}}$为逆元
4. 由1.置换的乘法转化为群的乘法，是可结合的

定义13.10（元素的阶）

使$a^n=e$的最小正整数，如果a的任意两个幂不相等，则a的阶是无限的

定理13.12* G为群，$a\in G$且阶为n，有$a^m=e$当且仅当$n|m$

定义13.11（循环群）

群G中若有生成元$a$，对任意$g\in G$有$g=a^k,k\in Z$，则称G由$a$生成，是循环群，记为$G(a)$

当G的阶有限时称为有限循环群，否则称无限循环群

由定义可以知道，当G为n阶循环群时
G = { a 0 = e , a 1 , a 2 ,  ⁣ ⋯   , a n − 1 } G=\{a^0=e,a^1,a^2,\dotsi,a^{n-1}\} G={a0=e,a1,a2,⋯,an−1}
当G为无限循环群时
G = {  ⁣ ⋯   , a − 1 , a 0 = e , a 1 , a 2 ,  ⁣ ⋯   } G=\{\dotsi,a^{-1},a^0=e,a^1,a^2,\dotsi\} G={⋯,a−1,a0=e,a1,a2,⋯}

定理 设有限群G的阶为n，若存在$g\in G$且$g$的阶也为n，则G可以由$g$​生成

例13.14证明$[Z;+]$与$[Z_n;\oplus ]$都是循环群，并讨论生成元的阶

(1)对任意$k\in Z,k\cdot 1=k$，所以1是Z的一个生成元，同理-1也是。$\pm 1$的阶均为无限的

(2)对任意$[k]\in Z_n$，$[k]=k[1]$，所以$Z_n=([1])$，[1]是n阶的

循环群最为一目了然，因为从同构的意义上说，循环群只有两个

定理13.13 G为循环群，$a$为其一生成元，则G的结构完全由元素$a$的阶来决定

(1) 当a为无限阶时，G同构于$[Z;+]$

(2) 当a的阶为n时，G同构于同余类加法循环群$[Z_n;\oplus ]$

证明：

映射$\varphi (a^k)=k$，证明是一一对应和同态映射

例13.15证明群G同构于$[Z_5;\oplus ]$

即证明G为五阶循环群，由定理13.13知$G\cong Z_5$

第13章习题二

习题13.12将下述置换分解为不含公共元的循环置换，再进一步分解为对换的乘积

$(1)\left(\begin{array}{cccccc}1& 2& 3& 4& 5& 6\\ 1& 3& 2& 6& 4& 5\end{array}\right)$

$(2)\left(\begin{array}{ccccccc}3& 7& 6& 5& 2& 1& 4\\ 7& 6& 5& 4& 3& 2& 1\end{array}\right)$

$(3)\left(\begin{array}{cccccc}a& b& c& d& e& f\\ f& a& e& d& c& b\end{array}\right)$

$$\begin{array}{rl}& (1)\left(\begin{array}{cccccc}1& 2& 3& 4& 5& 6\\ 1& 3& 2& 6& 4& 5\end{array}\right)=\left(\begin{array}{cccccc}2& 3& 4& 6& 5& 1\\ 3& 2& 6& 5& 4& 1\end{array}\right)=\left(\begin{array}{cc}2& 3\end{array}\right)\left(\begin{array}{ccc}4& 6& 5\end{array}\right)=(23)(46)(65)\\ & (2)\left(\begin{array}{ccccccc}3& 7& 6& 5& 2& 1& 4\\ 7& 6& 5& 4& 3& 2& 1\end{array}\right)=\left(\begin{array}{ccccccc}3& 7& 6& 5& 4& 1& 2\\ 7& 6& 5& 4& 1& 2& 3\end{array}\right)=(3765412)=略\\ & (3)\left(\begin{array}{cccccc}a& b& c& d& e& f\\ f& a& e& d& c& b\end{array}\right)=\left(\begin{array}{cccccc}a& f& b& c& e& d\\ f& b& a& e& c& d\end{array}\right)=(afb)(ce)=(af)(fb)(ce)\end{array}$$

习题13.13 已知置换：$\delta =(12\cdots n)，S=(123)(45),T=(14)(32)(16)$，求：

(1)${\delta }^{-1}$，(2)$S^2\cdot T$，(3)$(S\cdot T{)}^{-1}$

(1) ${\delta }^{-1}=\left(\begin{array}{ccccc}2& 3& \cdots & n& 1\\ 1& 2& \cdots & n-1& n\end{array}\right)$​

(2)
$$\begin{array}{rl}& S^2=(123)(45)(123)(45)=(132)\\ & S^2\cdot T=(132)(14)(32)(16)=(13)(14)(16)=(143)(16)=(4316)\end{array}$$
(3)
$$\begin{gathered} S\cdot T=(16542) \\ (S\cdot T{)}^{-1}=(12456) \end{gathered}$$
规律：置换群的逆就是反过来读

习题13.20* G为群，$a,b\in G$，已知ab=ba，a的阶为n，b的阶为m，证明：

(1)$(n,m)=1$时，ab的阶为nm

(2) ( n , m ) ≠ 1 , 且 ( a ) ∩ ( b ) = { e } (n,m)\neq1,且(a)\cap(b)=\{e\} (n,m)=1,且(a)∩(b)={e}时，ab的阶为n,m之最小公倍数LCM(n,m)。

(1)

必要性显然

充分性：

设ab的阶为p

由于$(ab{)}^p=e\to a^p=(b^p{)}^{-1}$，$a^{pm}=(b^p{)}^{-m}=e$

所以n|pm，又(n,m)=1，所以$n|p$，同理$m|p$，得证

(2)

充分性：

由 ( a ) ∩ ( b ) = { e } (a)\cap(b)=\{e\} (a)∩(b)={e}得出$a^i{b}^j=e$当且仅当$a^i=b^j=e$，

所以$n|p,m|p$，也说明LCM(n,m)|p，得证

习题13.27 设$G=(a)，|G|=n$，证明

(1)它的任意子群是循环群

(2)它的任意元的阶可以整除n

(3)设d为n的因子，则G必存在唯一一个阶为d的子群

(1)

(e)是循环群

假设任意子群中次数最小的元素$a^{\ast }=a^m$

若子群中存在次数不被m互素的元$a^n$，则要么n<m，要么n与m的差小与m，矛盾

以任意子群可由其中次数最小的元素生成

(2)

假设x的阶为p，$x=a^m$,$x^n=(a^m{)}^n=(a^n{)}^m=e$​，由定理13.12，则$p|n$

(3)

存在性：设n=d*b，存在子群 H = { a b , a 2 b ,  ⁣ ⋯   , a d b = e } H=\{a^b,a^{2b},\dotsi,a^{db}=e\} H={ab,a2b,⋯,adb=e}

唯一性：假设$H^{\prime }=(a^m)$同为阶为d的子群，则$a^{md}=e=(a^n{)}^k$，所以$(\frac{n}{d}=b)|m$

所以$a^m\in H$，即$H^{\prime }\in H$

又$|H|=|H^{\prime }|=d$，所以H=H’

习题13.28 设$G=(a),b=a^k,|G|=n$，当b为G的生成元时k具有什么性质；当b为G的一个子群的生成元时k又具有什么性质？

(1)

当b是G的生成元时，$b^n=e=a^{mn}$，且$a^{ki}\ne e=a^{mn}$，说明k与n无1外的公因数

或者：假设k与n有公因数d

$(a^k{)}^{\frac{n}{d}}=(a^t{)}^n=e$，则d只能为1

(2)

当b是G的一个子群的生成元时，阶为p，由拉格朗日定理，任意子群的阶整除n

$(a^k{)}^p=e=a^{mn}$，即$n|kp$，又$n=pr$，其中r是子群的指数，因此$r|k$

定理：子群在G中的指数整除生成元的次数

补充1* 群G是阶偶数的有限群，则G中阶为2的元素个数一定是奇数

分类讨论

(1)阶为1的元素：e

(2)阶大于2的元素成对出现：

如果$a$的阶大于2，那么$a^{-1}\ne a$，否则$a{a}^{-1}=e$矛盾

且$a^{-1}$的阶也大于2，因为$a^{-1}=a^{p-1}$与p是互素的

(3)阶等于2的元素：奇数个