test whether one group is contained in another
IsSubgroup( H, G )
A group H is a subgroup of a group G if H is contained in G and the binary operation on H is the restriction of the binary operation on G to H.
The IsSubgroup( H, G ) command tests whether the group H is a subgroup of the group G. It returns true if H is a subgroup of G, and returns false otherwise. For some pairs H and G of groups, the value FAIL may be returned if IsSubgroup cannot determine whether H is a subgroup of G.
G ≔ Symm⁡4
H ≔ Alt⁡4
The GroupTheory[IsSubgroup] 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)