A Lie group structure on the space of time-dependent vector fields (Q1107884)

In this note a banal relation between flows of vector fields is employed to define a natural, as regards composition of flows, non-commutative group structure on the space of time-dependent vector fields. It is shown that this group is a Lie group in the \(C_ c^{\infty}\) sense, and the adjoint action, and the exponential mapping are calculated by means of an explicit formula for the tangent to the mapping which assigns to each time-dependent vector field its flow.