GroupTheory - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Group Theory : GroupTheory/IsSubgroup

GroupTheory

  

IsSubgroup

  

test whether one group is contained in another

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

IsSubgroup( H, G )

Parameters

H

-

a group

G

-

a group

Description

• 

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.

Examples

withGroupTheory:

GSymm4

GS4

(1)

HAlt4

HA4

(2)

IsSubgroupH,G

true

(3)

IsSubgroupAlt5,G

false

(4)

Compatibility

• 

The GroupTheory[IsSubgroup] command was introduced in Maple 17.

• 

For more information on Maple 17 changes, see Updates in Maple 17.

See Also

GroupTheory

GroupTheory[IsNormal]