First, let's recall the definition of an automorphism. An automorphism is an isomorphism from a group to itself. An isomorphism is a homomorphism that is also a bijection (one-to-one and onto).
So, we need to prove two things:
1. If $\alpha$ is an automorphism,
Show more…