Lagrange's Theorem for Hopf Monoids in Species
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.
\section*{Introduction}

Lagrange's theorem states that for any subgroup $K$ of a group $H$, 
$H\cong K\times Q$ as (left) $K$-sets, where $Q=H/K$. In particular,
if $H$ is finite, then $|K|$ divides $|H|$. 
Passing to group algebras over a field $\Bbbk$, we have that 
$\Bbbk H \cong \Bbbk K \otimes \Bbbk Q$ as (left) $\Bbbk K$-modules, or that $\Bbbk H$ is free as a $\Bbbk K$-module.  Kaplansky~\cite{Kap:1975} conjectured that the same statement holds for Hopf algebras---group algebras being principal examples. 
It turns out that the result does not hold in general, as shown by Oberst and Schneider~\cite[Proposition~10]{ObeSch:1974} and \cite[Example~3.5.2]{Mon:1993}.
On the other hand, the result does hold for certain large classes of Hopf algebras,
including the finite dimensional ones by a theorem of
Nichols and Zoeller~\cite{NicZoe:1989}, and the pointed ones by a theorem of Radford~\cite{Rad:1977}. Further (and finer) results of this nature were developed by Schneider~\cite{Sch:1990,Sch:1992}. Additional work on the conjecture includes that of
Masuoka~\cite{Mas:1992} and Takeuchi~\cite{Tak:1979}; more information can be
found in Sommerh\"auser's survey~\cite{Som:2000}.

The main result of this paper (Theorem~\ref{t:main}) is a version of Lagrange's theorem for Hopf monoids in the category of connected species: if $\mathbf h}%{\bm{\sf h}$ is a connected Hopf monoid
and $\mathbf k}%{\bm{\sf k}$ is a Hopf submonoid, there exists a species $\mathbf q}%{\bm{\sf q}$ such that $\mathbf h}%{\bm{\sf h}=\mathbf k}%{\bm{\sf k}\bm\cdot\mathbf q}%{\bm{\sf q}$.
 An immediate application is a test for Hopf submonoids (Corollary~\ref{c:Sp series}): if any one of the generating series for a species $\mathbf k}%{\bm{\sf k}$ does not divide in $\mathbb{Q}_{\geq 0}{[\![} x{]\!]}$ the corresponding generating series for the Hopf monoid $\mathbf h}%{\bm{\sf h}$ (in the sense that the quotient has at least one negative coefficient), then $\mathbf k}%{\bm{\sf k}$ is not a Hopf submonoid of $\mathbf h}%{\bm{\sf h}$. A similar test also holds for connected graded Hopf algebras (Corollary~\ref{c:cgVec series}). The proof of Theorem~\ref{t:main}
for Hopf monoids in species parallels Radford's proof for Hopf algebras.
(Hopf algebras are Hopf monoids in the category of vector spaces).

The paper is organized as follows. In Section~\ref{s:Hopf algebras}, 
we recall Lagrange's theorem for Hopf algebras,
focusing on the case of connected graded Hopf algebras.
In Section~\ref{s:Hopf monoids},
we recall the basics of Hopf monoids in species and prove Lagrange's theorem in
this setting. Examples and applications are given in Section~\ref{s:applications}. 
Among these, we derive certain polynomial inequalities that a sequence of nonnegative integers must satisfy in order to be the dimension sequence of a connected Hopf monoid in species. 
In the case of a set-theoretic Hopf monoid structure, we obtain additional necessary conditions in the form of linear inequalities which express that the binomial transform of the enumerating sequence must be nonnegative. 
In Section~\ref{s:dimensions} we provide information on the growth and support of the dimension sequence of a connected Hopf monoid. The latter must be an additive submonoid of the natural numbers.
We conclude in Section~\ref{s:kernels}
with information on the species $\mathbf q}%{\bm{\sf q}$ entering in Lagrange's theorem. In the dual setting,
$\mathbf q}%{\bm{\sf q}$ is the Hopf kernel of a morphism, and for cocommutative Hopf monoids it can
be described in terms of Lie kernels and primitive elements via the Poincar\'e-Birkhoff-Witt
theorem.

All vector spaces are over a fixed field $\Bbbk$ of characteristic $0$, except in Section~\ref{s:dimensions}, where the characteristic is arbitrary.

\section{Lagrange's theorem for Hopf algebras}\label{s:Hopf algebras}
We begin by recalling a couple of
versions of this theorem. 

\begin{theorem} Let $H$ be a finite dimensional Hopf algebra over a field $\Bbbk$. If $K\subseteq H$ is any Hopf subalgebra, then $H$ is a free left (and right) $K$-module.
\end{theorem}
This is the Nichols-Zoeller theorem \cite{NicZoe:1989}; see also \cite[Theorem~3.1.5]{Mon:1993}. We will not make direct use of this result, but instead of the related results discussed below.

A Hopf algebra $H$ is \demph{pointed} if all its simple subcoalgebras are $1$-dimensional. Equivalently, the group-like elements 
of $H$ linearly span the coradical of $H$.

Given a subspace $K$ of $H$, set 
\[
K_+:=K\cap\ker(\epsilon),
\]
where $\epsilon:H\to\Bbbk$ is the counit of $H$. Let $K_+H$ denote the right $H$-ideal
generated by $K_+$.

\begin{theorem}\label{t:pointed} 
Let $H$ be a pointed Hopf algebra. If $K\subseteq H$ is any Hopf subalgebra, then $H$ is a free left (and right) $K$-module. Moreover,
\[
H\cong K\otimes (H/K_+H)
\]
as left $K$-modules.
\end{theorem}
The first statement is due to Radford \cite[Section~4]{Rad:1977} and the second (stronger) statement to Schneider \cite[Remark~4.14]{Sch:1990}, \cite[Corollary~4.3]{Sch:1992}.
Various generalizations can be found in these references as well as in 
Masuoka~\cite{Mas:1992} and Takeuchi \cite{Tak:1979}; see also Sommerha\"user~\cite{Som:2000}.
 We are interested in the particular variant given in Theorem~\ref{t:connected} below.

A Hopf algebra $H$ is \demph{graded} if there is given a decomposition
\[
H=\bigoplus_{n\geq0} H_n
\]
into linear subspaces that is preserved by all operations.  It is \demph{connected graded} if
in addition $H_0$ is linearly spanned by the unit element.  

\begin{theorem}\label{t:connected} 
Let $H$ be a connected graded Hopf algebra. If $K\subseteq H$ is a graded Hopf subalgebra, then $H$ is a free left (and right) $K$-module. Moreover,
\[
H\cong K\otimes (H/K_+H)
\]
as left $K$-modules and as graded vector spaces.
\end{theorem}
\begin{proof}
Since $H$ is connected graded, its coradical is $H_0 = \Bbbk$, so $H$ is pointed and Theorem~\ref{t:pointed} applies. Radford's proof shows that there exists a graded
vector space $Q$ such that
\[
H \cong K \otimes Q
\]
as left $K$-modules and as graded vector spaces. (The argument we give in the parallel setting of Theorem~\ref{t:main} makes this clear.)
Note that $K_{+\!}=\bigoplus_{n\geq1} K_n$, hence $K_+H$ and $H/K_+H$ inherit the grading of $H$.
To complete the proof, it suffices to show that $Q\cong H/K_+H$ as graded vector spaces. 

Let $\varphi:K\otimes Q\to H$ be an isomorphism of left $K$-modules and of graded vector spaces. We claim that
\[
\varphi(K_+\otimes Q)=K_+H.
\]
In fact, since $\varphi$ is a morphism of left $K$-modules,
\[
\varphi(K_+\otimes Q) = K_+\varphi(1\otimes Q)\subseteq K_+H.
\]
Conversely, if $k\in K_+$ and $h\in H$, writing $h=\sum_i \varphi(k_i\otimes q_i)$ with $k_i\in K$ and $q_i\in Q$, we obtain
\[
kh=\sum_i \varphi(kk_i\otimes q_i)\in \varphi(K_+\otimes Q),
\]
since $K_+$ is an ideal of $K$. 

Now, since $K=K_0\oplus K_+$, we have
\[
K\otimes Q =(K_0\otimes Q)\oplus (K_+\otimes Q)
\]
and therefore
\[
H/K_+H = \varphi(K\otimes Q)/\varphi(K_+\otimes Q) \cong \varphi (K_0\otimes Q)\cong Q
\]
as graded vector spaces.
\end{proof}


Given a graded Hopf algebra $H$, let $\poincare{H}{x}\in \mathbb{N}{[\![} x{]\!]}$ denote its
 \demph{Poincar\'e series}---the ordinary generating function for the sequence of dimensions of its graded components,
\begin{gather*
	\poincare{H}{x} := \sum_{n\geq0} \dim H_n \, x^n .
\end{gather*} 
Suppose $H$ is connected graded and $K$ is a graded Hopf subalgebra.
In this case, their Poincar\'e series are of the form
\[
1+a_1x+a_2x^2+\cdots
\]
with $a_i\in\mathbb{N}$ and the quotient $\poincare{H}{x}/\poincare{K}{x}$ is a well-defined power series in $\mathbb{Z}{[\![} x{]\!]}$.

\begin{corollary}\label{c:cgVec series} 
Let $H$ be a connected graded Hopf algebra. If $K\subseteq H$ is any graded Hopf subalgebra, then the quotient $\poincare{H}{x} / \poincare{K}{x}$ of Poincar\'e series is nonnegative, i.e., belongs to $\mathbb{N}{[\![} x{]\!]}$.
\end{corollary}
\begin{proof}
By Theorem~\ref{t:connected}, $H \cong K \otimes Q$ as graded vector spaces, where
$Q=H/K_+H$. Hence $\poincare{H}{x} = \poincare{K}{x} \, \poincare{Q}{x}$ and the result follows.
\end{proof}

\begin{example}
Consider the Hopf algebra $\textsl{QSym}$ of quasisymmetric functions in countably many variables, and the Hopf subalgebra $\textsl{Sym}$ of symmetric functions. 
They are connected graded, so by Theorem~\ref{t:connected}, $\textsl{QSym}$ is a free module over $\textsl{Sym}$. Garsia and Wallach
prove this same fact for the algebras $\textsl{QSym}_n$ and $\textsl{Sym}_n$ of (quasi) symmetric functions in $n$ variables (where $n$ is a finite number)~\cite{GarWal:2003}. 
While $\textsl{QSym}_n$ and $\textsl{Sym}_n$
are quotient algebras of $\textsl{QSym}$ and $\textsl{Sym}$, they are not quotient coalgebras.
Since a Hopf algebra structure is needed in order to apply 
Theorem~\ref{t:connected}, we cannot derive the result of Garsia and Wallach in this manner.
The papers~\cite{GarWal:2003} and~\cite{LauMas:2011} provide information on the
space $Q_n$ entering in the decomposition $\textsl{QSym}_n\cong\textsl{Sym}_n\otimes Q_n$.
\end{example}



\section{Lagrange's theorem for Hopf monoids in species}\label{s:Hopf monoids}

We first review the notion of Hopf monoid in the category of species, following \cite{AguMah:2010}, and then prove Lagrange's theorem in this setting.
We restrict attention to the case of connected Hopf monoids.

\subsection{Hopf monoids in species}\label{ss:species}

The notion of species was introduced by Joyal 
\cite{Joy:1981}. It formalizes the notion of combinatorial structure
and provides a framework for studying the generating functions which enumerate these structures. The book \cite{BerLabLer:1998} by Bergeron, Labelle and Leroux expounds the theory of set species.

Joyal's work indicates that species may also be regarded as algebraic objects; this is the point of view adopted in
\cite{AguMah:2010} and in this work. To this end, it is convenient to work with vector species.

A \demph{(vector) species} is a functor $\mathbf q}%{\bm{\sf q}$ from {finite sets} and bijections to {vector spaces} and linear maps. Specifically, it is a family of vector spaces $\mathbf q}%{\bm{\sf q}[I]$, one for each finite set $I$, together with linear maps $\mathbf q}%{\bm{\sf q}[\sigma]: \mathbf q}%{\bm{\sf q}[I] \to \mathbf q}%{\bm{\sf q}[J]$, one for each bijection $\sigma:I\to J$, satisfying 
\[
	 \mathbf q}%{\bm{\sf q}[\mathrm{id}_I] = \mathrm{id}_{\mathbf q}%{\bm{\sf q}[I]} \quad\hbox{and}\quad 
	 \mathbf q}%{\bm{\sf q}[\sigma\circ\tau] = \mathbf q}%{\bm{\sf q}[\sigma]\circ \mathbf q}%{\bm{\sf q}[\tau]
\]
whenever $\sigma$ and $\tau$ are composable bijections.

The notation $\mathbf q}%{\bm{\sf q}[a,b,c,\ldots]$ is shorthand for $\mathbf q}%{\bm{\sf q}[\{a,b,c,\ldots\}]$ and
$\mathbf q}%{\bm{\sf q}[n]$ is shorthand for $\mathbf q}%{\bm{\sf q}[1,2,\ldots,n]$. The space $\mathbf q}%{\bm{\sf q}[n]$ is an $S_n$-module
via $\sigma\cdot v = \mathbf q}%{\bm{\sf q}[\sigma](v)$ for $v\in\mathbf q}%{\bm{\sf q}[n]$ and $\sigma\in S_n$.

A species $\mathbf q}%{\bm{\sf q}$ is \demph{finite dimensional} if each vector space $\mathbf q}%{\bm{\sf q}[I]$ is finite dimensional. 
In this paper, all species are finite dimensional. 

A morphism of species is a natural transformation of functors. Let ${\sf Sp}$
denote the category of (finite dimensional) species.

We give two elementary examples that will be useful later. 

\begin{example}\label{ex: example species}
Let $\mathbf E}%{\bm{\sf l}$ be the \demph{exponential species}, defined by $\mathbf E}%{\bm{\sf l}[I] = \Bbbk\{\ast_I\}$ for all $I$. 
The symbol $\ast_I$ denotes an element canonically associated to the set $I$ (for definiteness, we may take $\ast_I=I$). Thus, $\mathbf E}%{\bm{\sf l}[I]$ is a $1$-dimensional space 
with a distinguished basis element. A richer example is provided by the species $\mathbf L}%{\bm{\sf l}$ of \demph{linear orders}, defined by  $\mathbf L}%{\bm{\sf l}[I] = \Bbbk\{\hbox{linear orders on }I\}$ for all $I$ (a space of dimension $n!$ when $|I|=n$).
\end{example}

We use $\bm\cdot$ to denote the \demph{Cauchy product} of two species. Specifically, 
\[
\bigl(\mathbf p}%{\bm{\sf p} \bm\cdot \mathbf q}%{\bm{\sf q}\bigr)[I] := \bigoplus_{S\sqcup T = I} \mathbf p}%{\bm{\sf p}[S] \otimes \mathbf q}%{\bm{\sf q}[T]
\quad\hbox{for all finite sets }I.
\]
The notation $S\sqcup T = I$ indicates that $S\cup T = I$ and $S \cap T = \emptyset$.
The sum runs over all such \demph{ordered decompositions} of $I$, or equivalently over all
subsets $S$ of $I$: there is one term for $S\sqcup T$ and another for $T\sqcup S$. 
The Cauchy product turns ${\sf Sp}$ into a symmetric monoidal category. 
The braiding simply switches the tensor factors.
The unit object
is the species $\mathbf{1}$ defined by
\[
\mathbf{1}[I]  := \begin{cases}
\Bbbk & \text{if $I$ is empty,} \\
0 & \text{otherwise.}
\end{cases}
\]

A \demph{monoid} in the category $({\sf Sp},\bm\cdot)$ is a species $\mathbf m}%{\bm{\sf m}$ together with a morphism of species $\mu: \mathbf m}%{\bm{\sf m}\bm\cdot\mathbf m}%{\bm{\sf m} \to \mathbf m}%{\bm{\sf m}$, i.e., a family of maps 
\[
	\mu_{S,T} : \mathbf m}%{\bm{\sf m}[S] \otimes \mathbf m}%{\bm{\sf m}[T] \to \mathbf m}%{\bm{\sf m}[I],
\]
one for each ordered decomposition $I = S\sqcup T$,  satisfying
appropriate associativity and unital conditions, and naturality with respect to bijections.
Briefly, to each $\mathbf m}%{\bm{\sf m}$-structure on $S$ and $\mathbf m}%{\bm{\sf m}$-structure on $T$, there is assigned an $\mathbf m}%{\bm{\sf m}$-structure on $S\sqcup T$. 
The analogous object in the category of graded vector spaces is a graded algebra.

For the species $\mathbf E}%{\bm{\sf l}$, a monoid structure is defined by sending the basis element $\ast_S \otimes \ast_T$ to the basis element $\ast_I$. For $\mathbf L}%{\bm{\sf l}$, a monoid structure is provided by concatenation of linear orders: $\mu_{S,T}(\ell_1 \otimes \ell_2) = (\ell_1, \ell_2)$. 

A \demph{comonoid} in the category $({\sf Sp},\bm\cdot)$ is a species $\mathbf c}%{\bm{\sf c}$ together with a morphism of species $\Delta:\mathbf c}%{\bm{\sf c} \to \mathbf c}%{\bm{\sf c}\bm\cdot\mathbf c}%{\bm{\sf c}$, i.e., a family of maps 
\[
	\Delta_{S,T} : \mathbf c}%{\bm{\sf c}[I] \to \mathbf c}%{\bm{\sf c}[S] \otimes \mathbf c}%{\bm{\sf c}[T],
\]
one for each ordered decomposition $I=S\sqcup T$, which are natural, coassociative and counital. 

For the species $\mathbf E}%{\bm{\sf l}$, a comonoid structure is defined by sending the basis vector $\ast_I$ to the basis vector $\ast_S \otimes \ast_T$. For $\mathbf L}%{\bm{\sf l}$, a comonoid structure is provided by restricting a total order $\ell$ on $I$ to total orders on $S$ and $T$: $\Delta_{S,T}(\ell) = \ell\vert_S\otimes \ell\vert_T$. 

We assume that our species $\mathbf q}%{\bm{\sf q}$ are \demph{connected}, i.e., $\mathbf q}%{\bm{\sf q}[\emptyset]=\Bbbk$. 
In this case, the (co)unital conditions for a (co)monoid force the maps
$\mu_{S,T}$ ($\Delta_{S,T}$) to be the canonical identifications if either $S$ or $T$ is empty. Thus, in defining a connected (co)monoid structure one only needs to specify
the maps $\mu_{S,T}$ ($\Delta_{S,T}$) when both $S$ and $T$ are nonempty.

A \demph{Hopf monoid} in the category $({\sf Sp}, \bm\cdot)$ is a monoid and comonoid whose two structures are compatible in an appropriate sense, and which carries an antipode. In this paper we only consider connected Hopf monoids. For such Hopf monoids, the existence of the antipode is guaranteed. The species $\mathbf E}%{\bm{\sf l}$ and $\mathbf L}%{\bm{\sf l}$, with the structures outlined above, are two important examples of connected Hopf monoids.  

For further details on Hopf monoids in species, see Chapter 8 of \cite{AguMah:2010}.
The theory of Hopf monoids in species is developed in Part II of this reference;
several examples are discussed in Chapters 12 and 13.




\subsection{Lagrange's theorem for connected Hopf monoids} 

Given a connected Hopf monoid $\mathbf k}%{\bm{\sf k}$ in species, we let $\mathbf k}%{\bm{\sf k}_+$ denote the species
defined by
\[
\mathbf k}%{\bm{\sf k}_+[I] = \begin{cases}
\mathbf k}%{\bm{\sf k}[I] & \text{ if }I\neq\emptyset, \\
    0     & \text{ if }I=\emptyset.
\end{cases}
\]
If $\mathbf k}%{\bm{\sf k}$ is a submonoid of a monoid $\mathbf h}%{\bm{\sf h}$, then $\mathbf k}%{\bm{\sf k}_+\mathbf h}%{\bm{\sf h}$ denotes the right ideal
of $\mathbf h}%{\bm{\sf h}$ generated by $\mathbf k}%{\bm{\sf k}_+$. In other words,
\[
(\mathbf k}%{\bm{\sf k}_+\mathbf h}%{\bm{\sf h})[I]=\sum_{\substack{S\sqcup T=I\\ S\neq\emptyset}}\mu_{S,T}\bigl(\mathbf k}%{\bm{\sf k}[S]\otimes\mathbf h}%{\bm{\sf h}[T]\bigr).
\]

\begin{theorem}\label{t:main} 
Let $\mathbf h}%{\bm{\sf h}$ be a connected Hopf monoid in the category of species. If $\mathbf k}%{\bm{\sf k}$
is a Hopf submonoid of
$\mathbf h}%{\bm{\sf h}$, then $\mathbf h}%{\bm{\sf h}$ is a free left $\mathbf k}%{\bm{\sf k}$-module. Moreover,
\[
\mathbf h}%{\bm{\sf h}\cong \mathbf k}%{\bm{\sf k}\bm\cdot(\mathbf h}%{\bm{\sf h}/\mathbf k}%{\bm{\sf k}_+\mathbf h}%{\bm{\sf h})
\]
as left $\mathbf k}%{\bm{\sf k}$-modules (and as species).
\end{theorem} 

The proof is given after a series of preparatory results.
Our argument parallels Radford's proof of the first statement in Theorem~\ref{t:pointed} \cite[Section~4]{Rad:1977}.
The main ingredient is a result of Larson and
Sweedler \cite{LarSwe:1969} known as the fundamental theorem of Hopf modules 
\cite[Theorem~1.9.4]{Mon:1993}. It states that if $(M,\rho)$ is a left Hopf module over $K$, then $M$ is free as a left $K$-module and in fact is isomorphic to the Hopf module $K\otimes Q$, where $Q$ is the space of \demph{coinvariants} for the coaction $\rho \colon M\to K\otimes M$. 
Takeuchi extends this result to the context of Hopf monoids in a braided monoidal category with equalizers \cite[Theorem~3.4]{Tak:1999}; a similar result (in a more restrictive setting)
is given by Lyubashenko \cite[Theorem~1.1]{Lyu:1995}. As a special case
of Takeuchi's result, we have the following.

\begin{proposition}\label{p:FTHM} Let $\mathbf m}%{\bm{\sf m}$ be a left Hopf module over a connected Hopf monoid $\mathbf k}%{\bm{\sf k}$ in species. There is an isomorphism $\mathbf m}%{\bm{\sf m} \cong \mathbf k}%{\bm{\sf k} \bm\cdot \mathbf q}%{\bm{\sf q}$ of left Hopf modules, where 
\[
\mathbf q}%{\bm{\sf q}[I] := \bigl\{m\in \mathbf m}%{\bm{\sf m}[I] \mid \text{$\rho_{S,T}(m) = 0$ for $S\sqcup T=I$, $T\neq I$} \bigr\}.
\]
In particular, $\mathbf m}%{\bm{\sf m}$ is free as a left $\mathbf k}%{\bm{\sf k}$-module.
\end{proposition}
Here $\rho:\mathbf m}%{\bm{\sf m}\to\mathbf k}%{\bm{\sf k}\bm\cdot\mathbf m}%{\bm{\sf m}$ denotes the comodule structure, which consists of maps
\[
\rho_{S,T}: \mathbf m}%{\bm{\sf m}[I] \to \mathbf k}%{\bm{\sf k}[S]\otimes\mathbf m}%{\bm{\sf m}[T],
\]
one for each ordered decomposition $I=S\sqcup T$.

\medskip

Given a comonoid $\mathbf h}%{\bm{\sf h}$ and two subspecies $\mathbf u}%{\bm{\sf u},\mathbf v}%{\bm{\sf v} \subseteq \mathbf h}%{\bm{\sf h}$, the \demph{wedge} of $\mathbf u}%{\bm{\sf u}$ and $\mathbf v}%{\bm{\sf v}$ is the subspecies $\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}$ of $\mathbf h}%{\bm{\sf h}$ defined by
\[
\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v} := \Delta^{-1}(\mathbf u}%{\bm{\sf u}\bm\cdot\mathbf h}%{\bm{\sf h} + \mathbf h}%{\bm{\sf h}\bm\cdot\mathbf v}%{\bm{\sf v}).
\]

The remaining ingredients needed for the proof are supplied by the following lemmas.

\begin{lemma}\label{l:lemma 1}
Let $\mathbf h}%{\bm{\sf h}$ be a comonoid in species.
If $\mathbf u}%{\bm{\sf u}$ and $\mathbf v}%{\bm{\sf v}$ are subcomonoids of $\mathbf h}%{\bm{\sf h}$, then:
\begin{itemize}
\item[(i)] $\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}$ is a subcomonoid of $\mathbf h}%{\bm{\sf h}$ and $\mathbf u}%{\bm{\sf u}+\mathbf v}%{\bm{\sf v}\subseteq \mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}$;
\item[(ii)]
$\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}= \Delta^{-1}\bigl(\mathbf u}%{\bm{\sf u}\bm\cdot(\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}) + (\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v})\bm\cdot\mathbf v}%{\bm{\sf v}\bigr)$.
\end{itemize}
\end{lemma}
\begin{proof}
(i) The proofs of the analogous statements for coalgebras given in \cite[Section~3.3]{Abe:1980}
extend to this setting. 

