Suppose that $\{e\} < G_1 < G_2 < \cdots < G_n = G$ is a subnormal series, thus for all $i$, we have $G_i$ is normal in $G_{i+1}$. How can I show that this can be "refined" to a composition series?

By composition series I mean a subnormal series where, for each $i, G_{i+1}/G_i$ is a nontrivial, simple group.

  • $\begingroup$ I doubt it always can. For example, without restrictions on the group, such a refinement may require an infinite number of factors. $\endgroup$ – Mose Wintner May 30 '16 at 20:27
  • 1
    $\begingroup$ For example it is not possible for the series $\{e \} < {\mathbb Z}$ of ${\mathbb Z}$. The result is clear for finite groups. If it is not composition series already then some factor $G_{i+1}/G_i$ is not simple, so it has a proper nontrivial normal subgroup $N/G_i$. So just insert $N$ into the series between $G_i$ and $G_{i+1}$. Keep doing this until you get a composition series. $\endgroup$ – Derek Holt May 30 '16 at 20:29
  • $\begingroup$ @Mose Winter, that's true, I just realized I left something important out. We have to assume the group is finite. $\endgroup$ – Ninosław Brzostowiecki May 30 '16 at 20:29

Suppose $G_{n+1}/G_n$ is not simple, then we have $NG_n$ an intermediate normal subgroup. Rinse and repeat.

| cite | improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.