cinta作业6：拉格朗日定理

1. 设$\mathbb{G}$是群，$\mathbb{H}$是$\mathbb{G}$的子群。任取$g_1,g_2\in \mathbb{G}$，则$g_1\mathbb{H}=g_2\mathbb{H}$当且仅当$g_1^{-1}{g}_2\in \mathbb{H}$

充分性证明：

$\exists h_1,h_2\in \mathbb{H}$，使得 $g_1{h}_1=g_2{h}_2$，则有$h_1=g_1^{-1}{g}_2{h}_2$， 最终可得 $h_1{h}_2^{-1}=g_1^{-1}{g}_2$，而$h_1{h}_2^{-1}$由于封闭性，一定属于群 $\mathbb{H}$ ，故$g_1^{-1}{g}_2\in \mathbb{H}$，证毕

必要性证明：

由于$g_1^{-1}{g}_2\in \mathbb{H}$，则$\exists h\in \mathbb{H}$，使得$g_1^{-1}{g}_2=h$，则有$g_2=g_{1}h$，即$g_2\in g_1\mathbb{H}$，又由陪集性质可得$g_1\mathbb{H}=g_2\mathbb{H}$，证毕

---

2. 如果$\mathbb{G}$是群，$\mathbb{H}$是$\mathbb{G}$的子群，且$[\mathbb{G}:\mathbb{H}]=2$，证明对任意$g\in \mathbb{G}$，$g\mathbb{H}=\mathbb{H}g$

• 若$g\in \mathbb{H}$，由于封闭性，$g\mathbb{H}=\mathbb{H}g=\mathbb{H}$，证毕
• 若$g\notin \mathbb{H}$，由于陪集性质，$g\mathbb{H}\ne \mathbb{H}$，$\mathbb{H}g\ne \mathbb{H}$
  又因为$[\mathbb{G}:\mathbb{H}]=2$，即群 $\mathbb{G}$ 被子群 $\mathbb{H}$ 的两个陪集划分，其中一个陪集是 $\mathbb{H}$ 本身，另一个陪集记为 ${\mathbb{H}}^{\prime }$ 。
  而又因为作为陪集的$g\mathbb{H},\mathbb{H}g$都是不等于$\mathbb{H}$的，则$g\mathbb{H},\mathbb{H}g$一定都等于 ${\mathbb{H}}^{\prime }$ ，即$g\mathbb{H}=\mathbb{H}g={\mathbb{H}}^{\prime }$，证毕

---

3. 如果群$\mathbb{H}$是群$\mathbb{G}$的真子群，证明$|\mathbb{H}|\le |\mathbb{G}|/2$

根据拉格朗日定理，$|\mathbb{G}|/|\mathbb{H}|=k$，$k$为正整数
又因为群$\mathbb{H}$是群$\mathbb{G}$的真子群，则$k\ne 1$，故有$|\mathbb{G}|/|\mathbb{H}|=k\ge 2$ 成立，转化后可得$|\mathbb{H}|\le |\mathbb{G}|/2$，证毕

---

4. 设群$\mathbb{G}$是阶为$pq$的群，其中$p$和$q$是素数。证明$\mathbb{G}$的任意真子群是循环群

因为 $p,q$ 均是素数，能整除 $pq$ 的只有 $1,p,q,pq$，则根据拉格朗日定理，则其真子群的阶有 $1,p,q$

• 真子群阶为 $1$ 时，即为平凡子群，显然是循环群
• 真子群阶为 $p,q$ 时，根据拉格朗日定理推论，素数阶数的有限群一定是循环群

---

5. 用群论证明费马小定理和欧拉定理

费马小定理

构造在模数为素数 $p$ 下的整数乘法群 ${\mathbb{Z}}_p^{\ast }$ ，其阶数为 $p-1$

任取元素$a\in {\mathbb{Z}}_p^{\ast }$，根据拉格朗日定理，则有$ord(a)\mid p-1$ ，即$p-1=k\ast ord(a)$，$k$为正整数，则 $a^{p-1}$ $mod$ $p=a^{k\ast ord(a)}$ $mod$ $p=1^{k}mod$ $p=1$，故得到费马小定理：$a^{p-1}\equiv 1$ ($mod$ $p$)

欧拉定理

构造在模数为 $n$ 下的整数乘法群 ${\mathbb{Z}}_n^{\ast }$ ， Z n ∗ = { a ∈ [ 1 … n − 1 ] 且 g c d ( a , n ) = 1 } \mathbb{Z}_{n}^{*}=\left \{ a\in[1…n-1]且gcd(a,n)=1\right \} Zn∗​={a∈[1…n−1]且gcd(a,n)=1}，其阶数为欧拉函数值 $\varphi (n)$

任取元素$a\in {\mathbb{Z}}_n^{\ast }$，根据拉格朗日定理，则有$ord(a)\mid \varphi (n)$ ，即$\varphi (n)=k\ast ord(a)$，$k$为正整数，则 $a^{\varphi (n)}$ $mod$ $n=a^{k\ast ord(a)}$ $mod$ $n=1^{k}mod$ $n=1$，故得到欧拉定理：$a^{\varphi (n)}\equiv 1$ ($mod$ $n$)