Page "Index of a subgroup" Paragraph 57

to normal index p subgroups.

Conversely, a normal subgroup of index p determines a non-trivial map to up to a choice of " which coset maps to which shows that this map is a bijection.