compute the normal subgroups of a finite group
NormalSubgroups( G )
a finite group
The NormalSubgroups( G ) command computes the normal subgroups of a finite group G.
The group G must be an instance of a permutation group or a Cayley table group.
The alternating group of degree 5 is simple, so it has only two normal subgroups, itself and the trivial subgroup.
The automorphism group of the Clebsch graph contains a perfect normal subgroup of index two.
useGraphTheoryinA ≔ AutomorphismGroup⁡SpecialGraphs:-ClebschGraph⁡;GroupOrder⁡A;NA ≔ NormalSubgroups⁡A;GroupOrder⁡NA2;IsPerfect⁡NA2end use
The GroupTheory[NormalSubgroups] command was introduced in Maple 2016.
For more information on Maple 2016 changes, see Updates in Maple 2016.
Download Help Document
What kind of issue would you like to report? (Optional)