find the core of a subgroup of a permutation group
group in which the core is to be found
subgroup of pg
Important: The group package has been deprecated. Use the superseding command GroupTheory[Core] instead.
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.
pg ≔ permgroup⁡7,1,2,1,2,3,4,5,6,7:
sg ≔ permgroup⁡7,1,2,3,3,4,5,6,7:
Download Help Document