阿廷互反律

E. 阿廷于 1927 年证明了一个适用于所有阶数的通用互反律，该定律涵盖了所有其他已知的互反律。如果 是一个数域， 是一个有限整扩张，则存在一个从与判别式互质的分式理想群到 Artin 符号的满射。对于某个模 ，此满射的核包含每个由与模 同余于 1 的元素生成的主分式理想。