added the automorphism group intro