An effective version of the Lazard correspondence.

DOI10.1016/j.jalgebra.2011.11.031zbMath1254.20032MaRDI 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\)-groups; Baker-Campbell-Hausdorff formula; effective methods; Lazard correspondence; nilpotent Lie rings

Mathematics Subject Classification ID

17B05: Structure theory for Lie algebras and superalgebras

20D15: Finite nilpotent groups, (p)-groups

17B30: Solvable, nilpotent (super)algebras

20-04: Software, source code, etc. for problems pertaining to group theory

17-08: Computational methods for problems pertaining to nonassociative rings and algebras

20F40: Associated Lie structures for groups

Related Items

The GAP Package LiePRing, Bogomolov multiplier and the Lazard correspondence, Cohomology of uniserial 𝑝-adic space groups, 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., The enumeration of groups of order \(p^{n}q\) for \(n\leq 5\)

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