 Lie bracket from local group commutators

In a local exponential chart, the mixed second differential of the group commutator defines a bilinear map on the tangent space at the identity. Inversion after swapping the two group elements proves antisymmetry. Differentiating conjugation gives $[X,Y]=\mathrm{ad}(X)Y$; applying naturality of the Lie bracket to the Adjoint representation of a Lie group then proves the Jacobi identity. For a matrix group this recovers $XY-YX$ by expanding through the mixed term.