This function finds the largest subgroup of pg in which sg is a normal subgroup. The group sg should be a subgroup of pg.  The result is returned as an unevaluated permgroup call.

The command with(group,normalizer) allows the use of the abbreviated form of this command.