Conjugacy classes in $A_n$.

Solution 1:

The statement you make about tetrahedra generalizes to arbitrary $n$. Specifically, the symmetric group $S_n$ is the group of symmetries of a regular $n$-simplex, and the alternating group $A_n$ acts on this simplex by rotations. (In fact, $A_n$ is precisely the set of rotational symmetries.) Elements of different conjugacy classes of $A_n$ are geometrically distinguishable, in the sense that they would "look different" to an observer in $\mathbb{R}^n$.

One way of making the notion of "look different" precise is that non-conjugate elements of $A_n$ correspond to non-conjugate elements of the rotation group $SO(n)$. Thus, two non-conjugate elements of $A_n$ do not look the same up to rotation of the simplex.

Incidentally, the simplest algorithm to distinguish conjugacy classes in $A_n$ is essentially to check the sign of the conjugator. For example, the elements $(5)(2\;6\;3)(1\;9\;4\;8\;7)$ and $(2)(1\;4\;8)(3\;7\;5\;6\;9)$ are conjugate in $S_9$, and their conjugacy class in $S_9$ splits into two conjugacy classes in $A_9$. To check whether the two elements are conjugate in $A_9$, we consider a permutation that maps between corresponding numbers: $$ \begin{bmatrix} 5 & 2 & 6 & 3 & 1 & 9 & 4 & 8 & 7\\ 2 & 1 & 4 & 8 & 3 & 7 & 5 & 6 & 9 \end{bmatrix} \;=\; (1\;3\;8\;6\;4\;5\;2)(7\;9) $$ This permutation is odd, so the two elements are not in the same conjugacy class in $A_9$. It is possible to construe this algorithm geometrically, since the difference between odd and even permutations is the same as the difference between right-handed and left-handed coordinate systems.