2021-11-02

证：

​ 充分性：

​ 因为g₁H = g₂H ,则存在h₁ ,h₂ ∈ H, 使得g₁h₁ = g₂h₂，

​ 由消去律得g₁^-1g₂ = h₁h₂^-1,

​ 又因为h₁h₂^-1 ∈ H，得证。

​ 必要性：

​ 因为g₁^-1g₂ ∈ H，由于群的封闭性，得g₁^-1，g₂ ∈ H，

​ 由群的性质得g₁ ∈ H，所以g₂ ∈ H = g₁H

证：

​ （1）当g ∈ H时，gH = H = Hg,

​ （2）当g不属于H时，gH与Hg均不属于H，又因为[G : H] = 2，

​ 所以gH ∈ (G-H),Hg ∈ (G-H),所以gH=Hg

证：

​ 因为H是G的真子群，且g ∈ G但g不属于H，

​ 所以[G : H] >= 2，由拉格朗日定理，|G|/|H| = [G : H]

​ 所以|G|/|H| >= 2，所以|H| ≤ |G| /2

证：

​ 因为G 是阶为 pq 的群，且 p 和 q 是素数，

​ 所以设G的真子群为H，则H的阶为1，p或q，

​ 当H的阶为1时，H={e},即H为循环群；

​ 当H的阶为p或q时，由拉格朗日定理的推论8.2可得H为循环群

证：

​ 费尔马小定理：

​ 构造一个群G<[1],[2],⋯,[m−1],≡∗>G<[1],[2],⋯,[m−1],≡∗>，下证 这是一个群.

​ 封闭性:对任意[i]、[j]，假如不封闭，因为集合是除[0]外的剩余 类，所以[i] [j]=0

​ 因为[i] [j]=0，[ij]=0,则m|ij，又因为(i,m)=1，(j,m)=1

​ 所以(ij,m)=1矛盾，所以G是群

​ 单位元：显然，[1]

​ 逆元：对任意[k]，m为素数，

​ 因为(k,m)=1，所以ks+mt=1，m|ks−1

​ 所以ks≡1(mod m)，存在[s]，

​ 由拉格朗日定理推论：有限群G的每个元素的阶均能整除G的阶

​ 设p是a的阶，a^p≡[1] (mod m)，

​ 因为p|m−1∴a^m−1=(a^p)^t≡1(mod m)

​

​

​