CINTA作业4

CINTA作业4

第六章

7.设$\mathbb{G}$是群，对任意$n\in 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}$。
证明：
$\because g_n^{-1}{g}_n=e(g_0...g_1{g}_n{)}^{-1}=(g_n^{-1}...g_1^{-1}{g}_0^{-1})$
$(g_n^{-1}...g_1^{-1}{g}_0^{-1})(g_0...g_1{g}_n)=(g_n^{-1}...g_1^{-1}(g_0^{-1}{g}_0)...g_1{g}_n)=e$
$\therefore g_n^{-1}...g_1^{-1}{g}_0^{-1}$

8.证明：任意群$\mathbb{G}$的两个子群的交集也是群$\mathbb{G}$的子群。
证明：构造$s_1{s}_2$为$\mathbb{G}$的子群，他们的交集$s_3=s_1\cap s_2$
由题意得：$s_3$满足结合律
$\forall a,b\in s_3$
$a\in s_1,s_2,b\in s_1,s_2$
$ab\in s_1,s_2,则ab\in s_3$
$e\in s_1,s_2,则e\in s_3$
$a^{-1}\in s_1,s_2,则a^{-1}\in s_3$
综上所述，$s_3$是$\mathbb{G}$的子群

10.设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}$不是阿贝尔群，结论是否依然成立？
证明：
$\forall h_1{k}_1\in \mathbb{Hk},h_2{k}_2\in \mathbb{Hk}$
由题意得：$h_1,h_2\in \mathbb{H},k_1,k_2\in \mathbb{k}$
$h_1{k}_1{h}_2{k}_2=h_1{h}_2{k}_1{k}_2$
$h_1{h}_2\in \mathbb{H},k_1{k}_2\in \mathbb{K},则h_1{k}_1{h}_2{k}_2\in \mathbb{HK}$
$(h_1{k}_1{)}^{-1}=k_1^{-1}{h}_1^{-1}=h_1^{-1}{k}_1^{-1}$
$h_1^{-1}\in \mathbb{H},k_1^{-1}\in \mathbb{K},则h_1^{-1}{k}_1^{-1}\in \mathbb{HK}$
综上所述，$\mathbb{HK}$是$\mathbb{G}$的子群
若$\mathbb{G}不是阿贝尔群$，结论不成立，因为此时群$\mathbb{G}$不满足交换律，$k_1^{-1}{h}_1^{-1}\ne h_1^{-1}{k}_1^{-1}$

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}$的一个子群。
证明：
$\forall g_1,g_2\in \mathbb{G}\forall g_1^m,g_2^m\in {\mathbb{G}}_m$
$g_1^m{g}_2^m=(g_1{g}_2{)}^m,其中g_1{g}_2\in \mathbb{G}$
$g\in \mathbb{G}{g}^m\in {\mathbb{G}}_m,(g^m{)}^{-1}=(g_1^{-1}{)}^m$
综上所述，${\mathbb{G}}^m$是$\mathbb{G}$的一个子群

第7章

6.证明：如果群$\mathbb{G}$没有非平凡子群，则群$\mathbb{G}$是循环群。
证明：
由题意得：
群 G 没有平凡子群，则它的子群为 { e } 和它自己本身 \mathbb{G}没有平凡子群，则它的子群为\{e\}和它自己本身 G没有平凡子群，则它的子群为{e}和它自己本身
{ e } 为循环群 \{e\}为循环群 {e}为循环群
$\forall g\in \mathbb{G}且g\ne e$
$<g>=\mathbb{H}$，由于$\mathbb{G}$没有平凡子群且$g\ne e$,则$<g>=\mathbb{G}$,$\mathbb{G}$是循环群

7.证明推论7.3，即循环群$\mathbb{G}$中任意元素的阶都整除群$\mathbb{G}$的阶。
证明：
由命题7.5可得：
群$\mathbb{G}=<g>是阶为n的循环群$，若$h=g^k,h的阶为n/d,d=gcd(k,n)$
$n/d\times d=n,d为整数，所以n/d\mid n$

