The exponential map and the Lie algebra determine the local group structure of every connected Lie group, because of the Baker–Campbell–Hausdorff formula : there exists a neighborhood U of the zero element of g , such that for X , Y ∈ ∈ U we have