戴德金環上q互逆律(q-reciprocity law overa Dedekind domain)研究戴德金環的有用工具.設r1嘗。為戴德金環R的一個理想,p為IZ的一個極大理想.記若C為一個阿貝爾群,集合{XP}p為R的極大理想.