(ii) {}From the definition, $\Delta^{-1}\bigl(\mathbf u}%{\bm{\sf u}\bm\cdot(\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}) + (\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v})\bm\cdot\mathbf v}%{\bm{\sf v}\bigr)\subseteq \mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}$. Now, since $\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}$ is a subcomonoid,
\[
\Delta(\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v})\subseteq \bigr((\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v})\bm\cdot(\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v})\bigr)\cap
(\mathbf u}%{\bm{\sf u}\bm\cdot\mathbf h}%{\bm{\sf h} + \mathbf h}%{\bm{\sf h}\bm\cdot\mathbf v}%{\bm{\sf v}) = \mathbf u}%{\bm{\sf u}\bm\cdot(\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}) + (\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v})\bm\cdot\mathbf v}%{\bm{\sf v},
\]
since $\mathbf u}%{\bm{\sf u},\mathbf v}%{\bm{\sf v}\subseteq \mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}$. This proves the converse inclusion.
\end{proof}

\begin{lemma}\label{l:lemma 1.5}
Let $\mathbf h}%{\bm{\sf h}$ be a Hopf monoid in species and $\mathbf k}%{\bm{\sf k}$ be a submonoid. 
Let $\mathbf u}%{\bm{\sf u},\mathbf v}%{\bm{\sf v}\subseteq\mathbf h}%{\bm{\sf h}$ be subspecies which are left $\mathbf k}%{\bm{\sf k}$-submodules of $\mathbf h}%{\bm{\sf h}$.
Then $\mathbf u}%{\bm{\sf u} \wedge \mathbf v}%{\bm{\sf v}$ is a left $\mathbf k}%{\bm{\sf k}$-submodule of $\mathbf h}%{\bm{\sf h}$.
\end{lemma}
\begin{proof}
Since $\mathbf h}%{\bm{\sf h}$ is a Hopf monoid, the coproduct $\Delta:\mathbf h}%{\bm{\sf h}\to\mathbf h}%{\bm{\sf h}\bm\cdot\mathbf h}%{\bm{\sf h}$ is a morphism
of left $\mathbf h}%{\bm{\sf h}$-modules, where $\mathbf h}%{\bm{\sf h}$ acts on $\mathbf h}%{\bm{\sf h}\bm\cdot\mathbf h}%{\bm{\sf h}$ via $\Delta$. Hence it is also 
a morphism of left $\mathbf k}%{\bm{\sf k}$-modules. By hypothesis, $\mathbf u}%{\bm{\sf u}\bm\cdot\mathbf h}%{\bm{\sf h}+\mathbf h}%{\bm{\sf h}\bm\cdot\mathbf v}%{\bm{\sf v}$ is a left $\mathbf k}%{\bm{\sf k}$-submodule
of $\mathbf h}%{\bm{\sf h}\bm\cdot\mathbf h}%{\bm{\sf h}$. Hence, $\mathbf u}%{\bm{\sf u}\wedge\mathbf v}%{\bm{\sf v}=\Delta^{-1}(\mathbf u}%{\bm{\sf u}\bm\cdot\mathbf h}%{\bm{\sf h} + \mathbf h}%{\bm{\sf h}\bm\cdot\mathbf v}%{\bm{\sf v})$ is a left $\mathbf k}%{\bm{\sf k}$-submodule of $\mathbf h}%{\bm{\sf h}$. 
\end{proof}

\begin{lemma}\label{l:lemma 2}
Let $\mathbf h}%{\bm{\sf h}$ be a Hopf monoid in species and $\mathbf k}%{\bm{\sf k}$ a Hopf submonoid. 
Let $\mathbf c}%{\bm{\sf c}$ be a subcomonoid of $\mathbf h}%{\bm{\sf h}$ and a left $\mathbf k}%{\bm{\sf k}$-submodule of $\mathbf h}%{\bm{\sf h}$.
Then $(\mathbf k}%{\bm{\sf k} \wedge \mathbf c}%{\bm{\sf c})/\mathbf c}%{\bm{\sf c}$ is a left $\mathbf k}%{\bm{\sf k}$-Hopf module.
\end{lemma}

\begin{proof}
By Lemma~\ref{l:lemma 1.5}, $\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c}$ is a left $\mathbf k}%{\bm{\sf k}$-submodule of $\mathbf h}%{\bm{\sf h}$. Therefore, the quotient $(\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c})/\mathbf c}%{\bm{\sf c}$ by the left $\mathbf k}%{\bm{\sf k}$-submodule $\mathbf c}%{\bm{\sf c}$ is a left $\mathbf k}%{\bm{\sf k}$-module.

We next argue that $(\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c})/\mathbf c}%{\bm{\sf c}$ is a $\mathbf k}%{\bm{\sf k}$-comodule. Consider the composite
\[
\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c} \map{\Delta} \mathbf k}%{\bm{\sf k}\bm\cdot(\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c}) + (\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c})\bm\cdot\mathbf c}%{\bm{\sf c}
\onto \mathbf k}%{\bm{\sf k}\bm\cdot\bigl(\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c})/\mathbf c}%{\bm{\sf c},
\]
where the first map is granted by Lemma~\ref{l:lemma 1} and the second is the projection modulo $\mathbf c}%{\bm{\sf c}$ on the second coordinate. Since $\mathbf c}%{\bm{\sf c}$ is a subcomonoid,
the composite factors through $\mathbf c}%{\bm{\sf c}$ and induces
\[
(\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c})/\mathbf c}%{\bm{\sf c} \to \mathbf k}%{\bm{\sf k}\bm\cdot\bigl(\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c})/\mathbf c}%{\bm{\sf c}.
\]
This defines a left $\mathbf k}%{\bm{\sf k}$-comodule structure on $(\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c})/\mathbf c}%{\bm{\sf c}$.

Finally, the compatibility between the module and comodule structures on $(\mathbf k}%{\bm{\sf k}\wedge\mathbf c}%{\bm{\sf c})/\mathbf c}%{\bm{\sf c}$ is inherited from
the compatibility between the product and coproduct of $\mathbf h}%{\bm{\sf h}$.
\end{proof}

We are nearly ready for the proof of the main result. First, recall the \demph{coradical filtration}  of a connected comonoid in species \cite[Section~8.10]{AguMah:2010}. Given a connected comonoid $\mathbf c}%{\bm{\sf c}$, define subspecies $\mathbf c}%{\bm{\sf c}_{(n)}$ by
\[
\mathbf c}%{\bm{\sf c}_{(0)}=\mathbf{1}
\quad\text{and}\quad
\mathbf c}%{\bm{\sf c}_{(n)} = \mathbf c}%{\bm{\sf c}_{(0)} \wedge \mathbf c}%{\bm{\sf c}_{(n-1)} \text{ \ for all $n\geq 1$.}
\]
We then have 
\[
\mathbf c}%{\bm{\sf c}_{(0)} \subseteq \mathbf c}%{\bm{\sf c}_{(1)} \subseteq \dotsb\subseteq \mathbf c}%{\bm{\sf c}_{(n)}\subseteq \dotsb \mathbf c}%{\bm{\sf c}
\quad\text{and}\quad
\mathbf c}%{\bm{\sf c}= \bigcup_{n\geq 0} \mathbf c}%{\bm{\sf c}_{(n)}.
\]

\begin{proof}[Proof of Theorem~\ref{t:main}] We show that there is a species $\mathbf q}%{\bm{\sf q}$ such that $\mathbf h}%{\bm{\sf h} \cong \mathbf k}%{\bm{\sf k}\bm\cdot \mathbf q}%{\bm{\sf q}$ as left $\mathbf k}%{\bm{\sf k}$-modules. As in the proof of Theorem~\ref {t:connected}, it then follows that $\mathbf q}%{\bm{\sf q}\cong \mathbf h}%{\bm{\sf h}/\mathbf k}%{\bm{\sf k}_+\mathbf h}%{\bm{\sf h}$.

Define a sequence  $\mathbf k}%{\bm{\sf k}^{(n)}$ of subspecies of $\mathbf h}%{\bm{\sf h}$ by 
\[
\mathbf k}%{\bm{\sf k}^{(0)}=\mathbf k}%{\bm{\sf k} \quad\text{and}\quad \mathbf k}%{\bm{\sf k}^{(n)} = \mathbf k}%{\bm{\sf k} \wedge \mathbf k}%{\bm{\sf k}^{(n-1)} \text{ \ for all $n\geq 1$.}
\] 

Each $\mathbf k}%{\bm{\sf k}^{(n)}$ is a subcomonoid and a left $\mathbf k}%{\bm{\sf k}$-submodule of $\mathbf h}%{\bm{\sf h}$. 
This follows from Lemmas~\ref{l:lemma 1}
and~\ref{l:lemma 1.5} by induction on $n$.
Then Lemma~\ref{l:lemma 2} provides a left $\mathbf k}%{\bm{\sf k}$-Hopf module structure
on the quotient species $\mathbf k}%{\bm{\sf k}^{(n)}/\mathbf k}%{\bm{\sf k}^{(n-1)}$ for all $n\geq1$. 
Hence $\mathbf k}%{\bm{\sf k}^{(n)}/\mathbf k}%{\bm{\sf k}^{(n-1)}$ is a free left $\mathbf k}%{\bm{\sf k}$-module, by Proposition~\ref{p:FTHM}.

We claim that there exists a sequence of species $\mathbf q}%{\bm{\sf q}_n$
such that
\[
\mathbf k}%{\bm{\sf k}^{(n)} \cong \mathbf k}%{\bm{\sf k}\bm\cdot \mathbf q}%{\bm{\sf q}_n
\]
as left $\mathbf k}%{\bm{\sf k}$-modules for all $n\geq 0$; that is, each $\mathbf k}%{\bm{\sf k}^{(n)}$ is a free left $\mathbf k}%{\bm{\sf k}$-module. Moreover, we claim that the $\mathbf q}%{\bm{\sf q}_n$ can be chosen so that
\[
\mathbf q}%{\bm{\sf q}_0\subseteq \mathbf q}%{\bm{\sf q}_1\ \subseteq \dotsb\subseteq \mathbf q}%{\bm{\sf q}_n \subseteq\dotsb
\]
and the above isomorphisms are compatible with the inclusions $\mathbf q}%{\bm{\sf q}_{n-1}\subseteq\mathbf q}%{\bm{\sf q}_n$ and $\mathbf k}%{\bm{\sf k}^{(n-1)}\subseteq\mathbf k}%{\bm{\sf k}^{(n)}$.

We prove the claims by induction on $n\geq 0$. We start by letting $\mathbf q}%{\bm{\sf q}_0=\mathbf{1}$. 
For $n\geq 1$, we have
\[
\mathbf k}%{\bm{\sf k}^{(n-1)}\cong \mathbf k}%{\bm{\sf k}\bm\cdot \mathbf q}%{\bm{\sf q}_{n-1}
\quad\text{and}\quad
\mathbf k}%{\bm{\sf k}^{(n)}/\mathbf k}%{\bm{\sf k}^{(n-1)}\cong \mathbf k}%{\bm{\sf k}\bm\cdot \mathbf q}%{\bm{\sf q}'_n
\] 
for some species $ \mathbf q}%{\bm{\sf q}'_n$ (the former by induction hypothesis and the latter by the above argument). Let
\[
\mathbf q}%{\bm{\sf q}_{n} = \mathbf q}%{\bm{\sf q}_{n-1}\oplus \mathbf q}%{\bm{\sf q}'_n.
\]
By choosing an arbitrary $\mathbf k}%{\bm{\sf k}$-module section of the map
$\mathbf k}%{\bm{\sf k}^{(n)}\onto\mathbf k}%{\bm{\sf k}^{(n)}/\mathbf k}%{\bm{\sf k}^{(n-1)}\cong \mathbf k}%{\bm{\sf k}\bm\cdot \mathbf q}%{\bm{\sf q}'_n$ (possible by freeness),
we obtain an isomorphism 
\[
\mathbf k}%{\bm{\sf k}^{(n)}\cong \mathbf k}%{\bm{\sf k}\bm\cdot \mathbf q}%{\bm{\sf q}_{n}
\]
extending the isomorphism $\mathbf k}%{\bm{\sf k}^{(n-1)}\cong \mathbf k}%{\bm{\sf k}\bm\cdot \mathbf q}%{\bm{\sf q}_{n-1}$.
This proves the claims.

We utilize the coradical filtration of $\mathbf h}%{\bm{\sf h}$ to finish the proof. Since $\mathbf h}%{\bm{\sf h}$ is connected, $\mathbf h}%{\bm{\sf h}_{(0)}=\mathbf{1} \subseteq \mathbf k}%{\bm{\sf k}= \mathbf k}%{\bm{\sf k}^{(0)}$, and by induction,
\[
	\mathbf h}%{\bm{\sf h}_{(n)} \subseteq \mathbf k}%{\bm{\sf k}^{(n)} \quad\hbox{for all }n\geq0.
\]
Hence,
\[
\mathbf h}%{\bm{\sf h}= \bigcup_{n\geq 0} \mathbf h}%{\bm{\sf h}_{(n)}
=\bigcup_{n\geq 0} \mathbf k}%{\bm{\sf k}^{(n)}
\cong\bigcup_{n\geq 0} \mathbf k}%{\bm{\sf k}\bm\cdot \mathbf q}%{\bm{\sf q}_{n}
\cong\mathbf k}%{\bm{\sf k}\bm\cdot \mathbf q}%{\bm{\sf q}
\text{ \ where \ }
\mathbf q}%{\bm{\sf q}=\bigcup_{n\geq 0} \mathbf q}%{\bm{\sf q}_n.
\] 
Thus $\mathbf h}%{\bm{\sf h}$ is free as a left $\mathbf k}%{\bm{\sf k}$-module. 
\end{proof}

Let $\pi:\mathbf h}%{\bm{\sf h}\to\mathbf k}%{\bm{\sf k}$ be a morphism of Hopf monoids. The \demph{right Hopf kernel} of $\pi$ is the species defined by
\begin{equation}\label{e:hker}
\mathrm{Hker}(\pi)=\ker\bigl(\mathbf h}%{\bm{\sf h} \map{\Delta} \mathbf h}%{\bm{\sf h}\bm\cdot\mathbf h}%{\bm{\sf h}\map{\pi_{+}\bm\cdot\,\mathrm{id}} \mathbf k}%{\bm{\sf k}_{+\!}\bm\cdot\mathbf h}%{\bm{\sf h}\bigr),
\end{equation}
where $\pi_+:\mathbf h}%{\bm{\sf h}\to\mathbf k}%{\bm{\sf k}_+$ is $\pi$ followed by the canonical projection $\mathbf k}%{\bm{\sf k}\onto\mathbf k}%{\bm{\sf k}_+$.

For the following result, we employ duality for Hopf monoids~\cite[Section~8.6.2]{AguMah:2010}. (We assume all species are finite dimensional.)

\begin{theorem}\label{t:maindual} 
Let $\mathbf h}%{\bm{\sf h}$ be a connected Hopf monoid in the category of species and $\mathbf k}%{\bm{\sf k}$
a quotient Hopf monoid via a morphism $\pi:\mathbf h}%{\bm{\sf h}\onto\mathbf k}%{\bm{\sf k}$.
Then $\mathbf h}%{\bm{\sf h}$ is a cofree left $\mathbf k}%{\bm{\sf k}$-comodule. Moreover,
\[
\mathbf h}%{\bm{\sf h}\cong \mathbf k}%{\bm{\sf k}\bm\cdot \mathrm{Hker}(\pi)
\]
as left $\mathbf k}%{\bm{\sf k}$-comodules (and as species).
\end{theorem} 
\begin{proof} By duality,
$\mathbf k}%{\bm{\sf k}^*$ is a Hopf submonoid of $\mathbf h}%{\bm{\sf h}^*$, so $\mathbf h}%{\bm{\sf h}^*\cong\mathbf k}%{\bm{\sf k}^*\bm\cdot(\mathbf h}%{\bm{\sf h}^*/\mathbf k}%{\bm{\sf k}^*_+\mathbf h}%{\bm{\sf h}^*)$
by Theorem~\ref{t:main}.
Dualizing again we obtain the result, since
\[
\mathbf h}%{\bm{\sf h}^*/\mathbf k}%{\bm{\sf k}^*_+\mathbf h}%{\bm{\sf h}^*=\mathrm{coker}\bigl(\mathbf k}%{\bm{\sf k}^*_{+\!}\bm\cdot\mathbf h}%{\bm{\sf h}^* \map{\pi^*_+\bm\cdot\,\mathrm{id}} 
\mathbf h}%{\bm{\sf h}^{*\!}\bm\cdot\mathbf h}%{\bm{\sf h}^* \map{\Delta^*} 
\mathbf h}%{\bm{\sf h}^* \bigr). \qedhere
\]
\end{proof}




\section{Applications and examples}\label{s:applications}

\subsection{A test for Hopf submonoids}

Two invariants associated to a (finite dimensional) species $\mathbf q}%{\bm{\sf q}$ are the \demph{exponential generating series} $\exponential{\mathbf q}%{\bm{\sf q}}{x}$ and the
\demph{type generating series} $\type{\mathbf q}%{\bm{\sf q}}{x}$. They
are given by
\[
\exponential{\mathbf q}%{\bm{\sf q}}{x} = \sum_{n\geq 0} \dim \mathbf q}%{\bm{\sf q}[n]\, \frac{x^n}{n!}
\quad\text{and}\quad
\type{\mathbf q}%{\bm{\sf q}}{x} = \sum_{n\geq 0} \dim \mathbf q}%{\bm{\sf q}[n]_{S_n}\, x^n,
\]
where 
\[
\mathbf q}%{\bm{\sf q}[n]_{S_n} =\mathbf q}%{\bm{\sf q}[n]/\Bbbk\{v-\sigma\cdot v \mid v\in \mathbf q}%{\bm{\sf q}[n],\ \sigma\in S_n\}. 
\]
Both are specializations of the \demph{cycle index series} $\cycle{\mathbf q}%{\bm{\sf q}}{x_1,x_2,\dotsc}$; see \cite[Section~1.2]{BerLabLer:1998} for the definition. Specifically, 
\begin{gather*}
	\exponential{\mathbf q}%{\bm{\sf q}}{x} = \cycle{\mathbf q}%{\bm{\sf q}}{x,0,0,\dotsc}
\quad\text{and}\quad
	\type{\mathbf q}%{\bm{\sf q}}{x} = \cycle{\mathbf q}%{\bm{\sf q}}{x,x^2,x^3,\dotsc} .
\end{gather*}

The cycle index series is multiplicative under Cauchy product \cite[Section~1.3]{BerLabLer:1998}: if $\mathbf h}%{\bm{\sf h} = \mathbf k}%{\bm{\sf k} \bm\cdot \mathbf q}%{\bm{\sf q}$, then $\cycle{\mathbf h}%{\bm{\sf h}}{x_1,x_2,\dotsc} = \cycle{\mathbf k}%{\bm{\sf k}}{x_1,x_2,\dotsc} \, \cycle{\mathbf q}%{\bm{\sf q}}{x_1,x_2,\dotsc}$. By specialization, the same is true for the exponential
and type generating series.

Let $\mathbb{Q}_{\geq 0}$ denote the nonnegative rational numbers. An immediate consequence of Theorems~\ref{t:main} and~\ref{t:maindual} is the following.

\begin{corollary}\label{c:Sp series} 
Let $\mathbf h}%{\bm{\sf h}$ and $\mathbf k}%{\bm{\sf k}$ be connected Hopf monoids in species. 
Suppose $\mathbf k}%{\bm{\sf k}$ is either a Hopf submonoid or a quotient Hopf monoid of $\mathbf h}%{\bm{\sf h}$.
Then the quotient of cycle index series
$\cycle{\mathbf h}%{\bm{\sf h}}{x_1,x_2,\dotsc} / \cycle{\mathbf k}%{\bm{\sf k}}{x_1,x_2,\dotsc}$ is nonnegative, i.e., belongs to $\mathbb{Q}_{\geq 0}{[\![} x_1,x_2,\dotsc {]\!]}$. 
In particular, the quotients $\exponential{\mathbf h}%{\bm{\sf h}}{x}/\exponential{\mathbf k}%{\bm{\sf k}}{x}$ and $\type{\mathbf h}%{\bm{\sf h}}{x}/\type{\mathbf k}%{\bm{\sf k}}{x}$ are also nonnegative.
\end{corollary}

Given a connected Hopf monoid $\mathbf h}%{\bm{\sf h}$ in species, we may use Corollary~\ref{c:Sp series} to determine if a given species $\mathbf k}%{\bm{\sf k}$ may be a Hopf submonoid (or a quotient Hopf monoid).

\begin{example}\label{ex: submonoid}
A \demph{partition} of a set $I$ is an unordered
collection of disjoint nonempty subsets of $I$ whose union is $I$. The notation 
$ab{\textcolor{mymagenta}{.}} c$ is shorthand for the partition $\bigl\{\{a,b\},\,\{c\}\bigr\}$ of $\{a,b,c\}$.

Let $\bm\Pi$ be the species of set partitions, i.e., $\bm\Pi[I]$ is the vector space with basis the set of all partitions of $I$.
Let $\bm\Pi'$ denote the subspecies linearly spanned by set partitions with distinct block sizes. For example, 
\[
\bm\Pi[a,b,c] = \Bbbk\bigl\{ abc, a{\textcolor{mymagenta}{.}} bc, ab{\textcolor{mymagenta}{.}} c, a{\textcolor{mymagenta}{.}} bc, a{\textcolor{mymagenta}{.}} b{\textcolor{mymagenta}{.}} c \bigr\} 
\quad\text{and}\quad
\bm\Pi'[a,b,c] = \Bbbk\bigl\{ abc, a{\textcolor{mymagenta}{.}} bc, ab{\textcolor{mymagenta}{.}} c, a{\textcolor{mymagenta}{.}} bc\bigr\}.
\]
The sequences $(\dim\bm\Pi[n])_{n\geq 0}$ and $(\dim\bm\Pi'[n])_{n\geq 0}$ appear in \cite{Slo:oeis} as  A000110 and A007837, respectively. We have
\[
\exponential{\bm\Pi}{x} = \exp\bigl(\exp(x)-1\bigr) = 1+x+x^2+\frac{5}{6}x^3+\frac{5}{8}x^4+\dotsb
\]
and
\[
\exponential{\bm\Pi'}{x} = \prod_{n\geq 1}\bigl(1+\frac{x^n}{n!}\bigr) = 1+x+\frac{1}{2}x^2+\frac{2}{3}x^3+\frac{5}{24}x^4+\dotsb \,.
\]

A Hopf monoid structure on $\bm\Pi$ is defined in \cite[Section~12.6]{AguMah:2010}. 
There are many linear bases of $\bm\Pi$ indexed by set partitions, and many ways
to embed $\bm\Pi'$ as a subspecies of $\bm\Pi$. Is it possible to embed $\bm\Pi'$ as a 
Hopf submonoid of $\bm\Pi$? We have
\[
\exponential{\bm\Pi}{x} \big/ \exponential{\bm\Pi'}{x} 
 =  
1+\frac12 x^2 - \frac1{3} x^3 + \frac{1}{2} x^4 - \frac{11}{30} x^5 + \dotsb \,,
\]
so the answer is negative by Corollary~\ref{c:Sp series}. In fact, it is not possible to embed $\bm\Pi'$ as a Hopf submonoid of $\bm\Pi$ for any potential Hopf monoid structure on $\bm\Pi$.

We remark that the type generating series quotient for the pair of species in Example~\ref{ex: submonoid} is nonnegative:
\begin{align*}
	\type{{\bm\Pi}}{x}  \ &= \ 1+x+2x^2+3x^3+5x^4+7x^5+11x^6+15x^7  + \dotsb \,, \\
	\type{{\bm\Pi'}}{x} \ &= \ 1 + x+x^2+2x^3+2x^4+3x^5+4x^6+5x^7  + \dotsb \,, \\
	\type{{\bm\Pi}}{x} \big/ \type{{\bm\Pi'}}{x} \ &= \ 1+x^2+2x^4+3x^6+5x^8+7x^{10} + \dotsb \,. 
\end{align*}
This can be understood by appealing to the Hopf algebra $\textsl{Sym}$ of symmetric functions. A basis for its homogenous component of degree $n$ is indexed by integer partitions of $n$, so $\poincare{\textsl{Sym}}{x} = \type{{\bm\Pi}}{x}$. Moreover, $\type{{\bm\Pi'}}{x}$ enumerates the integer partitions with odd part sizes and $\textsl{Sym}$ does indeed contain a Hopf subalgebra with this Poincar\'e series. It is the algebra of Schur $Q$-functions. See \cite[III.8]{Mac:1995}. Thus $\type{{\bm\Pi}}{x} \big/ \type{{\bm\Pi'}}{x}$ is nonnegative by Corollary~\ref{c:cgVec series}.
\end{example}

\subsection{Tests for Hopf monoids}\label{ss:ord-exp}

Let $(a_n)_{n\geq 0}$ be a sequence of nonnegative integers with $a_0=1$.
Does there exist a connected Hopf monoid $\mathbf h}%{\bm{\sf h}$ with $\dim \mathbf h}%{\bm{\sf h}[n]=a_n$ for all $n$?
The next result provides conditions that the sequence $(a_n)_{n\geq 0}$ must
satisfy in order for this to be the case.
The proof makes use of the \demph{Hadamard product\/} of Hopf monoids~\cite[Sections~8.1 and~8.13]{AguMah:2010}. If $\mathbf h}%{\bm{\sf h}$ and $\mathbf k}%{\bm{\sf k}$ are Hopf monoids, so is $\mathbf h}%{\bm{\sf h}\times\mathbf k}%{\bm{\sf k}$, with $(\mathbf h}%{\bm{\sf h}\times\mathbf k}%{\bm{\sf k})[I] = \mathbf h}%{\bm{\sf h}[I]\otimes \mathbf k}%{\bm{\sf k}[I]$ for each finite set $I$.
The exponential species $\mathbf E}%{\bm{\sf l}$ is the unit element for the Hadamard product. 

\begin{corollary}[The (ord/exp)-test]\label{c:ord-exp}
For any connected Hopf monoid in species $\mathbf h}%{\bm{\sf h}$, 
\[
\Bigl(\sum_{n\geq 0} \dim \mathbf h}%{\bm{\sf h}[n]\, x^n\Bigr) \Big/ \Bigl(\sum_{n\geq 0} \frac{\dim \mathbf h}%{\bm{\sf h}[n]}{n!} \, x^n\Bigr)   \in \mathbb{Q}_{\geq 0}{[\![} x{]\!]}.
\]
\end{corollary}
\begin{proof}
Consider the canonical morphism of Hopf monoids $\mathbf L}%{\bm{\sf l} \onto \mathbf E}%{\bm{\sf l}$~\cite[Section~8.5]{AguMah:2010}; it maps any linear order $\ell\in\mathbf L}%{\bm{\sf l}[I]$ to the basis element $\ast_I\in\mathbf E}%{\bm{\sf l}[I]$. The Hadamard product then yields a morphism of
Hopf monoids
\[
\mathbf L}%{\bm{\sf l}\times\mathbf h}%{\bm{\sf h} \onto \mathbf E}%{\bm{\sf l}\times\mathbf h}%{\bm{\sf h}\cong\mathbf h}%{\bm{\sf h}.
\]
By Corollary~\ref {c:Sp series}, $\exponential{\mathbf L}%{\bm{\sf l}\times\mathbf h}%{\bm{\sf h}}{x}/\exponential{\mathbf h}%{\bm{\sf h}}{x}\in
\mathbb{Q}_{\geq 0}{[\![} x{]\!]}$. Since $\exponential{\mathbf L}%{\bm{\sf l}\times\mathbf h}%{\bm{\sf h}}{x}=\sum_{n\geq 0} \dim \mathbf h}%{\bm{\sf h}[n]\, x^n$, the result follows.
\end{proof}

Let $a_n=\dim \mathbf h}%{\bm{\sf h}[n]$. Corollary~\ref{c:ord-exp} states that the ratio of the ordinary to the exponential generating function of the sequence $(a_n)_{n\geq 0}$ must be nonnegative.
This translates into a sequence of polynomial inequalities, the first of which are as follows:
\begin{equation}\label{e:ord-exp}
5a_3\geq 3a_2a_1, \quad
23a_4+12a_2a_1^2 \geq 20a_3a_1+6a_2^2.
\end{equation}
In particular, not every nonnegative sequence arises as the dimension sequence of a Hopf monoid.

The following test is of a similar nature, but involves the type 
instead of the exponential generating function. The conditions then
depend not just on the dimension sequence of $\mathbf h}%{\bm{\sf h}$, but also on its species structure.

\begin{corollary}[The (ord/type)-test]\label{c:full-bosonic}
For any connected Hopf monoid in species $\mathbf h}%{\bm{\sf h}$, 
\[
\Bigl(\sum_{n\geq 0} \dim \mathbf h}%{\bm{\sf h}[n]\, x^n\Bigr) \Big/ \Bigl(\sum_{n\geq 0} \dim \mathbf h}%{\bm{\sf h}[n]_{S_n}\, x^n\Bigr)   \in \mathbb{N}{[\![} x{]\!]}.
\] 
\end{corollary}
\begin{proof}
We argue as in the proof of Corollary~\ref{c:ord-exp}, using type generating functions
instead. Since we have $\type{\mathbf L}%{\bm{\sf l}\times\mathbf h}%{\bm{\sf h}}{x}= \sum_{n\geq 0} \dim \mathbf h}%{\bm{\sf h}[n]\, x^n$, the result follows.
\end{proof}

\begin{remark}
The previous result may also be derived as follows. According to~\cite[Chapter 15]{AguMah:2010},
associated to the Hopf monoid $\mathbf h}%{\bm{\sf h}$ there are two graded Hopf algebras $\mathcal K(\mathbf h}%{\bm{\sf h})$ and $\overline{\K}(\mathbf h}%{\bm{\sf h})$, as well as
a surjective morphism
\[
\mathcal K(\mathbf h}%{\bm{\sf h}) \onto \overline{\K}(\mathbf h}%{\bm{\sf h}).
\]
Moreover, the Poincar\'e series for these Hopf algebras are
\[
\poincare{\mathcal K(\mathbf h}%{\bm{\sf h})}{x} = \sum_{n\geq 0} \dim \mathbf h}%{\bm{\sf h}[n]\, x^n
\quad\text{and}\quad
\poincare{\overline{\K}(\mathbf h}%{\bm{\sf h})}{x} = \sum_{n\geq 0} \dim \mathbf h}%{\bm{\sf h}[n]_{S_n}\, x^n.
\]
Corollary~\ref{c:full-bosonic} now follows from (the dual form of) Corollary~\ref{c:cgVec series}.
\end{remark}

\subsection{Additional tests for Hopf monoids}\label{ss:addtests}

The method of Section~\ref{ss:ord-exp} can be applied in multiple situations in order 
to deduce
additional inequalities that the dimension sequence of a connected Hopf monoid must satisfy. We illustrate this next.

Let $k$ be a fixed nonnegative integer. Let $\mathbf E}%{\bm{\sf l}^{\bm\cdot k}$ denote the $k$-th Cauchy power of the exponential species $\mathbf E}%{\bm{\sf l}$. The space $\mathbf E}%{\bm{\sf l}^{\bm\cdot k}[I]$ has a basis
consisting of functions $f:I\to [k]$. The species $\mathbf E}%{\bm{\sf l}^{\bm\cdot k}$
carries a Hopf monoid structure~\cite[Examples~8.17 and~8.18]{AguMah:2010}
and any fixed inclusion $[k]\hookrightarrow[k{+}1]$ gives rise to an injective morphism
of Hopf monoids $\mathbf E}%{\bm{\sf l}^{\bm\cdot k}\hookrightarrow\mathbf E}%{\bm{\sf l}^{\bm\cdot (k+1)}$. Employing the
Hadamard product as in Section~\ref{ss:ord-exp}, we obtain an injective morphism
of Hopf monoids
\[
\mathbf E}%{\bm{\sf l}^{\bm\cdot k}\times\mathbf h}%{\bm{\sf h} \hookrightarrow \mathbf E}%{\bm{\sf l}^{\bm\cdot (k+1)}\times\mathbf h}%{\bm{\sf h}
\]
where $\mathbf h}%{\bm{\sf h}$ is an arbitrary connected Hopf monoid. From the nonnegativity of
the first coefficients of $\exponential{\mathbf E}%{\bm{\sf l}^{\bm\cdot (k+1)}\times\mathbf h}%{\bm{\sf h}}{x} \big/ \exponential{\mathbf E}%{\bm{\sf l}^{\bm\cdot k}\times\mathbf h}%{\bm{\sf h}}{x}$ we obtain
\[
(2k+1)a_2 \geq 2k a_1^2
\quad\text{and}\quad
(3k^2+3k+1)a_3 \geq 3(3k^2+k)a_2a_1 - 6k^2a_1^3.
\]
These inequalities hold for every $k\in\mathbb{N}$. Letting $k\to\infty$ we deduce
\begin{equation}\label{e:addcond}
a_2\geq a_1^2
\quad\text{and}\quad
a_3\geq 3a_2a_1-2a_1^3.
\end{equation}

\begin{example}
Consider the species $\bel$ \demph{of elements}. The set $I$ is a basis of the space $\bel[I]$, so the dimension sequence of $\bel$ is $a_n=n$. This sequence does not
satisfy the second inequality in~\eqref{e:addcond}. Therefore, the species $\bel$ does not carry any Hopf
monoid structure.
\end{example}



\subsection{A test for Hopf monoids over $\mathbf E}%{\bm{\sf l}$}
Our next result is a necessary condition for a Hopf monoid in species to contain or surject onto the exponential species $\mathbf E}%{\bm{\sf l}$. 

Given a sequence $(a_n)_{n\geq0}$, its \demph{binomial transform} $(b_n)_{n\geq0}$ is defined by
\[
b_n := \sum_{i=0}^n \binom{n}{i}(-1)^{i}\,a_{n-i}.
\]


\begin{corollary}[The $\mathbf E}%{\bm{\sf l}$-test] \label{c:e-test}
Suppose $\mathbf h}%{\bm{\sf h}$ is a connected Hopf monoid that either contains the species $\mathbf E}%{\bm{\sf l}$ or surjects onto $\mathbf E}%{\bm{\sf l}$ (in both cases as a Hopf monoid). Let $a_n=\dim \mathbf h}%{\bm{\sf h}[n]$ and $\overline{a}_n=\dim \mathbf h}%{\bm{\sf h}[n]_{S_n}$. Then the binomial transform of $(a_n)_{n\geq0}$ 
must be nonnegative and $(\overline{a}_n)_{n\geq0}$ must be nondecreasing.
\end{corollary}

More plainly, in this setting, we must have the following inequalities:
\[
a_1\geq a_0, \quad 
a_2\geq 2a_1-a_0, \quad
a_3\geq 3a_2-3a_1+a_0, \ \ \dotsc
\]
and $\overline{a}_n\geq \overline{a}_{n-1}$ for all $n\geq 1$.

\begin{proof}
By Corollary~\ref{c:Sp series}, the quotient $\exponential{\mathbf h}%{\bm{\sf h}}{x} / \exponential{\mathbf E}%{\bm{\sf l}}{x}$ is nonnegative. But $\exponential{\mathbf E}%{\bm{\sf l}}{x} = \exp(x)$,
so the quotient is given by
\[
	b_0 + b_1 x + b_2 \frac{x^2}{2} + b_3 \frac{x^3}{3!} + \dotsb \,,
\]
where $(b_n)_{n\geq0}$ is the binomial transform of $(a_n)_{n\geq0}$. Replacing
exponential for type generating functions yields the
result for $(\overline{a}_n)_{n\geq0}$, since $\type{\mathbf E}%{\bm{\sf l}}{x} = \frac{1}{1-x}$.
\end{proof}

\begin{remark}
Myhill's theory of \demph{combinatorial functions}~\cite{Dek:1990,Myh:1958} 
provides necessary and sufficient conditions that a sequence $(a_n)_{n\geq0}$ must satisfy in order for its binomial transform to be nonnegative:
the sequence must arise from a particular type of operator defined on finite sets.
Work of Menni~\cite{Men:2009} expands on this from a categorical perspective. It would be interesting to
relate these ideas to the ones of this paper.
\end{remark}

We make a further remark regarding connected \demph{linearized} Hopf monoids. 
These are Hopf monoids of a set theoretic nature. See \cite[Section~8.7]{AguMah:2010} for details. Briefly, there are set maps $\mu_{S,T}:\mathrm{H}[S]\times\mathrm{H}[T]\to\mathrm{H}[I]$ and $\Delta_{S,T}:\mathrm{H}[I]\to\mathrm{H}[S]\times\mathrm{H}[T]$ which produce a Hopf monoid in (vector) species when the set species $\mathrm{H}$ is linearized. It follows that if $\mathbf h}%{\bm{\sf h}$ is a linearized Hopf monoid other than the trivial Hopf monoid $\mathbf{1}$, then there is a morphism of Hopf monoids from $\mathbf h}%{\bm{\sf h}$ onto $\mathbf E}%{\bm{\sf l}$. 
Thus, Corollary~\ref{c:e-test} provides a test for existence of a linearized Hopf monoid structure on $\mathbf h}%{\bm{\sf h}$.

\begin{example} 
We return to the species $\bm\Pi'$ of set partitions into distinct block sizes. We might ask if this can be made into a linearized Hopf monoid in some way (after Example~\ref{ex: submonoid}, this would \emph{not} be as a Hopf submonoid of $\bm\Pi$). With $a_n$ and $b_n$ as above, we have:
\begin{align*}
(a_n)_{n\geq0} \ &= \ 1, \ 1, \ 1,  \ 4,  \ \ 5,  \ 16,  \ \ 82, \ \ 169, \ 541, \dotsc \,, \\[.5ex]
(b_n)_{n\geq0} \ &= \ 1, \ 0, \ 0, \ 3, \, -8,\  25, \, -9, \, -119, \ 736, \dotsc \,.
\end{align*}
Thus $\bm\Pi'$ fails the $\mathbf E}%{\bm{\sf l}$-test and the answer to the above question is negative.
\end{example}

\subsection{A test for Hopf monoids over $\mathbf L}%{\bm{\sf l}$}
Let $\mathbf h}%{\bm{\sf h}$ be a connected Hopf monoid in species. Let $a_n=\dim \mathbf h}%{\bm{\sf h}[n]$ and $\overline{a}_n=\dim \mathbf h}%{\bm{\sf h}[n]_{S_n}$. Note that the analogous integers for the species $\mathbf L}%{\bm{\sf l}$ of linear orders are $b_n=n!$ and $\overline{b}_n=1$. Now suppose that $\mathbf h}%{\bm{\sf h}$ contains $\mathbf L}%{\bm{\sf l}$ or surjects onto $\mathbf L}%{\bm{\sf l}$ as a Hopf monoid.
An obvious necessary condition for this situation is that $a_n\geq n!$ and $\overline{a}_n\geq 1$. Our next result provides stronger conditions.

\begin{corollary}[The $\mathbf L}%{\bm{\sf l}$-test] \label{c:l-test}
Suppose $\mathbf h}%{\bm{\sf h}$ is a connected Hopf monoid that either contains the species $\mathbf L}%{\bm{\sf l}$ or surjects onto $\mathbf L}%{\bm{\sf l}$ (in both cases as a Hopf monoid). If $a_n=\dim \mathbf h}%{\bm{\sf h}[n]$ and $\overline{a}_n=\dim \mathbf h}%{\bm{\sf h}[n]_{S_n}$, then 
\[
a_n\geq n a_{n-1} \quad\text{and}\quad \overline{a}_n\geq \overline{a}_{n-1} \quad(\forall\,n\geq1).
\] 
\end{corollary}

\begin{proof}
It follows from Corollary~\ref{c:Sp series} that both $\exponential{\mathbf h}%{\bm{\sf h}}{x} / \exponential{\mathbf L}%{\bm{\sf l}}{x}$ and $\type{\mathbf h}%{\bm{\sf h}}{x} / \type{\mathbf L}%{\bm{\sf l}}{x}$ are nonnegative. These yield the first 
and second 
set of inequalities, respectively.
\end{proof}

Before giving an application of the corollary, we introduce a new Hopf monoid in species. A \demph{composition} of a set $I$ is an ordered
collection of disjoint nonempty subsets of $I$ whose union is $I$. The notation 
$ab{\textcolor{mymagenta}{|}} c$ is shorthand for the composition $\bigl(\{a,b\},\,\{c\}\bigr)$ of $\{a,b,c\}$.

Let $\mathbf{Pal}$ denote the species of set compositions whose sequence of block sizes is palindromic. So, for instance,
\begin{gather*}
\mathbf{Pal}[a,b] = \Bbbk\bigl\{ ab, \ a{\textcolor{mymagenta}{|}} b, \ b{\textcolor{mymagenta}{|}} a\bigr\}\\
\intertext{and}
\mathbf{Pal}[a,b,c,d,e] = \Bbbk\bigl\{abcde, \ a{\textcolor{mymagenta}{|}} bcd{\textcolor{mymagenta}{|}} e, \ ab{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} de, \ a{\textcolor{mymagenta}{|}} b{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} d{\textcolor{mymagenta}{|}} e, \ \dotsc \bigr\}.
\end{gather*}
The latter space has dimension $171=1 + 5\binom{4}{3} + \binom{5}{2}3 + 5!$
while $\dim \mathbf{Pal}[5]_{S_5}=4$ (accounting for the four types of palindromic set compositions shown above).

Given a palindromic set composition $F=F_1{\textcolor{mymagenta}{|}} \dotsb{\textcolor{mymagenta}{|}} F_r$, we view it as a triple $F=(F^-,F^0,F^+)$, where $F^-$ is the initial sequence of blocks, $F^0$ is the central block if this exists (if the number of blocks is odd) and otherwise it is the empty set, and $F^+$ is the final sequence of blocks. That is,
\[
	F^-=F_1{\textcolor{mymagenta}{|}} \dotsb {\textcolor{mymagenta}{|}} F_{\lfloor r/2\rfloor}, 
	\qquad\quad 
	F^0 = \begin{cases} F_{\lfloor r/2\rfloor+1} & \hbox{if $r$ is odd,}\\
	\emptyset & \hbox{if $r$ is even,} \end{cases}
	\qquad\quad
	F^+ = F_{\lceil r/2+1\rceil}{\textcolor{mymagenta}{|}} \dotsb {\textcolor{mymagenta}{|}} F_{r}.
\]

Given $S\subseteq I$, let  
\[
F\vert_S := F_1\cap S\,{\textcolor{mymagenta}{|}}\, F_2\cap S\,{\textcolor{mymagenta}{|}}\, \dotsb \,{\textcolor{mymagenta}{|}}\, F_r\cap S\,,
\]
where empty intersections are deleted. 
Then $F\vert_S$ is a composition of $S$. 
Let us say that $S$ is \demph{admissible} for $F$ if
\[
	\#\bigl( F_i\cap S\bigr) = \# \bigl(F_{r+1-i}\cap S\bigr) \ \text{ \ for all $i=1,\ldots,r$.}
\]
In this case, both $F\vert_S$ and $F\vert_{I\setminus S}$ are palindromic. 

We employ the above notation to define product and coproduct operations on $\mathbf{Pal}$. Fix a decomposition $I = S\sqcup T$. \\
{\it Product.\ } 
Given palindromic set compositions $F\in\mathbf{Pal}[S]$ and $G\in\mathbf{Pal}[T]$, we put
\[
\mu_{S,T}(F \otimes G) := \bigl(F^-{\textcolor{mymagenta}{|}} G^-, F^0\cup G^0, G^+{\textcolor{mymagenta}{|}} F^+\bigr).
\]
In other words, we concatenate the initial sequences of blocks of $F$ and $G$ in that order,
merge their central blocks, and concatenate their final sequences in the opposite order.
The result is a palindromic composition of $I$. For example, with $S=\{a,b\}$ and 
$T=\{c,d,e,f\}$,
\[
(a{\textcolor{mymagenta}{|}} b) \otimes (c{\textcolor{mymagenta}{|}} de{\textcolor{mymagenta}{|}} f) \mapsto a{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} de{\textcolor{mymagenta}{|}} f{\textcolor{mymagenta}{|}} b.
\]
{\it Coproduct.\ } Given a palindromic set composition $F\in\mathbf{Pal}[I]$, we put
\[
\Delta_{S,T}(F) := \begin{cases}
	F\vert_S \otimes F\vert_T & \hbox{if $S$ is admissible for $F$,} \\
	0 & \hbox{otherwise.}
	\end{cases} 
\]
For example, with $S$ and $T$ as above,
\[
ad{\textcolor{mymagenta}{|}} b{\textcolor{mymagenta}{|}} e{\textcolor{mymagenta}{|}} cf \mapsto 0
\quad\text{and}\quad
e{\textcolor{mymagenta}{|}} abcd{\textcolor{mymagenta}{|}} f \mapsto (ab) \otimes (e{\textcolor{mymagenta}{|}} cd{\textcolor{mymagenta}{|}} f).
\]
These operations endow $\mathbf{Pal}$ with the structure of Hopf monoid, as may
be easily checked.

\begin{example} 
A linear order may be seen as a palindromic set composition (with singleton blocks).
Both Hopf monoids $\mathbf{Pal}$ and $\mathbf L}%{\bm{\sf l}$ are cocommutative and not commutative. 
We may then ask if $\mathbf{Pal}$ contains (or surjects onto) $\mathbf L}%{\bm{\sf l}$ as a Hopf monoid. 

Writing $a_n=\dim\mathbf{Pal}[n]$, we have:
\begin{gather*}
(a_n)_{n\geq0} \ = \ 1, \ 1, \ 3, \ 7, \ 43, \ 171, \ 1581,  \ 8793, \ 108347, \dotsc \,.
\end{gather*}
However,
\begin{gather*}
(a_n - na_{n-1})_{n\geq1} \ = \ 0, \ 1, \  -2, \  15, \ -44, \  555, \ -2274, \ \ 38003, \dotsc \,,
\end{gather*}
so $\mathbf{Pal}$ fails the $\mathbf L}%{\bm{\sf l}$-test and the answer to the above question is negative.
\end{example}



\subsection{Examples of nonnegative quotients}
We comment on a few examples where the quotient
power series $\exponential{\mathbf h}%{\bm{\sf h}}{x}/\exponential{\mathbf k}%{\bm{\sf k}}{x}$ is not only nonnegative
but is known to have a combinatorial interpretation as a generating function.

\begin{example}
Consider the Hopf monoid $\bm\Pi$ of set partitions. 
It contains $\mathbf E}%{\bm{\sf l}$ as a Hopf submonoid via the map that sends $\ast_I$ to the partition of $I$ into singletons.
We have
\[
\exponential{\bm\Pi}{x}/\exponential{\mathbf E}%{\bm{\sf l}}{x} = \exp\bigl(\exp(x)-x-1\bigr),
\]
which is the exponential generating function for the number of set partitions into blocks of size strictly bigger than $1$. 
This fact may also be understood with the aid of Theorem~\ref{t:main}, as follows. 

Given $I=S\sqcup T$, the product of a partition $\pi\in\bm\Pi[S]$
and a partition $\rho\in\bm\Pi[T]$ is the partition $\pi\cdot\rho\in\bm\Pi[I]$ each of whose blocks
is either a block of $\pi$ or a block of $\rho$. (In the notation of \cite[Section~12.6]{AguMah:2010},
we are employing the $h$-basis of $\bm\Pi$.)
Now, the $I$-component of the right ideal $\mathbf E}%{\bm{\sf l}_+\bm\Pi$ is linearly spanned by elements of the
form $\ast_S\cdot\pi$ where $I=S\sqcup T$ and $\pi$ is a partition of $T$. Then, since
$\ast_S=\ast_{\{i\}}\cdot\ast_{S\setminus\{i\}}$ (for any $i\in S$), we have that
$\mathbf E}%{\bm{\sf l}_+\bm\Pi[I]$ is linearly spanned by elements of the form $\ast_{\{i\}}\cdot\pi$ where
$i\in I$ and $\pi$ is a partition of $I\setminus\{i\}$. But the above description of the product shows that these are precisely the partitions
with at least one singleton block. 
\end{example}


\begin{example}\label{eg:derangement} 
Consider the Hopf monoids $\mathbf L}%{\bm{\sf l}$ and $\mathbf E}%{\bm{\sf l}$ and the surjective
morphism $\pi:\mathbf L}%{\bm{\sf l}\onto\mathbf E}%{\bm{\sf l}$ (as in the proof of Corollary~\ref{c:ord-exp}).
We have
\[
\exponential{\mathbf L}%{\bm{\sf l}}{x}=\frac{1}{1-x}
\quad\text{and}\quad
\exponential{\mathbf E}%{\bm{\sf l}}{x}=\exp(x).
\]
It is well-known~\cite[Example~1.3.9]{BerLabLer:1998} that
\[
\frac{\exp(-x)}{1-x} = \sum_{n\geq 0} \frac{d_n}{n!}\,x^n
\]
where $d_n$ is the number of \demph{derangements} of $[n]$. Together with Theorem~\ref{t:maindual},
this suggests the existence of a basis for the Hopf kernel of $\pi$ indexed by derangements.
We construct such a basis and expand on this discussion in Section~\ref{ss:derangement}.
\end{example}

\begin{example}
Let $\bm{\Sigma}$ be the Hopf monoid of set compositions defined in~\cite[Section~12.4]{AguMah:2010}. It contains $\mathbf L}%{\bm{\sf l}$ as a Hopf submonoid via the map that views a linear order as a composition into singletons. (In the notation of \cite[Section~12.4]{AguMah:2010},
we are employing the $H$-basis of $\bm{\Sigma}$.)
This and other morphisms relating $\mathbf E}%{\bm{\sf l}$, $\mathbf L}%{\bm{\sf l}$, 
$\bm{\Pi}$ and $\bm{\Sigma}$, as well as other Hopf monoids, are discussed in~\cite[Section~12.8]{AguMah:2010}.

The sequence $(\dim \bm{\Sigma}[n])_{n\geq 0}$ is A000670 in \cite{Slo:oeis}. We have
\[
\exponential{\bm{\Sigma}}{x}=\frac{1}{2-\exp(x)}.
\]
Moreover, it is known from~\cite[Exercise~5.4.(a)]{Sta:1999} that
\[
\frac{1-x}{2-\exp(x)} = \sum_{n\geq 0} \frac{s_n}{n!}\,x^n
\]
where $s_n$ is the number of \demph{threshold} graphs with vertex set $[n]$ 
and no isolated vertices. Together with Theorem~\ref{t:main},
this suggests the existence of a basis for  $ \bm{\Sigma}/\mathbf L}%{\bm{\sf l}_+ \bm{\Sigma}$ indexed by such graphs.
We do not pursue this possibility in this paper.
\end{example}

\section{The dimension sequence of a connected Hopf monoid}\label{s:dimensions}

Let $\mathbf h}%{\bm{\sf h}$ be a connected Hopf monoid and $a_n=\dim\mathbf h}%{\bm{\sf h}[n]$ for $n\in\mathbb{N}$.
The results of Sections~\ref{ss:ord-exp} and~\ref{ss:addtests}, derived from 
Theorem~\ref{t:main},
 impose restrictions on the sequence $a_n$ in the form of polynomial inequalities.
The results of this section are neither weaker nor stronger than those of Section~\ref{s:applications},
but provide supplementary information on the dimension sequence $a_n$.
They do not make use of Theorem~\ref{t:main}. In this section, the base field $\Bbbk$ is of arbitrary characteristic.
 

\begin{proposition}\label{p:aiaj}
For any $n,i$ and $j$ such that $n=i+j$,
\begin{equation}\label{e:aiaj}
a_n\geq a_ia_j.
\end{equation}
\end{proposition}
\begin{proof} 
Since $\mathbf h}%{\bm{\sf h}$ is connected, the compatibility axiom for Hopf monoids (diagram (8.18) 
in~\cite[Section~8.3.1]{AguMah:2010}) implies that the composite
\[
\mathbf h}%{\bm{\sf h}[S]\otimes\mathbf h}%{\bm{\sf h}[T] \map{\mu_{S,T}} \mathbf h}%{\bm{\sf h}[I] \map{\Delta_{S,T}} \mathbf h}%{\bm{\sf h}[S]\otimes\mathbf h}%{\bm{\sf h}[T]
\]
is the identity. The result follows by choosing any decomposition $I=S\sqcup T$ with
$\abs{I}=n$, $\abs{S}=i$, and $\abs{T}=j$.
\end{proof}

\begin{remark}
The second inequality in~\eqref{e:addcond} may be combined with~\eqref{e:aiaj}
to obtain
\[
a_3-a_2a_1 \geq 2a_1(a_2-a_1^2)\geq 0.
\]
Considerations of this type show that neither set of inequalities~\eqref{e:ord-exp},~\eqref{e:addcond} or~\eqref{e:aiaj} follows from the others.
\end{remark}

As a first consequence of Proposition~\ref{p:aiaj}, we derive a result on the growth
of the dimension sequence.

\begin{corollary}\label{c:expgrowth}
If $a_1\geq 1$, then the sequence $a_n$ is weakly increasing. If moreover there exists $k\geq 1$ such that 
\[
a_k\geq 2 \quad\text{and}\quad a_i\geq 1\ \forall\, i=0,\ldots,k-1,
\]
then $a_n=O(2^{n/k})$.
\end{corollary}
\begin{proof}
The first statement follows from $a_n\geq a_1a_{n-1}$. Now fix $k$ as in the second statement.
Given $n\geq k$, write $n=qk+r$ with $q\in\mathbb{N}$ and $0\leq r\leq k-1$. 
From~\eqref{e:aiaj} we obtain
\[
a_n\geq a_k^q a_r\geq 2^q = 2^{-r/k}2^{n/k}.
\]
Thus $a_n=O(2^{n/k})$. 
\end{proof}

Define the \demph{support} of $\mathbf h}%{\bm{\sf h}$ to be the support of its dimension sequence; namely, 
\[
\supp(\mathbf h}%{\bm{\sf h})=\{n\in\mathbb{N} \mid a_n\neq 0\}.
\]
We turn to consequences of Proposition~\ref{p:aiaj} on the support.

\begin{corollary}\label{c:aiaj}
The set $\supp(\mathbf h}%{\bm{\sf h})$ is a submonoid of $(\mathbb{N},+)$.
\end{corollary}
\begin{proof}
By (co)unitality of $\mathbf h}%{\bm{\sf h}$, $0\in \supp(\mathbf h}%{\bm{\sf h})$. (In fact, $a_0=1$ by connectedness.) By Proposition~\ref{p:aiaj}, the set $\supp(\mathbf h}%{\bm{\sf h})$ is
closed under addition. 
\end{proof}

We mention that, conversely, given any submonoid $S$ of $(\mathbb{N},+)$, there exists
a connected Hopf monoid $\mathbf h}%{\bm{\sf h}$ such that $\supp(\mathbf h}%{\bm{\sf h})=S$.
Indeed, let $\bm\Pi_S[I]$ be the space spanned by the set of partitions of $I$ whose
block sizes belong to $S\setminus\{0\}$. Then $\bm\Pi_S$ is a quotient Hopf monoid of $\bm\Pi$ and $\supp(\bm\Pi_S)=S$.
(The former follows from the formulas in~\cite[Section~12.6.2]{AguMah:2010}; we employ the $h$-basis of $\bm\Pi$.)

\begin{example} Consider the special case of the previous paragraph in which $S$ is the
submonoid of even numbers. Then $\Pi_S$ is the species of set partitions into blocks of even size. In particular, $a_n=0$ for all odd $n$, so the dimension sequence
is neither increasing nor of exponential growth. This example shows that the
hypotheses of Corollary~\ref{c:expgrowth} cannot be removed.
\end{example}

\begin{corollary}\label{c:numerical}
The set $\supp(\mathbf h}%{\bm{\sf h})$ is either $\{0\}$ or infinite. 
The set $\mathbb{N}\setminus\supp(\mathbf h}%{\bm{\sf h})$ is finite if and only if $\gcd\bigl(\supp(\mathbf h}%{\bm{\sf h})\bigr)=1$.
\end{corollary}
\begin{proof}
These statements hold for all submonoids of $\mathbb{N}$, hence for $\supp(\mathbf h}%{\bm{\sf h})$ by Corollary~\ref{c:aiaj}. For the second statement, see~\cite[Lemma~2.1]{RosGar:2009}.
\end{proof}

\begin{remark}
We comment on counterparts for  connected graded Hopf algebras of the results of this section. 

Consider the polynomial Hopf algebra $H=\Bbbk[x_1,\ldots,x_k]$, in which the generators $x_i$ are primitive and of degree $1$. The dimension sequence is $a_n=\binom{n+k-1}{k-1}$. In contrast to Corollary~\ref{c:expgrowth},
this sequence is polynomial even if $a_1>1$. It follows that Proposition~\ref{p:aiaj}
has no counterpart for connected graded Hopf algebras $H$, and that the multiplication map $H_i\otimes H_j \to H_{i+j}$ is not injective in general.

Corollaries~\ref{c:aiaj} and~\ref{c:numerical} fail for connected Hopf algebras over a field of positive characteristic.
In characteristic $p$, a counterexample is provided by $H=\Bbbk[x]/(x^p)$ with $x$ primitive and of degree $1$.

On the other hand, if the field characteristic is $0$, then the set $S=\{n\in\mathbb{N} \mid H_n\neq 0\}$ is a submonoid of $(\mathbb{N},+)$.
This follows from the fact that in this case any connected Hopf algebra is a domain.
We expand on this point in the Appendix.



 \end{remark}

 

\section{Hopf kernels for cocommutative Hopf monoids}\label{s:kernels}

Hopf kernels enter in the decomposition of Theorem~\ref{t:maindual}
(and in dual form, in Theorem~\ref{t:main}). For cocommutative Hopf monoids,
Hopf kernels and Lie kernels are closely related, as discussed in this section. 
We provide a simple result that allows us to describe the Hopf kernel in certain
situations and we illustrate it with the case of the canonical morphism $\mathbf L}%{\bm{\sf l}\onto\mathbf E}%{\bm{\sf l}$.

\subsection{Hopf and Lie kernels}
The species $\Pc(\mathbf h}%{\bm{\sf h})$ of \demph{primitive elements} of a connected Hopf monoid $\mathbf h}%{\bm{\sf h}$ 
is defined by
\[
\Pc(\mathbf h}%{\bm{\sf h})[I] =
\{ x \in \mathbf h}%{\bm{\sf h}[I] \mid \Delta(x) = 1 \otimes x + x \otimes 1\}
\]
for each nonempty finite set $I$, and $\Pc(\mathbf h}%{\bm{\sf h})[\emptyset]=0$.
Equivalently,
\[
\Pc(\mathbf h}%{\bm{\sf h})[I] = \bigcap_{\substack{S\sqcup T=I \\ S,T\neq\emptyset}} \ker\bigl(\Delta_{S,T}:\mathbf h}%{\bm{\sf h}[I]\to \mathbf h}%{\bm{\sf h}[S]\otimes\mathbf h}%{\bm{\sf h}[T]\bigr).
\]
It is a Lie submonoid of $\mathbf h}%{\bm{\sf h}$ under the commutator bracket.
See~\cite[Sections~8.10 and~11.9]{AguMah:2010} for more information on primitive elements. 

Let $\pi:\mathbf h}%{\bm{\sf h}\to\mathbf k}%{\bm{\sf k}$ be a morphism of connected Hopf monoids. It restricts to a morphism of Lie monoids
$\Pc(\mathbf h}%{\bm{\sf h})\to\Pc(\mathbf k}%{\bm{\sf k})$, which we still denote by $\pi$. We define the \demph{Lie kernel} of $\pi$ as the species
\[
\mathrm{Lker}(\pi)=\ker\bigl(\pi:\Pc(\mathbf h}%{\bm{\sf h})\to\Pc(\mathbf k}%{\bm{\sf k})\bigr).
\]
It is a Lie ideal of $\Pc(\mathbf h}%{\bm{\sf h})$. The Hopf kernel $\mathrm{Hker}(\pi)$ is defined in~\eqref{e:hker}.

\begin{lemma}\label{l:lker}
Let $\pi:\mathbf h}%{\bm{\sf h}\to\mathbf k}%{\bm{\sf k}$ be a morphism of connected Hopf monoids. Then  
\[
\mathrm{Lker}(\pi)\subseteq\mathrm{Hker}(\pi).
\]
\end{lemma}
\begin{proof} Let $x\in\mathrm{Lker}(\pi)$. Then
\[
(\pi_{+\!}\bm\cdot\mathrm{id})\Delta(x)=(\pi_{+\!}\bm\cdot\mathrm{id})(1\otimes x + x\otimes 1)=0,
\]
since $\pi_+(1)=0$ and $\pi(x)=0$. Thus $x\in\mathrm{Hker}(\pi)$.
\end{proof}

\begin{lemma}\label{l:hker}
Let $\pi:\mathbf h}%{\bm{\sf h}\to\mathbf k}%{\bm{\sf k}$ be a morphism of connected Hopf monoids. Then  $\mathrm{Hker}(\pi)$ is a submonoid of $\mathbf h}%{\bm{\sf h}$.
\end{lemma}
\begin{proof} By definition, 
\[
\mathrm{Hker}(\pi)=\Delta^{-1}\bigl(\mathrm{Eq}(\pi\bm\cdot\mathrm{id},\, \iota\epsilon\bm\cdot\mathrm{id})\bigr),
\]
where $\iota:\mathbf{1}\to\mathbf k}%{\bm{\sf k}$ is the unit of $\mathbf k}%{\bm{\sf k}$, 
$\epsilon:\mathbf h}%{\bm{\sf h}\to\mathbf{1}$ is the counit of $\mathbf h}%{\bm{\sf h}$, and $\mathrm{Eq}$ denotes the equalizer of two maps.
Since $\pi$ and $\iota\epsilon$ are morphisms of monoids $\mathbf h}%{\bm{\sf h}\to\mathbf k}%{\bm{\sf k}$,
the above equalizer is a submonoid of $\mathbf h}%{\bm{\sf h}\bm\cdot\mathbf h}%{\bm{\sf h}$. Since $\Delta$ is a morphism of monoids, $\mathrm{Hker}(\pi)$ is a submonoid of $\mathbf h}%{\bm{\sf h}$.
\end{proof}

The following result provides the announced connection between Lie and Hopf kernels
for cocommutative Hopf monoids. It makes use of the Poincar\'e-Birkhoff-Witt and Cartier-Milnor-Moore theorems for species, which are discussed in~\cite[Section~11.9.3]{AguMah:2010}.

\begin{proposition}\label{p:kernels}
Let $\pi:\mathbf h}%{\bm{\sf h}\to\mathbf k}%{\bm{\sf k}$ be a surjective morphism of connected cocommutative Hopf monoids.
Then $\mathrm{Hker}(\pi)$ is the submonoid of $\mathbf h}%{\bm{\sf h}$ generated by $\mathrm{Lker}(\pi)$.
\end{proposition}
\begin{proof} Lemmas~\ref{l:lker} and~\ref{l:hker} imply one inclusion.
To conclude the equality, it suffices to check that the dimensions agree, or equivalently,
that the exponential generating series are the same. (We are assuming finite dimensionality throughout.)

First of all, from Theorem~\ref{t:maindual}, we have
\[
\exponential{\mathrm{Hker}(\pi)}{x}=\exponential{\mathbf h}%{\bm{\sf h}}{x}/\exponential{\mathbf k}%{\bm{\sf k}}{x}.
\]
Now, since $\mathbf h}%{\bm{\sf h}$ is cocommutative, we have
\[
\mathbf h}%{\bm{\sf h}\cong \Uc\bigl(\Pc(\mathbf h}%{\bm{\sf h})\bigr) \cong \Sc\bigl(\Pc(\mathbf h}%{\bm{\sf h})\bigr) = \mathbf E}%{\bm{\sf l}\circ \Pc(\mathbf h}%{\bm{\sf h}).
\]
The first is an isomorphism of Hopf monoids (the Cartier-Milnor-Moore theorem), the second is an isomorphism of comonoids (the Poincar\'e-Birkhoff-Witt theorem), and the third is the definition of the species underlying $\Sc\bigl(\Pc(\mathbf h}%{\bm{\sf h})\bigr)$~\cite[Section~11.3]{AguMah:2010}. It follows that
\[
\exponential{\mathbf h}%{\bm{\sf h}}{x} = \exp\bigl(\exponential{\Pc(\mathbf h}%{\bm{\sf h})}{x}\bigr).
\]
For the same reason, 
\[
\exponential{\mathbf k}%{\bm{\sf k}}{x} = \exp\bigl(\exponential{\Pc(\mathbf k}%{\bm{\sf k})}{x}\bigr),
\]
and therefore
\[
\exponential{\mathrm{Hker}(\pi)}{x}=\exp\bigl(\exponential{\Pc(\mathbf h}%{\bm{\sf h})}{x} - \exponential{\Pc(\mathbf k}%{\bm{\sf k})}{x}\bigr).
\]

On the other hand, since the functors $\Uc$ and $\Pc$ define an adjoint equivalence, they preserve
surjectivity of maps. Thus, the induced map $\pi:\Pc(\mathbf h}%{\bm{\sf h})\to\Pc(\mathbf k}%{\bm{\sf k})$ is surjective,
and we have an exact sequence
\[
0\to \mathrm{Lker}(\pi) \to \Pc(\mathbf h}%{\bm{\sf h}) \to \Pc(\mathbf k}%{\bm{\sf k}) \to 0.
\]
Hence, 
\[
\exponential{\mathrm{Lker}(\pi)}{x}=\exponential{\Pc(\mathbf h}%{\bm{\sf h})}{x} - \exponential{\Pc(\mathbf k}%{\bm{\sf k})}{x}.
\]
Since $\mathrm{Lker}(\pi)$ is a Lie submonoid of $\Pc(\mathbf h}%{\bm{\sf h})$, the submonoid of $\mathbf h}%{\bm{\sf h}$ generated by $\mathrm{Lker}(\pi)$ identifies with $\Uc\bigl(\mathrm{Lker}(\pi)\bigr)$. Therefore, as above, the generating series for the latter submonoid is
\[
\exp\bigl(\exponential{\mathrm{Lker}(\pi)}{x}\bigr)=
\exp\bigl(\exponential{\Pc(\mathbf h}%{\bm{\sf h})}{x} - \exponential{\Pc(\mathbf k}%{\bm{\sf k})}{x}\bigr)=\exponential{\mathrm{Hker}(\pi)}{x},
\]
which is the desired equality.
\end{proof}

\begin{remark} The results of this section hold also for connected (not necessarily graded or finite dimensional) Hopf algebras.
See~\cite[Example 4.20]{BCM:1986} for a proof of Proposition~\ref{p:kernels} in this setting. The proof above used finite dimensionality of the (components of the) species, but this hypothesis is not necessary.
The proof in~\cite{BCM:1986} may be adapted to yield the result
for arbitrary species.
\end{remark}

\subsection{The Lie kernel of $\pi:\mathbf L}%{\bm{\sf l}\onto\mathbf E}%{\bm{\sf l}$}\label{ss:cycle}

We return to the discussion in Example~\ref{eg:derangement}.
The primitive elements of the Hopf monoids $\mathbf E}%{\bm{\sf l}$ and $\mathbf L}%{\bm{\sf l}$ are
described in~\cite[Example~11.44]{AguMah:2010}. We have that
\[
\Pc(\mathbf E}%{\bm{\sf l})=\mathbf{X} \quad\text{and}\quad \Pc(\mathbf L}%{\bm{\sf l})=\mathbf{Lie}
\]
where $\mathbf{X}$ is the species of \demph{singletons},
\[
\mathbf{X}[I] =
\begin{cases}
\Bbbk & \text{ if $\abs{I}=1$, } \\
   0      & \text{ otherwise,}
\end{cases}
\]
 and $\mathbf{Lie}$ is the species underlying the \demph{Lie operad}.
It follows that the Lie kernel of the canonical morphism $\pi:\mathbf L}%{\bm{\sf l}\onto\mathbf E}%{\bm{\sf l}$ is given by
\begin{equation}\label{e:lker}
\mathrm{Lker}(\pi)[I]=
\begin{cases}
\mathbf{Lie}[I] & \text{ if $\abs{I}\geq 2$, } \\
   0      & \text{ otherwise.}
\end{cases}
\end{equation}

Before moving on to the Hopf kernel of $\pi$, we provide some more information on the species $\mathbf{Lie}$. 

Let $I$ be a finite nonempty set and $n=\abs{I}$.
It is known that the space $\mathbf{Lie}[I]$ is of dimension $(n-1)!$. We proceed to describe a linear basis indexed by \demph{cyclic orders} on $I$. A cyclic order on $I$ is an equivalence class of linear orders on $I$ modulo the action 
\[
i_1{\textcolor{mymagenta}{|}} \cdots {\textcolor{mymagenta}{|}} i_{n-1} {\textcolor{mymagenta}{|}} i_n \ \mapsto \ i_n{\textcolor{mymagenta}{|}} i_1{\textcolor{mymagenta}{|}} \cdots {\textcolor{mymagenta}{|}} i_{n-1}
\]
of the cyclic group of order $n$. Each class has $n$ elements so there are $(n-1)!$ cyclic orders on $I$.
We use $(b,a,c)$ to denote the equivalence class of the linear order $b{\textcolor{mymagenta}{|}} a{\textcolor{mymagenta}{|}} c$.

We fix a finite nonempty set $I$ and choose a linear order $\ell_0$ on $I$, say
\[
\ell_0 = i_1{\textcolor{mymagenta}{|}} i_2 {\textcolor{mymagenta}{|}} \cdots {\textcolor{mymagenta}{|}} i_n.
\]
The basis of $\mathbf{Lie}[I]$ will depend on this choice.
Given a cyclic order $\gamma$ on $I$, let $S$ be the subset of $I$ consisting of
the elements encountered when traversing the cycle from $i_1$ to $i_2$ clockwise,
including $i_1$ but excluding $i_2$ (these are the first and second elements in $\ell_0$, respectively). Let $T$ consist of the remaining elements (from $i_2$ to $i_1$). Note that $i_1\in S$ and $i_2\in T$, so both $S$ and $T$ are nonempty.
The cyclic order $\gamma$ on $I$ induces cyclic orders on $S$ and $T$. We denote them by $\gamma|_S$ and $\gamma|_T$.  An element $p_\gamma\in \mathbf L}%{\bm{\sf l}[I]$ is defined recursively by
\[
p_\gamma := [p_{\gamma|_S}, p_{\gamma|_T}]= p_{\gamma|_S}\cdot p_{\gamma|_T}-
p_{\gamma|_T}\cdot p_{\gamma|_S}.
\]
The elements $p_{\gamma|_S}\in\mathbf L}%{\bm{\sf l}[S]$ and $p_{\gamma|_T}\in\mathbf L}%{\bm{\sf l}[T]$ are themselves defined
with respect to the induced linear orders $(\ell_0)|_S$ and $(\ell_0)|_T$. The recursion starts with
the case when $I$ is a singleton $\{a\}$. In this case, we set
\[
p_{(a)}:=a\in \mathbf L}%{\bm{\sf l}[a]
\]
(the unique linear order).

Clearly $a\in\mathbf L}%{\bm{\sf l}[a]$ is a primitive element. Since the primitive elements are closed under commutators, we have $p_\gamma\in \mathbf{Lie}[I]$. Moreover, we have the following.

\begin{proposition}\label{p:liebase}
For fixed $I$ and $\ell_0$ as above, the set
\[
\bigl\{p_\gamma \mid \text{$\gamma$ is a cyclic order on $I$}\bigr\}
\]
is a linear basis of $\mathbf{Lie}[I]$.
\end{proposition}
\begin{proof}
The construction of the elements $p_\gamma$ is a reformulation of the familiar construction of the \emph{Lyndon}
basis of a free Lie algebra~\cite{Lot:1997,Reu:1993,Reu:2003}. Reading the elements of the cyclic order $\gamma$ clockwise starting
at the minimum of $\ell_0$ gives rise to a Lyndon word on $I$ (without repeated letters).
The cyclic orders $\gamma|_S$ and $\gamma|_T$ give rise to the Lyndon words in the canonical factorization of this Lyndon word. 
\end{proof}

For example, suppose that $I=\{a,b,c,d\}$, $\ell_0=a{\textcolor{mymagenta}{|}} b{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} d$ and $\gamma=(b,a,c,d)$. Then
\begin{align*}
p_{(b,a,c,d)} &= [p_{(a,c,d)}, p_{(b)}]=\bigl[ [p_{(a)}, p_{(c,d)}], p_{(b)}\bigr]
=\Bigl[ \bigl[ p_{(a)}, [p_{(c)}, p_{(d)}] \bigr], p_{(b)} \Bigr]
=\Bigl[ \bigl[ a, [c, d] \bigr], b \Bigr] \\
&=
a{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} d{\textcolor{mymagenta}{|}} b - a{\textcolor{mymagenta}{|}} d{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} b - c{\textcolor{mymagenta}{|}} d{\textcolor{mymagenta}{|}} a{\textcolor{mymagenta}{|}} b
+d{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} a{\textcolor{mymagenta}{|}} b
-b{\textcolor{mymagenta}{|}} a{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} d +b{\textcolor{mymagenta}{|}} a{\textcolor{mymagenta}{|}} d{\textcolor{mymagenta}{|}} c +b{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} d{\textcolor{mymagenta}{|}} a
-b{\textcolor{mymagenta}{|}} d{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} a.
\end{align*}


\begin{remark} 
The vector species $\mathbf{Lie}$ is \emph{not} the linearization of the set species of cycles.
Note also that, for a general bijection $\sigma:I\to J$, the $p$-basis of $\mathbf{Lie}[I]$
will not map to the $p$-basis of $\mathbf{Lie}[J]$ under $\mathbf L}%{\bm{\sf l}[\sigma]$. 
\end{remark}


\subsection{The Hopf kernel of $\pi:\mathbf L}%{\bm{\sf l}\onto\mathbf E}%{\bm{\sf l}$}\label{ss:derangement}

The above description~\eqref{e:lker} of the Lie kernel of $\pi:\mathbf L}%{\bm{\sf l}\onto\mathbf E}%{\bm{\sf l}$ together with
Proposition~\ref{p:kernels} imply that the Hopf kernel of $\pi$ is given by
\[
\mathrm{Hker}(\pi)[I]=\sum_{k\geq 1}\sum_{\substack{S_1\sqcup\cdots\sqcup S_k=I \\ \abs{S_r}\geq 2\,\,\forall r}}
\mathbf{Lie}[S_1]\cdots\mathbf{Lie}[S_k].
\]
An element in $\mathbf{Lie}[S_1]\cdots\mathbf{Lie}[S_k]$ is a $k$-fold product of primitive elements $x_r\in\mathbf{Lie}[S_r]$; each $S_r$ must have at least $2$ elements. We proceed to describe
a linear basis for $\mathrm{Hker}(\pi)[I]$.

As in Section~\ref{ss:cycle}, we fix a linear order $\ell_0=i_1{\textcolor{mymagenta}{|}} i_2 {\textcolor{mymagenta}{|}} \cdots {\textcolor{mymagenta}{|}} i_n$ on $I$. The basis will be indexed by \demph{derangements} of $\ell_0$.
A derangement of $\ell_0$ is a linear
order $\ell=j_1{\textcolor{mymagenta}{|}} j_2 {\textcolor{mymagenta}{|}} \cdots {\textcolor{mymagenta}{|}} j_n$ on $I$ such that $i_r\neq j_r$ for all $r=1,\ldots,n$. 

View linear orders as bijections $[n]\to I$ and define $\sigma:=\ell\circ\ell_0^{-1}$.
Then $\sigma$ is a permutation of $I$ and $\ell$ is a derangement of $\ell_0$ precisely when $\sigma$ has no fixed points. 

Let $\ell$ be a derangement of $\ell_0$ and $\sigma$ the associated permutation. 
Let $S_1,\ldots,S_k$ be the orbits of $\sigma$ on $I$ labeled so that
\[
\min S_1<\cdots<\min S_k 
\text{ \ according to $\ell_0$,}
\]
and let $\gamma_r$ be the cyclic order on $S_r$ induced by $\sigma$. In other words,
$\sigma=\gamma_1\cdots\gamma_k$
is the factorization of $\sigma$ into cycles, ordered in this specific manner.

Employing the $p$-basis of $\mathbf{Lie}$ from Section~\ref{ss:cycle} (defined with respect to $\ell_0$ and the orders induced by $\ell_0$ on subsets of $I$), we define an element $p_{\ell}\in\mathbf L}%{\bm{\sf l}[I]$ by
\[
p_{\ell} :=p_{\gamma_1}\cdots p_{\gamma_k}. 
\]
By assumption, $\abs{S_r}\geq 2$ for all $r$.
Hence $p_{\gamma_r}\in\mathrm{Lker}(\pi)[S_r]$ and $p_{\ell}\in\mathrm{Hker}(\pi)[I]$. 

For example, let $I=\{e,i,m,s,t\}$, $\ell_0 =s{\textcolor{mymagenta}{|}} m {\textcolor{mymagenta}{|}} i {\textcolor{mymagenta}{|}} t {\textcolor{mymagenta}{|}} e$ and $\ell = i {\textcolor{mymagenta}{|}} t {\textcolor{mymagenta}{|}} e {\textcolor{mymagenta}{|}} m {\textcolor{mymagenta}{|}} s$. Then 
\[
\sigma = (s,i,e)(m,t), \quad S_1 = \{i,e,s\},\quad S_2 = \{m,t\}, 
\]
and
\[
p_\ell = p_{(s,i,e)}p_{(m,t)} = \left[p_{(s)},p_{(i,e)}\right]p_{(m,t)} = \bigl[ s,[i,e]\bigr][m,t].
\]

\begin{proposition}\label{p:hopfbase}
For fixed $I$ and $\ell_0$ as above, the set
\[
\bigl\{p_\ell \mid \text{$\ell$ is a derangement of $\ell_0$}\bigr\}
\]
is a linear basis of $\mathrm{Hker}(\pi)[I]$.
\end{proposition}
\begin{proof}
This follows from Proposition~\ref{p:liebase} and the Poincar\'e-Birkhoff-Witt theorem.
\end{proof}

\begin{example} We describe the $p$-basis of $\mathrm{Hker}(\pi)[I]$ in low cardinalities.
Throughout, we choose
\[
\ell_0=a{\textcolor{mymagenta}{|}} b {\textcolor{mymagenta}{|}} c {\textcolor{mymagenta}{|}}\cdots\,.
\]
The space $\mathrm{Hker}(\pi)[a,b]$ is $1$-dimensional, linearly spanned by 
\[
p_{b{\textcolor{mymagenta}{|}} a} = p_{(a,b)} =[a,b].
\]
The space $\mathrm{Hker}(\pi)[a,b,c]$ is $2$-dimensional, linearly spanned by 
\begin{align*}
p_{b{\textcolor{mymagenta}{|}} c{\textcolor{mymagenta}{|}} a} = p_{(a,b,c)} = [ p_{(a)},p_{(b,c)}] = \bigl[ a,[b,c]\bigr],\\
p_{c{\textcolor{mymagenta}{|}} a{\textcolor{mymagenta}{|}} b} = p_{(a,c,b)} = [p_{(a,c)},p_{(b)}] = \bigl[ [a,c], b\bigr].
\end{align*}
The space $\mathrm{Hker}(\pi)[a,b,c,d]$ is $9$-dimensional. There are $6$ basis elements corresponding to $4$-cycles, such as
\[
p_{c{\textcolor{mymagenta}{|}} a{\textcolor{mymagenta}{|}} d{\textcolor{mymagenta}{|}} b} = p_{(a,c,d,b)} = \Bigl[ \bigl[ a, [c, d] \bigr], b \Bigr],
\]
and $3$ basis elements corresponding to products of two $2$-cycles, such as
\[
p_{b{\textcolor{mymagenta}{|}} a{\textcolor{mymagenta}{|}} d{\textcolor{mymagenta}{|}} c} = p_{(a,b)}p_{(c,d)} = [a,b]\cdot [c,d].
\]
\end{example}


\section*{Appendix

The following fact was referred to in the last remark in Section~\ref{s:dimensions}.

\begin{proposition}\label{p:domain}
Let $H$ be a connected (not necessarily graded) Hopf algebra over a field of characteristic $0$.
Then $H$ is a domain.
\end{proposition}
This result is proven in~\cite[Lemma~1.8(a)]{WZZ:2011}, where it is attributed to Le Bruyn.
We provide a different proof here.
\begin{proof}
Let $K$ denote the associated graded Hopf algebra with respect to the coradical
filtration of $H$. Since $H$ is connected, $K$ is commutative~\cite[Remark~1.7]{AguSot:2005}. Now by~\cite[Proposition~1.2.3]{Rad:1979}, $K$ embeds in a shuffle Hopf algebra. The latter is a free commutative algebra~\cite[Corollary~3.1.2]{Rad:1979}, hence a
domain. It follows that $K$ and hence also $H$ are domains.
\end{proof}
 



Over a field of positive characteristic, the restricted universal enveloping algebra $\mathfrak u(\mathfrak g)$ of a finite dimensional nonzero Lie algebra $\mathfrak g$ 
is a connected Hopf algebra that is not a domain. Indeed, in this case $u(\mathfrak g)$ is finite dimensional~\cite[Theorem~V.12]{Jac:1962} and so has a nontrivial idempotent, being a Hopf algebra with integrals~\cite[Theorem~2.1.3]{Mon:1993}.





\bibliographystyle{plain}  

2012-08-02T02:01:00.000
1105
1105.5572
en
https://arxiv.org/abs/1105.5572
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.
Combinatorics (math.CO); Category Theory (math.CT); Quantum Algebra (math.QA)
Lagrange's Theorem for Hopf Monoids in Species
Qwen/Qwen-72B
1. YES
2. YES