Abstract
We classify and count the nilpotent Lie rings of order p8 with maximal class for . This also provides a classification of the groups of order p8 with maximal class for
via the Lazard correspondence. We also record the number of nilpotent Lie rings/groups of order pn
with maximal class for
from currently known data and discuss its asymptotic behavior as n grows and its potential connection to Higman’s PORC conjecture.
Acknowledgments
Our classification of the nilpotent Lie rings of order p
8 with maximal class () is essentially a hand calculation, with some computer assistance with Magma [Citation3]. To eliminate errors we used Eamonn O’Brien’s p-group generation algorithm [10] in Magma to compute the groups of order p
8 with maximal class for
, and confirmed that the number of groups in these cases agreed with the PORC formula given in Theorem 1. We also used Serena Cicalò and Willem de Graaf’s implementation of the Lazard correspondence in their GAP package LieRing [Citation4] to obtain the groups corresponding to the nilpotent Lie rings in our database, so that we could compare them with the groups provided by the p-group generation algorithm. We used Eamonn O’Brien’s Standard Presentation function in Magma to prove that the two sets of groups are identical (up to isomorphism) for
.