NormalClosure - Maple Help

GroupTheory

 NormalClosure
 construct the normal closure of a subgroup or subset of a group

 Calling Sequence NormalClosure( S, G ) NormalClosure( S )

Parameters

 S - a subgroup of G or a set of elements of G G - a permutation group or a Cayley table group

Description

 • 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 ).

Examples

 > $\mathrm{with}\left(\mathrm{GroupTheory}\right):$
 > $G≔\mathrm{Alt}\left(4\right)$
 ${G}{≔}{{\mathbf{A}}}_{{4}}$ (1)
 > $H≔\mathrm{SylowSubgroup}\left(3,G\right)$
 ${H}{≔}{\mathrm{}}$ (2)
 > $\mathrm{GroupOrder}\left(H\right)$
 ${3}$ (3)
 > $N≔\mathrm{NormalClosure}\left(H\right)$
 ${N}{≔}⟨\left({1}{,}{3}{,}{2}\right){,}\left({1}{,}{4}{,}{3}\right)⟩$ (4)
 > $\mathrm{GroupOrder}\left(N\right)$
 ${12}$ (5)
 > $G≔\mathrm{SymmetricGroup}\left(3\right)$
 ${G}{≔}{{\mathbf{S}}}_{{3}}$ (6)
 > $N≔\mathrm{NormalClosure}\left(\left\{\mathrm{Perm}\left(\left[\left[1,2\right]\right]\right)\right\},G\right)$
 ${N}{≔}⟨\left({1}{,}{2}\right){,}\left({2}{,}{3}\right)⟩$ (7)
 > $\mathrm{GroupOrder}\left(N\right)$
 ${6}$ (8)
 > $\mathrm{GroupOrder}\left(\mathrm{NormalClosure}\left(\left\{\mathrm{Perm}\left(\left[\left[1,2,3\right]\right]\right)\right\},G\right)\right)$
 ${3}$ (9)

Compatibility

 • The GroupTheory[NormalClosure] command was introduced in Maple 17.