Higman's PORC conjecture
This article is about a conjecture. View all conjectures and open problems
For a prime number and a natural number , define as the number of isomorphism classes of groups of order (thus, the number of groups of prime power order). The conjecture is that for any fixed , is a PORC function (?) of .
Note that a function on primes is PORC iff it is PORC on all but finitely many primes, because the finitely many primes can be incorporated by multiplying them with the modulus of the residue classes. Thus, the conjecture can be reformulated as stating that is a PORC function of for all sufficiently large .
- Higman-Sims asymptotic formula on number of groups of prime power order
- Higman's PORC theorem for Frattini class two
Higman's PORC conjecture has been verified for . The PORC functions are given below.
|Value of PORC that works for sufficiently large||Modulus relative to which we have polynomials||Value of beyond which it holds||Values for smaller values of||Information on groups of order|
|2||2||1||all||groups of prime-square order|
|3||5||1||all||groups of prime-cube order|
|4||15||1||14 for||groups of prime-fourth order|
|5||12||51 for , 67 for||groups of prime-fifth order|
|6||60||267 for , 504 for||groups of prime-sixth order|
|7||360||2328 for , 9310 for , 34297 for||groups of prime-seventh order|
A paper by du Sautoy and Vaughan-Lee showed that a potential refinement of the PORC conjecture that would claim that the number of immediate descendants is a PORC function turns out to be false for the order descendants of a group of order , and explained why this meant that the PORC conjecture was likely to be false. Explicitly, what du Sautoy and Vaughan-Lee demonstrated is the following:
- In all the cases where the PORC conjecture has been established, it has been established by showing that the number of immediate descendants of a group with a prime-parametric description is a PORC function of the prime, and then summing up over a number of possibilities and using the fact that a sum of PORC functions is a PORC function.
- du Sautoy and Vaughan-Lee constructed a torsion-free nilpotent group of Hirsch length 9 and class two, arising as the du Sautoy nilpotent group for the elliptic curve , such that the corresponding groups obtained by taking the quotient of by its powers for different primes behaved in a fashion that mimicked the unpredictability of the elliptic curve itself.
- They argued that one of the summands to the expression that would give the number of groups of order was not a PORC function, unlike the cases where the conjecture had been established, where all the summands are PORC functions.
- It would still be possible that there could be other summands that cancel the non-PORCness of the existing summand and still yield a sum that is a PORC function; however, the authors considered that unlikely, and believed that the sum itself would be a non-PORC function.
Thus, the result probably breaks down at . Its truth for and is unknown.