Definition:Isomorphism (Abstract Algebra)/Group Isomorphism