Finding the centralizer of (2 7)(3 1 8) in S_9

[JFo]

Find $C_{S_9}( \sigma) = \{ \tau \in S_9 | \sigma \tau = \tau \sigma \}$, where $\sigma = (2 \ 7)(3 \ 1 \ 8)$

I know I'm supposed to show my work to get help, but I am completely lost on this one. Any hints would be great.

I have proved that for $\tau \in C_{S_9}( \sigma)$, $\tau(\mbox{Fix} (\sigma)) = \mbox{Fix}(\sigma)$, where $\mbox{Fix}(\sigma) = \{ i | \sigma(i) = i \}$. I have been able to come up with subsets of $C_{S_9}$ but I have not been able to find the entire set.

 

[AKG]

You want to find the group of $\tau$ such that $\tau \sigma \tau ^{-1} = \sigma$. Observe that:

$$\tau \sigma \tau ^{-1} = \tau (2\, 7)(3\, 1\, 8)\tau ^{-1} = \tau (2\, 7)\tau ^{-1}\tau (3\, 1\, 8)\tau ^{-1}$$

Conjugation preserves cycle structure, so for any $\tau$, the above will result in a product of a transposition and a 3-cycle, and since the transposition and the three-cycle in $\sigma$ are disjoint, you need the conjugate of (2 7) to be (2 7), and the conjugate of (3 1 8) to be (3 1 8). In other words:

$$C_{S_9}(\sigma ) = C_{S_9}((2\, 7))\, \cap \, C_{S_9}((3\, 1\, 8))$$

You should be able to figure it out from here.

 

[JFo]

Thanks for your reply AKG. I don't understand what you mean when you say you need the conjugate of (2 7) to be (2 7), and the conjugate of (3 1 8) to be (3 1 8). Could you elaborate?

Thanks much for your help!

 

[AKG]

Do you follow the part that says that conjugation preserves cycle structure? It means that if you have any permutation, and expressed as a product of disjoint cycles it has the form, say, xyz where x is a 3-cycle, y is a 4-cycle, and z is a 2-cycle, then any conjugate of this permutation will, when expressed as a product of disjoint cycles, be the disjoint product of a 3-cycle, 4-cycle, and 2-cycle. In particular, any conjugate of (2 7) will be a 2-cycle, and any conjugate of (3 1 8) will be a 3-cycle.

If

$$\tau (2\, 7)\tau ^{-1}\tau (3\, 1\, 8)\tau ^{-1} = (2\, 7)(3\, 1\, 8)$$

then I claim that $\tau (2\, 7)\tau ^{-1} = (2\, 7)$ and likewise for (3 1 8). To prove this, take what I just said (that the conjugate of a 2-cycle is a 2-cycle, and the conjugate of a 3-cycle is a 3-cycle) and prove that if xy = (2 7)(3 1 8) where x is a 2-cycle and y is a 3-cycle, that x = (2 7) and y = (3 1 8). This is easy to prove - start by proving that if x is a 2-cycle, y is a 3-cycle, and xy = (2 7)(3 1 8), that x and y must be disjoint.

 

[JFo]

Ah I see. Thanks a lot for your help!