Group number function: Difference between revisions

From Groupprops
Line 10: Line 10:
* <math>\mathrm{gnu}(p^2)=2</math>, see [[classification of groups of prime-square order]]
* <math>\mathrm{gnu}(p^2)=2</math>, see [[classification of groups of prime-square order]]
* <math>\mathrm{gnu}(p^3)=5</math>, see [[classification of groups of prime-cube order]]
* <math>\mathrm{gnu}(p^3)=5</math>, see [[classification of groups of prime-cube order]]
* <math>\mathrm{gnu}(2^4)=14</math>, <math>\mathrm{gnu}(p^4)=15</math> for <math>p>2</math>, see [[Classification of groups of prime-fourth order]]
* <math>\mathrm{gnu}(2p)=2</math>, see [[classification of groups of order two times a prime]]
* <math>\mathrm{gnu}(2p)=2</math>, see [[classification of groups of order two times a prime]]



Revision as of 22:07, 8 November 2023

Definition

The group number function or gnu function is the function gnu:N→N defined by gnu(n) equal to the number of groups of order n up to isomorphism.

Examples of values

Let p be a prime number. Then:

Asymptotic bounds

Prime power order

Further information: Enumeration of groups of prime power order

Higman[1] demonstrated a bound for the group number function for groups of order pn for p prime (i.e. p-groups), namely p227n2(n−6)≤gnu(pn)≤p(215+ϵn)n3 for some ϵn→0 as n→∞.[2]

Open problems

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

Values of the group number function

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 gnu(2048). See groups of order 2048. We do happen to know that the value of gnu(2048) strictly exceeds 1774274116992170.[3]

Fixed points of the group number function

It is not known whether or not there is a number n such that gnu(n)=n.

References