Uniform groups and Lie algebras (Q652168)

In 1965 Lazard proved that a topological group is \(p\)-adic analytic if and only if it contains an open pro-\(p\) subgroup which is saturable. Saturable pro-\(p\) groups have a natural structure of \({\mathbb Z}_p\)-Lie lattices, where \({\mathbb Z}_p\) is the ring of \(p\)-adic integers, and Lazard established that there exists an isomorphism of categories between the category of saturable groups and the category of saturable Lie algebras. In the 1980s Lubotzky and Mann reinterpreted the results of Lazard in terms of uniform pro-\(p\) groups, removing most of the analytic context. In 1993, Weigel realized the existence of free objects by enlarging the category of uniform groups to torsion-free powerful \(\lambda\)-groups and this was used to construct certain exp--log functors between the categories of powerful \(p\)-central groups and Lie algebras. One of the objectives of the paper under review is to give alternative and more direct proofs of some of the results of Lazard using the existence of free objects in the categories of torsion-free \(\lambda\)-groups and powerful \(p\)-complete \({\mathbb Z}_p\)-Lie lattices. This existence of free objects implies the existence of the concepts of uniform presentations of uniform groups and uniform Lie algebras. In fact, the authors show that these two presentations coincide via the exp--log functors. The authors also provide some results about the structure of uniform groups, e.g., the existence of composition series in the category of uniform groups and the correspondence between central extensions of \(G\) and \(\log(G)\). Finally they present a complete classification of solvable 3-dimensional uniform groups. This corrects a mistake on the classification of 3-dimensional torsion-free pro-\(p\) groups presented in a recent paper by González-Sánchez and Klopsch.