In abstract algebra, a group isomorphism is a function between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished.
Often shorter and simpler notations can be used. When the relevant group operations are unambiguous they are omitted and one writes:
In this section some notable examples of isomorphic groups are listed.
Some groups can be proven to be isomorphic, relying on the axiom of choice, but the proof does not indicate how to construct a concrete isomorphism. Examples:
An automorphism always maps the identity to itself. The image under an automorphism of a conjugacy class is always a conjugacy class (the same or another). The image of an element has the same order as that element.
For abelian groups all automorphisms except the trivial one are called outer automorphisms.
Non-abelian groups have a non-trivial inner automorphism group, and possibly also outer automorphisms.