CINTA 作业六

1.设 G 是 群，H 是 G 的子群。任取 g1，g2 属于 G， 则 g1H = g2H 当且仅当 g-1g2 属于 H。

证明：

充分性

由于 $g_{1}H=g_{2}H,$ 即 $\exists h_1,h_2\in H,$ 使 $g_1{h}_1=g_2{h}_2,$

则可得 $g_1^{-1}{g}_2=h_1{h}_2^{-1}\in H$ 。

充分性证毕。
 

必要性

当 $g_1^{-1}{g}_2\in H$ 时，即 $\exists h\in H$ 使 $g_1^{-1}=h,$

故有 $g_2=g_{1}h\in g_{1}H,$

由于陪集的属性，我们可以得到 $g_{1}H=g_{2}H$ 。

必要性证毕。

证明结束。
 

2.如果 G 是群，H 是群 G 的子群，且 [G:H] = 2, 请证明对任意 g 属于 G ，gH = Hg

由于 [G:H] = 2 ，即意味着 H 仅有 { H } 和 { G - H } 这两个陪集。

我们不妨假设对 ∀ g ∈ G , g H ∈ H , H g ∈ { G − H } , \forall g \in G, gH \in H, Hg \in \{G-H\}, ∀g∈G,gH∈H,Hg∈{G−H},

即 ∃ h ∈ H 使 g h ∈ H , h g ∈ { G − H } , \exist h \in H 使 gh \in H, hg \in \{G-H\}, ∃h∈H使gh∈H,hg∈{G−H},

显然这并不满足封闭性，矛盾。

 

3.如果群 H 是群 G 的真子群，即存在 g 属于 G 但是 g 不属于 H。 请证明 |H| 小于等于 |G|/2

由命题 8.2 ，我们可以得知 |H| = |gH|,

由拉格朗日定理，我们可以得知 H 和它的陪集共同构成了群 G ，

因为 H 为 G 的真子群， 故 H 至少有两个陪集 H 和 gH，$g\in G且g\notin H$ 。

当陪集个数为 2 时，|H| 将取得最大值，

那么有 |H| + |gH| = 2|H| = |G|,

故我们可以得到 $|H|\le |G|/2$ 。

 

4.设 G 是阶为 pq 的群，其中 p 和 q 是素数。请证明 G 的任意真子群是循环群。

令 H 为 G 的任意一个真子群，我们假设它的阶为 k，

那么有 pq = [G:H]k，即 k | pq 。

由于 pq 均为素数， 故 k = p 或者 k = q， 即 k 为素数。

由推论 8.2 ，H 是一个循环群。

证毕。

 

5.使用群论的方法重新证明费尔马小定理和欧拉定理。

证明：

费尔马小定理

我们不妨构造群 $Z_p^{\ast }$ ，p 为素数。

由拉格朗日定理，

对 $\forall g\in Z_p^{\ast },ord(g)|p-1,$

那么 $\exists k\in \mathbb{Z},$ 使得 p - 1 = k*ord(g)，

故显然有对 $\forall g\in Z_p^{\ast },g^{p-1}=g^{k\ast ord(g)}=1,$

证毕。

欧拉定理

由费尔马小定理的证明，同理可证欧拉定理。