近世代数——Part1 课后题目

前言

大部分答案是我自己写的，仅供参考，不保证严谨性和正确性。

1. 求互质的数

Question：求小于5，8，12，20，25并与这些数互质的数
Answer：以25为例，互质的数为：2，3，4，6，7，8，9，11，12，13，14，16，17，18，19，21，22，23，24

2. 计算

a. $\gcd (2,10)=2\mathrm{l}\mathrm{c}\mathrm{m}(2,10)=10$
b. $\gcd (20,8)=4\mathrm{l}\mathrm{c}\mathrm{m}(20,8)=40$
c. $\gcd (12,40)=4\mathrm{l}\mathrm{c}\mathrm{m}(12,40)=120$
d. $\gcd (21,50)=1\mathrm{l}\mathrm{c}\mathrm{m}(21,50)=1050$
e. $\gcd (p^2{q}^2,p{q}^3)=p{q}^2\mathrm{l}\mathrm{c}\mathrm{m}(p^2{q}^2,p{q}^3)=p^2{q}^3$，$p,q$是不同的质数

3. 计算

$51\mathrm{m}\mathrm{o}\mathrm{d}13=12$
$342\mathrm{m}\mathrm{o}\mathrm{d}85=2$
$62\mathrm{m}\mathrm{o}\mathrm{d}15=2$
$10\mathrm{m}\mathrm{o}\mathrm{d}15=10$
$(82\cdot 73)\mathrm{m}\mathrm{o}\mathrm{d}7=(5\cdot 3)\mathrm{m}\mathrm{o}\mathrm{d}7=8$
$(51+68)\mathrm{m}\mathrm{o}\mathrm{d}7=(2+5)\mathrm{m}\mathrm{o}\mathrm{d}7=0$
$(35\cdot 24)\mathrm{m}\mathrm{o}\mathrm{d}11=(2\cdot 2)\mathrm{m}\mathrm{o}\mathrm{d}11=4$
$(47+68)\mathrm{m}\mathrm{o}\mathrm{d}11=(3+2)\mathrm{m}\mathrm{o}\mathrm{d}11=5$

4. 互质

Question: 找到$s,t$满足$1=7s+11t$，证明$s,t$并非独一无二的。
Answer：$s=-3,t=2$，还可以找到另一组$s=-14,t=9$

5. 证明

Question: $a,b\in Z\mathrm{s}.\mathrm{t}.a>0,b>0\to ab=\mathrm{l}\mathrm{c}\mathrm{m}(a,b)\cdot \gcd (a,b)$
Answer: 根据算术基本定理，$a=p_1^{m_1}{p}_2^{m_2}\cdots p_n^{m_n}$, $b=k_1^{q_1}{k}_2^{q_2}\cdots k_u^{q_u}$。$a$和$b$的公因子设为$P$，$a=AP,b=BP$，那么$ab=A{P}^{2}B,\mathrm{l}\mathrm{c}\mathrm{m}(a,b)=ABP,\gcd (a,b)=P$

6. 证明（整除与互质）

Question：如果$a,b$是整数，且有$(a\mid c)\wedge (b\mid c)$。如果$a,b$互质，证明$ab\mid c$；举例说明如果$a,b$不互质，则$ab$不需要整除$c$.
Answer: 由题目知，显然$c$是$a,b$的公倍数，$ab=\mathrm{l}\mathrm{c}\mathrm{m}(a,b)$，只需要证明公倍数必然是最小公倍数的倍数即可。
假定公倍数并非最小公倍数的倍数，则有$c=q(ab)+r,0<r<q$，由于$c$和$ab$都是$a$的倍数，$r$必然也是$a$的倍数，同理可得$r$也是$b$的倍数，故$r$也是公倍数，因此大于$ab$，与设想矛盾，故$r=0$，故$ab\mid c$
非互质情况反例a=4,b=6,c=12

7. 模运算相关证明

Question：如果$a,b$是整数，$n$是正整数，证明:$a\mathrm{m}\mathrm{o}\mathrm{d}n=b\mathrm{m}\mathrm{o}\mathrm{d}n\mathrm{i}\mathrm{i}\mathrm{f}.n\mid (a-b)$
Answer:

