请问这个完全剩余系的性质如何证明？ 第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
相关话题
轮子为什么不设计成莱洛三角形?闰月可能出现闰正月和闰腊月吗？
如何用数学证明中医理论的合理性？
如何看待 9 月 24 日 Michael Atiyah 在海德堡获奖者论坛上对黎曼猜想的现场宣讲？
为什么九宫格外面一圈数字顺时针或逆时针排列组成的八位数都能被 11 整除？
请问这个不等式该如何证明？
一道初三数学几何题。目前用arctan和tan的无脑计算可以求出来，请问还有其他方法吗？向量？或其它？
自然数和非负整数有什么区别？
二重积分中值定理怎么证明？
既然微分和积分互为逆运算，为什么积分比微分更难求解？
前一个讨论
如何评价原神安如磐石？
下一个讨论
小孩现在有没有必要拿香港身份？
相关的话题
拉马努金的那些壮观的公式，都是怎么发现的？圆周率 π 为什么最初没定义成「周长与半径的比值」？直径和半径，哪个是构成圆最基本的单元？
你最喜欢的数学定理是什么？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
第十题证明题不会写，哪个大佬帮我看一下?
数学中有哪些明明是暴力破解还给人美感的证明？
为什么数学期刊的 IF 普遍不高?
可以留下一个优美的恒等式吗？
如何证明Metropolis Hastings algorithms)能够达到马尔科夫稳态？
有什么数学定理一般人都觉得是常识，但严谨证明起来却挺费力的？
如何判断一个超级大的数是不是素数？
数学中，你最服的技巧是哪个？
数学论文的作者会意识到自己发表的结果实际上已经有人做出来过吗？
如何计算 √5 的近似值？
有哪些有趣而著名的悖论？
自然常数 e 从小数点后第二位开始的两个 1828 是巧合吗？
有理数旁边是无理数还是有理数，无理数旁边是有理数还是无理数？
e^2乘上ln2与4哪个大？如何比较？
有哪些没有（或无法）证明却经常被我们使用的结论或定理？
高考刚结束，有志于学习基础数学，假期想要自学一些大学数学内容，可以使用哪些书籍和习题？
我们数学老师发现了一个数学公式，帮忙验证一下看对不对，有哪些验证思路？
成都58岁数学老师获首届「怀新奖」，异乡教书25年培养千余名学子，优秀的数学老师会给孩子带来哪些改变？
社会科学可以被形式化公理化吗？
第6题第(2)问怎么证明？
没有高等数学基础，怎样才能理解研究哥德巴赫猜想?
怎么理解 Yang-Baxter 方程？
如何看待奥运冠军学霸谷爱凌每年暑假回海淀黄庄补奥数，谷妈妈说「来中国上十天课，能在美国顶一年」？
如何看待京都大学的望月新一教授证明「ABC 猜想」，发表在其主编的期刊上？
数学/算法：正方形内有5个点，为什么最近点对的距离小于边长？
证明了黎曼猜想就能马上得到素数公式吗？