令G是有限群,整群环ZG的n(n是正整数)次增广理想△n(G)=(△(G))n是秩为|G|-1的自由阿贝尔群,n次增广商群定义为Qn(G)=△n(G)/△n+1......