G是群， H是G的子群，则H=。

Question

如题所述

Answer 1

若 G = <g> 为循环群，则任何 G 中的元素 a，均可表示为 a = g^n，
其中 ，g 为 G 的生成元，n 为某个正整数。
因此，若 H 是 G 的子群，则对任何 H 中的元素 h，也有 h = g^k 的形式，
其中 ，g 为 G 的生成元，k 为某个正整数。

不妨设 k=m>0 是满足 g^k 属于 H 的最小正整数，下面证明 H = <g^m>：
1) 显然，由于子群满足运算的封闭性，因此 (g^m)^k 都是 H 的元素，即 H 包含 <g^m>；
2) 假设存在 H 中的某个元素 h = g^n 其中正整数 n 不能被 m 整除（即 h 不能表示成 (g^m)^k），不妨设 n = km +r，其中 r < m 为正整数，则该式唯一确定；
由于 H 是群，因此对于元素 g^m，H 中有其逆元 g^(-m)；
对上述 h = g^n = g^(km +r)，乘以 k 次 g^(-m)，由群的封闭性，结果仍属于 H，即
h * g^(-km) = g^(km +r) * g^(-km) = g^r 属于 H；
由于 r < m，这说明我们找到了一个比 m 更小的正整数 r，满足 g^r 属于 H，这与前提矛盾，即由反证法，得证 H 中的任意元素均可表示成 g^(km)，即 <g^m> 包含 H。

综上，H = <g^m>.