CINTA第四次作业

第六章
7.设$\mathbb{G}$是群，对任意$n\in \mathbb{N}$, $i\in [0,n]$，$g_i\in \mathbb{G}$。证明$g_0{g}_1\cdots g_n$的逆元是$g_n^{-1}\cdots g_1^{-1}{g}_0^{-1}$。
证明：
∵$g_0{g}_1\cdots g_n$·$g_n^{-1}\cdots g_1^{-1}{g}_0^{-1}$=e
$g_n^{-1}\cdots g_1^{-1}{g}_0^{-1}$·$g_0{g}_1\cdots g_n$=e
∴由逆元的定义，$g_0{g}_1\cdots g_n$的逆元是$g_n^{-1}\cdots g_1^{-1}{g}_0^{-1}$
8.证明：任意群$\mathbb{G}$的两个子群的交集也是群$\mathbb{G}$的子群。
证明：假设H₁和H₂是G的两个子群，e是G的单位元，那么H₁和H₂必定包含e即e∈H₁∩H₂，且H₁、H₂都不为空。∀a,b∈H₁∩H₂，则a,b∈H₁，a,b∈H₂，则ab∈H₁∩H₂。a∈H₁∩H₂，则a∈H₁且a∈H₂，所以a^-1∈H₁且a^-1∈H₂,则a^-1∈H₁∩H₂。∴任意群$\mathbb{G}$的两个子群的交集也是群$\mathbb{G}$的子群。
10.$\mathbb{G}$是阿贝尔群，$\mathbb{H}$和 $\mathbb{K}$是$\mathbb{G}$的子群。
请证明 H K = { h k : h ∈ H , k ∈ K } \mathbb{H} \mathbb{K} = \{hk: h \in \mathbb{H}, k \in \mathbb{K}\} HK={hk:h∈H,k∈K}是群$\mathbb{G}$的子群。
如果$\mathbb{G}$不是阿贝尔群，结论是否依然成立？
证明:
在$\mathbb{H}\mathbb{K}$中取任意两个元素h₁k₁和h₂k₂，则h₁k₁∈$\mathbb{H}\mathbb{K}$，h₂k₂∈$\mathbb{H}\mathbb{K}$，而h₁k₁h₂k₂=h₁h₂k₁k₂，h₁h₂∈$\mathbb{H}$，k₁k₂∈$\mathbb{K}$,所以h₁h₂k₁k₂∈$\mathbb{H}\mathbb{K}$，即h₁k₁h₂k₂∈$\mathbb{H}\mathbb{K}$
h₁k₁∈$\mathbb{H}\mathbb{K}$，(h₁k₁)^-1=h₁^-1k₁^-1，其中h₁^-1∈$\mathbb{H}$，k₁^-1∈$\mathbb{K}$,则有(h₁k₁)^-1∈$\mathbb{H}\mathbb{K}$
所以 H K = { h k : h ∈ H , k ∈ K } \mathbb{H} \mathbb{K} = \{hk: h \in \mathbb{H}, k \in \mathbb{K}\} HK={hk:h∈H,k∈K}是群$\mathbb{G}$的子群。
若$\mathbb{G}$不是阿贝尔群，结论不成立，因为非阿贝尔群不满足交换律

11.设$\mathbb{G}$是阿贝尔群，$m$是任意整数，记 G m = { g m : g ∈ G } \mathbb{G}^m = \{ g^m: g\in \mathbb{G}\} Gm={gm:g∈G}。请证明${\mathbb{G}}^m$是$\mathbb{G}$的一个子群。
证明：设ab∈$\mathbb{G}$,则a^mb^m=(ab)^m
所以a^mb^m=(ab)^m∈${\mathbb{G}}^m$
设(a^m)^-1是a^m的逆元，而(a^m)^-1=(a^-1)^m∈${\mathbb{G}}^m$
所以${\mathbb{G}}^m$是$\mathbb{G}$的一个子群。
第七章
6.证明：如果群$\mathbb{G}$没有非平凡子群，则群$\mathbb{G}$是循环群。
证明:
因为群$\mathbb{G}$中无非平凡子群，即G只有{e},和$\mathbb{G}$两个子群
显然，群$\mathbb{G}$中任意一个非单位元素都可以生成$\mathbb{G}$，因此$\mathbb{G}$为循环群。
7.循环群$\mathbb{G}$中任意元素的阶都整除群$\mathbb{G}$的阶。
证明：
由定理7.5得，若群 $\mathbb{G}$ = {g}是阶为 n 的循环群，如果 h = g^k，则 h 的阶为 n/d，其中 d = gcd(k, n)，易知.循环群$\mathbb{G}$中任意元素的阶都整除群$\mathbb{G}$的阶
8.编程完成以下工作：给定一个素数$p$，找出${\mathbb{Z}}_p^{\ast }$的最小生成元。对于素数$1<p<10000$，哪一个素数$p$使得${\mathbb{Z}}_p^{\ast }$的最小生成元最大？

