请问这个完全剩余系的性质如何证明？ 第1页
1
timosky 网友的相关建议:
首先你这完全剩余系定义跟我见过的不一样……应该把余0也加上吧。不过这个不影响结论，毕竟你可以把两个0放在一起凑成0×0=0。
现在考虑1到n-1，将其以某种方式排列，形成完全剩余系a₁到aₙ₋₁，再排列，形成完全剩余系b₁到bₙ₋₁，对应相乘并模m，得c₁到cₙ₋₁。最后要证这些c不是完全剩余系。
首先是m=p（p为素数）的情况，这个比较简单，注意到(p-1)!≡-1(mod p)即可：所有a与b乘到一起，模p余(-1)²=1，而所有c乘到一起，模p余-1，矛盾。
对于m=dp，p为质数，d≥2的情况，我们先假设可以形成完全剩余系。这里有个有趣的地方（下一段给出证明）：当c为d的倍数时，对应的a与b也应为d的倍数。于是我们可以找出(p-1)组均为d的倍数的(a,b,c)。取出，除以d，即得“p的完全剩余系乘以p的完全剩余系得p的完全剩余系”，与上一段结论矛盾。
下面证明这个“有趣的地方”：注意到，只要a和b其中一个是d的倍数，对应的c中就含因数d。故而为d倍数的a仅能与为d倍数的b配对，否则产生的为d倍数的c就变多了。
1
相关话题
在你看来，数学中有哪些大学课程会被下放给非数学系学生？为什么？n整除Phi(p^n-1)，怎么证明？
做科研时，都遇到过哪些灵光乍现（Eureka Moment）？
所有tanx的所有非零不动点的倒数平方和等于1/5这个怎么证明？
请问a^2+2*b^2+3*c^2=20*d^2的所有整数解是什么？
六度分隔理论可以用什么数学模型证明？
如何看待某人口专家言论「中国人口根本不可能塌陷式下滑，甚至雪崩」？
设σ(n)是n的所有正因数之和，如何证明存在无数个正整数n使得σ(n)是完全平方数?
为什么时间序列分析在ar(p)模型之外，还需要ma(q)模型和arma模型？
如何看待清华大学丘成桐数学科学领军人才培养计划？
前一个讨论
如何评价原神安如磐石？
下一个讨论
小孩现在有没有必要拿香港身份？
相关的话题
X²+Y²+Z²=114514存在多少组整数解？如何理解出租车几何学？
有哪些自己发现并证明的并自以为得意的初等数学定理？
二次型的意义是什么？有什么应用？
李煌的阶乘计算小技巧，与斯特林公式有什么区别？
弧的长度与弦的长度之比的极限为1，能严格证明吗？
两个星期自学完高中数学实际吗？
数学2分，如何自救？
为什么需要证明「1+1=2」？
麦克斯韦方程组在数学和物理上揭示了什么联系？为什么它也不是完全对称的？
你都见过什么样的理科盲？
数学界有哪些通俗易懂的 open problem？
请问这个积分不等式怎么做呢，用递推试了下没做出来?
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
中国有哪些描写随机过程的古诗词？
有哪些数学竞赛生才听得懂的笑话?
这道题能用极坐标方程做吗？
四边不等的一般四边形如何求面积？
数学系哪门课最难学？
有哪些学科交叉的知识，却在两个学科中有不同的解释或相关问题有不同的答案？你又是怎么处理的？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
请问这个完全剩余系的性质如何证明？
如何这道计算绝对值不等式的题目？
管清友称「本科阶段没必要学金融」，网友接话「应该学数学或物理」，你怎么看？
高考是否应该降低数学分数比重，降低数学分值?
为什么教科书要写的这么复杂？
四边不等的一般四边形如何求面积？
10000⁴ 和 4¹⁰⁰⁰⁰，怎样比较大小？
现在希尔伯特的23个问题都研究得怎么样了？
如何在田字格中作出一个正三角形？