Milnor–Moore theorem

The Milnor–Moore theorem is a key result in the field of differential topology and algebraic topology, specifically concerning the structure of certain classes of smooth manifolds. Named after mathematicians John Milnor and John Moore, the theorem provides a characterization of the relationship between the algebra of smooth functions on a manifold and the algebra of its vector fields.