#include<iostream>
#include <vector>
using namespace std;
bool judge(int x)
{
    for (int i = 2; i <= sqrt(x); i++)
        if (x % i == 0)
            return 0;
        else return 1;
}//判断是否为素数

void getPrime(int maxNum, vector<int>& PrimeList) {
    if (maxNum >= 2) PrimeList.push_back(2);
    for (int i = 3; i <= maxNum; i = i + 2) {
        if (judge(i)) PrimeList.push_back(i);
    }
}//获取一定范围内的素数
bool Scy(int g, int p)//判断元素g是否为生成元
{
    int G = g * g;
    for (int i = 2; i <= p; i++)
    {
        if (G%p == g)//循环回到g时，
        {
            if (i == p)//判断g的指数是否为p
                return 1;//如果指数为p，那g是生成元
            else
                return 0;//如果不是p则g不是生成元
        }
        G = (G%p) * g;//！！中途模运算：每次操作完就对G取模，防止了可怕数据量的出险！！改进前为：G=G*g
    }
    return 0; //111
}
int getMingener(int Prime) {

    if (!judge(Prime)) return 0;
    if (Prime == 2) return 1;
   
    for (int i = 1; i <= Prime - 1; i++) {
        if(Scy(i, Prime))
        {
            return i;
        }

    }
    return 0;
}//获取z*p的生成元
int main()
{
    vector<int> primes;
    getPrime(10000, primes);
    int p;
    cout << "请输入一个素数p:"<<endl;
    cin >> p;
    if (judge(p))
    {
        cout << "Z*" << p << "的最小生成元是：" << getMingener(p);
    }
    int a = 0,b=0;
    int temp[1500];
    for (vector<int>::iterator it = primes.begin(); it != primes.end(); it++) {
        
        temp[b]=*it;//将最小生成元存储起来
        b++;
    }
    int max = 0;
    for (int i=0; i<b; i++) {

        if (max < temp[i])
        {
            max = temp[i];

        }
    }
    for (int i = 0; i < b; i++) {
        if (max = temp[i])
        {
            break;
        }
        a++;
    }
    cout << "1~10000内使得最小生成元最大的素数是" << primes[a];
    return 0;
}

第八章
3.如果$\mathbb{G}$是群，$\mathbb{H}$是群$\mathbb{G}$的子群，且$[\mathbb{G}:\mathbb{H}]=2$，请证明对任意的$g\in \mathbb{G}$，$g\mathbb{H}=\mathbb{H}g$。
证明：
∵$[\mathbb{G}:\mathbb{H}]=2$
∴$\mathbb{G}$被$\mathbb{H}$划分成了两个部分，其中一个为$\mathbb{H}$，设另一个为$\mathbb{K}$
若g∈$\mathbb{H}$,则g^-1∈$\mathbb{G}$，对于g$\mathbb{H}$g^-1=$\mathbb{H}$
∴g$\mathbb{H}$g^-1g=$g\mathbb{H}$=$\mathbb{H}g$
当g∉$\mathbb{H}$时，由陪集的属性，$g\mathbb{H}$≠$\mathbb{H}$，$\mathbb{H}g$≠$\mathbb{H}$
则$g\mathbb{H}$和$\mathbb{H}g$都属于$\mathbb{K}$
∴$g\mathbb{H}=\mathbb{H}g$
4.设$\mathbb{G}$是阶为$pq$的群，其中$p$和$q$是素数。请证明$\mathbb{G}$的任意真子群是循环群。
证明：
因为p、q均是素数，能整除pq的只有1、p、q和pq，由拉格朗日定理，其真子群的阶有1、p、q，根据拉格朗日定理的推论，素数阶数的有限群一定是循环群
5.如果群$\mathbb{H}$是有限群$\mathbb{G}$的真子群，即存在$g\in \mathbb{G}$但是$g\notin \mathbb{H}$。请证明$|\mathbb{H}|\le |\mathbb{G}|/2$。
证明：
∵$g\in \mathbb{G}$但是$g\notin \mathbb{H}$，即$\mathbb{H}$在$\mathbb{G}$上的左陪集个数大于等于两个
∴由拉格朗日定理∣$\mathbb{G}$∣/∣$\mathbb{H}$∣=[$\mathbb{G}$:$\mathbb{H}$]≥2。
∴$|\mathbb{H}|\le |\mathbb{G}|/2$