Group number function

Definition

The group number function or gnu function is the function $\mathrm{g}\mathrm{n}\mathrm{u}:\mathbb{N}\to \mathbb{N}$ defined by $\mathrm{g}\mathrm{n}\mathrm{u}(n)$ equal to the number of groups of order $n$ up to isomorphism.

Examples of values

• $\mathrm{g}\mathrm{n}\mathrm{u}(1)=1$.

Let $p$ be a prime number. Then:

• $\mathrm{g}\mathrm{n}\mathrm{u}(p)=1$, see classification of groups of prime order
• $\mathrm{g}\mathrm{n}\mathrm{u}(p^2)=2$, see classification of groups of prime-square order
• $\mathrm{g}\mathrm{n}\mathrm{u}(p^3)=5$, see classification of groups of prime-cube order
• $\mathrm{g}\mathrm{n}\mathrm{u}(2^4)=14$, $\mathrm{g}\mathrm{n}\mathrm{u}(p^4)=15$ for $p>2$, see Classification of groups of prime-fourth order
• $\mathrm{g}\mathrm{n}\mathrm{u}(2p)=2$, see classification of groups of order two times a prime

Asymptotic bounds

Prime power order

Further information: Enumeration of groups of prime power order

Graham Higman demonstrated a bound for the group number function for groups of order $p^n$ for $p$ prime (i.e. p-groups), namely $p^{\frac{2}{27}{n}^2(n-6)}\le \mathrm{g}\mathrm{n}\mathrm{u}(p^n)\le p^{(\frac{2}{15}+{ϵ}_n)n^3}$ for some ${ϵ}_n\to 0$ as $n\to \mathrm{\infty }$.

Open problems

The following are currently open problems relating to the group number function.

Values of the group number function

Further information:

Certain values of the group number function are unknown, and thus the groups of that order are not classified. The smallest such example is for $\mathrm{g}\mathrm{n}\mathrm{u}(2048)$. See groups of order 2048. We do happen to know that the value of $\mathrm{g}\mathrm{n}\mathrm{u}(2048)$ strictly exceeds $1774274116992170$..

Non-trivial fixed points of the group number function

It is not known whether or not there is a number $n>1$ such that $\mathrm{g}\mathrm{n}\mathrm{u}(n)=n$.

Is every positive integer a group number? The gnu-hunting conjecture

For every $m\in \mathbb{N}$, does there exist $n\in \mathbb{N}$ such that $\mathrm{g}\mathrm{n}\mathrm{u}(n)=m$?

The galloping gnu conjecture

John H. Conway, Heiko Dietrich and E.A. O’Brien ask the question: does, for every $n$, the sequence $n,\mathrm{g}\mathrm{n}\mathrm{u}(n),\mathrm{g}\mathrm{n}\mathrm{u}(\mathrm{g}\mathrm{n}\mathrm{u}(n)),\dots$ eventually contain a $1$? They have verified it for $n\le 2047$.

In mathematical culture

The values of the gnu function is the very first sequence in the OEIS, [1].

Table of values

See the page table of number of groups for small orders.