打开主菜单

数论中,高斯引理给出了一个整数另一个整数的二次剩余的条件。尽管高斯引理没有实际计算上的意义,但作为二次互反律的证明中的一环,高斯引理有着理论上的重要性。

高斯引理最早出现在高斯1808年发表的二次互反律的第三个证明[1],并在第五个证明中再次用到[2]

叙述编辑

p为奇质数a是一个与p互质的整数。考虑以下数组: 以及它们对p最小非负剩余。这些剩余两两不等,因此我们共有 个两两不等的介于1和p之间的整数: 。设其中有n个数比p/2大,那么高斯引理声称:

 

上式左边是勒让德符号,当其值为+1时,表示a是模p的二次剩余;其值为-1时,表示a是模p的二次非剩余。

用通俗的语言来说,就是:如果 里面比p/2大的有偶数个,那么a是模p的二次剩余,如果有奇数个,那么a是模p的二次非剩余。

例子编辑

p = 11,a = 7,则我们考虑的数组是 。模11之后,就得到 。其中比 大的有三个: 。3是奇数,因此由高斯引理得到结论:7是模11的二次非剩余。

这个结论是正确的,因为模11的全部二次剩余是 ,不包括7在内。

证明编辑

一个常见的简单证明[3]用的是一个令人联想到费马小定理之最简单证明的方法:考虑乘积

 

用两种方式模p之后,一方面可以得到:

 

另一方面,我们将 中每一个比 大的数都减去p,这样我们得到一个新数组 ,其中每个数都介于  之间。取绝对值后,我们便得到 个介于1和 之间(含等于 )的整数(这是因为 不是整数,因此比 小的整数必然小于等于 )。

关键的一步,是证明这些数两两不等。

证明是用反证法:假设在这些数中有两个数  相等,那么找出其对应的“原型”:  ,其中kl是两个介于1和 之间的整数。分别平方后,就有:

 

因此p整除两者之差: 

但这不可能,因为p不整除 ,并且由于kl是两个介于1和 之间的整数,它们的和与差的都介于  之间,绝对值比p小,不可能被p整除。这导致了矛盾!

因此这 个数都在1和 之间,且两两不等。于是它们就是 。这样,

 
  (因为我们知道 )
  (比 大的减去p之后为负数,因此共有n个-1)
 

总结两次不同算法的结果,可以得出: (因为p不整除 )。然而由欧拉判别法可以得出

 

因此有

 

引理得证。

应用编辑

在很多的二次互反律的证明中都可以见到高斯引理的身影[4][5]。比如艾森斯坦曾用高斯引理证明了在p为奇质数时,有下式成立

 

并运用这个公式证明二次互反律(并且运用椭圆函数而不是三角函数来证明三次以及四次的互反律[6])。

克罗内克运用高斯引理证明了

 

翻转pq后就可立即得到二次互反律。

与群论中迁移的关系编辑

GZ/pZ中全体非零的二次剩余类组成的乘法,令H为此群的子群{+1, −1}。考虑如下的GH陪集代表:

 

在这些陪集上应用迁移,就可以得到迁移同态: a射到(-1)n,其中an为高斯引理中所定义的。高斯引理可以被看做一个清楚地将这个同态等同到二次剩余特征的计算。

参见编辑

注释编辑

  1. ^ "Neuer Beweis eines arithmetischen Satzes"; pp 458-462 of Untersuchungen uber hohere Arithmetik
  2. ^ "Neue Beweise und Erweiterungen des Fundalmentalsatzes in der Lehre von den quadratischen Reste"; pp 496-501 of Untersuchungen uber hohere Arithmetik
  3. ^ 在一般的初等数论教材或相关著作中都可以看到这个证明,这里引用的是高斯的Untersuchungen uber hohere Arithmetik,pp 458-462
  4. ^ Lemmermeyer, ch. 1
  5. ^ Lemmermeyer, p. 9 "like most of the simplest proofs [ of QR], [Gauss's] 3 and 5 rest on what we now call Gauss's Lemma
  6. ^ Lemmermeyer, ch. 8

参考来源编辑

  • Gauss, Carl Friedrich; Maser, H.(translator into German), Untersuchungen uber hohere Arithmetik(Disqusitiones Arithemeticae & other papers on number theory)(Second edition), New York: Chelsea, 1965, ISBN 0-8284-0191-8