The P. Hall basis from Section 15.4.3 applies in general to any Lie algebra. Let , , denote a P. Hall basis for the nilpotent formal Lie algebra . An important theorem in the study of formal Lie groups is that every can be expressed in terms of the P. Hall basis of its formal Lie algebra as

which is called the

Steven M LaValle 2020-08-14