请问这个完全剩余系的性质如何证明？ 第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
相关话题
给定一个圆如何确定圆心?数学工作者如何看待中医？
科学为何有那么多近似计算？这样是不是和科学的严谨性相违背？
Diffie-Hellman密码交换是如何运作的？
如何从初一开始努力考上合肥168中学（省内知名高中）？
高中数学的符号怎么在电脑上打出来，比如说数列的an，函数e的x次方等等？
为什么埃式筛法的时间复杂度是O(nloglogn)？
黎曼函数的积分是零，但是就其大致图像看来并不等于零，这是为什么？
有人认为，数学的本质是计算，另外一个人认为，数学的本质是免于计算，请问相比之下，谁更有道理？
有没有可以判断 “B是否属于A的子序列” 的单向加密算法？
前一个讨论
如何评价原神安如磐石？
下一个讨论
小孩现在有没有必要拿香港身份？
相关的话题
如何证明不定方程是否有解?狄利克雷函数（Dirichlet Function）有什么用处？
什么是泊松过程？
如何评价 2021 年 1 月 23 日八省联考数学试卷？
大学想学数学，没有竞赛基础，有哪些推荐的入门书籍？
二重积分中值定理怎么证明？
过反比例函数上任意三点连成的三条线段的中点的圆过定点吗？为什么？
如何理解有限单群分类定理？
可微函数在几何上有何特征？
有哪些数学系鄙视物理系的经典桥段？
最大似然估计和最小二乘法怎么理解？
你觉得文科和理科的本质区别是什么？
数学证明题可以这样做吗？
能够在几分钟的时间内向普通本科生解释清楚最前沿的理科科研工作（偏理论）吗？
如何证明 e^π＞23？
如何证明悬链线图像是双曲余弦？
除了 3，4，5 以外是否还有别的三角形，它的三条边是连续自然数，它的面积也是自然数？
日本麻将中的复合役是否可以认为是独立事件？
国内大学数学系都上什么课程？
为什么我国现在在数学IMO取得第一的成绩，但杰出数学家却几乎没有？
为什么不少数学和理论物理的专栏文章喜欢配萌妹子的图？
在一个现实中的数轴上可以找出无理数吗？
(xⁿ - 1)/(x - 1) = y² 这个不定方程蕴含了哪些知识？
英国人真的连乘法口诀都不熟悉么？
在数学中良序，偏序，全序三者之间的联系和区别是什么？
椭圆的周长如何计算？
大家知道的最长（复杂）的公式是什么？
勾股数有有限多组还是无限多组？
有类似二十面骰子这种可以随时拿在手里玩的精致小玩意儿吗？
请问 e^π 和 π^e 哪个大？