8.编程完成以下工作：给定一个素数$p$，找出$Z_p^{\ast }$的最小生成元。对于素数$1<p<10000$，哪一个素数$p$使得$Z_p^{\ast }$的最小生成元最大？

#include <iostream>
#include <cmath>
#include<algorithm>
#include <vector>
using namespace std;
bool prime(int x)//判断素数
{
	for (int i = 2; i <= sqrt(x); i++)
	{
		if (x % i == 0)
		{
			return false; break;
		}
		else 
			continue;
	}
	return true;
}
void primeList(int max,vector<int>& primelist )//找到范围内的素数
{
	if (max < 2)
		exit(1);
	else 
	{
		for (int i = 2; i < max; i++)
		{
			if (prime(i) == 1)
				primelist.push_back(i);
		}
	}
}
int getmin_generator(int p)
{
	int j = 0;
	if (p ==2)return 1;
	for (int i = 2; i <= p - 1; i++)//寻找生成元
	{
		for (j = 1; j < p - 1; j++)
		{
			if ((int)pow(i, j) % p == 1)break;
		}
		if (j == p - 1)return i;
	}
}
int main()
{
	int max=0,min=0;
	cin >> max;
	vector<int> primelist;
	vector<int> maxgenerator;
	primeList(max, primelist);
	vector<int>::iterator i;
	for (i = primelist.begin(); i != primelist.end(); i++)
	{
		min = getmin_generator(*i);
		cout << *i << " " << min;
		cout << endl;
		maxgenerator.push_back(min);
	}
	int maxgener = *max_element(maxgenerator.begin(), maxgenerator.end());
	int maxPosition = max_element(maxgenerator.begin(), maxgenerator.end()) - maxgenerator.begin();
	cout << maxgener<<endl;
	cout << maxPosition;
	

}

最大的最小生成元为5，对应的素数为：23，41，73

第8章

3.如果$\mathbb{G}$是群，$\mathbb{H}$是群$\mathbb{G}$的子群，且$[\mathbb{G}:\mathbb{H}]=2$，请证明对任意的$g\in \mathbb{G}$，$g\mathbb{H}=\mathbb{H}g$。
证明：
由题意得：
$\mathbb{H}$在$\mathbb{G}$上不相同的左陪集的个数为2，其中一个为$\mathbb{H}$本身，另一个设为${\mathbb{H}}_1$
$\forall g\in \mathbb{G}且g\in \mathbb{H}$
$g\mathbb{H}=\mathbb{H}g=\mathbb{H}$
若$g\notin \mathbb{H}$,因为$[\mathbb{G}:\mathbb{H}]=2$,所以$g\in {\mathbb{H}}_1$
$g{\mathbb{H}}_1={\mathbb{H}}_{1}g={\mathbb{H}}_1$
综上所述，任意的$g\in \mathbb{G}$，$g\mathbb{H}=\mathbb{H}g$

4.设$\mathbb{G}$是阶为$pq$的群，其中$p$和$q$是素数。请证明$\mathbb{G}$的任意真子群是循环群。
证明：
由题意得：
当任取的真子群为 { e } \{e\} {e}时， { e } \{e\} {e}为循环群
当真子群不为 { e } \{e\} {e}时，任取一真子群$\mathbb{H}$,由推论8.1得
$|\mathbb{H}|\mid |\mathbb{G}|$, $|\mathbb{G}|=pq$,则$|\mathbb{H}|=p或q$，p和q为素数，由推论8.2得：$|\mathbb{H}|$为循环群
综上所述，$\mathbb{G}$的任意真子群是循环群

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}$上的左陪集数至少为2
$[\mathbb{G}:\mathbb{H}]\ge 2$
$|\mathbb{G}|/|\mathbb{H}|\ge 2,|\mathbb{H}|\le |\mathbb{G}|/2$