1. $n\mid (a-b)\to a\mathrm{m}\mathrm{o}\mathrm{d}n=b\mathrm{m}\mathrm{o}\mathrm{d}n$
   设$a=q_{1}n+r_1，b=q_{2}n+r_2$，显然$n\mid (a-b)=n\mid (r_1-r_2)$
   那么$r_1-r_2=0$
2. $a\mathrm{m}\mathrm{o}\mathrm{d}n=b\mathrm{m}\mathrm{o}\mathrm{d}n\to n\mid (a-b)$
   显然，由条件可设$a=q_{1}n+r,b=q_{2}n+r$, $a-b=(q_1-q_2)n$是$n$的倍数

8. 公约数相关证明

Question：$d=\gcd (a,b)$，如果$a=d{a}^{\prime },b=d{b}^{\prime }$，证明$\gcd (a^{\prime },b^{\prime })=1$
Answer：$d=as+bt=d{a}^{\prime }s+d{b}^{\prime }t\to a^{\prime }s+b^{\prime }t=1$
QED

9. 模运算相关证明

Question: $n$是大于1的一个数，如果$(a\mathrm{m}\mathrm{o}\mathrm{d}n=a^{\prime })\wedge (b\mathrm{m}\mathrm{o}\mathrm{d}n=b^{\prime })$，证明$(a+b)\mathrm{m}\mathrm{o}\mathrm{d}n=(a^{\prime }+b^{\prime })\mathrm{m}\mathrm{o}\mathrm{d}n$和$(ab)\mathrm{m}\mathrm{o}\mathrm{d}n=(a^{\prime }{b}^{\prime })\mathrm{m}\mathrm{o}\mathrm{d}n$
Answer: 题目实际上让证明上一节说的模运算优先与加法和乘法。这里可设$a=q_{1}n+a^{\prime },b=q_{2}n+b^{\prime }$，那么$(a+b)\mathrm{m}\mathrm{o}\mathrm{d}n=(q_{1}n+q_{2}n+a^{\prime }+b^{\prime })\mathrm{m}\mathrm{o}\mathrm{d}n=(a^{\prime }+b^{\prime })\mathrm{m}\mathrm{o}\mathrm{d}n$；对于乘法来说：$(ab)\mathrm{m}\mathrm{o}\mathrm{d}n=(q_1{q}_2{n}^2+q_{1}n{b}^{\prime }+a_{2}n{a}^{\prime }+a^{\prime }{b}^{\prime })\mathrm{m}\mathrm{o}\mathrm{d}n=(a^{\prime }{b}^{\prime })\mathrm{m}\mathrm{o}\mathrm{d}n$

10. 整除相关证明

Question: $a,b$是正整数，让$d=\gcd (a,b),m=\mathrm{l}\mathrm{c}\mathrm{m}(a,b)$。如果$(t\mid a)\wedge (t\mid b)$，证明$t\mid d$。如果$s$是$a,b$的倍数，证明$s$是$m$的倍数。
Answer: 通俗来说，这个题目让证明最大公约数是所有公约数的倍数，最小公倍数是所有倍数的约数。后者在题目6中已经证明过。
证明前者：设$a=mt，b=nt$，且有$as+bv=d\to mts+ntv=d$，故$t\mid d$

11. 模运算相关证明

Question: $a,n$是正整数，让$d=\gcd (a,n)$，证明：$ax\mathrm{m}\mathrm{o}\mathrm{d}n=1$有解 $\mathrm{i}\mathrm{i}\mathrm{f}.d=1$
Answer: 分两个方向证明

1. $d=1\to$方程有解
   显然$a,n$互质，有$as+nt=1$，此时$as=1-nt$，模$n$必为1，有解。
2. 方程有解$\to d=1$
   不妨设解为$x_0$（显然是整数），那么方程可写为$a{x}_0=qn+1$，显然说明互质。

12. 互质相关证明

Question: 证明$5n+3$和$7n+4$总是互质的。
Answer: 很明显可以构造出：$7\cdot (5n+3)-5\cdot (7n+4)=1$

13. 互质相关证明

Question: $m,n$是互质的，$r$是任意整数，证明: 存在整数$x,y$满足$mx+ny=r$
Answer: 必有$ms+nt=1$，两边乘$r$得：$msr+ntr=r$，故得证。

14. 整除相关证明

