请问这个完全剩余系的性质如何证明？ 第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
相关话题
俄罗斯数学近况如何？如何看待清华大学丘成桐数学科学领军人才培养计划？
费马大定理有初等证明吗？百度文库上有的是4页有的是2页，但看着不靠铺。
定义欧拉常数到底意义何在？
为什么数学专业书籍经常为黄色封面？
小学一年级数学，孩子这样列算式为什么就错了呢？
n 座桥，连通 n+1 个岛，有多少种连法？
有哪些只有数学专业领域的人才懂的笑话？
有哪些数学上的事实，没有一定数学知识的人不会相信？
质数集P与自然数集N等势吗?
前一个讨论
如何评价原神安如磐石？
下一个讨论
小孩现在有没有必要拿香港身份？
相关的话题
如何证明有理数加法群不是有限生成群？勒让德猜想被证明了吗？
「贝塞尔曲线」有哪些作用和特点，该如何正确使用？
「罗素悖论」的提出给数学界带来何种影响，如何通俗地理解这一悖论？
本科生想要了解射影几何有什么书或者资料推荐吗？
如何评价 Michael Francis Atiyah？
在哪里排队最有可能中奖？
正项级数∑xn收敛，数列xn单调减少，如何证明limnXn＝0？
1³+2³+3³+......+n³=多少？
Shamir秘密共享门限方案当模数为多项式大时，为什么不安全？
金融的核心是数学吗？
你见过哪些堪称绝妙的数学证明？
零测集的子集是否可测？
高维情况有没有叉乘运算？怎么计算？
本科数学系，未来只在业余时间做数学研究有可能吗？
一个长宽高之和为固定数值的长方体，其体积范围怎么变化?
奥斯曼帝国的数学和自然科学成就如何？
这个数学分析的问题该如何求解？
请问这道数竞题怎么做？请大神不吝赐教？
全体自然数的发散级数和等于负十二分之一代表了什么？隐藏了一个天大的秘密吗？
对于任意既约分数，都可以分解成有限个不同奇数的倒数和吗？
搞基础数学的人是不是都穷？
柯洁与 AlphaGo 三场皆负，对围棋今后的发展会有哪些影响？
为什么数学概念中，将凸起的函数称为凹函数？
数学中，存在性命题的证明有哪些重要意义？
复数范围内，一个数的整数次方是不是永远只有一个值？以及如何证明一个数的无理数次方对应无穷个值？
如何能更好地理解（ε-δ）语言极限的定义？
如何优雅地测量一只猫的体积，而不使其感到惊恐或受到伤害？
证明费马大定理这样的纯粹数学问题对人类发展意义何在?
如何证明Metropolis Hastings algorithms)能够达到马尔科夫稳态？