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
finite \(p\)-groups; Baker-Campbell-Hausdorff formula; effective methods; Lazard correspondence; nilpotent Lie rings
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
Uses Software
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