Surjectivity conjecture for the group enumeration function

Let f(n)f(n) denote the number of isomorphism classes of finite groups of order nn. Surjectivity conjecture. For every positive integer mm, there exists an integer nn such that

f(n)=m.f(n)=m.

This conjecture asks whether every positive integer occurs as the number of groups of some order. The surrounding discussion concerns known formulas and bounds for f(n)f(n), but gives no resolution of this surjectivity question.

Sources & referencesView supporting material

Primary source

Shihan Kanungo, “Classifying Groups of Certain Orders”, arXiv:2606.25230 (2026).

Additional references

2 papers in this index state this conjecture (2019–2026). The statement above is taken from the most recent of them; the others are arXiv:1911.11172.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.