# Proving that in a finite abelian group, there exist a chain of subgroups so that the quotient is simple.

If $G$ is an abelian finite group, how can I prove that there exist a chain of subgroups $$\{1\}\subseteq H_1 \subseteq H_2 \subseteq \ldots \subseteq H_n=G$$ So that $H_{i+1}/H_i$ is simple?

I don't even know how to start. The only thing that comes to my mind is that $H_i$ are normal groups (because $G$ is abelian). Also, I don't know how to use that $G$ is finite.

Any finite group $G$ has a composition series. This can be shown by induction on $|G|=n$. When $n=1$, this is trivial. For the induction step, see here. The quotients are simple. So we do not need that $G$ is abelian.