CINTA作业六：拉格朗日定理

---

1. 设 G 是群，H 是 G 的子群。任取 g₁, g₂ ∈ G，则 g₁H = g₂H 当且仅当 g₁⁻¹$\cdot$g₂∈ H。

---

证明:
充分性:
如果g₁H=g₂H, 那么存在h₁, h₂$\in$H, 有g₁h₁=g₂h₂
两边同时左乘g₁^-1得e$\cdot$h1=g₁^-1g₂h₂
两边再同时右乘h₂^-1得h₁h₂^-1=g₁^-1g₂
而由于H为群, h₁h₂^-1$\in$H, 即证得 g₁^-1g₂$\in$H
必要性:
由g₁^-1g₂$\in$H得, 存在h$\in$H, g₁^-1g₂=h, 那么任取h2$\in$H, 有g₁^-1g₂h₂=hh₂, g₂h₂=g₁¹hh₂, 又由于hh₂$\in$H,也就表明任取h2$\in$H,存在hh₂$\in$H使得，
g₁h$\cdot$h₂=g₂h₂, 即可证得g₁H=g₂H

---

3. 如果 G 是群，H 是群 G 的子群，且 [G : H] = 2，请证明对任意的 g ∈ G，gH = Hg。

---

证明:
由[G:H]=2可知, 子群H的左陪集将G划分为两个部分，而且其中一个就是H本身，即g$\in$H的时候, 另一个部分就应该是G-H。
那么对于任意g$\in$G:
当g$\in$H时, 由群公理知,群元素的运算结果满足封闭性, 因此有gH=H=Hg,
所以gH=Hg
当g$\notin$H时, gH=G-H, 对于右陪集Hg, 其结果也落G-H上, 因此gH=Hg

---

4. 如果群 H 是群 G 的真子群,即存在 g∈G 但是 g$\notin$H。请证明 |H| ≤ |G| /2。

---

证明:
首先由群H是群G的真子群可知，群G可以被划分为H和G-H至少两个部分，即[G:H] $\ge$ 2, 由命题8.2可知，陪集gH的阶与H的阶相同。
因此 |G| / |H| = [G:H] , 可得 |H| $\le$ |G|/2

---

5. 设 G 是阶为 pq 的群，其中 p 和 q 是素数。请证明 G 的任意真子群是循环群。

---

证明:
由拉格朗日定理可知, 群G的子群的阶一定整除群G的阶, 又由于G的阶是pq, p和q是素数,则G的真子群有三个, {e}，群的阶为p的子群和群的阶为q的子群, {e}是循环群, 由推论8.2知, 群的阶为素数时, 群为循环群
所以G 的任意真子群是循环群。

---

7. 使用群论的方法重新证明费尔马小定理和欧拉定理。

---

证明:
设群G元素a的阶为m, 则a^m=e,且由推论8.1有m | n，即存在k$\in$Z, n=k$\times$m
那么aⁿ=a^km=(a^m)^k=e^k=e, 得证aⁿ=e