# Lagrange's Theorem for Hopf Monoids in Species

Abstract : We prove Lagrange's theorem for Hopf monoids in the category of connected species. We deduce necessary conditions for a given subspecies $\textrm{k}$ of a Hopf monoid $\textrm{h}$ to be a Hopf submonoid: each of the generating series of $\textrm{k}$ must divide the corresponding generating series of $\textrm{k}$ in ℕ〚x〛. Among other corollaries we obtain necessary inequalities for a sequence of nonnegative integers to be the sequence of dimensions of a Hopf monoid. In the set-theoretic case the inequalities are linear and demand the non negativity of the binomial transform of the sequence.
Keywords :
Document type :
Conference papers
Domain :

Cited literature [16 references]

https://hal.inria.fr/hal-01215090
Contributor : Coordination Episciences Iam Connect in order to contact the contributor
Submitted on : Tuesday, October 13, 2015 - 3:06:35 PM
Last modification on : Wednesday, October 18, 2017 - 4:12:07 PM
Long-term archiving on: : Thursday, April 27, 2017 - 12:17:27 AM

### File

dmAO0103.pdf
Publisher files allowed on an open archive

### Citation

Marcelo Aguiar, Aaron Lauve. Lagrange's Theorem for Hopf Monoids in Species. 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), 2011, Reykjavik, Iceland. pp.15-26, ⟨10.46298/dmtcs.2887⟩. ⟨hal-01215090⟩

Record views