Lagrange's Theorem for Hopf Monoids in Species

Details Lagrange's Theorem for Hopf Monoids in Species Lagrange's Theorem for Hopf Monoids in Species

2011-05-27

arxiv.org/abs/1105.5572v2

Mathematics

Combinatorics

20 pages

Scientific paper

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 obtain necessary conditions for a given subspecies K of a Hopf monoid H to be a Hopf submonoid: the quotient of any one of the generating series of H by the corresponding generating series of K must have nonnegative coefficients. Other corollaries include a necessary condition for a sequence of nonnegative integers to be the sequence of dimensions of a Hopf monoid in the form of certain polynomial inequalities, and of a set-theoretic Hopf monoid in the form of certain linear inequalities. The latter express that the binomial transform of the sequence must be nonnegative.

Affiliated with

Also associated with

No associations

Rating

Lagrange's Theorem for Hopf Monoids in Species does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Lagrange's Theorem for Hopf Monoids in Species, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lagrange's Theorem for Hopf Monoids in Species will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-665671