This function finds the largest normal subgroup of the permutation group pg contained in sg. To speed up the computation, it is required that sg be a subgroup of pg. The result is returned as an unevaluated permgroup call.

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