命題 を互いに素な整数、を可換な乗法群（単元を1とする）、、を原始的な乗法的群準同型とする。 を、と定めると、これは原始的な指標になる。 なお、原始的な指標の定義については、 この記事を参照。 証明 与えられた環、イデアルがこの記事で取り上げた性…

命題 を可換環、をの互いに素なイデアル、を可換な乗法群（単元を1とする）、、を原始的な乗法的群準同型とする。 任意の真イデアルが、次のいずれかを満たすと仮定する。 が存在して、かつ が存在して、かつ が存在して、 が存在して、 を、と定めると、こ…

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