Help understanding how to show that two groups are isomorphic

Question

I'm trying to understand what is required to show that two groups are isomorphic. My understanding is that two groups $G_1$ and $G_2$ are isomorphic if:

1. $ |G_1| = |G_2| $ (equal cardinality)

2. $G_1$ has element of order $n \Leftrightarrow G_2$ has element of order n

3. $G_1$ and $G_2$ have the same number of order n elements

Is this the most appropriate way to determine $G_1$ and $G_2$ are isomorphic? Am I missing any other properties?

My confusion is that I'm unable to deduce how I should go about applying these rules.

For example, say that my groups are $S_3$ (the abstract permutation group of order 3) and $D_3$ (the Dihedral group of order 3), I know from my textbook that these two groups are isomorphic. It's also easy enough to see that $|S_3|=3!=6$ and that $|D_3|=2n=6$ and thus each group has the same cardinality.

But what is the appropriate way to show that conditions (2) and (3) are satisfied? How would I determine the order of each element in $S_3$ and $D_3$ such that I can show that each element maps to another element of equal order (conditions (2) and (3))?

Answer 1

The properties 1,2,3 you mentioned are not sufficient to conclude, weather $G_1$ and $G_2$ are isomorphic or not .

Take this counter example a) $Q_8$ Group of quaternions b) $Z_4 \times Z_4$

these groups satisfies conditions 1,2,3 mentioned by you, but they are not isomorphic since $Q_8$ is non abelian but $Z_4 \times Z_4$ is abelian.

Answer 2

Two finite groups even need not be isomorphic if they have the same number of elements of order $d$ for each order $d$, see here:

If I know the order of every element in a group, do I know the group?

So 1.,2.,3., are far from being enough to conclude that $G$ and $H$ are isomorphic. On the other hand, there are many algebraic properties which can be used to conclude that $G$ and $H$ are not isomorphic. Here are a few further simple examples:

1. $G$ is abelian, $H$ is not.

2. $G$ is solvable, $H$ is not.

3. The center $Z(G)$ has a different cardinality from the center $Z(H)$.

4. $G$ is simple, $H$ is not.

5. $\mu(G)$ is different from $\mu(H)$, where $\mu$ denotes the degree of a minimal permutation representation.

6. The cohomology groups $H^n(G,\Bbb Z)$ and $H^n(H,\Bbb Z)$ are not always isomorphic.

7. The homology groups $H_n(G,\Bbb Z)$ and $H_n(H,\Bbb Z)$ are not always isomorphic.

8. In case, both $G$ and $H$ are solvable, the derived length is different.

9. In case, both $G$ and $H$ are nilpotent, the nilpotency class is different.

10. The character groups of $G$ and $H$ are different.