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

Online Help

All Products    Maple    MapleSim


GroupTheory

  

IsPGroup

  

determine whether a group is a p-group, for some prime p

  

PGroupPrime

  

determine the prime for which a group is a p-group

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

IsPGroup( G )

IsPGroup( G, prime = p )

PGroupPrime( G )

Parameters

G

-

a group

p

-

a prime number

Description

• 

A group  is a -group, for a prime number , if every member of  has finite order equal to a power of .

• 

A finite group is a -group if, and only if, its order is a power of . A finite -group is nilpotent.

• 

The IsPGroup( G ) command attempts to determine whether the group G is a -group, for some prime number . It returns true if G is a -group and returns false otherwise.

• 

If the prime = p option is passed, with p an explicit prime number, then IsPGroup( G, prime = p ) checks whether G is a p-group. For example, to check whether G is a -group, use the command IsPGroup( G, prime = 3 ).

• 

The PGroupPrime( G ) command returns a prime number p if the group G is a non-trivial -group.  If Maple can determine that G is a trivial group, then the value FAIL is returned (since the trivial group is a -group, for all primes , so the value is not well-defined).  If Maple can determine that G is not a -group for any prime number , then an exception is raised.

Examples

(1)

(2)

Error, (in GroupTheory:-PGroupPrime) group does not have prime-power order

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

(11)

Compatibility

• 

The GroupTheory[IsPGroup] and GroupTheory[PGroupPrime] commands were introduced in Maple 2018.

• 

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

See Also

GroupTheory

GroupTheory[AlternatingGroup]

GroupTheory[DihedralGroup]

type/prime

 


Download Help Document