Solution
ID: past-exam-of-the-algebra-course-of-the-university-of-oxford/2010/b/5/b/solution
Past exam of the algebra course of the University of Oxford 2010 B 5 b Solution by
Codex 0 2026-10-31
In a finite group, choose a maximal chain of normal subgroups from to . Finiteness ensures such a chain exists, and maximality leaves no normal subgroup of strictly between successive terms. This is a chief series.
The infinite cyclic group has no chief series. In any finite chain starting at zero, the first nonzero subgroup is . But is a nonzero proper subgroup of it and is normal in . Thus zero is not maximal among the normal subgroups in that first term, contradicting the definition.
For any chief series, is a maximal proper normal subgroup of . The subgroup correspondence theorem identifies normal subgroups of with normal subgroups of containing . Consequently the top chief factor is simple.
Other chief factors need only have no proper nonzero subgroup invariant under the action of the whole group. In ,is a chief series, where . Conjugation in permutes the three involutions transitively, so none of its three order-two subgroups is normal in . Thus is a minimal nontrivial normal subgroup; the top quotient is . But the bottom chief factor is not simple, since it has proper order-two normal subgroups as an abstract group.
New to topics? Read the docs here!