Congruent group extension