Let be an abelian group and fix some . Prove that the map given by is a homomorphism. If show that is an isomorphism (i.e. an automorphism of ).
is a homomorphism since by a previous exercise.
Now fix . is surjective since for all , . Suppose now that ; then , so that and is injective. Thus with , is an automorphism.