Question: $p,q,r$是大于$3$的质数，证明：$3\mid (p^2+q^2+r^2)$
Answer: 考虑讨论$(p^2+q^2+r^2)\mathrm{m}\mathrm{o}\mathrm{d}3$，任何一个质数模3的结果只能是$1，2$，其平方模3的结果将只可能是$1$，故$3$必然能整除三个平方和

15. 质数相关证明

Question: 证明任何大于$3$的质数，都能被写成$6n+1$或$6n+5$的形式。
Answer: 显然，这是将模$6$同余的两个等价类，只要分析6种情况即可。$6n,6n+2,6n+3,6n+4$都不是质数，故QED

16. 计算

Question: Determine $7^{1000}\mathrm{m}\mathrm{o}\mathrm{d}6$ and $6^{1001}\mathrm{m}\mathrm{o}\mathrm{d}7$
Answer: $7^{1000}\mathrm{m}\mathrm{o}\mathrm{d}6=1^{1000}\mathrm{m}\mathrm{o}\mathrm{d}6=1$
$6^{1001}\mathrm{m}\mathrm{o}\mathrm{d}7=-1\mathrm{m}\mathrm{o}\mathrm{d}7=6$

17. 模运算相关证明

Question: 如果$a,b,s,t$是整数，$a\mathrm{m}\mathrm{o}\mathrm{d}st=b\mathrm{m}\mathrm{o}\mathrm{d}st$，证明$a\mathrm{m}\mathrm{o}\mathrm{d}s=b\mathrm{m}\mathrm{o}\mathrm{d}s$ and $a\mathrm{m}\mathrm{o}\mathrm{d}t=b\mathrm{m}\mathrm{o}\mathrm{d}t$. $s,t$满足什么条件的情况下，反过来也是正确的？
Answer: 显然$a=q_{1}st+r,b=q_{2}st+r$，两者对$s,t$分别取模就能验证结论。

18. 计算

Question: $8^{402}\mathrm{m}\mathrm{o}\mathrm{d}5$
Answer: $8^{402}\mathrm{m}\mathrm{o}\mathrm{d}5=3^{402}\mathrm{m}\mathrm{o}\mathrm{d}5=9^{201}\mathrm{m}\mathrm{o}\mathrm{d}5=4^{201}\mathrm{m}\mathrm{o}\mathrm{d}5=(-1{)}^{201}\mathrm{m}\mathrm{o}\mathrm{d}5=4$

19. 最大公约数相关证明

Question: 证明：$\gcd (a,bc)=1\mathrm{i}\mathrm{i}\mathrm{f}.\gcd (a,b)=1\wedge \gcd (a,c)=1$
Answer: 分两个方向证明。

1. $\gcd (a,b)=1\wedge \gcd (a,c)=1\to \gcd (a,bc)=1$
   $a{s}_1+b{t}_1=1=a{s}_2+c{t}_2\to b{t}_1=1-a{s}_1,c{t}_2=1-a{s}_2\to bc{t}_1{t}_2=1-a{s}_1-a{s}_2+a^2{s}_1{s}_2\to a(s_1-s_2+a{s}_1{s}_2)+bc(t_1{t}_2)=1$
   QED
2. $\gcd (a,bc)=1\to \gcd (a,b)=1\wedge \gcd (a,c)=1$
   这是显而易见的，只要写出$as+bct=1$，注意到把$s$和$ct$看作$a,b$线性组合的系数就可得到$\gcd (a,b)=1$，同理也可得到后者。

20. 质数无限的相关证明

Question: 证明当$p_1,p_2,...,p_n$是质数时，$p_1{p}_2\cdots p_n+1$不能被这些质数整除。
Answer: 这题实际上是阿基米德证明质数无限的一个步骤。很显然$(p_1{p}_2\cdots p_n+1)\mathrm{m}\mathrm{o}\mathrm{d}{p}_i=1$，这意味着不能整除。

21. 质数无限相关证明

Question：证明存在无限个质数。
Answer: 采用阿基米德的方法证明，根据第20题，假定质数有限，为$p_1,p_2,\cdots ,p_n$，最大质数为$p_n$，那么总能构造出一个数$p=p_1{p}_2\cdots p_n+1$不能被这些质数整除，根据算术基本定理Theorem 0.3，大于1的整数要么是质数，要么是质数之积，$p$显然不是质数之积，因此是一个比$p_n$更大的质数。与假设矛盾。

