Consider a group and a normal subgroup .
Is it necessarily the case that the quotient group is isomorphic to a subgroup of ?
Solutions
1Hint 1
Open this only if you want a small nudge before looking at the solutions.
Reveal solutionsAre you sure? Give it a try first.
No, it is not necessarily the case. For example, with , the subgroups of are of the form ; but the quotients are not of this form since they are finite.
For a counter-example in the finite groups, it's a bit less trivial.
