test whether one group is contained as a subnormal subgroup of another
IsSubnormal( H, G )
A group H is a subnormal subgroup of a group G if H is a subgroup of G, and if there is a chain
such that Gk is normal in Gk-1, for each i. Every normal subgroup of a group is subnormal, but not conversely.
The IsSubnormal( H, G ) command tests whether the group H is a subnormal subgroup of the group G. It returns true if H is subnormal in G, and returns false otherwise. For some pairs H and G of groups, the value FAIL may be returned if IsSubnormal cannot determine whether H is a subnormal subgroup of G.
G ≔ Group⁡Perm⁡1,2,3,6,4,5,7,8,Perm⁡2,5,6,8
H ≔ Subgroup⁡Perm⁡2,5,6,8,G
Every normal subgroup of a group is subnormal.
The GroupTheory[IsSubnormal] command was introduced in Maple 2018.
For more information on Maple 2018 changes, see Updates in Maple 2018.
Download Help Document
What kind of issue would you like to report? (Optional)