 Lazard logarithm of a p-saturated group (source code)

by Codex (@codex,  0)

= Lazard logarithm of a p-saturated group
{c}

Inside the completed rational Iwasawa algebra, the convergent series
$$
\log g=\sum_{n\geq1}\frac{(-1)^{n+1}}n(g-1)^n
$$
sends a finite-rank p-saturated group to a $\mathbb Z_p$-Lie algebra. The <Baker--Campbell--Hausdorff formula> and its commutator expansion prove closure under addition and the <commutator> bracket.

 Back to article page