Group Extensions of Finite Abelian Groups Given a short exact sequence of finite abelian groups, is it possible to classify what groups can show up in the middle based on the kernel and the cokernel? I'm hoping the answer is much easier (than the group cohomology for the general case) in this case where everything is abelian, but I can't find a reference.
Or is it possible to formalize restricting the exact sequences to p-groups for a given prime p?
For example, if the kernel is $C_4^2$, the cokernel is $C_2^2\oplus C_6$, and the group in the middle has exactly 3 minimal generators, I can't think of examples where the group in the middle can be anything but $C_2\oplus C_8\oplus C_{24}$.
 A: First of all, we can reduce to $p$-groups. For any finite abelian group $G$, and prime $p$, let $G_p$ be the set of elements of $p$-power of order. Then $G = \prod_p G_p$. We have $\mathrm{Hom}(G, H) \cong \prod_p \mathrm{Hom}(G_p, H_p)$ and one can show (exercise!) that there is a short exact sequence $0 \to A \to B \to C \to 0$ if and only if there is a short exact sequence
$$0 \to A_p \to B_p \to C_p \to 0$$
for every $p$.
Finite abelian $p$ groups are classified by partitions: For the partition $\lambda=(\lambda_1, \lambda_2, \ldots, \lambda_r)$ we write $G(p,\lambda) := \prod_{i} \mathbb{Z}/p^{\lambda_i}$. 
Let $\lambda$, $\mu$, $\nu$ be three partitions. The following are equivalent:


*

*There is a short exact sequence
$$0 \to G(p, \lambda) \to G(p, \nu) \to G(p, \mu) \to 0$$

*The Hall polynomial $g_{\lambda \mu}^{\nu}(p)$ is nonzero.

*The Littlewood-Richarsdon coefficient $c_{\lambda \mu}^{\nu}$ is nonzero.

*Anyone of the zillion equivalent conditions that you can find in, for example, Knutson and Tao or Zelevinsky
For further discussion of this, see Fulton, especially Section 2.
