Groups and nilpotent Lie rings whose order is the sixth power of a prime.

DOI10.1016/J.JALGEBRA.2003.11.012MaRDI QIDQ1879674zbMATH OpenOpenAlexWikidataFDO

Authors M. F. Newman, E. A. O'Brien, Michael Vaughan-Lee

Publication date 23 September 2004

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2003.11.012

zbMATH Keywords

Baker-Campbell-Hausdorff formulafinite \(p\)-groupsgroups of order \(p^6\)nilpotent Lie ringspower-commutator presentations

Mathematics Subject Classification ID

Solvable, nilpotent (super)algebras (17B30) Finite nilpotent groups, (p)-groups (20D15) Generators, relations, and presentations of groups (20F05) Associated Lie structures for groups (20F40)

Review text

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.

Recommendations

• The groups with order p^7 for odd prime p.
• A Computer-Based Approach to the Classification of Nilpotent Lie Algebras
• scientific article; zbMATH DE number 3822023
• THE GROUPS OF ORDER qⁿ· p
• scientific article; zbMATH DE number 4198307

Cites work

• A MILLENNIUM PROJECT: CONSTRUCTING SMALL GROUPS
• A nilpotent quotient algorithm for graded Lie rings
• APPLICATION OF COMPUTERS TO QUESTIONS LIKE THOSE OF BURNSIDE, II
• scientific article; zbMATH DE number 3822023 (Why is no real title available?)
• scientific article; zbMATH DE number 3906725 (Why is no real title available?)
• scientific article; zbMATH DE number 46502 (Why is no real title available?)
• scientific article; zbMATH DE number 534859 (Why is no real title available?)
• scientific article; zbMATH DE number 557216 (Why is no real title available?)
• scientific article; zbMATH DE number 1370593 (Why is no real title available?)
• scientific article; zbMATH DE number 3305184 (Why is no real title available?)
• scientific article; zbMATH DE number 3385975 (Why is no real title available?)
• scientific article; zbMATH DE number 3196329 (Why is no real title available?)
• scientific article; zbMATH DE number 3038371 (Why is no real title available?)
• scientific article; zbMATH DE number 3109449 (Why is no real title available?)
• Isomorphism testing for \(p\)-groups
• Metabelian \(p\)-groups with generators and orders \(p^{12}\) and \(p^{11}\)
• On a special class of p-groups
• The \(p\)-group generation algorithm
• The classification of prime-power groups.
• The groups of order 128
• The Groups of Order p 6 (p and Odd Prime)
• The Magma algebra system. I: The user language

Cited in

(34)

• Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition. II
• Counting groups: Gnus, Moas, and other exotica
• On non-solvable Camina pairs.
• The groups of exponent p and order \(p^ 7\) (p any prime)
• Non-PORC behaviour in groups of order \(p^{7}\)
• Non-PORC behaviour of a class of descendant \(p\)-groups.
• Computing the Schur multipliers of the Lie \(p\)-rings in the family defined by a symbolic Lie \(p\)-ring presentation
• On the passage from finite braces to pre-Lie rings
• Counting Schur rings over cyclic groups
• On the multiple holomorph of groups of squarefree or odd prime power order
• On the groups of cube-free order.
• The groups with order p^7 for odd prime p.
• The enumeration of groups of order \(p^{n}q\) for \(n\leq 5\)
• A class of descendant \(p\)-groups of order \(p^{9}\) and Higman's PORC conjecture
• scientific article; zbMATH DE number 3906725 (Why is no real title available?)
• The construction of finite solvable groups revisited.
• \(p\)-groups with a unique proper non-trivial characteristic subgroup.
• An effective version of the Lazard correspondence.
• Constructing groups of `small' order: recent results and open problems
• The GAP Package LiePRing
• Beauville structures in finite p-groups
• Graham Higman's PORC theorem
• Most small \(p\)-groups have an automorphism of order 2
• A note on Beauville p-groups.
• Groups of order p^8 and exponent p
• A survey on varieties generated by small semigroups and a companion website
• Six-dimensional nilpotent Lie algebras
• The Groups and Nilpotent Lie Rings of Order p ⁸ with Maximal Class
• Minimal degrees for faithful permutation representations of groups of order p^6 where p is an odd prime
• Classification of finite groups: recent developements and open problems
• Exceptional groups of order p^6 for primes p 5
• Creating a dynamic database of finite groups
• A classification of some regular p-groups and its applications.
• Classification of 6-dimensional nilpotent Lie algebras over fields of characteristic not 2

Describes a project that uses

Uses Software

• GAP
• Magma

This page was built for publication: Groups and nilpotent Lie rings whose order is the sixth power of a prime.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1879674)