IsSubgroup - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


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  is a subgroup of a group  if  is contained in  and the binary operation on  is the restriction of the binary operation on  to .

• 

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

(1)

(2)

(3)

(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]

 


Download Help Document