In algebra, the Milnor–Moore theorem, introduced in (Milnor–Moore 1965), states: given a connected graded cocommutative Hopf algebra A over a field of characteristic zero with
from the universal enveloping algebra of the "graded" Lie algebra
This work may also be compared with that by E. Halpern [1958] listed below.