The following pages link to An injective group homomorphism means the group is isomorphic to its image: