Hall polynomial

Definition

Suppose $\mu ,\nu ,\lambda$ are unordered integer partitions for integers $m,n,l$ respectively such that $m+n=l$. The Hall polynomial $g_{\mu ,\nu }^{\lambda }$ is a polynomial such that, for any prime number $p$, $g_{\mu ,\nu }^{\lambda }(p)$ is the number of subgroups $H$ of an abelian $p$-group $G$ of type $\lambda$ such that $H$ has type $\nu$ and $G/H$ has type $\mu$.

Here, an $p$-group $P$ of type $\lambda$, where $\lambda$ is a partition into parts $a_{1},a_{2},\dots ,a_{r}$, is the group $C_{p^{a_{1}}}\times C_{p^{a_{2}}}\times \dots C_{p^{a_{r}}}$ where $C_{k}$ denotes the cyclic group of order $k$.

The Hall polynomials for various triples of partitions $(\mu ,\nu ,\lambda )$ are related to each other. Specifically, there is an algebra, called the Hall algebra, which is a free module over the integers with generating set indexed by unordered integer partitions, and where the structure constants are the Hall polynomials.

Note that since subgroup lattice and quotient lattice of finite abelian group are isomorphic, the Hall polynomials $g_{\mu ,\nu }^{\lambda }$ and $g_{\nu ,\mu }^{\lambda }$ are equal.

Particular cases

Note that since $g_{\mu ,\nu }^{\lambda }=g_{\nu ,\mu }^{\lambda }$ because subgroup lattice and quotient lattice of finite abelian group are isomorphic, each of our polynomials below also gives another corresponding polynomial obtained by interchanging the roles of $\mu$ and $\nu$.

$\mu$	$\nu$	$\lambda$	$g_{\mu ,\nu }^{\lambda }(p)$	Interpretation
1	1	2	$\!1$	In a cyclic group of prime-square order $\mathbb {Z} _{p^{2}}$, there is a unique cyclic subgroup of prime order (isomorphic to $\mathbb {Z} _{p}$ such that the quotient group is also cyclic of prime order (isomorphic to $\mathbb {Z} _{p}$).
1	1	1 + 1	$\!p+1$	In an elementary abelian group of prime-square order $E_{p^{2}}\cong \mathbb {Z} _{p}\times \mathbb {Z} _{p}$, there are $p+1$ possible subgroups isomorphic to $\mathbb {Z} _{p}$ where the quotient is also isomorphic to $\mathbb {Z} _{p}$.
2	1	3	$\!1$	In a cyclic group of prime-cube order $\mathbb {Z} _{p^{3}}$, there is a unique subgroup isomorphic to $\mathbb {Z} _{p^{2}}$ such that the quotient is isomorphic to $\mathbb {Z} _{p}$.
2	1	2 + 1	$\!p$	In a direct product of cyclic group of prime-square order and cyclic group of prime order $\mathbb {Z} _{p^{2}}\times \mathbb {Z} _{p}$, there are $p$ many subgroups isomorphic to $\mathbb {Z} _{p^{2}}$ for which the quotient is isomorphic to $\mathbb {Z} _{p}$.
2	1	1 + 1 + 1	$\!0$	In an elementary abelian group of prime-cube order, there is no cyclic subgroup of prime-square order for which the quotient is cyclic of prime order.
1 + 1	1	3	$\!0$	In a cyclic group of prime-cube order, there is no subgroup that is elementary abelian of prime-square order for which the quotient is cyclic of prime order.
1 + 1	1	2 + 1	$\!1$	PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.
1 + 1	1	1 + 1 + 1	$\!p^{2}+p+1$	PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.
$\!m$	$\!n$	$\!l=m+n$	$\!1$	PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.
$\!1+1+\dots +1$, $m$ times	$\!1$	$\!1+1+\dots +1$, $l=m+1$ times	$\!p^{m}+p^{m-1}+\dots +1$	PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.