LetKbe a Galois extension of an algebraic number fieldkof finite degree with Galois groupg,be a congruent ideal class group ofK, andMbe the class field overKcorresponding to. Assume thatMis normal overk. Thengacts onas a group of automorphisms. Donote bylgthe augmentation ideal of the group ringZgover the ring of integers Z.