definitionabstract-algebra Definition If a morphism f:G→H is an isomorphism and (G,⋅)=(H,∘), then we say f is an automorphism. Examples