GTM84 - Ch5 - Quadratic Reciprocity

本节主要介绍了基本的符号，例如Legendre，Jacobbi的基本计算性质，这些在计算机中是较为容易实现的，所以伪素数的检验算法也可以使用，本节也给出了二次互反律的应用：a固定，p取什么的时候，a是模p的二次剩余，二次互反律给出了一个简介的回答。
还给出了一个Eisenstein关于二次互反律的证明，其中应用到了数论函数，这种借助函数来证明相应的零点分布，数论命题将会经常看到。二次互反律我还喜欢一种较为初等证明一种初等的证明
除此之外，我们还注意到大量地使用了CRT简化了讨论，也方便使用小的代数结构上的性质，例如原根等等，这在前面一节的n次剩余中也是可以注意到的。