11
$\begingroup$

Let $p$ be an odd prime number. Can a finite simple group have a conjugacy class with $2p$ elements?

$\endgroup$
6
  • 2
    $\begingroup$ Did you trawl the ATLAS for examples? $\endgroup$ Sep 16, 2011 at 3:30
  • $\begingroup$ Is it known that this can't occur with the alternating groups? Empirically it looks like the sizes of the conjugacy classes of $A_n$ all have at least 3 prime factors once $n>8$. $\endgroup$
    – Alon Amit
    Sep 16, 2011 at 6:17
  • 2
    $\begingroup$ I can see why a conjugacy class $C$ with $p$ elements is impossible: $G$ acts on $C$ by conjugation, faithfully as it is simple, so $G\subset S_p$. Under this embedding, the point-stabilizers $G\cap S_{p-1}$ are then the normalizers of elements of $C$. But every element normalizers itself, so the sizes of these subgroups must be a multiple of $p$, contradiction. This argument does not immediately work for $2p$, but it does put restrictions on $G\subset S_{2p}$ (e.g. it should contain the full $p$-Sylow $C_p\times C_p$ of $S_{2p}$). Maybe it can help to prove that this is impossible? $\endgroup$ Sep 16, 2011 at 9:24
  • 3
    $\begingroup$ Actually, more generally a conjugacy class with $p^n$ elements is impossible for $n>0$. That's because if $C$ is a conjugacy class and $\chi$ is an irreducible char, and if $(\chi(1),|C|)=1$, then any $g\in C$ is either in the centre of $\chi$ or $\chi(C)=0$. If $G$ is simple, then the centres of characters are trivial, so $\chi(C)=0$ for all $\chi$ with $p\nmid \chi(1)$. The column orthogonality equation between 1 and $g\in C$ now gives a contradiction. This is somewhere in Isaacs, but for me, it's easier to link to my notes: math.postech.ac.kr/~bartel/docs/reptheory.pdf, Thm 6.7. $\endgroup$
    – Alex B.
    Sep 16, 2011 at 9:50
  • $\begingroup$ Unfortunately, this argument also doesn't immediately generalise to $|C|=2p$. $\endgroup$
    – Alex B.
    Sep 16, 2011 at 9:50

1 Answer 1

13
$\begingroup$

I believe the answer is no. A group with a conjugacy class of degree $2p$ has a transitive permutation action of degree $2p$ on that class, and the stabilizer is the centralizer of an element.

If this action is imprimitive, then the blocks have size $p$ or 2. Wtih blocks of size $p$ there would be a subgroup of index 2, contradicting simplicity. With blocks of size $p$, the group would act faithfully on the blocks. Burnside proved that a permutation group of prime degree $p$ is solvable or 2-transitive. The finite 2-transitive permutation groups are now known (using the classification of finite simple groups). They are listed, for example, in

PETER J. CAMERON, FINITE PERMUTATION GROUPS AND FINITE SIMPLE GROUPS, BULL. LONDON MATH. SOC , 13 (1981),1-22

and it can be checked that none of the examples of prime degree have point stabilisers that have a subgroup of index 2 with nontrivial centre.

So suppose that the action on the conjugacy class is primitive. In the Cameron paper cited above, a result of Wielandt is mentioned that says that primitive permutation groups of degree $2p$ either have rank 3 or are 2-transitive. Using the classification of finite simple groups, it has been checked that the only rank 3 examples are $A_5$ and $S_5$ in degree 10, and $A_5$ does not have a class of degree $2p$. For 2-transitive groups, we can again check the list and observe that none of the groups has point stabilizer with nontrivial centre.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.