在数学中,三次互反律是关于模代数中两个对应的三次方程的可解性之间的关系的结论和定理。
相关术语[编辑]
三次互反律最常使用艾森斯坦整数进行表述。艾森斯坦整数是指由形如
的复数组成的环,记作
。其中
和
是整数,
为三次单位根:
![{\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.
外部链接[编辑]