GroupTheory
IsNormal
test whether one group is contained as a normal subgroup of another
Calling Sequence
Parameters
Description
Examples
Compatibility
IsNormal( H, G )
H
-
a group
G
A group is a normal subgroup of a group if is a subgroup of , and if it is equal to each of its conjugates: , for all in .
The IsNormal( H, G ) command tests whether the group H is a normal subgroup of the group G. It returns true if H is normal in G, and returns false otherwise. For some pairs H and G of groups, the value FAIL may be returned if IsNormal cannot determine whether H is a normal subgroup of G.
The GroupTheory[IsNormal] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
See Also
GroupTheory[AlternatingGroup]
GroupTheory[DihedralGroup]
GroupTheory[IsSubgroup]
GroupTheory[SymmetricGroup]
Download Help Document