CINTA第四次作业

第七章

题2

题目：群 $Z_{17}^{\ast }$ 有多少个生成元？已知 $3$ 是其中一个生成元，请问 $9$ 和 $10$ 是否生成元？
解题思路：
由原根定理可知：$17$有$\varphi (17-1)$个原根，即$Z_{17}^{\ast }$有$\varphi (17-1)$个生成元，利用欧拉公式计算可知$\varphi (17-1)=16\times \frac{1}{2}=8$.
故群 $Z_{17}^{\ast }$ 有 $8$ 个生成元.
由以下命题

设群 $G=⟨g⟩$ 是阶为 $n$ 的循环群。如果 $h=g^k$，则 $ord(h)=n/gcd(n,k)$。

可知：取命题中 $k$ 与 $n$ 互素即可由已知生成元构造另一个生成元.
已知 $3$ 是其中一个生成元：
注意到 $3^3\equiv 10(\mathrm{mod}17)$，且 $3$ 与群的阶 $16$ 互素，故 $10$ 是生成元.
注意到 $9^8=3^{16}\equiv 1(\mathrm{mod}17)$，故 $9$ 不是生成元.

题3

题目：$p$ 和 $q$ 是两个不同的素数，请问 $Z_{pq}$ 有多少个生成元？$r$ 是任意正整数，请问 $Z_{p^r}$都有多少个生成元？
解题思路：
由以下命题

设群 $G=⟨g⟩$ 是阶为 $n$ 的循环群，则群 $G$ 中恰有 $\varphi (n)$ 个生成元。

可知：
$Z_{pq}$ 有 $\varphi (pq)=pq(1-\frac{1}{p})(1-\frac{1}{q})=(p-1)(q-1)$ 个生成元.
$Z_{p^r}$有 $\varphi (p^r)=p^r(1-\frac{1}{p})=p^r-p^{r-1}$ 个生成元.

题6

题目：
证明：如果群 $G$ 没有非平凡子群，则群 $G$ 是循环群。
证明思路：
容易验证当 G = { e } G=\{e\} G={e} 时，命题成立.
下面仅讨论 $G$ 中除了 $e$ 还有其他元素的情况：
任取$g\in G\wedge g\ne e$，构造 $⟨g⟩=\left\{g^i|i\in \mathbb{Z}\right\}$，容易验证其是 $G$ 的子群（$⟨g⟩$ 同时也是循环群）.
由于 $G$ 仅有 $G$ 和 { e } \{e\} {e} 两个子群，而 ⟨ g ⟩ ≠ { e } \left \langle g \right \rangle\neq \{e\} ⟨g⟩={e}，故：
$$G=⟨g⟩$$
这样就证明了群 $G$ 是循环群.

题8

题目：
证明：设 $G$ 为任意群，且 $g\in G$。如果存在 $m,n\in \mathbb{Z}$ 使得 $g^m=1$ 且 $g^n=1$，则 $g^d=1$，其中 $d=gcd(m,n)$。
证明思路：
由Bezout定理知：$\exists a,b\in \mathbb{Z},d=am+bn$.
故：$g^d=g^{am+bn}=(g^m{)}^a(g^n{)}^b=1$，证毕.

第八章

题1

题目：设 $G$ 是群，$H$ 是 $G$ 的子群。任取 $g_1,g_2\in G$，则 $g_{1}H=g_{2}H$ 当且仅当 $g_1^{-1}{g}_2\in H$。
证明思路：
证明分两个方向：
设 $e$ 是 $G$ 的单位元，

① $\Rightarrow$ 方向：由于 $g_2=g_{2}e,e\in H$，故 $g_2\in g_{2}H$.
由于 $g_{1}H=g_{2}H$，故 $g_2\in g_{1}H$，进而有：$\exists h\in H,g_2=g_{1}h$，即：$g_1^{-1}{g}_2=h\in H$

② $\Leftarrow$ 方向：由于 $g_1^{-1}{g}_2\in H$，故 $\exists h\in H,g_1^{-1}{g}_2=h\in H$.

