Marcelo Aguiar ; Aaron Lauve - Lagrange's Theorem for Hopf Monoids in Species

dmtcs:2887 - Discrete Mathematics & Theoretical Computer Science, January 1, 2011, DMTCS Proceedings vol. AO, 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011) - https://doi.org/10.46298/dmtcs.2887
Lagrange's Theorem for Hopf Monoids in SpeciesArticle

Authors: Marcelo Aguiar 1; Aaron Lauve 2

  • 1 Department of Mathematics and Statistics [Texas Tech]
  • 2 Department of Mathematics [Austin]

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.


Volume: DMTCS Proceedings vol. AO, 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011)
Section: Proceedings
Published on: January 1, 2011
Imported on: January 31, 2017
Keywords: Hopf monoids,species,graded Hopf algebras,Lagrange's theorem,generating series,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO],[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]
Funding:
    Source : OpenAIRE Graph
  • Categories, Hopf Algebras, and Algebraic Combinatorics; Funder: National Science Foundation; Code: 1001935

3 Documents citing this article

Consultation statistics

This page has been seen 380 times.
This article's PDF has been downloaded 985 times.