CINTA作业六：拉格朗日定理

陪集与拉格朗日定理

提示：通过群元素与群的操作，得到一个新的群，称为陪集
   利用陪集的性质，又可通过拉格朗日定理进一步研究有限群的性质

---

---

一、证明 8.1

解：
  （1）充分性：

     如果 $g_1$H = $g_2$H

     则存在 $h_1$，$h_2$ $\in$ H, 使得 $g_1$$h_1$ = $g_2$$h_2$

     即得 $h_1$ = $g_1^{-1}$ $g_2$$h_2$

     $\therefore$ $g_1^{-1}$ $g_2$ $\in$ H

 
  （2）必要性：

     如果 $g_1^{-1}$ $g_2$ $\in$ H

     则有 $g_2$ $\in$ $g_1$ H

     所以， 根据命题 8.1 得 $g_1$H = $g_2$H

 
    综上所述，若 G 是群，H 是 G 的子群。任取 $g_1$, $g_2$ $\in$ G，则 $g_1$H = $g_2$H 当且仅当 $g_1^{-1}$ $g_2$ $\in$ H
 

---

二、证明 8.3

解：如果 g $\in$ H, 则 gH = Hg = H
  如果 g $\notin$ H, 则 gH $\notin$ H, Hg $\notin$ H
         又因为 [G:H] = 2
         所以 gH = Hg， 且他们都属于G - H

 

---

三、证明 8.4

解：由题意值知, H在G上至少有2个不相同的左陪集, 即[G:H] $\ge$ 2
   根据拉格朗日定理知，|G|$/$|H| = [G:H] $\ge$ 2
   即 |H| $\le$ |G| $/$ 2
 

---

四、证明 8.5

解：设 H 为 G 的真子群
  所以对于任意 h $\in$ H, 必有 h $\in$ G
  由推论 8.1 知，h 的阶必然整除群 G 的阶，即 ord(g) | pq
  $\because$ p 和 q 都是素数
  $\therefore$ h 的阶为 p 或 q
  $\therefore$ H 的阶为 p 或 q
  由推论 8.2 知,，H 为素数阶有限阶群，则 H 是循环群
  所以说， G 的任意真子群都是循环群

 

---

五、证明 8.7

费尔马小定理：

   解：现有整数模 p 下的乘法群 $Z_p^{\ast }$

     设 a $\in$ $Z_p^{\ast }$, 由推论 8.1 得 ord (a) | p-1

     所以， $a^{p-1}$ = $a^{n\ast ord(a)}$ = 1（mod p）

 

欧拉定理：

   解：现有整数模 p 下的乘法群 $Z_p^{\ast }$

     设 a $\in$ $Z_p^{\ast }$, 由推论 8.1 得 ord (a) | $\varphi$(n)

     所以， $a^{\varphi (n)}$= $a^{n\ast ord(a)}$ = 1（mod p）

 

---

总结