在數學中,三次互反律是關於模代數中兩個對應的三次方程的可解性之間的關係的結論和定理。
相關術語[編輯]
三次互反律最常使用艾森斯坦整數進行表述。艾森斯坦整數是指由形如
的複數組成的環,記作
。其中
和
是整數,
為三次單位根:
![{\displaystyle \omega ={\frac {1}{2}}(-1+i{\sqrt {3}})=e^{2\pi i/3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec0963b96230b2bcaaf3b9206c40143d38eacbd1)
如果
是
中範數為
的一個 素數。
與
互素。定義三次剩餘符號
為一個三次單位根,並滿足
![{\displaystyle \left({\frac {\alpha }{\pi }}\right)_{3}\ \equiv \ \alpha ^{(P-1)/3}\mod \pi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9350c8715893844ca2491f5356cd305a30271cc1)
再定義「原初」素數是模
同餘於
的素數。由於每個素數在乘以
中的一個單位元後都會成為「原初」素數,因此關於「原初」素數的定律仍具有普遍性。這時,三次互反律說明,對兩個不同的「原初」素數
和
,有
![{\displaystyle \left({\frac {\pi }{\theta }}\right)_{3}=\left({\frac {\theta }{\pi }}\right)_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d1aeee0728756e45138768c00674549ae9e3fc4)
此外有輔助定理:如果
那麼:
![{\displaystyle \left({\frac {\omega }{\pi }}\right)_{3}=\omega ^{m+n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fae1d3cc69cbcec8459cfe3209babd322dabba9)
。
由於
![{\displaystyle \left({\frac {\theta \phi }{\pi }}\right)_{3}=\left({\frac {\theta }{\pi }}\right)_{3}\left({\frac {\phi }{\pi }}\right)_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/898a26d6932f8dfe8ae0e87f752f87c3c2e7637a)
因此可以計算任意艾森斯坦整數的三次剩餘。
參考來源[編輯]
- David A. Cox, Primes of the form
, Wiley, 1989, ISBN 0-471-50654-0.
- K. Ireland and M. Rosen, A classical introduction to modern number theory, 2nd ed, Graduate Texts in Mathematics 84, Springer-Verlag, 1990.
- Franz Lemmermeyer, Reciprocity laws: From Euler to Eisenstein, Springer Verlag, 2000, ISBN 3-540-66957-4.
外部連結[編輯]