理想剩余类群上Gauss定理的推广

利用代数数论的方法,把整数环上的Gauss定理推广到理想m的剩余类群R(m)上,得到同余式,∏bij∈R( m)1≤i1 <i2 <…<ik≤hbi1 bi2 …bik ≡1(m od m) , 若e(2 )≠1,(- 1) Ck- 1 φ( m) - 1 (mod m) , 若e(2 ) =1,其中e(2 )是R(m)中阶为2的幂次的基的个数,h =φ(m)是R(m)中与m互素的理想个数.