拉格朗日/循环群的子群都是子群

---

拉格朗日定理(J.Lagrange)

设 $G$ 为有限群，$A\le G$ .则
$$|G|=|A|\cdot [G:A]$$
特别的，$G$ 的每个子群的阶都是 $G$ 的阶的因子

证明

考虑右陪集分解：
$$G=\bigcup _{g\in R}Ag(两两不交的并）$$
对于 $a,b\in A$, 由消去律可知 $a\ne b⟺ag\ne bg$ .从而，对每个 $g\in R$,$|Ag|=|A|$. 由右陪集分解式即知：
$$|G|=\sum _{g\in R}|Ag|=\sum _{g\in R}|A|=|A|\cdot |R|=|A|\cdot [G:A]$$

---

循环群的子群均是循环群

设 $G=⟨A⟩$ 是循环群

1. 若 $G$ 是无限循环群，则对每个正整数 $m$, $G$ 恰有一个指数为 $m$ 的子群 $G_m=⟨a^m⟩$，并且它们和 { 1 } \{1\} {1} 是 $G$ 的全部子群
2. 若 $G$ 是 $n$ 阶有限循环群，则对 $n$ 的每个正因子 $m$,$G$ 恰有一个指数为 $m$ 的 $\frac{n}{m}$ 阶子群 $G_m=⟨a^m⟩$, 并且它们是 $G$ 的全部子群

证明

1. 设 $H$ 是 $G=⟨a⟩$ 的子群，不妨设 H ≠ { 1 } H\ne\{1\} H​={1} .令 $m$ 是满足 $a^m\in H$ 的最小正整数.
   易知对每个整数 $p$,$a^p\in H⟺m|p$. 于是 $H=⟨a^m⟩=G_m$. 并且 $[G:G_m]=m$
   这就证明了1
2. 设 $H$ 是 $G=⟨a⟩$ 的子群，不妨设 H ≠ { 1 } H\ne\{1\} H​={1} .令 $m$ 是满足 $a^m\in H$ 的最小正整数.
   易知对每个整数 $p$,$a^p\in H⟺m|p$. 于是 $H=⟨a^m⟩=G_m$
   若 $a$ 是一个 $n$ 阶元素，则 $m|n$ ，于是 $n=mq$ ,从而 H = G m = { 1 , a m , a 2 m , ⋯   , a ( a − 1 ) m } H=G_m=\{1,a^m,a^{2m},\cdots,a^{(a-1)m}\} H=Gm​={1,am,a2m,⋯,a(a−1)m}. 这是 $q=n/m$ 阶循环群，从而 $[G:G_m]=|G|/|G_m|=n/q=m$
   这就证明了2