NormalSubgroupScheme

Let G be a finite group and H a normal subgroup of G. NormalSubgroupScheme(G, H) returns the scheme defined by G-conjugacy classes of H.