I'm having some trouble constructing an isomorphism between groups. I have a set of parameters and a coefficient depending on these parameters. It is generally written as the 3x3 array
(usually surrounded by curly brackets, but the tex code doesn't seem to work).
The coefficient (a 9j symbol, Wigner 9j-Symbol -- from Wolfram MathWorld) is (up to a sign, which is irrelevant) unchanged upon any permutation of the rows or columns and under transposition of the array. Thus one can define symmetry operations as such permutations that leave the symbol invariant - a simple example would be the interchanging of rows 1 and 2.
It's not hard to show that these symmetry operations form a group, but I now wish to show that this group is isomorphic to the group . The statement seems nearly trivial : both of the 's that appear are linked to the permutations of the three rows and columns, and the group corresponds to the transposition operation. However, I can't seem to find a complete, satisfying argument or proof.
What I have found is that labelling the rows shows that the row operations on the symbol form a group isomorphic to . The same holds for the column operations by labeling the columns . Furthermore, any row permutation acts as an identity operator on and any column permutation does not affect . Thus, the subgroup of row and column operations form a group isomorphic to .
I don't see, however, how I could nicely introduce transpositions and show that the total group is isomorphic to .
Can anyone help finding a nice argument? It does not matter if it is entirely different from the semi-proof above.
Thanks in advance!