# If G has a composition series so does H and G/H

Let $G$ be a group having a composition series and $H$ a normal subgroup of $G$. Show that there exists a composition series in which one term is $H$.

My idea is to use the Schreier refinement theorem.

Let $G=G_0 \triangleright G_1 \triangleright G_2 \triangleright \dots \triangleright G_m = \{ e \}$ be a composition series for $G$. Now consider $G\triangleright H \triangleright \{ e\}$, if this is a composition series we are done.

If not, by the Schreier refinement theorem there exists equivalent refinements of these two series. Call these refinements $R_1$ and $R_2$, where $R_1$ is the refinement of the composition series. Now because these two refinements are equivalent the factors of $R_2$ are isomorphic to factors of $R_1$. Now because $R_1$ is a refinement of a composition series this means all of its factors are simple groups. Thus all the factors of $R_2$ are simple. Thus if we remove groups from $R_2$ in a way such that we eliminate trivial factors this should give us a composition series for $G$ that contains $H$.

Does this solution seem correct?

Thanks for the feedback!

I don't see why you want to remove factors of $$R_{2}$$. Anyway, you have $$R_{2}$$ which is a subnormal serie that contains H, where all the factors are simple as you said. There is a theorem which states that a subnormal serie is a composition serie iff all its factors are simple. So we have immediately that $$R_2$$ is a composition serie.
The proof of the the theorem used is easy: Let be $$G \trianglerighteq G_{1} \trianglerighteq ... \trianglerighteq 1$$. Its factors are $$G_{i}/G_{i+1}$$.
$$G_{i}/G_{i+1}$$ simple $$\Leftrightarrow$$ $$\nexists H/G_{i} \trianglelefteq G_i/G_{i+1}$$ $$\Leftrightarrow$$ $$\nexists G_{i+1} \vartriangleleft H \vartriangleleft G_i$$ which means that I can't make a proper refinement. For the second iff the third isomorphism theorem it's used.
Any normal series can be refined to a composition series, so this gives that any normal subgroup fits into a composition series of $G$. Taking the tail including $H$ gives a composition series for $H$, and taking quotients above $H$ gives one for $G/H$.