Lagrange's Theorem for Hopf Monoids in Species

Marcelo Aguiar, Aaron Lauve

Following Radford's proof of Lagrange's theorem for pointed Hopf algebras, we prove Lagrange's theorem for Hopf monoids in the category of connected species. As a corollary, we obt…