Template:Normal subgroup theorem

This is an example of a normal subgroup theorem, viz a result that states that under certain circumstances, every nontrivial normal subgroup must be of finite index