An effective version of the Lazard correspondence.

DOI10.1016/j.jalgebra.2011.11.031zbMath1254.20032OpenAlexW2056399532MaRDI QIDQ435965

Michael Vaughan-Lee, Willem A. De Graaf, Serena Cicalò

Publication date: 13 July 2012

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

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

zbMATH Keywords

finite \(p\)-groupsBaker-Campbell-Hausdorff formulaeffective methodsLazard correspondencenilpotent Lie rings

Mathematics Subject Classification ID

Structure theory for Lie algebras and superalgebras (17B05) Finite nilpotent groups, (p)-groups (20D15) Solvable, nilpotent (super)algebras (17B30) Software, source code, etc. for problems pertaining to group theory (20-04) Computational methods for problems pertaining to nonassociative rings and algebras (17-08) Associated Lie structures for groups (20F40)

Related Items

The GAP Package LiePRing, The enumeration of groups of order \(p^{n}q\) for \(n\leq 5\), Nilpotent algebras, implicit function theorem, and polynomial quasigroups, Cohomology of \(p\)-groups of nilpotency class smaller than \(p\), Maximal linear groups induced on the Frattini quotient of a \(p\)-group, Schur multipliers and the Lazard correspondence., Bogomolov multiplier and the Lazard correspondence, Cohomology of uniserial 𝑝-adic space groups

Uses Software

• GAP
• Magma
• Guarana
• LieRing

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing faithful representations for nilpotent Lie algebras
• The formal power series for \(\log\,e^x e^y\)
• Collection from the left and other strategies
• Collection from the left
• The Magma algebra system. I: The user language
• Groups and nilpotent Lie rings whose order is the sixth power of a prime.
• Using the Mal'cev correspondence for collection in polycyclic groups.
• A partial extension of Lazard's correspondence for finite \(p\)-groups.
• Matrix representations for torsion-free nilpotent groups by Deep Thought.
• The groups with order \(p^7\) for odd prime \(p\).
• A simple expression for the terms in the Baker–Campbell–Hausdorff series
• Higman's PORC conjecture for a family of groups
• An efficient algorithm for computing the Baker–Campbell–Hausdorff series and some of its applications
• Numerical values of Goldberg’s coefficients in the series for 𝑙𝑜𝑔(𝑒^{𝑥}𝑒^{𝑦})
• Dynkin’s method of computing the terms of the Baker–Campbell–Hausdorff series
• Cyclic Relations and the Goldberg Coefficients in the Campbell-Baker- Hausdorff Formula
• Symbolic Collection using Deep Thought