5
$\begingroup$

This is problem 26 from Grove's "Algebra."

Suppose $K$ is a conjugacy class in $S_n$ of cycle type $(k_1,...,k_n)$, and that $K \subseteq A_n$. If $\sigma \in K$ write $L$ for the conjugacy class of $\sigma$ in $A_n$.

If either $k_{2m} > 0$ or $k_{2m+1} > 1$ for some $m$ show that $L = K$.

I can show $L \subseteq K$ but not $K \subseteq L$. I don't know how to use the "$k_{2m} > 0$ or $k_{2m+1} > 1$" hypotheses. If $k_{2m} > 0$ for some $m$ then $\sigma \in A_n$ must have an even number of odd transpositions. Can I get a hint?

Thank you.

Edit: $k_m$ is the number of cycles of length m.

  • 1
    [This recent question](http://math.stackexchange.com/questions/159077/how-to-prove-that-a-5-has-no-subgroup-of-order-30/159083) might be relevant, by the way.2012-06-16
  • 0
    If L⊆K and |L|=|K| then L=K, so you can use centralizers to calculate the size of L versus the size of K. Jim Belk's answer to http://math.stackexchange.com/questions/144686/conjugacy-classes-in-a-n is similar to this.2012-06-16
  • 0
    http://math.stackexchange.com/questions/133599/conjugacy-classes-of-a-n is a duplicate, but i like this version better and the old one has no answers.2012-06-16
  • 0
    @JackSchmidt It seems to be answered in the comments.2012-06-16
  • 0
    The obvious assumption is that $k_m$ is the number of cycles of length $m$, and I think the answers and comments are being given on this basis. The notation is not immediately obvious, though, and this understanding could usefully be confirmed.2012-06-16

1 Answers 1

5

Suppose you have $\sigma'\in K$; you want to show that $\sigma'\in L$.

Because $\sigma'\in K$ you have $\tau\sigma\tau^{-1}=\sigma'$ for some $\tau\in S_n$. Now if $\tau\in A_n$ then $\sigma'\in L$ immediately. The problem is if $\tau$ is odd and so not in $A_n$.

The idea is now that if we can find an odd $\rho$ such that $\rho\sigma\rho^{-1}=\sigma$, then we would have $\sigma'=\tau\rho\sigma\rho^{-1}\tau^{-1}$ with $\tau\rho\in A_n$, and we could conclude $\sigma'\in L$.

How do we find $\rho$? This is where the additional assumption on the cycle structure comes in. We know that either $\sigma$ has a cycle of even length, or $\sigma$ has two cycles of the same odd length. If the first is true, then (blah blah); otherwise the second is true and (blah blah). Can you take it from here?

  • 0
    Ah, $k_m$ is the number of cycles of length $m$. That wasn't super clear to me. Great answer.2012-06-16
  • 0
    @DylanMoreland: I don't know if that is actually what it means, but it makes the claim true and is not too far-fetched an assumption ...2012-06-16
  • 0
    @HenningMakholm: If $\sigma$ has cycle $\sigma_i$ of even length, let $\rho = \sigma_i$. Then $\rho$ is odd, and $\rho \sigma \rho^{-1} = \rho (\sigma_i...) \rho^{-1} = \rho (\sigma_i \rho^{-1}) ... = \sigma$ since $\sigma_i...$ are disjoint.2012-06-16
  • 0
    @HenningMakholm: If $\sigma$ has cycles ${\sigma_i}_a$, ${\sigma_i}_b$ of same odd length $2m+1$, let $\rho = (a_1 b_1)(a_2 b_2)...(a_{2m+1} b_{2m+1})$ where ${\sigma_i}_a = (a_1...a_{2m+1})$ and ${\sigma_i}_b = (b_1...b_{2m+1})$.2012-06-16
  • 0
    @StevenLi: Yes, exactly.2012-06-16