7
$\begingroup$

Berkovich mentioned the following result of Mann in his book on p-groups:

The number of nonlinear irreducible characters of given degree in a p-group is divided by p-1.

Do you know any reference for this statement? Also, I would like to ask you if a similar assertion holds for conjugacy classes.

$\endgroup$
2
  • $\begingroup$ What is a nonlinear character? $\endgroup$ Commented Mar 17, 2013 at 23:51
  • 1
    $\begingroup$ Qiaochu: this is the group theorists' terminology for characters of degree greater than 1, i.e. which are not homomorphims into the complex numbers $\endgroup$
    – Yemon Choi
    Commented Mar 18, 2013 at 6:15

3 Answers 3

11
$\begingroup$

Here is a more elementary argument than Geoff's. The number of linear characters of $P$ divides the order of $P$ and is hence a power $p^r$ of $p$. All the other characters have degrees $d_i$ of the form $p^{a_i}$. Hence $$ p^n = p^r +\sum_i p^{2a_i}. $$ I claim that if $p^n$ is written as a sum of powers of $p$, then the number $N$ of summands satisfies $N\equiv 1$ (mod $p-1$), and the proof follows. One way to prove the claim is to consider the smallest summand $p^k$. Considering the sum mod $p^k$ shows that the number $N_k$ of summands equal to $p^k$ is a multiple of $p$. Hence we can replace them with $N_k/p$ summands equal to $p^{k+1}$ without affecting the number of summands mod $p-1$. Now continue this argument until reaching $p^n$.

$\endgroup$
4
  • 6
    $\begingroup$ It's easier than that: letting $N$ be the number of terms in that sum on the right, just look at this equation mod $p-1$. Since $p \equiv 1 \bmod p-1$, the equation becomes $1 \equiv 1 + N \bmod p-1$, so $N \equiv 0 \bmod p-1$. $\endgroup$
    – KConrad
    Commented Mar 18, 2013 at 7:07
  • 2
    $\begingroup$ @Richard,@KConrad: And Richard's answer and/or KCs comment makes the situation with the conjugacy class question transparent too: using the modified class equation gives $1 \equiv 1 + (k(P) -|Z(P)|)$ (mod $p-1$), where $k(P)$ is the number of conjugacy classes of $P$, so the number of conjugacy classes of $p$ of size greater than $1$ is diisible by P-1$. Simpler than my approach! $\endgroup$ Commented Mar 18, 2013 at 7:57
  • $\begingroup$ In fact, if $M$ is the number of nonlinear irreducible characters, then $M\equiv 0$ (mod $p^2-1$) if $n\equiv r$ (mod 2); $M\equiv p-1$ (mod $p^2-1$) if $n$ is odd and $r$ is even; and $M\equiv -p+1$ (mod $p^2-1$) if $n$ is even and $r$ is odd. $\endgroup$ Commented Mar 19, 2013 at 13:00
  • $\begingroup$ Stanley has proved that the number of nonlinear irreducibles for a nonabelian $p$-group is a multiple of $p-1$. But Mann asserts more: the number of irreducibles of a given degree $>1$ is a multiple of $p-1$. $\endgroup$
    – yakov
    Commented Jun 28, 2016 at 11:19
9
$\begingroup$

For every non-trivial irreducible character $\chi$ of a finite $p$-group $P,$ we may choose an element $z in P$ such that $\chi(z) = \chi(1) \omega$ for some primitive $p$-th root of unity $\omega$ (this is an easy consequence of Schur's Lemma and the fact that the image of $P$ in the associated representation has non-trivial center). Now let $\zeta$ be a primitive $p^{e}$-th root of unity, where $P$ has exponent $p^{e}.$ Then ${\rm Gal}(\mathbb{Q}[\zeta]/\mathbb{Q})$ acts on the irreducible characters of $P,$ and it is clear that $\chi$ is in an orbit of length divisible by $p-1.$ Since $\chi$ was an arbitrary non-trivial irreducible character, and since all irreducible characters in the same orbit have the same degree it follows both that the total number of non-trivial irreducible characters, and the total number of irreducible non-linear characters of $P$ are multiples of $p-1$ (in fact, the number of irreducible characters of $p$ of any fixed degree $p^{d} >1$ is a multiple of $p-1.$ And yes, a similar statement holds for conjugacy classes. If $C$ is a non-trivial conjugacy class of $P$, say containing an element $x,$ then the length of the conjugacy class only depends on $\langle x \rangle$. If $x$ has order $p^{e},$ then $\langle x \rangle$ has $p^{e-1}(p-1)$ generators, but if $y$ is another generator, and $y^{p^{e-1}} \neq x^{p^{e-1}},$then $x$ and $y$ are not conjugate within $p.$ Since $\langle x \rangle$ contains $p-1$ elements of order $p,$ it follows that the number of conjugacy classses of non-trivial elements of $P$ which have length $[P:C_{P}(x)]$ is divisible by $p-1.$ In particular, the number of conjugacy classes of length greater than $1$ is divisible by $p-1.$

$\endgroup$
2
$\begingroup$

As already explained by Geoff, the number of conjugacy classes of size $>1$ is divisible by $p-1$. A reference is:

A. Mann: Groups with few class sizes and the centralizer equality subgroup. Israel J. Math. 142(2004), 367-380.

The result (with a proof quite similar to Geoff's) is on page 376 (after Corollary 18).

$\endgroup$
0

You must log in to answer this question.

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