22. 复数计算

$(-7-3i{)}^{-1}=\frac{-7+3i}{49+9}=-\frac{7}{58}+\frac{3}{58}i$

23. 复数计算

$\frac{-5+2i}{4-5i}=\frac{(-5+2i)(4+5i)}{16+25}=\frac{-20+8i-25i-10}{41}=\frac{-30}{41}+\frac{-17}{41}i$

24. 复数运算相关证明

Question: 证明复数满足$|z_1{z}_2|=|z_1||z_2|$
Answer: 直接暴力计算，设$z_1=a_1+b_{1}i,z_2=a_2+b_{2}i$，$|z_1{z}_2|=|a_1{a}_2-b_1{b}_2+(a_1{b}_2+a_2{b}_1)i|=(a_1{a}_2-b_1{b}_2{)}^2+(a_1{b}_2+a_2{b}_1{)}^2=a_1^2{a}_2^2-2a_1{a}_2{b}_1{b}_2+b_1^2{b}_2^2+a_1^2{b}_2^2+2a_1{a}_2{b}_1{b}_2+a_2^2{b}_1^2=a_1^2{a}_2^2+b_1^2{b}_2^2+a_1^2{b}_2^2+a_2^2{b}_1^2=(a_1^2+b_1^2)(a_2^2+b_2^2)=|z_1||z_2|$

25. 题目有点不懂，暂空

26. 模2运算

Question：在模2算术中描述$z+xy+xz$的可能结果
Answer: 如果$x=0$，输出$z$，如果$x=1$，输出$y$

27. 子集数量证明

Question: 证明对于任何包含$n(n>0)$个元素的集合，有$2^n$个子集。
Answer：包含$0$个元素的子集只有$1$个，空集。包含$1$个元素的集合则有$n$个，以个数分类，可以发现子集数目就是组合数相加：$C_n^0+C_n^1+\cdots +C_n^n=2^n$，因为它实际上也是$(1+1{)}^n$二项式展开。

28. 整除相关证明

Question: 证明 $17\mid (2^n{3}^{2n}-1)$
Answer: 很显然，取模进行计算即可：$(2^n{3}^{2n}-1)\mathrm{m}\mathrm{o}\mathrm{d}17=(2^n{9}^n-1)\mathrm{m}\mathrm{o}\mathrm{d}17=(18^n-1)\mathrm{m}\mathrm{o}\mathrm{d}17=(1-1)\mathrm{m}\mathrm{o}\mathrm{d}17=0$

29. 合数相关证明

Question: 证明：存在正整数$n$，使得$n,n+1,n+2,\cdots ,n+200$都是合数。
Answer：显然，只要$n$是$200!$即可

30. 欧几里得准则推广

Question: $p$是质数，$p\mid a_1{a}_2\cdots a_n$，证明对某些$i$，有$p\mid a_i$
Answer: 反证，假定$p$与所有的$a_i$都互质，根据第19题的结果使用第一数学归纳法，可推出$p$与$a_1{a}_2\cdots a_n$互质，与条件矛盾。

31. 算术基本定理相关证明

Question: 使用欧几里得准则的推广证明算数基本定理的分解唯一性。
Answer: 假定一个整数$a$有两种质因子分解方式，将不同部分记为$p_1,p_2$,将相同部分记为$p$，显然$p_2\mid p_1\wedge p_1\mid p_2$，显然两种分解相同。
（这里可能写的有点不严谨）

32. 数学归纳法相关

Question: 7美元和9美元的任意数量硬币，不可表达的最大面值是多少？使用数学归纳法证明。
Answer：列出可表达的数：$$\begin{gathered} 7,9,14,16,18,21,23,25,27,28,30,32,34,35,36,37,39,41,42,43,44,45, \\ 46,48,49,50,51,52,53,54\cdots \end{gathered}$$
可以看出，$47$应该是题目要求得数。

