In algebra, the Milnor–Moore theorem, introduced by John W. Milnor and John C. Moore classifies an important class of Hopf algebras, of the sort that often show up as cohomology r…