A formula for computing
in the algebra of formal power series in , where the latter are assumed to be associative but non-commutative. More precisely, let be a free associative algebra with unit over the field , with free generators and ; let be the Lie subalgebra of generated by these elements relative to the commutation operation ; and let and be the natural power series completions of and , i.e. is the ring of power series in the associative but non-commutative variables and is the closure of in . Then the mapping
is a continuous bijection of onto the multiplicative group , where is the set of series without constant term. The inverse of this mapping is
The restriction of to is a bijection of onto the group . One can thus introduce a group operation in the set of elements of the Lie algebra , and it can be shown that the subgroup of this group generated by and is free. The Campbell–Hausdorff formula provides an expression for as a power series in and :
( times , then times times , then times , in the general term of this series) or (in terms of the adjoint representation ):
Here denotes summation over , , ; and denotes summation over , , .
The first investigation of the expression is due to J.E. Campbell . F. Hausdorff  proved that can be expressed in terms of the commutators of and , i.e. it is an element of the Lie algebra .
If is a normed Lie algebra over a complete non-discretely normed field , the series (*), with , is convergent in a neighbourhood of zero. Near the zero of one can thus define the structure of a local Banach Lie group over (in the ultrametric case — the structure of a Banach Lie group), with Lie algebra . This yields one of the existence proofs for a local Lie group with a given Lie algebra (Lie's third theorem). Conversely, in any local Lie group multiplication can be expressed in canonical coordinates by the Campbell–Hausdorff formula.
|[1a]||J.E. Campbell, Proc. London Math. Soc. , 28 (1897) pp. 381–390|
|[1b]||J.E. Campbell, Proc. London Math. Soc. , 29 (1898) pp. 14–32|
|||F. Hausdorff, "Die symbolische Exponential Formel in der Gruppentheorie" Leipziger Ber. , 58 (1906) pp. 19–48|
|||N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French)|
|||J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French)|
|||, Theórie des algèbres de Lie. Topologie des groupes de Lie , Sem. S. Lie , Ie année 1954–1955 , Ecole Norm. Sup. (1955)|
|||W. Magnus, A. Karrass, B. Solitar, "Combinatorial group theory: presentations in terms of generators and relations" , Wiley (Interscience) (1966)|
Let be the component of consisting of non-commutative polynomials of degree . Then . Similarly .
The formula for is also known as the Baker–Campbell–Hausdorff formula or Campbell–Baker–Hausdorff formula. The first few terms are:
The formula in terms of the and is known as the explicit Campbell–Hausdorff formula (in Dynkin's form).
|[a1]||H.F. Baker, "Alternants and continuous groups" Proc. London Math. Soc. (2) , 3 (1905) pp. 24–47|
|[a2]||V.S. Varadarajan, "Lie groups, Lie algebras, and their representations" , Springer (1984) pp. Section 2.15|
Campbell–Hausdorff formula. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Campbell%E2%80%93Hausdorff_formula&oldid=22235