定義 を可換環、をのイデアル、を可換な乗法群（単元を1とする）、を準同型とする。 を含むの真のイデアルに対して、がを法として1と合同な元からなるの部分群の上で自明でない（つまり、が存在して、 となる） ※下記の参考書籍では、代数体上の整数環につい…