15
$\begingroup$

I should admit the question below does not have a serious motivation. But still I found it somehow natural.

Let $G$ be a finite group of order $n$ with $h$ conjugacy classes. If $c_1,\ldots,c_h$ are the orders of the conjugacy classes of $G$, then clearly

$n=c_1+c_2+\ldots+c_h$.

Let now $\pi_1,\ldots,\pi_h$ be the pairwise non-isomorphic, irreducible complex representations of $G$. It is well known that another partition of $n$ of length $h$ is given by the squares of the degrees $d_i$'s of the $\pi_i$'s:

$n=d_1^2+d_2^2+\ldots+d_h^2$.

Question: Assume that, up to reordering, the two partitions of $n$ described above are the same. Then what can we say about $G$? Is $G$ forced to be abelian?

$\endgroup$
2
  • 2
    $\begingroup$ By the way, you're strongly encouraged to write your title in the form of a question so that people on the front page know what it is, rather than just that it has something to do with finite groups. I've changed it, but if you don't like the title I changed it to, go ahead and edit it to something else. $\endgroup$
    – Ben Webster
    Commented Apr 5, 2010 at 13:05
  • $\begingroup$ I thought about it and I could not come up with a compact form for a more precise title. Thanks for doing it! $\endgroup$ Commented Apr 5, 2010 at 13:16

3 Answers 3

20
$\begingroup$

My standard rant about "what can we say about $G$": what we can say about $G$ is that the two partitions are the same. If the questioner doesn't find that a helpful answer then they might want to consider the possibility that they asked the wrong question ;-)

But as to the actual question: "is $G$ forced to be abelian?", the answer is no, and I discovered this by simply looping through magma's database of finite groups. Assuming I didn't make a computational slip, the smallest counterexample has order 64, is the 73rd group of order 64 in magma's database, which has 8 representations of degree 1, 14 representations of degree 2, 8 elements in the centre and 14 more conj classes each of order 4.

Letting the loop go further, I see counterexamples of size 64, 128, 192 (I guess these are just the counterexamples of size 64 multiplied by Z/3Z) and then ones of order 243 (a power of 3). So I guess all examples I know are nilpotent. Are they all nilpotent? That's a question I don't know the answer to.

$\endgroup$
8
  • 6
    $\begingroup$ At the opposite extreme, a finite simple group of Lie type can't exhibit this odd numerical behavior due to the existence of Steinberg characters (and the fact that class sizes divide the group order in general). I have no idea about other non-nilpotent cases, but I suspect Marty Isaacs (Wisconsin) would know how to answer the original question even without the help of Magma if he was motivatedto do so. In any case, Kevin is correct to start with nonabelian 2-groups since these are the prime suspects for counterexamples and there are a lot of them. $\endgroup$ Commented Apr 5, 2010 at 12:27
  • 1
    $\begingroup$ Generally speaking, the complex group algebra does seldom impose very strict conditions for G. Just look at the theorems of Maschke and Wedderburn and you will see that there are many different groups with isomorphic complex group algebra. By the way, your question is equivalent to asking whether $h=|G|$. I'm guessing that there is a simple reason why Kevin found nilpotent groups. Most groups of small order are 2-groups (ok almost every group is a 2-group). As the condition is very arithmetical it is no wonder that he found a 2-group. I don't believe that $G$ must be nilpotent. $\endgroup$
    – Tile
    Commented Apr 5, 2010 at 12:31
  • 2
    $\begingroup$ @Jim: let me underline my stupidity. I didn't start with non-abelian 2-groups: I started with groups of order 1. I (by which I mean my computer) then moved on to groups of order 2 and so on. Ever since I realised that I had at my desk a machine that was capable of iterating over all finite groups of order at most 2000 I've been easy bait for this kind of question. $\endgroup$ Commented Apr 6, 2010 at 6:02
  • 1
    $\begingroup$ I wonder if even the weaker condition that all class sizes are squares implies that G is nilpotent. Does anyone know a counterexample to that? A very tiny step in that direction is the observation that if |G| is divisible by some prime p to the first power only, then a Sylow p-subgroup is central. That is because no class size can be divisible by p, and so the centralizers of the Sylow p-subgroups cover G. But in general, conjugates of a proper subgroup of a finite group can never cover the group. $\endgroup$ Commented Feb 8, 2012 at 17:04
  • 3
    $\begingroup$ @Prof Isaacs: if you make a comment on an answer to a question that's over a year old then probably the only person that will notice the comment is the person who wrote the answer, which is me in this case. I was notified of the comment by the software but probably no-one else well be. If you want anyone other than me to read what you wrote, you'd be better off asking a new question, or writing a new answer to this question (which will bump the question back to the front page). I think the former option would be the most logical... $\endgroup$ Commented Feb 8, 2012 at 21:34
10
$\begingroup$

@Marty Isaacs: There exist non-nilpotent groups whose conjugacy class sizes are all squares. For example, let $G$ be Magma's 93rd group order 540. It has class sizes 1,4,9. Indeed, |G|=15*1+30*4+45*9. Also $|Z(G)|=15$ and $G/Z(G)$ is centerless. Thus G is non-nilpotent, and each conjugacy class size is a square.

$\endgroup$
1
  • 2
    $\begingroup$ Worth noting for the benefit of the original asker that this is not a counterexample to their question as it has character degrees 1 (60 times) and 4 (30 times). $\endgroup$
    – ndkrempel
    Commented Feb 24, 2019 at 14:50
8
$\begingroup$

This is not an answer, but more of an extended comment. It seems that the first one to raise this question was E. Bannai Association schemes and fusion algebras. (An introduction), J. Algebr. Comb. 2, No. 4, 327-344 (1993). The motivation was to find examples of when a certain matrix attached to a group association scheme is unitary (which is the case for "naturally occuring" association schemes). This happens precisely when the irreducible characters and conjugacy classes of the finite group can be paired up such that the size of the conjugacy class is the square of the corresponding character degree.

On p. 341 Bannai mentions that M. Kiyota has proved (using the CFSG) that this property does not hold for any non-abelian simple group. This shouldn't be too hard; as Jim Humphreys has noted, the case of simple groups of Lie type follows from the existence of the Steinberg character, whose degree equals the order a Sylow $p$-subgroup, hence the square of its degree cannot divide the order of the group. For simple alternating groups, it is easy to find conjugacy classes which are not squares, and for the sporadic groups one can explicitly check whether the condition holds in each case.

Bannai also mentions that Kiyota "conjectures that $G$ must be nilpotent if the condition is satisfied", so Kevin Buzzard's question has been asked before.

An interesting development that gives some support to the conjecture that these groups are nilpotent is this paper:

Andrus, Ivan; Hegedűs, Pál; Okuyama, Tetsuro, Transposable character tables and group duality., Math. Proc. Camb. Philos. Soc. 157, No. 1, 31-44 (2014). ZBL1330.20007,

where it is shown that every transposable group is nilpotent. Transposable groups are finite groups $G$ whose character table has the property that its transpose (viewed as a matrix) is, up to multiplication by suitable diagonal integer matrices on each side, equal to the character table of some other finite group $G^T$. Moreover, $G$ is called self-dual if it is isomorphic to $G^T$ (there are other, equivalent, definitions). By definition, self-dual groups satisfy the condition that conjugacy class sizes are the squares of corresponding character degrees (i.e., that the two partitions in the OP agree). Thus, at least self-dual groups are nilpotent. However, I think there exist non-self-dual groups satisfying the condition that the two partitions agree, so in general Kiyota's conjecture seems to be open.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .