阿廷互反律

E. 阿廷於 1927 年證明了一個適用於所有階數的通用互反律，該定律涵蓋了所有其他已知的互反律。如果 是一個數域， 是一個有限整擴張，則存在一個從與判別式互質的分式理想群到 Artin 符號的滿射。對於某個模 ，此滿射的核包含每個由與模 同餘於 1 的元素生成的主分式理想。