---

要证明$g_{1}H=g_{2}H$，只需证明：$g_{1}H\subset g_{2}H,g_{2}H\subset g_{1}H$。

---

(1) 先证明 $g_{1}H\subset g_{2}H$：
对此，即证 $\forall a\in g_{1}H,有：a\in g_{2}H$.
由于 $a\in g_{1}H$，故：$\exists h_1\in H,a=g_1{h}_1$，
此时不难发现 $a=g_1{h}_1=g_2(g_2^{-1}{g}_1{h}_1)$，而 $g_2^{-1}{g}_1{h}_1=(g_1^{-1}{g}_2{)}^{-1}{h}_1$.
由于 $H$ 是群且 $g_1^{-1}{g}_2\in H$，故 $(g_1^{-1}{g}_2{)}^{-1}\in H$，又 $h_1\in H$，进而由封闭性可知：$g_2^{-1}{g}_1{h}_1=(g_1^{-1}{g}_2{)}^{-1}{h}_1\in H$.
即：$a=g_2(g_2^{-1}{g}_1{h}_1)且g_2^{-1}{g}_1{h}_1\in H$，故 $a\in g_{2}H$.
从而证明了 $g_{1}H\subset g_{2}H$。
(2) 对于 $g_{2}H\subset g_{1}H$ 类似可证，不再赘述。

题3

题目：如果 $G$ 是群，$H$ 是群 $G$ 的子群，且 $[G:H]=2$，请证明对任意的 $g\in G，gH=Hg$。
证明思路：
分两种情况讨论：
①若 $g\in H$，则 $H=gH=Hg$.
②若 $g\in G且g\notin H$，则由陪集的同一或不相交性可知：$gH=G-H,Hg=G-H$
故：$gH=Hg$.

题5

题目：设 $G$ 是阶为 $pq$ 的群，其中 $p$ 和 $q$ 是素数。请证明 $G$ 的任意非平凡子群是循环群。
证明思路：
设 $H$ 是 $G$ 的非平凡子群，则 $|H|\ne 1且|H|\ne |G|$.
由拉格朗日定理可知：$|G|\mathrm{mod}|H|=0$.
故 $|H|=p或q$，即 $H$ 是素数阶群，故 $H$ 是循环群，原命题得证.

题8

题目：.
编程完成以下工作：对任意给定的一个素数 $p$，求出 $Z_p^{\ast }$ 的最小生成元。任取一个整数 $n$，对大于 $1$ 小于 $n$ 的所有素数 $p$，求 $Z_p^{\ast }$ 的最小生成元，并求以上最小生成元集合中最大者所对应的素数 p。
代码如下：

import math
import gmpy2

#返回n的素因子列表
def prime_factor_list(n):
    list = []
    for i in range(2,int(math.sqrt(n))+2):
        if n % i == 0 and gmpy2.is_prime(i):
            list.append(i)
    return list

#判定a是否模p的原根（源于课本第7章第4节），其正确性可以用因式分解简单证明
def if_generator(a,p):
    flist = prime_factor_list(p-1)
    for i in flist:
        t = pow(a,(p-1)//i,p)
        if t == 1:
            return False
    return True

#寻找模p的最小生成元
def find_min_generator(p):
    for i in range(1, p):
        if if_generator(i, p) == True:
            return i
        
#给定n，以列表形式返回2~n的全部素数的最小生成元
def min_generator_list(n):
    prime = []
    list = []
    for i in range(2, n):
        if gmpy2.is_prime(i):
            prime.append(i)
            list.append(find_min_generator(i))
    return prime, list          

#求上述最小生成元集合中最大者所对应的素数p
def fun(n):
    #n=2时最小生成元集合为空，直接结束即可
    if n == 2:
        return.
    prime, flist = min_generator_list(n)
    m = max(flist)
    index = [i for i,j in enumerate(flist) if(j==m)]
    for i in index:
        print(prime[i])