I'll abbreviate $\mathbb{Z}/p^k \mathbb{Z}$ to $L_k$. Let $G = \bigoplus_{i=1}^M L_i^{a_i}$. I claim that $\bigoplus_{i=1}^N L_i^{b_i}$ is in the quotient series of $G$ if and only if the Littlewood-Richardson coefficient
$$c_{(1^a_1),\ \ (2^{a_2}),\ \ \dotsc,\ \ (M^{a_M})}^{(1^{b_1} 2^{b_2} \cdots N^{b_N})}$$
is nonzero. Note the parentheses and commas: We have $M$ distinct partitions on the bottom and only one partition on the top.

You can decide whether or not this is an explicit enough answer to be useful to you.

---

**Proof**. In general, let $\alpha$, $\beta$ and $\gamma$ be three partitions. Then there is a short exact sequence
$$0 \to \bigoplus L_{\alpha_i} \to \bigoplus L_{\beta_i} \to \bigoplus L_{\gamma_i} \to 0$$
if and only if $c_{\alpha \gamma}^{\beta}$ is nonzero. This is the same as asking that there be a semistandard Young tableaux of shape $\beta/\alpha$ whose rectification is a given tableaux of shape $\gamma$. See, for example, Fulton's survey [Eigenvalues, invariant factors, highest weights, and Schubert calculus][1]. The short exact sequences of abelian groups are in Section 2; the tableaux are briefly mentioned in Section 9 and can be found in more detail in many places, such as Stanley's *[Enumerative Combinatorics II](https://doi.org/10.1017/CBO9780511609589)* or Fulton's *[Young Tableaux](https://doi.org/10.1017/CBO9780511626241)*.

In your situation, you want to know when we have $c_{T \alpha,\ \gamma}^{(T+1) \alpha}$ nonzero for $T$ large. So we are looking for tableaux of shape $(T+1)\alpha/T \alpha$ whose rectification is a given tableaux of shape $\gamma$. But, once $T$ is large enough, $(T+1)\alpha/T \alpha$ is just a union of disconnected rectangles. Specifically, if $\alpha = 1^{a_1} 2^{a_2} \cdots M^{a_M}$, then the connected components of $(T+1)\alpha/T \alpha$ are rectangles of shape $k \times a_k$, for $1 \leq k \leq M$. Standard properties of Young tableaux then give the answer above.


  [1]: https://arxiv.org/abs/math/9908012