Group isomorphism

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.

Given two groups (G, ∗) and (H, ${\displaystyle \odot }$), a group isomorphism from (G, ∗) to (H, ${\displaystyle \odot }$) is a bijective group homomorphism from G to H. Spelled out, this means that a group isomorphism is a bijective function ${\displaystyle f:G\rightarrow H}$ such that for all u and v in G it holds that

...
Wikipedia