If H is the unique subgroup of a given order in a group G, prove H is characteristic in G.
Let be an automorphism of then - why? But is a subgroup of because homomorphism images of subgroups are subgroups. And by uniqueness we have . Therefore, is invariant under all automorphism i.e. it is a characteristic subgroup.