construct the normal closure of a subgroup or subset of a group
NormalClosure( S, G )
NormalClosure( S )
a subgroup of G or a set of elements of G
a permutation group or a Cayley table group
The normal closure of a subset S of a group G is the smallest normal subgroup of G containing S.
The NormalClosure( G ) command constructs the normal closure of S in G.
The group G must be an instance of a permutation group or a Cayley table group.
If S is a subgroup of a group, then the one-argument form NormalClosure( S ) constructs the normal closure of S in the parent group Supergroup( S ).
H≔<a permutation group on 4 letters>
The GroupTheory[NormalClosure] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
Download Help Document
What kind of issue would you like to report? (Optional)