GroupTheory - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Group Theory : GroupTheory package : GroupTheory/PerfectGroup

GroupTheory

  

PerfectGroup

  

retrieve a group from the database of perfect groups

  

NumPerfectGroup

  

return the number of perfect groups of a given order

  

AllPerfectGroup

  

retrieve all perfect groups of a given order

 

Calling Sequence

Parameters

Description

Examples

References

Compatibility

Calling Sequence

PerfectGroup( n, d )

PerfectGroup( n, d, f )

NumPerfectGroups( n )

AllPerfectGroups( n )

AllPerfectGroups( n, f )

Parameters

n

-

a positive integer

d

-

a positive integer

f

-

optional equation: form=fpgroup or form=permgroup (the default)

Description

• 

The perfect groups library contains all the perfect groups of order at less than or equal to 1000000, except the groups of the orders 61440, 86016, 122880, 172032, 245760, 344064, 368640, 491520, 688128, 737280 and 983040. The groups are sorted by their orders and they are listed up to isomorphism; that is, for each of the available orders, a complete and irredundant list of isomorphism type representatives of groups is given. These groups are available as permutation groups and as finitely presented groups.

• 

The PerfectGroup( n, d ) command returns the d-th perfect group of order n in the perfect groups library.  The value of n must be at most 1000000 and not among those exceptions listed above.  The value of d must be less than or equal to the number of perfect groups of order n.

• 

The NumPerfectGroups( n ) command returns the number of perfect groups of order n, where n is a valid order.  If n is less than or equal to 1000000 and not among the listed exceptions, then 0 is returned; otherwise, an exception is raised.

• 

The AllPerfectGroups( n ) command returns a list of all the perfect groups of order n, where n is a valid order.

Examples

withGroupTheory:

NumPerfectGroups60

1

(1)

PerfectGroup60,1

1,24,5,2,3,4

(2)

PerfectGroup60,1,form=permgroup

1,24,5,2,3,4

(3)

PerfectGroup60,1,form=fpgroup

_a,_b_a2,_b3,_a_b_a_b_a_b_a_b_a_b

(4)

LAllPerfectGroups1920,'form'=permgroup:

andmapIsPerfect,L

true

(5)

References

  

Derek F. Holt and W. Plesken, Perfect Groups, Oxford Math. Monographs, Oxford University Press, 1989.

Compatibility

• 

The GroupTheory[PerfectGroup], GroupTheory[NumPerfectGroup] and GroupTheory[AllPerfectGroup] commands were introduced in Maple 18.

• 

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

See Also

GroupTheory

GroupTheory[DerivedSubgroup]

GroupTheory[IsPerfect]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam