前言:仅个人小记。这个性质是循环群的独有的。
证明内容
循环群G的阶为 n, 对任意 n 的因子 d ,即 d|n,都存在一个 唯一的d 阶子群 H。
证明
循环群 G 的生成元记为 g, 群阶记为 n。
引入集合
Z
n
=
0
,
1
,
.
.
.
,
n
−
1
Z_n={0,1,...,n-1}
Zn=0,1,...,n−1
第一部分
引入G的一个子集H, H = { x ∣ x d = 1 , x ∈ G } H=\{x|x^d=1,x\in G\} H={x∣xd=1,x∈G},显然,H 在 G 中具有唯一性。
第二部分–证明 ∣ H ∣ ≤ d |H|\leq d ∣H∣≤d
因为
x
∈
G
x\in G
x∈G,所以 x 可以写成
x
=
g
k
,
k
∈
Z
n
x=g^k,k\in Z_n
x=gk,k∈Zn,进一步约束 k,即要求
g
k
d
=
1
g^{kd}=1
gkd=1,现在讨论 k 的可能取值的个数。
因为
g
k
d
=
1
g^{kd}=1
gkd=1所以必然有
n ∣ k d n|kd n∣kd进而 k d = s n , s 为 正 数 kd=sn,s为正数 kd=sn,s为正数进而 k = n d s k=\frac{n}{d}s k=dns因为 d 是 n 的因子,所以 n d \frac{n}{d} dn 是整数。又因为 k ∈ Z n k\in Z_n k∈Zn所以 n d s ∈ Z n \frac{n}{d}s\in Z_n dns∈Zn显然,s 的取值只能为
{ 1 , 2 , . . . , d } \{1,2,...,d\} {1,2,...,d}所以 k 的取值只能是
{ n d , n d 2 , . . . , n d d } \{\frac{n}{d},\frac{n}{d}2,...,\frac{n}{d}d\} {dn,dn2,...,dnd} 进而 使得 g k d = 1 g^{kd}=1 gkd=1 成立的 k 最多只有 d 个,进而 x d = 1 x^d=1 xd=1的 x 的个数最多只有 k 个,进而集合 H 的基满足
∣ H ∣ ≤ k |H|\leq k ∣H∣≤k
第三部分-- 证明 H = < g n / d > H=<g^{n/d}> H=<gn/d>
因为 d|n ,所以显然有元素 g n / d g^{n/d} gn/d的阶为 d,显然 g n / d ∈ H g^{n/d} \in H gn/d∈H,又因为 g n / d g^{n/d} gn/d这个元素可以生成一个 d 阶循环子群为 < g n / d > <g^{n/d}> <gn/d>,显然, ∀ y ∈ < g n / d > , y ∈ H \forall y\in <g^{n/d}>,y\in H ∀y∈<gn/d>,y∈H进而
< g n / d > ⊆ H <g^{n/d}>\subseteq H <gn/d>⊆H又因为 ∣ H ∣ ≤ d |H|\leq d ∣H∣≤d所以, H = < g n / d > H=<g^{n/d}> H=<gn/d>综上,循环群的阶的因子 d 必然对应这个一个子群,且该子群唯一。证毕!