attempt to determine the number of groups of a given order
return the number of Abelian groups of a given order
NumGroups( n )
NumAbelianGroups( n )
a positive integer, a range of positive integers, or the string "unknown"
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, pk⁢q, for k at most 5, p2⁢q2, and p2⁢q⁢r, 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 most orders less than 50000.)
If n is a range of positive integers, then the NumGroups( n ) command returns a sequence of the values over that range.
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 factorization.
The number of groups of the first few small orders:
For a larger number of (small) values it becomes useful to visualise the behaviour of this function using a plot.
The numbers of groups of prime power order grows very quickly.
For primes p larger than 3, Maple can compute the number of groups of order pk for k≤7.
How many abelian groups have the same order as the Monster simple group?
The GroupTheory[NumGroups] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
The GroupTheory[NumAbelianGroups] command was introduced in Maple 2018.
For more information on Maple 2018 changes, see Updates in Maple 2018.
The n parameter was updated in Maple 2021.
The GroupTheory[NumGroups] command was updated in Maple 2022.
Download Help Document