Groups and nilpotent Lie rings whose order is the sixth power of a prime. (Q1879674): Difference between revisions

The authors give a complete description (up to isomorphism) of all finite \(p\)-groups of order \(p^6\) (available via computer systems). The result is achieved independently of previous attempts of various authors, which contained errors. On the other hand, the reliability of the results is partially confirmed by some of the previous results. The main difficulty is to distinguish different isomorphism types, while a complete list with possible repeats is comparatively easy to obtain. The new ingredient is finding first a similar complete description of nilpotent Lie rings of order \(p^6\), and then using the Baker-Campbell-Hausdorff formula when the nilpotency class is less than \(p\) (the only case not covered by this scheme -- that of \(5\)-groups of class \(5\) of order \(5^6\) -- was known earlier). For the history of earlier attempts see the extensive survey in the paper.