百科问答小站 logo
百科问答小站 font logo



请问这个完全剩余系的性质如何证明? 第1页

  

user avatar   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就变多了。




  

相关话题

  什么是半微分(semi-differential)?有什么几何意义吗? 
  哥德巴赫的猜想如果被证实,对数学和全人类有什么意义? 
  有哪些数学问题有经典的物理学证明或解释? 
  各位大牛能否解释一下无限不循环小数究竟是什么样的? 
  统计学里有哪些振聋发聩颠覆三观的证明和定理? 
  卓里奇的《数学分析》怎么样? 
  怎么积∫[0, 1] ln(1+x²)/(1+x) dx? 
  如何证明方程 x³+y³=2020 没有整数解? 
  概率论和实变函数(测度论)有什么联系? 
  所有质数的倒数的平方和的精确值是多少? 

前一个讨论
如何评价原神安如磐石?
下一个讨论
小孩现在有没有必要拿香港身份?





© 2024-11-08 - tinynew.org. All Rights Reserved.
© 2024-11-08 - tinynew.org. 保留所有权利