1. 第一数学归纳法
   显然，$48=3\cdot 7+3\cdot 9$，满足条件
   假定$n>48$满足$n=7s+9t$
   显然，$s\ge 5\vee t\ge 3$，因为它的相反情况下，$n$不会大于$48$
   对于$$\begin{gathered} n+1=7s+9t+(7\cdot 4-9\cdot 3)=7\cdot (s+4)+9\cdot (t-3) \\ =7s+9t+(-7\cdot 5+9\cdot 4)=7\cdot (s-5)+9\cdot (t+4) \end{gathered}$$
   显然，递推可以继续，QED
2. 第二数学归纳法
   显然，$48,49,50,51,52,53,54,55$满足条件
   那么对于$n>55$，假定从$55$到$n$都满足，那么$n=n-7+7=7s+9t+7=7(s+1)+9t$，QED

33. 使用良序性证明

Question：使用良序性证明第一数学归纳法
Answer：要求使用良序性，是为了让我们确定一个集合中最小的数。按这个思路考虑，采取反证法，假定数学归纳法的初始点满足性质$p$和递推过程，无法保证所有大于初始点的整数满足$p$，设集合 S = { k ｜ k 不 满 足 p } S=\{k｜k 不满足 p\} S={k｜k不满足p}，由良序性的性质可得，这个集合存在最小值，记为$k_0$，且我们可知$k_0-1$满足性质$p$，那么，这里与递推条件产生矛盾，故QED

34. 斐波那契数列相关证明

Question: 斐波那契数列：$f_1=1,f_2=1,f_n=f_{n-1}+f_{n-2}$当$n\ge 3$，证明: $f_n<2^n$
Answer: 显然，$n=3,4,5$时满足条件
假定对于$n>5$，从$5$到$n-1$的所有自然数都满足条件
那么对于$f_n=f_{n-1}+f_{n-2}<2^{n-1}+2^{n-2}<2^n$
故所证成立

35. 倍数相关证明

Question: 使用归纳法证明，对所有正整数$n$，$n^3+(n+1{)}^3+(n+2{)}^3$总是$9$的倍数。
Answer：显然，$n=1$时，得$36$是$9$的倍数。假定$n>1$也满足，即$n^3+(n+1{)}^3+(n+2{)}^3$是$9$的倍数；那么对于$n+1$有：$(n+1{)}^3+(n+2{)}^3+(n+3{)}^3=(n+1{)}^3+(n+2{)}^3+n^3+9n^2+27n+27$，显然是$9$的倍数。

36. 题目有点看不明白，暂空

37. 模运算相关

Question： 找到所有的$n$，使得$8\times 8\times 8$与$4$模$n$同余。
Answer：显然有$1，2，4$，更大的数后者一定余$4$
$512$模$508,254,127$为$4$

38. 模运算相关

Question：证明所有整数$n$满足$n^3\mathrm{m}\mathrm{o}\mathrm{d}6=n\mathrm{m}\mathrm{o}\mathrm{d}6$
Answer: 模$6$共有$0，1，2，3，4，5$这六种可能。
余数为$0，1$时，显然满足条件
余数为$2$时，$2^3\mathrm{m}\mathrm{o}\mathrm{d}6=2\mathrm{m}\mathrm{o}\mathrm{d}6$
余数为$3$，$3^3\mathrm{m}\mathrm{o}\mathrm{d}6=27\mathrm{m}\mathrm{o}\mathrm{d}6=3\mathrm{m}\mathrm{o}\mathrm{d}6$
余数为$4$，$4^3\mathrm{m}\mathrm{o}\mathrm{d}6=16\times 4\mathrm{m}\mathrm{o}\mathrm{d}6=16\mathrm{m}\mathrm{o}\mathrm{d}6=4\mathrm{m}\mathrm{o}\mathrm{d}6$
余数为$5$，$5^3\mathrm{m}\mathrm{o}\mathrm{d}6=25\times 5\mathrm{m}\mathrm{o}\mathrm{d}6=5\mathrm{m}\mathrm{o}\mathrm{d}6$

39. 模运算相关

Question：上午2点，再过3736个小时后是几点。
Answer：$3736\mathrm{m}\mathrm{o}\mathrm{d}24=16$，那即是6 P.M.

40-56. 都与之前例子Check digit有关，没看那个例子，跳过

57. 证明函数特性

Question: 证明Theorem 0.8，函数的复合会传递一一，到上这些特性，和一一到上函数里逆的存在。
Answer：首先证明一一的传递

