Lie–Palais theorem

In differential geometry, a field of mathematics, the Lie–Palais theorem is a partial converse to the fact that any smooth action of a Lie group induces an infinitesimal action of its Lie algebra. Palais (1957) proved it as a global form of an earlier local theorem due to Sophus Lie.