Formula Baker-Campbell-Hausdorff definește o expresie pentru din următoarea egalitate
aici , și sunt elemente ale algebrei Lie aproape de zero. Expresia pentru este destul de complexă lângă termenii alcătuiți din paranteze Lie din , .
Existența acestei formule joacă un rol cheie în demonstrarea faptului că o algebră Lie determină complet structura locală a grupului său Lie. Un caz special al acestei formule are aplicații în mecanica cuantică și mai ales în optica cuantică .
Există mai multe opțiuni pentru înregistrare . Dacă sunt prezentate ca o extindere a seriei, atunci primii termeni vor arăta astfel:
unde „ ” conține termeni de ordine superioară.
Cea mai generală expresie pentru este dată de formula Dynkin [1] :
=aici se efectuează însumarea tuturor valorilor nenegative ale și , și se adoptă următoarea notație: