Find the normalizer of a subgroup
two permgroups of the same degree
Important: The group package has been deprecated. Use the superseding command GroupTheory[Normalizer] instead.
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.
pg ≔ permgroup⁡7,1,2,3,3,4,5,6,7:
sg ≔ permgroup⁡7,1,2,3,3,4,5:
Download Help Document