在數論中,高斯引理給出了一個整數是模另一個整數的二次剩餘的條件。儘管高斯引理沒有實際計算上的意義,但作為二次互反律的證明中的一環,高斯引理有着理論上的重要性。
高斯引理最早出現在高斯1808年發表的二次互反律的第三個證明中[1],並在第五個證明中再次用到[2]。
設
為奇質數,
是一個與
互質的整數。考慮以下數組:
, 取它們模
的最小非負剩餘。這些剩餘兩兩不等,因此我們共有
個兩兩不等的介於1和
之間的整數:
。設其中有
個數比
大,那麼高斯引理聲稱:
![{\displaystyle \left({\frac {a}{p}}\right)=(-1)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b89fef980b3b0a785356b6960fd49e257aa2b16)
上式左邊是勒讓德符號,當其值為+1時,表示
是模
的二次剩餘;其值為-1時,表示
是模
的二次非剩餘。
用通俗的語言來說,就是:如果
裏面比
大的有偶數個,那麼
是模
的二次剩餘,如果有奇數個,那麼
是模
的二次非剩餘。
令
,
,則我們考慮的數組是
。模11之後,就得到
。其中比
大的有三個:
。3是奇數,因此由高斯引理得到結論:7是模11的二次非剩餘。
這個結論是正確的,因為模11的全部二次剩餘是
,不包括7在內。
一個常見的簡單證明[3]用的是一個令人聯想到費馬小定理之最簡單證明的方法:考慮乘積
![{\displaystyle Z=a\cdot 2a\cdot 3a\cdot \cdots \cdot {\frac {p-1}{2}}a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db09a6fee070296e706a5e7e0837996eacf120cd)
用兩種方式模p之後,一方面可以得到:
![{\displaystyle Z=a^{\frac {p-1}{2}}\left(1\cdot 2\cdot 3\cdot \cdots \cdot {\frac {p-1}{2}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b220eed0f32d300cf7f7ef0d7bd201c560f37952)
另一方面,我們將
中每一個比
大的數都減去
,這樣我們得到一個新數組
,其中每個數都介於
與
之間。取絕對值後,我們便得到
個介於1和
之間(含等於
)的整數(這是因為
不是整數,因此比
小的整數必然小於等於
)。
關鍵的一步,是證明這些數兩兩不等。
證明是用反證法:假設在這些數中有兩個數
和
相等,那麼找出其對應的「原型」:
與
,其中k和l是兩個介於1和
之間的整數。分別平方後,就有:
![{\displaystyle (ka)^{2}\equiv x^{2}\equiv y^{2}\equiv (la)^{2}\mod p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50bb770040f20c3592bc9ceade478c843cfd5413)
因此p整除兩者之差:
。
但這不可能,因為p不整除
,並且由於k和l是兩個介於1和
之間的整數,它們的和與差的都介於
與
之間,絕對值比
小,不可能被
整除。這導致了矛盾!
因此這
個數都在1和
之間,且兩兩不等。於是它們就是
。這樣,
![{\displaystyle Z\equiv t_{1}t_{2}\cdots t_{\frac {p-1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53b06eac652d2043f24812d6e52dea53636b9855)
(因為我們知道
)
(比
大的減去
之後為負數,因此共有
個-1)
![{\displaystyle .\ \ \equiv (-1)^{n}\left(1\cdot 2\cdot 3\cdot \cdots \cdot {\frac {p-1}{2}}\right)\mod p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b513be88b2dfb031d6bc338ae794ee1aae0527e)
總結兩次不同算法的結果,可以得出:
(因為
不整除
)。然而由歐拉判別法可以得出
![{\displaystyle \left({\frac {a}{p}}\right)=a^{\frac {p-1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df50f3feccc01cbc7387066de5dd3e89e44bf9c5)
因此有
![{\displaystyle \left({\frac {a}{p}}\right)=(-1)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b89fef980b3b0a785356b6960fd49e257aa2b16)
引理得證。
在很多的二次互反律的證明中都可以見到高斯引理的身影[4][5]。比如艾森斯坦曾用高斯引理證明了在
為奇質數時,有下式成立
![{\displaystyle \left({\frac {a}{p}}\right)=\prod _{n=1}^{(p-1)/2}{\frac {\sin {({\frac {2\pi an}{p}})}}{\sin {({\frac {2\pi n}{p}})}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9985dc78f1b78d7200a7af0800d6ace67f85b1b)
並運用這個公式證明二次互反律(並且運用橢圓函數而不是三角函數來證明三次以及四次的互反律[6])。
克羅內克運用高斯引理證明了
。
翻轉p和q後就可立即得到二次互反律。
與群論中遷移的關係[編輯]
令
為Z/pZ中全體非零的二次剩餘類組成的乘法群,令
為此群的子群
。考慮如下的
中
的陪集代表:
。
在這些陪集上應用遷移,就可以得到遷移同態:
,將
射到
,其中
與
為高斯引理中所定義的。高斯引理可以被看做一個清楚地將這個同態等同到二次剩餘特徵的計算。
- ^ "Neuer Beweis eines arithmetischen Satzes"; pp 458-462 of Untersuchungen uber hohere Arithmetik
- ^ "Neue Beweise und Erweiterungen des Fundalmentalsatzes in der Lehre von den quadratischen Reste"; pp 496-501 of Untersuchungen uber hohere Arithmetik
- ^ 在一般的初等數論教材或相關著作中都可以看到這個證明,這裏引用的是高斯的Untersuchungen uber hohere Arithmetik,pp 458-462
- ^ Lemmermeyer, ch. 1
- ^ 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
- ^ 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