GroupTheory - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

GroupTheory

  

NumGroups

  

attempt to determine the number of groups of a given order

  

NumAbelianGroups

  

return the number of Abelian groups of a given order

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

NumGroups( n )

NumAbelianGroups( n )

Parameters

n

-

a positive integer, or the string "unknown"

Description

• 

The NumGroups( n ) command attempts to determine the number of groups of order n, and returns that number.  If it cannot determine the number of groups of order n, then the value FAIL is returned.

• 

For small values of n, the number of groups of order n is stored in a table, and the number of stored values is at least as large as the number of groups in the Small Groups Database.  Therefore, this command can be used to determine the number of groups of a given order available in the database of small groups.

• 

For values of n for which the number of groups of order n is not stored, it is necessary that Maple can factor n.

• 

For values of n too large to be stored, a variety of formulae are used for values of n which are "arithmetically small".

• 

The NumGroups command can compute the number of groups of order n, for n factorable and having one of the following forms: pk, pkq, for k=1,2,3, p2q2, and p2qr, where p, q and r denote distinct primes. The number of groups of (factorable) square-free order can also be computed.

• 

If n can be factored, and if the number of groups of order n is no more than three, then NumGroups( n ) will return that value.

• 

In the current implementation, the smallest value of n for which the number of groups of order n cannot be computed is n=2048.

• 

The special argument "unknown" (a string) may be passed to determine the values in the table of small orders for which the number of groups is not currently known.  An expression sequence of those values of n in the table of stored values for which the command NumGroups( n ) will return FAIL is returned. (The table currently stores values for orders less than 50000.)

• 

The NumAbelianGroups( n ) command returns the number of Abelian groups of order n. This is computed by counting the number of isomorphism classes of order equal to the p-part of n, for each prime divisor p of n, and also using the fact that the number of Abelian groups of prime power order pk is equal to the number of partitions of k (independent of the prime p). Thus, the ability to compute NumAbelianGroups( n ) is dependent only upon the ability to factor the integer n and to compute the number of partitions of the integer powers that appear in the factorisation.

Examples

withGroupTheory:

infolevel`GroupTheory:-NumGroups`1:

NumGroups128

ui:   "Using table of values for small orders"

2328

(1)

NumGroups2048

ui:   "prime power case"
ui:   "Using table for the number of groups of order a small power of 2"

FAIL

(2)

NumGroups2304

ui:   "Using table of values for small orders"

15756130

(3)

NumGroups614889782588491410

ui:   "Order is square-free"

188018688

(4)

NumGroups81513

ui:   "Order is of the form p^3*q"

13

(5)

NumGroups53091

ui:   "Order is of the form p^2*q*r"

2

(6)

NumGroups38

ui:   "Using table of values for small orders"

1396077

(7)

NumGroups15358747619

ui:   "Using table of values for small orders"
ui:   "Order is of the form p^2*q with p and q odd primes"
ui:   "Using table of values for small orders"

3

(8)

NumGroups3307506804820056766681499608504868704139327366278298467987

ui:   "Order is square-free"

1

(9)

NumGroupsmulithprimei,i=100..1000

ui:   "Order is square-free"

2771340269884594676814901910875675152096737295781236722237205017714262355882880999306035200000000

(10)

NumAbelianGroups1

1

(11)

NumAbelianGroups4

2

(12)

NumAbelianGroups419904

242

(13)

NumAbelianGroups12

2

(14)

NumAbelianGroups10300

85619543833885478733834543854404

(15)

How many abelian groups have the same order as the Monster simple group?

NumAbelianGroupsGroupOrderMonster

131046034680

(16)

Compatibility

• 

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

• 

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

• 

The n parameter was updated in Maple 2016.

• 

The GroupTheory[NumAbelianGroups] command was introduced in Maple 2018.

• 

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

• 

The GroupTheory[NumGroups] command was updated in Maple 2019.

See Also

GroupTheory[AllSmallGroups]

GroupTheory[SmallGroup]