1. $\alpha ,\beta$ are one-to-one, then $\beta \alpha$ is one-to-one.
   $\forall a_i,a_j\in A$, 假设$\alpha (a_i)=b_i,\alpha (a_j)=b_j,\beta (b_i)=c_i,\beta (b_j)=c_j$，显然，$c_i\ne c_j\to b_i\ne b_j\to a_i\ne a_j$
2. $\alpha ,\beta$ are onto, then $\beta \alpha$ is onto.
   $\forall c_i\in C,\exists b_i\in B,\exists a_i\in A$
3. 对于函数$\alpha :a\to b$，逆: ${\alpha }^{-1}:b\to a$，onto保证了逆的定义域$B$都有对应，one-to-one保证了逆中有唯一的元素和$b$对应。

58. 等价关系和等价类相关证明

Question: 假定$S$是实数集，如果$a,b\in S$，定义$a\sim b\mathrm{i}\mathrm{f}a-b$ 是整数。证明$\sim$是一个$S$上的等价关系，描述$S$的等价类。
Answer: 两个问题，分别写。

1. 显然$a\sim a$，因为$a-a=0$; $a\sim b\to b\sim a$, 差只是符号变了; $a\sim b\wedge b\sim c\to a\sim c$, 实际上等价于两个整数相加仍是整数这个结论。
2. $[a]$，$a$是$0$到$1$的所有实数即可。

59. 等价关系

Question: 假定$S$是整数集，如果$a,b\in S$，定义$a\sim b\mathrm{i}\mathrm{f}ab\ge 0$，$\sim$是等价关系吗？
Answer：首先满足反身性，然后满足对称性，也满足传递性，所以是。实际上这个定义等价于两个整数是否同号。

60. 等价关系相关证明

Question：假定$S$是整数集，如果$a,b\in S$，定义$aRb\mathrm{i}\mathrm{f}a+b$ is even. 证明: $R$是等价关系，并描述等价类。
Answer：实际上这个等价关系等价于奇偶性相同，反身性满足，两奇数/偶数之和必定是偶数；对称性满足，加法是对称的；传递性满足，因为同奇数同偶数这个特性肯定是可以传递的。等价类即$[1],[2]$

61. 等价关系相关证明

Question: 完成Theorem 0.7的证明，即两个元素属于同一无交子集$S$，为一个等价关系。
Answer: 显然满足反身性，对称性。现在说明传递性：$a,b\in S,b,c\in S_1$，如果$S\ne S_1$，那么$S\cap S_1=\varnothing$，与条件$S,S_1$有公共元素$b$矛盾，所以$S=S_1$。

62. 质数相关证明

Question: 证明，$3,5,7$是仅有的$3$个连续的奇数，且是素数。
Answer: 对于任何大于3的连续三个奇数$n,n+2,n+4$，考虑$n\mathrm{m}\mathrm{o}\mathrm{d}3$的结果只能是$0,1,2$，那么$(n+2)\mathrm{m}\mathrm{o}\mathrm{d}3$的结果则只能$2,0,1$,$(n+4)\mathrm{m}\mathrm{o}\mathrm{d}3$的结果则是$1,2,0$，可以注意到，必有一个能整除$3$

63. 模相关运算

Question: 计算$3^{100}$和$2^{100}$的最后一个数字分别是。
Answer: 实际上就是模$10$的结果。
$3^{100}\mathrm{m}\mathrm{o}\mathrm{d}10=81^{25}\mathrm{m}\mathrm{o}\mathrm{d}10=1$
$2^{100}\mathrm{m}\mathrm{o}\mathrm{d}10=16^{25}\mathrm{m}\mathrm{o}\mathrm{d}10=(6\cdot 36^{12})\mathrm{m}\mathrm{o}\mathrm{d}10=(6\cdot 6^3)\mathrm{m}\mathrm{o}\mathrm{d}10=6$

64. 模运算相关证明

Question: 证明$x^2-y^2=1002$没有有理数解。
Answer: 这个命题应该是错的，存在解$x=\frac{503}{2},y=\frac{499}{2}$

65. 函数消去

Question: 假定$\gamma$是一一到上的，证明：如果$\alpha \gamma =\beta \gamma$，那么$\alpha =\beta$
Answer: 直接右乘${\gamma }^{-1}$即可