抽象代數/群論/子群/迴圈子群/迴圈子群的階

定理

定義 元素的階 g 在 有限 群 G 中

o(g) = 使 gⁿ = e 成立的最小正整數 n

定義 迴圈子群的階 由 g 生成的

$o(\langle g\rangle )$ = $\langle g\rangle$ 中的元素數

o(g) = $o(\langle g\rangle )$

證明

由於 $\langle g\rangle$ 是迴圈的，並且有 $o(\langle g\rangle )$ 個元素。

$g^{o(\langle g\rangle )}=e$

透過圖表，

0. $g^{o(\langle g\rangle )}=e=g^{o(g)}$.

1. 令 n = o(g)，m = $o(\langle g\rangle )$

2. gⁿ = g^m

3. g^{n – m} = e

4. 令 n – m = sn + r 其中 r，n，s 為整數，且 0 ≤ s < n。

5. g^{sn + r} = e

6. $[g^{n}]^{s}\ast g^{r}=e$

根據 n = o(g) 的定義

7. g^r = e

因為 n 是使 gⁿ = e 成立的最小值，並且 0 ≤ r < n。

8. r = 0

引理： 令 $k,m\in \mathbb {Z}$.
$g^{k}=g^{m}$ 當且僅當 $k\equiv m(\,{\bmod {\ }}o(g))$.
證明： 令 $n=o(g)$.
$g^{k}=g^{m}$ 當且僅當 $g^{k-m}=e$.
根據歐幾里得除法：$k-m=qn+r$，其中 $q,r$ 為整數，且 $0\leq r<n$.
我們有 $g^{r}=g^{k-m-qn}=g^{k-m}{(g^{n})}^{-q}=g^{k-m}$，因此 $g^{r}=e$ 當且僅當 $g^{k}=g^{m}$.
但 $g^{r}=e$ 當且僅當 $r=0$（即當且僅當 $n\mid k-n$），
因為，根據定義，$n=o(g)$ 是滿足 $g^{n}=e$ 的最小正整數。
因此得出結論。 $\square$

根據定義：$\langle g\rangle =\{g^{r}:r\in \mathbb {Z} \}$.
因此，$g,g^{2},\ldots ,g^{n}$（其中 $n=o(g)$）都屬於 $\langle g\rangle$ - 此外，根據以上引理，它們彼此不同。
最後，任何形式為 $g^{r}$ 的元素，其中 $r\in \mathbb {Z}$，都等於 $g,g^{2},\ldots ,g^{n}$ 中的一個（再次由引理得出）。
我們得出結論，$g,g^{2},\ldots ,g^{n}$ 正好是 $\langle g\rangle$ 的元素，
所以，$o(\langle g\rangle )=n=o(g)$，如需要的那樣。
- Q.E.D. -