KIRILLOV’S ORBIT METHOD AND POLYNOMIALITY OF THE FAITHFUL
DIMENSION OF p-GROUPS
by

arXiv:1712.02019v1 [math.RT] 6 Dec 2017

Mohammad Bardestani, Keivan Mallahi-Karai & Hadi Salmasian

Contents
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Main results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4. Nilpotent Lie algebras constructed by partial orders . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5. The commutator matrix of nilpotent Lie algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6. Proof of Theorem 2.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7. Free nilpotent Lie algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Acknowledgement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1
2
7
9
12
19
20
25
25

Abstract. — Let G be a finite group. The faithful dimension of G is defined to be the smallest possible dimension for a faithful complex representation of G. Aside from its intrinsic interest, the problem of determining
the faithful dimension of p-groups is motivated by its connection to the theory of essential dimension. In this
paper, we will address this problem for groups of the form Gp := exp(g ⊗Z Fp ), where g is a nilpotent Z-Lie
algebra of finite rank, and Gp is the p-group associated to g ⊗Z Fp in the Lazard correspondence. We will show
that in general the faithful dimension of Gp is given by a finite set of polynomials associated to a partition of
the set of prime numbers into Frobenius sets. At the same time, we will show that for many naturally arising
groups, including a vast class of groups defined by partial orders, the faithful dimension is given by a single
polynomial. The arguments are reliant on various tools from number theory, model theory, combinatorics and
Lie theory.

1. Introduction
Given a finite group G and a field K, the faithful dimension of G, denoted by mfaithful,K (G), is the smallest integer n such that G embeds into GLn (K). The question of computing or estimating mfaithful,K (G)
has found many applications. For instance, computing the faithful dimension arises in the theory of
essential dimension. The essential dimension edK (G) of a finite group G, introduced by Buhler and Reichstein [8], is the smallest definition of a linearizable G-variety with a faithful G-action. One can show
that edK (G) ≥ mfaithful,K (G) for every finite group G. Karpenko and Merkurjev [15] proved that if G is a
p-group and K contains a primitive pth root of unity, then edK (G) = mfaithful,K (G). For further details,
the reader may wish to consult [19].
In this paper, we are concerned with computing mfaithful,C (G). Since we will only consider complex
representations, we use the shorthand mfaithful (G) instead of mfaithful,C (G). This work can be viewed as
a continuation of our previous work [3] in which the faithful dimension of a large class of p-groups was
studied. Let us start by recalling some of the results from [3]. Let F be a non-Archimedean local field
with a discrete valuation ν. We will denote the associated ring of integers by O, the unique maximal ideal
of O by p, and the associated residue field by Fq where q = pf , and call f the absolute inertia degree of F .
Moreover, the number e = ν(p) is called the absolute ramification index of F . For a (commutative and
unital) ring R, the Heisenberg group with entries in R consists of (k + 2) × (k + 2) matrices of the form

2

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

Ik+2 + A, where A is strictly upper triangular and all of its entries other than those on the first row and
the last column are zero. By applying the Mackey machine we proved that [3, Theorem 1.1] the faithful
dimension of the Heisenberg group over O/pn is given by
n

(1)

mfaithful (Heis2k+1 (O/p )) =

ξ−1
X

f q k(n−i) ,

ξ = min {e, n} .

i=0

Also by invoking the Weil representation along with the above estimate, we showed that [3, Theorem 1.2]
(2)

mfaithful (Uk+2 (O/pn )) = mfaithful (Heis2k+1 (O/pn )),

char(O/p) 6= 2,

where Uk+2 (O/pn ) ⊆ GLk+2 (O/pn ) is the group of unitriangular matrices with entries in O/pn . In fact
using (2) we obtained a closed formula for the faithful dimension of all groups G lying between the
Heisenberg group and the full upper-triangular group over O/pn . In the case when F = Fp ((T )), p ≥ 3,
these yield
(3)

mfaithful (Uk (Fp [[T ]]/(T n ))) =

n−1
X

p(k−2)(n−i) ,

k ≥ 3,

i=0

showing that, in particular, for p ≥ 3, the faithful dimension of the group Uk (Fp ) is given by
(4)

mfaithful (Uk (Fp )) = pk−2 ,

k ≥ 3,

which is a polynomial in p. Note that Uk (Fp ) = exp(nk ⊗ Fp ), where nk is the Lie algebra of the strictly
upper triangular matrices with entries in Z. Equation (4) suggests the following problem.
Problem 1.1 (Polynomiality problem). — Let g be a nilpotent Z-Lie algebra of finite rank. For
which g does there exist a polynomial g(T ) ∈ Z[T ], depending only on g, such that
(5)

mfaithful (exp(g ⊗Z Fp )) = g(p),

for large enough p?
This problem is the central guiding principle of this work. Before describing the results in detail, let
us mention that the methods applied in [3] were heavily dependent on a suitably adopted version of the
Stone-von Neumann theory, whose application is mostly limited to groups of nilpotency class 2. This
is replaced in this paper with Kirillov’s orbit method, which is a finite-group version of a now-classical
method introduced by Kirillov [18] to study unitary representation of nilpotent Lie groups. The orbit
method can be viewed as a natural extension of the Stone-von Neumann theory to general nilpotent
groups. After Kirillov’s work, the orbit method has been adapted to other classes of groups, including
p-adic analytic groups, finitely generated nilpotent groups, and finite p-groups by Howe [12, 13] and
Kazhdan [16, Proposition 1].
The idea of using the orbit method has been successfully employed to study representation theory of
p-adic analytic groups and finite nilpotent groups. For example, Jaikin-Zapirain [14] used this machinery
to study the representation zeta function (or Witten zeta function) of certain compact p-adic analytic
groups. The representation zeta function of compact p-adic analytic groups has been further studied by
Avni, Klopsch, Onn and Voll [1]. We refer the reader to these papers and references therein for more
details. In a different direction, O’Brien and Voll [22] used the orbit method to enumerate the number of
conjugacy classes and characters of certain finite p-groups.

2. Main results
Before we state the results we will need to set some notation. Let g be a Lie algebra over a commutative
ring R. When R is not explicitly specified, we take R = Z. For x ∈ g, the map defined by y 7→ [x, y] (which
is a Lie algebra derivation) is denoted by adx . The descending central series of g is defined inductively by
g1 := g, and gl+1 as the R-submodule generated by commutators of the form [x, y], where x ∈ g, y ∈ gl .
The commutator subalgebra will be denote by g0 which is g2 . The algebra g is said to be nilpotent if
gc+1 = 0 for some c ∈ N. If c is the smallest integer with this property then g is said to be c-step nilpotent
or nilpotent of class c.

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

3

Suppose now that g is a finite Lie algebra over Z whose cardinality is a power of p, and assume that
g is nilpotent of class c < p. One may define a group operation on g by the Campbell-Baker-Hausdorff
formula: For all x, y ∈ g we define the group multiplication by
P
X (−1)n+1
X
( 1≤i≤n ai + bi )−1
(6) x ∗ y :=
(adx )a1 (ady )b1 . . . (adx )an (ady )bn −1 (y);
n
a1 !b1 ! · · · an !bn !
n>0

(a1 ,b1 ),...,(an ,bn )
aj +bj ≥1

where if bn = 0 then last term (ady )bn −1 (y) is dropped. Plainly if bn > 1, or if bn = 0 and an > 1, then
the term is zero. Note that the sum in (6) is finite, since g is nilpotent. The group defined in this way will
often be denoted by exp(g). For instance, when g is two-step nilpotent and p ≥ 3, from (6), the group
multiplication on exp(g) takes the simple form
1
x ∗ y = x + y + [x, y],
2
and when g is 3-step and p ≥ 5 we obtain
1
1
1
x ∗ y = x + y + [x, y] + [x, [x, y]] + [y, [y, x]].
2
12
12
Similarly formulas can be written for any given nilpotency class when p is large enough. The group exp(g)
defined above can be shown to be a p-group of class c. In fact, Lazard proved [17, Chapter 9], that every
p-group G of class c < p arises in this way from a unique Lie algebra g := Lie(G).
Now, let g be a nilpotent Z-Lie algebra of finite rank. In the next section we will consider the faithful
dimension of exp(g ⊗Z Fp ) for some specific examples.
2.1. A palette of possibilities. — To illustrate the range of possibilities that can arise, we will start
this subsection with three examples, and then state our main results. These examples will be treated at
length in Section 5.
Example 2.1 (Elliptic curve). — Let a be a non-zero integer. Consider the Z-Lie algebra ga , introduced by Boston and Isaacs [5, Section 3], which is spanned by {v1 , . . . , v9 }, subject to the relations
[v1 , v4 ] = [v2 , v5 ] = [v3 , v6 ] = v7 ,

[v1 , v5 ] = [v2 , v6 ] = v8 ,

[v1 , v6 ] = av9 ,

[v2 , v4 ] = [v3 , v4 ] = v9 .

All other brackets [vi , vj ] vanish. Then, when p is large enough, we have
mfaithful (exp(ga ⊗Z Fp )) = 3p2 .

(7)

As we will see in the proof, the uniformity in p has to do with the fact that when p is a sufficiently large
prime, the cubic curve
Y 2 = 4aX 3 + X 2 − 4X,
always has a non-zero rational point over Fp .
Note that in this example, aside from a finite set of primes, the dimension is given by one polynomial
in p.
Example 2.2 (Binary quadratic form). — Consider the Z-Lie algebra g spanned by {v1 , . . . , v6 } subject to the relations:
[v1 , v2 ] = [v3 , v4 ] = v5 , [v1 , v4 ] = [v2 , v3 ] = v6 ,
where all other commutators are defined to be 0. Then, one can show that mfaithful (exp(g ⊗Z Fp )) is given
by two different polynomials along two arithmetic progressions, namely,
(
2p p ≡ 1 (mod 4);
(8)
mfaithful (exp(g ⊗Z Fp )) =
2p2 p ≡ 3 (mod 4).
Put somewhat more formally, using
P1 = {p ≥ 3 : p ≡ 1

(mod 4)},

P2 = {p ≥ 3 : p ≡ 3

and g1 (T ) = 2T and g2 (T ) = 2T 2 , we have
(9)

mfaithful (exp(g ⊗Z Fp )) = gi (p),

p ∈ Pi .

As the next example shows, even this is not the end of the story.

(mod 4)},

4

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

Example 2.3 (Binary cubic form). — Consider the Z-Lie algebra g spanned by {v1 , . . . , v8 } with the
following relations:
[v1 , v4 ] = [v2 , v5 ] = [v3 , v6 ] = v7 ,

[v1 , v5 ] = [v2 , v6 ] = [v3 , v5 ] = v8 ,

[v3 , v4 ] = −v8 ,

where all other commutators are defined to be 0. Then for all odd primes p we have

p 
2
3

p + p
23 = −1;
(10)
mfaithful (exp(g ⊗Z Fp )) = 2p3
p is represented by the form 2x2 + xy + 3y 2 ;

 2
2p
p is represented by the form x2 + xy + 6y 2 or p = 23,
where ( p· ) is the Legendre symbol. The conditions defining this function split the set of prime numbers
p ≥ 3 into disjoint sets P1 , P2 and P3 , along each one of which, one of the polynomials g1 (T ) = T 2 + T 3 ,
g2 (T ) = 2T 3 and g3 (T ) = 2T 2 is applicable. It is worth mentioning that the sets P2 and P3 are not
unions of arithmetic progressions.
The important point to note here is that in each one of the above examples, the set of primes can be
decomposed into a number of arithmetically defined sets, such that the value of mfaithful (exp(g ⊗Z Fp )) can
be given by a polynomial on each set. Let us explain this in more detail. For a polynomial g(T ) ∈ Z[T ],
denote by Vg the set of primes p for which the congruence g(T ) ≡ 0 (mod p) has a solution. We will call
Vg an elementary Frobenius set. Let P denote the set of prime numbers. By a Frobenius set we mean an
element of the Boolean algebra inside the power set of P that is generated by elementary Frobenius sets.
In other words, a Frobenius set is a finite union of sets of the form
Vg1 ∩ · · · ∩ Vgk ∩ Vgck+1 ∩ · · · ∩ Vgcl .
We remark that up to removal of finitely many primes, a Frobenius set is a Frobenian set, as defined by
Serre [26, Section 2.1.2]. For p > 2 the equation x2 + 1 = 0 has a solution in Fp if and only if p ≡ 1
(mod 4). This shows that the sets appearing in Example 2.2 are indeed Frobenius. Showing that the sets
Pi in Example 2.3 are Frobenius is less obvious. First, using the quadratic reciprocity law one can easily
verify that the set P1 consists of those primes p ≥ 3 for which the equation x2 + 23 has no solution in Fp .
The other two parts are based on the less trivial fact that p ≥ 3 can be represented by the quadratic form
a2 + ab + 6b2 (respectively, the form 2a2 + ab + 3b2 ) if and only if p 6∈ P1 and x3 − x − 1 has a solution
(respectively, no solution) in Fp . Consequently, Pi , are all Frobenius sets.
Let P be any set of primes. The Dirichlet density of P is defined by
P
−s
p∈P p
(11)
d(P) := lim P
,
−s
s→1+
p∈P p
if the limit exists. By applying the Chebotarev density theorem, one can show that any infinite Frobenius
set has a positive Dirichlet density. It follows from Dirichlet’s theorem on primes in arithmetic progressions
that the Dirichlet density of sets Pi in the Example 2.2 is positive. Employing tools from class field theory,
one can also show that the Dirichlet density of each set Pi in Example 2.3 is positive. For more details
we refer the reader to [9, Theorem 9.12].
With this preparation, we are now ready to state our first result.
Theorem 2.4. — Let g be a nilpotent Z-Lie algebra of finite rank, and let exp(g ⊗Z Fp ) be the group
associated to the finite Lie algebra g ⊗Z Fp . Then there exist pairwise disjoint Frobenius sets P1 , . . . , Pr
partitioning the set of prime numbers and integer polynomials g1 (T ), . . . , gr (T ), depending only on g, such
that for 1 ≤ i ≤ r, we have
(12)

mfaithful (exp(g ⊗Z Fp )) = gi (p),

p ∈ Pi .

The proof of this theorem relies on a theorem of Ax [2] from model theory (see also van den Dries [27]),
coupled with a parameterization of irreducible representations provided by the Kirillov machinery. As we
shall see, the function mfaithful (exp(g ⊗Z Fp )) is governed by the size of Fp -points of certain determinantal
varieties. We remark that our proof is effective, in the sense that it allows one to compute the implied
Frobenius sets and the associated polynomials in each case. We will demonstrate this by a detailed
analysis of the above mentioned examples after we give the proof of Theorem 2.4.
At this point two remarks are in order. On the one hand, Theorem 2.4 sets an upper limit on how
complicated the value of mfaithful (exp(g ⊗Z Fp )) as a function of p can be. It would be desirable to know
how tight this bound is, that is, to what extent the functions appearing in Theorem 2.4 can be realized

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

5

as mfaithful (exp(g ⊗Z Fp )) for some Lie algebra g. On the other hands, one may still hope that at least for
a large class of naturally arising Lie algebras g, the function mfaithful (exp(g ⊗Z Fp )) is given by a single
polynomial. In the next subsection we will show that this is indeed the case.
2.2. Root groups. — Recall that the (2n + 1)-dimensional Heisenberg group Heis2n+1 (Fp ) defined
in the introduction is the group associated in the Lazard correspondence to the Heisenberg Lie algebra
g ⊗Z Fq where g is the subalgebra of the Lie algebra gln+2 (Fq ) of (n + 2) × (n + 2) matrices spanned by
the elementary matrices e1i with 2 ≤ i ≤ n + 2 and ei(n+2) , with 2 ≤ i ≤ n + 1. This construction can be
generalized as follows. Set [n] := {1, 2, . . . , n}, and let ([n], ≺) be a partially ordered set. Without loss of
generality, we can assume that if i ≺ j then i < j. To this partial order, we assign the following root Lie
algebra:
g≺ := SpanZ {eij : i ≺ j} ⊆ gl(n, Z),
where eij is an elementary matrix, having 1 in the (i, j) position and 0 elsewhere. The commutator
relation
[eij , ekl ] = δjk eil − δli ekj ,
ensures that g≺ is indeed a subalgebra of the Lie algebra nn of strictly upper-triangular n by n matrices,
and hence is nilpotent. For instance, the (2n + 1)-dimensional Heisenberg Lie algebra correspond to the
partial order:
(13)

1 ≺ 2, 3, . . . , n + 1 ≺ n + 2.

For any i ≺ j define
α(i, j) := #{k ∈ [n] : i ≺ k ≺ j}.
We let α(i, j) = 0 when the set is empty. Moreover the length of ([n], ≺), denoted by λ≺ , is defined to be
the maximum value of r such that there exists a chain i0 ≺ · · · ≺ ir in ([n], ≺). For instance the length
of the partial order given in (13) is equal to 2. We remark that the length λ≺ is equal to the nilpotency
class of g≺ associated to the partial order ([n], ≺) (see Lemma 4.1).
Definition 2.5. — An ordered pair (i, j) is called an extreme pair, if i and j are, respectively, minimal
and maximal elements in ([n], ≺) and i ≺ j. The set of extreme pairs will be denoted by Iex .
We can now state our second main result.
Theorem 2.6. — Let ≺ be a partial order on the set [n] with the length λ≺ , and let Fq be a finite field
with q = pf elements. When p > λ≺ , we have
X
(14)
mfaithful (exp(g≺ ⊗Z Fq )) = f
q α(i,j) .
(i,j)∈Iex

This theorem generalizes (4). The proof of this theorem is reliant on Kirillov theory, and more specifically on an explicit description of the size of coadjoint orbits in terms of combinatorial data of the partial
order. Note that as Theorem 2.4 indicates, at least a priori, there is no reason to expect the faithful
dimension to be given by a single polynomial. This is a consequence of, among other things, a detailed
analysis of the size of coadjoint orbits, and a combinatorial lemma due to Rado and Horn.
Remark 2.7. — Let F be a non-Archimedean local field with the ring of integers O, the unique maximal
ideal p and the associated residue field Fq . When F = Fq ((T )), the method of proof of Theorem 2.6 can
be extended to establish
n−1
X X
n
mfaithful (exp(g≺ ⊗Z O/p )) =
f q (n−`)α(i,j) ,
`=0

(i,j)∈Iex

when p > λ≺ . For p-adic fields, i.e, finite extensions of Qp , one can also compute the faithful dimension
of exp(g≺ ⊗Z O/pn ) when the extension is unramified. We shall not pursue this direction in this paper,
and only remark that it seems likely that for general non-Archimedean local fields, the faithful dimension
of exp(g≺ ⊗Z O/pn ) is given by the formula
ξ−1 X
X
`=0 (i,j)∈Iex

f q (n−`)α(i,j) ,

ξ = min{n, e},

6

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

where f is the absolute inertia degree and e is the absolute ramification index of F . This formula can be
proven for many special cases. We hope to address this more technical question elsewhere.
An immediate consequence of Theorem 2.6 is the following corollary.
Corollary 2.8. — For any non-zero integer polynomial g(T ) ∈ Z[T ] with non-negative coefficients, there
exists a nilpotent Z-Lie algebra g of finite rank such that
(15)

mfaithful (exp(g ⊗Z Fp )) = g(p),

when p is large enough.
2.3. Relatively free nilpotent groups. — In this section we will turn to free objects in certain
categories of nilpotent Lie algebras. Let fn,c := fn,c (Z) be the free nilpotent Z-Lie algebra on n generators
and of class c; it is defined to be the quotient algebra fn /fc+1
n , where fn is the free Z-Lie algebra on n
generators. It is well-known that for any c the rank of fcn (as a Z-module) is given by Witt’s formula:
1X
µ(d)nc/d ,
rn (c) :=
c
d|c

where µ is the Möbius function. Using the orbit method one can obtain a lower bound for the faithful
dimension of exp(fn,c ⊗Z Fp ):
rn (c)p ≤ mfaithful (exp(fn,c ⊗Z Fp )).
This lower bound is sharp for fn,2 and fn,3 .
Theorem 2.9. — Let n ≥ 2 and p be a prime. Then
1. For p ≥ 3 we have
mfaithful (exp(fn,2 ⊗Z Fp )) =

n2 − n
p.
2

mfaithful (exp(fn,3 ⊗Z Fp )) =

n3 − n
p.
3

2. For p ≥ 5 we have

The proof of these results involves explicit computations with the Hall basis of these Lie algebras and
relies on subtle combinatorial optimizations. By an explicit computation we obtain the following table:
mfaithful (exp(f2,c ⊗Z Fp ))

f2,c
c=2

p≥3

p

c=3

p≥5

2p

c=4

p≥5

3p

c=5

p≥7

2p2 + 4p

c=6

p≥7

4p2 + 5p

Further computations however do not suggest any formula for the faithful dimension of exp(f2,c ⊗Z Fp )
when c grows and we are not able to come up with a conjectural formula.
For a Lie algebra g, denote Dg = [g, g] and define inductively Dk+1 g = [Dk g, Dk g]. Note that g/D2 g
is the largest metabelian quotient of g. When g = fn,c , this quotient is called the free metabelian Lie
algebra of class c on n generators and will be denoted by mn,c .
Theorem 2.10. — Let c ≥ 2 and p > c be a prime. Then
(16)

mfaithful (exp(m2,c ⊗Z Fp )) = (c − 1)p.

We will see in the course of the proof of this theorem that computing the faithful dimension of
exp(m2,c ⊗Z Fp ) is linked to rational normal curves, that is, the image of the Veronese map νd : P1 → Pd
given by
νd : [X0 : X1 ] 7→ [X0d : X0d−1 X1 : · · · : X1d ],
and this suggests other tools (e.g. from the theory of determinental varieties) can be brought to bear on
the more general situation.

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

7

3. Preliminaries
In this section we introduce some notation and prove a number of basic facts which will be used
throughout this paper. In particular, we will explain the connection between faithful representations and
the central characters of their irreducible components. We will also briefly recall the orbit method.
Notation. — Let G be a group with the identity element 1. The center and the commutator subgroup
of G will be denoted, respectively, by Z(G) and G0 = [G, G]. For an abelian p-group G, we write
Ω1 (G) := {g ∈ G : g p = 1},
which is a Z/pZ-vector space. The Pontryagin dual of an abelian group A, i.e., Hom(A, C∗ ), will be
b Evidently, when A is an elementary abelian p-group, A
b has a canonical structure of a
denoted by A.
Z/pZ-vector space. The characteristic of a field F will be denoted by char(F ). We denote the cardinality
of a set S by #S. Throughout this paper, eij will denote an elementary matrix (of an implicitly known
size), with 1 in the (i, j) position and 0 elsewhere.
3.1. Central characters of faithful representations of p-groups. — Let A be a finite abelian
group. We denote the minimal number of generators of A by d(A). For an exact sequence of abelian
groups 0 → A1 → A → A2 → 0, we have the following inequalities
(17)

max{d(Ai ) : i = 1, 2} ≤ d(A) ≤ d(A1 ) + d(A2 ).

The number of invariant factors of A will be denoted by d0 (A). It can be easily seen from elementary
divisor theory that d0 (A) = d(A). Evidently we have mfaithful (A) ≤ d0 (A). Now for a given faithful
representation ρ : A → GLm (C), by decomposing ρ into irreducible representations and applying (17), we
get d(A) = d0 (A) ≤ mfaithful (A). Hence for a finite abelian group A we have:
mfaithful (A) = d(A) = d0 (A).
In particular for abelian p-groups we have the following lemma:
Lemma 3.1. — For a finite abelian p-group A we have
(18)

d(A) = d0 (A) = mfaithful (A) = dimZ/pZ (A ⊗Z Z/pZ) = dimZ/pZ (Ω1 (A)).

Now let E be a finite elementary abelian p-group with the canonical Z/pZ-vector space structure. One
can verify that every one-dimensional representation χ : E → C∗ factors uniquely as χ =  ◦ χ◦ , where
χ◦ ∈ Hom(E, Z/pZ) and the embedding  : Z/pZ → C∗ is defined by (x + pZ) = exp((2πix)/p). Hence
the Z/pZ-linear map
(19)

b → Hom(E, Z/pZ) , χ 7→ χ◦ ,
E

b and Hom(E, Z/pZ). Now, let G be a finite
provides an isomorphism of Z/pZ-vector spaces between E
p-group. Applying (19) to Ω(Z(G)), we obtain the Z/pZ-isomorphism
(20)

Hom(Ω1 (Z(G)), C∗ ) → Hom(Ω1 (Z(G)), Z/pZ).

b 1 (Z(G)).
Hereafter the Z/pZ-vector space Hom(Ω1 (Z(G)), C∗ ) will be denoted by Ω
Remark 3.2. — Recall the standard fact that for a finite p-group G, any non-trivial normal subgroup
of G intersects Z(G) and hence Ω1 (Z(G)) non-trivially. Therefore a representation of G is faithful if and
only if its restriction to Ω1 (Z(G)) is faithful.
We recall the following simple lemma.
Lemma 3.3. — Let L, L1 , . . . , Ln be linear functionals on a vector space V with respective null spaces
N , N1 , . . . , Nn . Then L is a linear combination of L1 , . . . , Ln if and only if N contains the intersection
N1 ∩ · · · ∩ Nn .
The following observation, due to Meyer and Reichstein [20], will play a crucial role in computing the
faithful dimension of p-groups.
Lemma 3.4. — Let G be a finite p-group and let (ρi , Vi )1≤i≤n be a family of irreducible representations of
b 1 (Z(G)).
G with central characters χi . Assume that the set of characters {χi |Ω (Z(G)) : 1 ≤ i ≤ n} spans Ω
1
L
Then 1≤i≤n ρi , is a faithful representation of G.

8

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

b 1 (Z(G)), from Lemma 3.3 and the Z/pZ-isomorphism
Proof. — Since {χi |Ω (Z(G)) : 1 ≤ i ≤ n} spans Ω
Tn 1
L
(20) we obtain i=1 ker χi |Ω (Z(G)) = {1}. Hence
1≤i≤n ρi is a faithful representation of Ω1 (Z(G)).
L 1
Remark 3.2 implies that 1≤i≤n ρi is a faithful representation of G.
Lemma 3.5. — Let G be a finite p-group and let ρ be a faithful representation of G with the minimal
dimension. Then ρ decomposes as a direct sum of exactly r = d(Z(G)) irreducible representations
ρ = ρ1 ⊕ · · · ⊕ ρr .

(21)

b 1 (Z(G)).
Therefore the set of central characters {χi |Ω (Z(G)) : 1 ≤ i ≤ r} is a basis for Ω
1
L
Proof. — Let ρ = 1≤i≤n ρi be the decomposition of ρ, and χi , 1 ≤ i ≤ n denote the associated central
character.
Since ρ is faithful and r = d(Z(G)), we have n ≥ r. Furthermore, since ρ is faithful we have
Tn
i=1 ker χi = {1}. Hence, from Lemma 3.3, Lemma 3.4, and minimality of dim(ρ) it follows that n = r
b 1 (Z(G)).
and {χi |Ω (Z(G)) : 1 ≤ i ≤ r} is a basis for Ω
1

3.2. Kirillov’s orbit method. — The orbit method was introduced by Kirillov [18] to study unitary
representations of simply connected nilpotent Lie groups. For such a group G with Lie algebra g, this
b of G, and the set Homcont (g, C∗ )/G of
method provides an explicit bijection between the unitary dual G
cont
∗
orbits of the induced action of G on Hom (g, C ), called coadjoint orbits. Since Kirillov’s work, this
method has been extended to study representations of nilpotent groups in other contexts. Relevant to
this work is the version applying to finite p-groups, which we now briefly explain. For more details we
refer the reader to [7]. Let G be a p-group with the nilpotency class c < p. Then there exist a unique
finite Lie ring g := Lie(G) such that G ∼
= exp(g). Note that, in the definition of exp(g), the underlying
set of the group is g and the multiplication law is defined by the Campbell-Baker-Hausdorff formula.
Usually we identify the underlying sets of the group G and the Lie algebra g. A simple application of the
Campbell-Baker-Hausdorff formula shows that in this identification the center of g (as a Lie ring) will be
mapped onto the center of G as a group.
Consider now the coadjoint action of G on b
g := HomZ (g, C∗ ), defined for x ∈ g and θ ∈ b
g by
!
c
X
adnx (y)
,
y ∈ g.
θx (y) := θ
n!
n=0

Note that since p > c, the sum is indeed well-defined.
Theorem 3.6. — Assume that p ≥ 3 and let G be a p-group of nilpotency class c < p. Furthermore, assume that g = Lie(G). Then there exists a bijection between G-orbits Θ ⊆ b
g and irreducible representations
b such that Kirillov’s character formula holds:
ρΘ ∈ G
X
(22)
χΘ (x) := χρΘ (x) = |Θ|−1/2
θ(x).
θ∈Θ

Proof. — See [7, Theorem 2.6].
Let Θ ⊂ b
g be the orbit of θ0 ∈ b
g. Then from Kirillov’s character formula we see that the central character
of ρΘ is θ0 |Z(g) and
(23)

dim(ρΘ ) = |Θ|1/2 = [g : StabG (θ0 )]1/2 .

Proposition 3.7. — The stabilizer of of θ0 is given by
(24)

StabG (θ0 ) = {x ∈ g : θ0 ([x, y]) = 1

Proof. — One inclusion is obvious. For the inclusion ⊆ note that
(
StabG (θ0 ) = {x ∈ g : θ0x (y) = θ0 (y),

∀y ∈ g} =

x ∈ g : θ0

∀y ∈ g}.
c
X
adn (y)
x

n=0

Fix x ∈ StabG (θ0 ). Hence for any y ∈ g we have
(25)

θ0

c
X
adn (y)
x

n=1

n!

!
= 0.

n!

!

)
= θ0 (y),

∀y ∈ g .

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

9

Choose an arbitrary element y ∈ gc−1 . Since gc+1 = 0, then from (25) we deduce that θ0 (adx (y)) = 0.
Going up the lower central series, choose an arbitrart y ∈ gc−2 , and note that
c
X
adx (y)
n=1

n!

= adx (y) +

ad2x (y)
.
2

In light of the previous step, we have θ0 (adx (y)) = 0. Continuing this process, the claim follows for all
y ∈ g.
Let us now illustrate the power of the orbit method by showing how it can be applied to compute the
faithful dimension of certain two-step nilpotent groups.
Proposition 3.8. — Let G be
pa p-group of class two whose center is cyclic. Then the faithful dimension
of G, when p ≥ 3, is equal to [G : Z(G)].
Proof. — Let ρ be a faithful representation of G of minimal dimension. Since the center of G is cyclic, it
follows from Lemma 3.5 that ρ is irreducible. By the Lazard correspondence,
G = exp(g), where g is a
p
finite Lie algebra of class two. It suffices to show that dim ρ = [g : Z(g)]. Thanks to the orbit method,
there exists θ0 ∈ b
g such that
1 X
χρ (x) = p
θ(x),
|Θ| θ∈Θ
where Θ is the G-orbit of θ0 . Therefore
dim ρ =

p
p
|Θ| = [g : StabG (θ0 )].

Note that the central character of ρ is θ0 , when it is restricted to Z(g), and so θ0 : Z(g) → C∗ is
faithful. Now let x ∈ StabG (θ0 ). Then for any y ∈ g we have θ0 ([x, y]) = 1 and so [x, y] = 0. Therefore
StabG (θ0 ) = Z(g), which finishes the proof.
The class of p-groups covered by the theorem includes all the extra special p-groups; A p-group G is
called extra special when its center Z(G) has p elements and G/Z(G) is an elementary abelian p-group. It
is well-known that an extra special p-group has order p2n+1 for some positive integer n. Thus the faithful
dimension of G is pn .

4. Nilpotent Lie algebras constructed by partial orders
This section is devoted to the proof of Theorem 2.6. We start by recalling some notations that were
defined in Subsection 2.2. Let ≺ be a partial order on the set [n] := {1, . . . , n}. We can associate to ≺
the Lie algebra defined by
g := g≺ = SpanZ {eij : i ≺ j} ⊆ gl(n, Z).
Lemma 4.1. — The nilpotency class of g is equal to the length of ([n], ≺).
Proof of Lemma 4.1. — Before starting the proof note that for i ≺ j and k ≺ l we have
(26)

[eij , ekl ] = δjk eil − δli ekj .

From (26) it follows that [eij , ekl ] = eil when i ≺ j = k ≺ l and is [eij , ekl ] = −ekj when k ≺ l = i ≺ j.
In other cases [eij , ekl ] = 0. Given a chain i0 ≺ · · · ≺ ir in ([n], ≺), one can see that
ei0 ,ir = [ei0 ,i1 , [ei1 ,i2 , [. . . , eir−1 ,ir ]] . . . ] 6= 0,
hence the nilpotency class of g is at least r. Similarly, one can see that any non-zero commutator of length
r + 1 leads to a chain of length r + 1, proving the claim.
Recall that an ordered pair (i, j) is called an extreme pair, when i is minimal and j is maximal with
respect to ≺, and moreover, i ≺ j. The set of extreme pairs will be denoted by Iex .
Lemma 4.2. — The center Z(g) of g is generated by eij where (i, j) ∈ Iex .

10

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

Proof. — We first show that eij with (i, j) ∈ Iex is in the center of g. From (26), for any k ≺ l, we have
[eij , ekl ] = 0,
P
since i is minimal and j is maximal. Conversely, suppose z = i≺j xij eij ∈ Z(g). We show that for each
i1 ≺ j1 in the summand with nonzero coefficient xi1 j1 we have (i1 , j1 ) ∈ Iex . Assume i1 is not minimal
and pick a minimal element k ≺ i1 . From (26) we have
X
0 = [z, eki1 ] = −
xi1 j ekj ,
i1 ≺j

and thus xi1 j1 = 0 which is a contradiction. A similar argument shows that j1 is maximal.
Let Fq be finite field with q = pf elements. Let gq := g ⊗Z Fq be the Fq -Lie algebra obtained by the
base change. Then gq is a finite dimensional nilpotent Fq -Lie algebra of with the nilpotency class λ≺ .
Let ψ : Fq → C∗ be a primitive additive character i.e., the pairing Fq × Fq → C∗ , (x, y) 7→ ψ(xy) is
non-degenerate. To construct a primitive character take ι : Fp → C∗ to be a faithful character and
define ψ(x) = ι(Tr(x)) where Tr := TrFq /Fp : Fq → Fp is the trace map. Thus we can identify the
Pontryagin L
dual of the additive group of Fq with Fq and so all characters of gq are obtained by vectors
b = (bij ) ∈ i≺j Fq , via




X
X
(27)
ψb 
xij eij  := ψ 
bij xij  .
i≺j

i≺j

Throughout this section we will set Gq := exp(gq ). By the orbit method any irreducible representation of
Gq is constructed from the orbit of a character ψb ∈ b
gq in the coadjoint action. We denote the irreducible
representation obtained from ψb by ρb .
L
Proposition 4.3. — Let b = (bij ) be an element of i≺j Fq and let ρb be the irreducible representation
of Gq associated to the orbit of ψb . For any (i1 , j1 ) ∈ Iex with bi1 j1 6= 0 we have the inequality
q α(i1 ,j1 ) ≤ dim ρb .
P
P
Proof. — Set I := {(i, j) : i ≺ j}. For x = i≺j xij eij ∈ StabGq (ψb ) and y = i≺j yij eij ∈ gq , it follows
from (26) that




X
X X
1 = ψb ([x, y]) = ψb 
xij ykl [eij , ekl ] = ψ 
bij (xik ykj − xkj yik )
(28)

i≺j i≺k≺j

i≺j, k≺l



 
X X
X

= ψ
bkj xki −
bil xjl  yij  .
i≺j

k≺i

j≺l

Since yij ∈ Fq is arbitrary and ψ is a primitive character, for each i ≺ j, we obtain the following system
of linear equations with coefficients in Fq which describes the stabilizer of ψb :
X
X
(29)
Lij (xst ) :=
bkj xki −
bil xjl = 0.
k≺i

j≺l

We now consider only the linear forms Li1 i (xst ) and Ljj1 (xst ), for i1 ≺ i ≺ j1 and i1 ≺ j ≺ j1 . From these
i and j, we obtain, respectively, 2α(i1 , j1 ) linear equations with coefficients in Fq
X
bi1 j1 xij1 = −
bi1 k xik ,
i1 ≺ i ≺ j1 ;
i≺k≺j1

(30)
bi1 j1 xi1 j = −

X

blj1 xlj ,

i1 ≺ j ≺ j1 .

i1 ≺l≺j

Since bi1 j1 6= 0 then xij1 (i1 ≺ i ≺ j1 ) and xi1 j (i1 ≺ j ≺ j1 ) are dependent variables and thus, by noticing
that each linear form has #I variables, the number of solutions of the equations (30) is at most
(31)

q #I−2α(i1 ,j1 ) .

Thus the size of the stabilizer (29) is at most (31) and this gives the lower bound by (23).

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

11

Lemma 4.4. — Let b be a non-zero element of Fq . Fix (i, j) ∈ Iex and define b = (bkl )k≺l , where bij = b
and the other components are zero. Then the dimension of the irreducible representation ρb is q α(i,j) .
Proof. — Set I := {(i, j) : i ≺ j}. The proof of Proposition 4.3, namely equation (29), shows that the
stabilizer of ρb is defined by the equations bxik = 0 and bxkj = 0, where i ≺ k ≺ j. These show that the
stabilizer has cardinality q #I−2α(i,j) , and therefore the dimension of ρb is q α(i,j) by (23).
Using this we now construct a faithful representation of Gq .
Lemma 4.5. — The group Gq has a faithful representation of dimension
X
q α(i,j) .
f
(i,j)∈Iex

Proof. — First note that Z(Gq ) ∼
= Z(gq ) and so
(32)

b 1 (Z(Gq )) ∼
b 1 (Z(gq )) =
Ω
=Ω

b 1 (Fq ) ∼
Ω
=

M
(i,j)∈Iex

M

Fq .

(i,j)∈Iex

Let ω1 , . . L
. , ωf be a basis for Fq over Fp . For any (i, j) ∈ Iex and any 1 ≤ l ≤ f define the vectors
bl (i, j) ∈ s≺t Fq , with the (i, j) coordinate equal to ωl and the other coordinates equal to 0. Therefore
{bl (i, j) : 1 ≤ l ≤ f,

(i, j) ∈ Iex },

is a basis for Z(gq ) as a Fp -vector space and so
{ψbl (i,j) : 1 ≤ l ≤ f,

(i, j) ∈ Iex },

b 1 (Z(gq )) and thus for Ω
b 1 (Z(gq )) by (32). Since ψb (i,j) is the central character of ρb (i,j) ,
is a basis for Ω
l
l
then by Lemma 3.4,
M M
ρ :=
ρbl (i,j) ,
1≤l≤f (i,j)∈Iex

is a faithful representation of Gq . By Lemma 4.4 the dimension of ρbl (i,j) is q α(i,j) and so
X
(33)
dim ρ = f
q α(i,j) ,
(i,j)∈Iex

which finishes the proof.
We now ready to prove Theorem 2.6.
b
4.1.
L Proof of Theorem 2.6. — Write m := #Iex and n := f m. As before, we identify Ω1 (Z(gq )) with
(i,j)∈Iex Fq which has dimension n as a Fp -vector space. Let ρ be a faithful representation of Gq with
the minimal dimension. We will show that the dimension of ρ is bounded from below by the right hand
side of (33). Using Lemma 3.5 we can decompose ρ as a direct sum of n irreducible representations, each
of which obtained via the orbit method as described above. Hence, we can write
(34)

ρ=

n
M

ρak ,

k=1

with vectors ak given by
ak = (ast (k))s≺t ∈ ⊕s≺t Fq .
Note that since ψak is the central character of ρak , then Lemma 3.5 implies that {ψak : 1 ≤ k ≤ n} is
b 1 (Z(Gq )) and so
basis for Ω
n
o
(35)
(aij (k))(i,j)∈Iex : 1 ≤ k ≤ n ,
L
is a basis for the Fp -vector space (i,j)∈Iex Fq . At the point we will need two lemmas from linear algebra.
The first one is quite straightforward, while the second one is of a combinatorial nature, and its proof
relies on a theorem of Rado and Horn.
Lemma 4.6. — Let A = (aij ) be an m × m invertible matrix. Then the rows of A can be permuted in
such a way that all the diagonal entries of the resulting matrix are non-zero.

12

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

Proof. — Write the Laplace expansion
X

det A =

σ∈Sm

sgn(σ)

m
Y

!
ai,σ(i)

.

i=1

It follows that there exists a permutation σ such that ai,σ(i) 6= 0 for all 1 ≤ i ≤ m. The result follows
immediately by reordering rows of A according to σ.
Lemma 4.7. — Let V be an m-dimensional Fq -vector space. Suppose S = {v1 , . . . , vf m } is a basis for V
viewed as a vector space over the subfield Fp . Then one can partition S into f (disjoint) sets S1 , . . . , Sf ,
each of size m, such that each Si , 1 ≤ i ≤ f is a basis for V as an Fq -vector space.
We will use the following theorem of Rado and Horn [11]. The proof of this theorem itself is based on
Hall’s marriage theorem and ideas from matroid theory. We refer the reader to [4, Section 18] for more
details.
Theorem 4.8 (Rado-Horn). — Let V be a vector space over a field E and let {vi : 1 ≤ i ≤ M } be a
set of non-zero vectors in V . Then the following statements are equivalent:
1. The set {1, . . . , M } can be partitioned into sets {Aj }kj=1 such that {vi : i ∈ Aj } is a linearly independent set for all j = 1, 2, . . . , k.
2. For any non-empty subset J ⊆ {1, . . . , M },
#J ≤ k dimE SpanE {vj : j ∈ J}.
Proof of Lemma 4.7. — We apply Theorem 4.8 with k = f to the set of vectors S. Let J ⊆ {1, . . . , mf }
be an arbitrary set and let d = dimFq SpanFq {vj : j ∈ J}. Then #SpanFq {vj : j ∈ J} = q d = pf d . Clearly
SpanFp {vj : j ∈ J} ⊆ SpanFq {vj : j ∈ J} and since {vj : j ∈ J} is linearly independent over Fp , we obtain
p#J = #SpanFp {vj : j ∈ J} ≤ #SpanFq {vj : j ∈ J} = pf d .
It follows from the above inequality that
#J ≤ f dimFq SpanFq {vj : j ∈ J}.
Thus by Rado-Horn theorem, {1, . . . , f m} can be partitioned to A1 , . . . , Af such that each Ai is linearly
independent over Fq . Since dimFq V = m we have #Ai ≤ m. But Ai ’s partition {1, . . . , mf } and so Ai
has the size m which implies that Ai is a basis for V over Fq .
L
We return now to the proof of Theorem 2.6. Set V = (i,j)∈Iex Fq , which is a Fp -vector space of dimension
n = mf . Also set vk = (aij (k))(i,j)∈Iex ∈ V . Recall that S = {vk : 1 ≤ k ≤ n} is a basis for V as a
Fp -vector space and so by Lemma 4.7 there exist f disjoint sets S1 , . . . , Sf , each of size m, such that each
S` is a basis for V as an Fq -vector space. For any 1 ≤ ` ≤ f , let A` denote a m × m matrix whose rows are
elements of S` . Note that A` is invertible, since S` is a basis for V as a Fq -vector. Therefore by applying
Lemma 4.6 we can assume that all the diagonal entries of A` are non-zero. Hence from Proposition 4.3
for any 1 ≤ ` ≤ f we obtain
X
X
q α(i,j) ≤
dim ρak .
(i,j)∈Iex

ak ∈S`

Summing over all ` we have
f

X

q α(i,j) ≤ dim ρ,

(i,j)∈Iex

which finishes the proof.

5. The commutator matrix of nilpotent Lie algebras
We now consider general nilpotent Lie algebras by rebuilding the argument presented in Section 4. Let
g be a nilpotent Z-Lie algebra of finite rank.

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

13

Assumption 5.1. — Let us assume that g/Z(g) is a free Z-module with the basis
{v1 + Z(g), . . . , vn + Z(g)}.

(36)
Assume further that

{w1 , . . . , wm },

(37)

is a basis for g0 = [g, g], the first l1 of these vectors form a basis for g0 ∩ Z(g), and finally, assume that
these vectors can be extended to
{w1 , . . . , wl1 , z1 , . . . , zl2 },

(38)

which is a basis for Z(g). These assumptions can be generally dropped at the cost of removing a finite
number of primes from the domain of validity of Theorem 5.2, stated below. In the interest of stating
slightly stronger statements, we will impose these assumptions here. This point will be further elaborated
in Remark 5.3.
For 1 ≤ i < j ≤ n set
(39)

[vi , vj ] =

m
X

λkij wk ,

λkij ∈ Z.

k=1

For each 1 ≤ i, j ≤ n also define the following linear homogeneous forms:
Λij (T1 , . . . , Tm ) :=

m
X

λkij Tk ∈ Z[T1 , . . . , Tm ].

k=1

It is clear that Λii = 0 and Λij = −Λji when 1 ≤ i, j ≤ n. The commutator matrix of g (relative to the
chosen ordered basis) is the skew-symmetric matrix of linear forms defined by
(40)

Fg (T1 , . . . , Tm ) := [Λij (T1 , . . . , Tm )]1≤i,j≤n ∈ Mn (Z[T1 , . . . , Tm ]).

Set gp := g ⊗Z Fp and let Gp := exp(gp ) be the group obtained by the Campbell-Baker-Hausdorff formula.
The following theorem expresses the faithful dimensions of Gp as the solution to a rank miminization
problem.
Theorem 5.2. — Let g be a nilpotent Z-Lie algebra of finite rank and of class c satisfying Assumption 5.1. Then for any prime p > c we have




x
.
.
.
x


11
1l
l1
1
X

RankF (Fg (x`1 ,...,x`m ))
p


.
.
.
2
..
..  ∈ GLl1 (Fp ) + l2 ,
mfaithful (Gp ) = min
p
:  ..


 `=1

xl1 1 . . . xl1 l1
where m, l1 and l2 are defined by (37) and (38).
Remark 5.3. — When g does not satisfy Assumption 5.1, then the same equation continues to hold as
soon as one chooses p sufficiently large so that p > c and the sets {v1 +Z(gp ), . . . vn +Z(gp )}, {w1 , . . . , wm },
and {w1 , . . . , wl1 , z1 , . . . , zl2 } form bases, respectively, for gp /Z(gp ), the commutator g0p , and Z(gp ). We
also note that when n = 0, the commutator matrix is the zero matrix and thus from Theorem 5.2 we
obtain mfaithful (exp(Gp )) = l1 + l2 . This formula can be also obtained from Lemma 3.1 since in this case
the group exp(Gp ) is abelian when p is large enough.
Remark 5.4. — More generally, although the Lie algebras involved in Theorem 5.2 are obtained with
a base change from a Lie algebra over Z, the theorem, with the same proof, is valid if we initially start
with any nilpotent Fp -Lie algebra with p larger than the nilpotency class of the given Lie algebra.

Let ψ : Fp → C∗ be a faithful additive character of Fp . Let u1 + (Z(gp ) + g0p ), . . . , ul3 + (Z(gp ) + g0p ) ,
be a basis for gp /(Z(gp ) + g0p ). Then the set
(41)

{w1 , . . . , wl1 , wl1 +1 , . . . , wm , z1 , . . . , zl2 , u1 , . . . , ul3 },

2 +l3 by assigning to any vector
is an ordered basis for gp and thus we can identify b
gp with Fm+l
p

(42)

a = (a1 , . . . , al1 , al1 +1 , . . . , am , b1 , . . . , bl2 , c1 , . . . , cl3 ),

14

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

the following character


l1
l2
l3
m
X
X
X
X
ψa 
wi wi +
wi wi +
zi z i +
ui ui 
i=1

i=1

i=l1 +1

i=1



l1
l2
l3
m
X
X
X
X
:= ψ 
ai wi +
a i wi +
bi zi +
ci ui  .
i=1

i=1

i=l1 +1

i=1

Let p > c be a prime. In the rest of this section, we identify Z(Gp ) with Z(gp ). Let ρ be an irreducible
representation of Gp . By the orbit method the representation ρ is obtained from a character θ ∈ b
gp , whose
restriction to Z(gp ) coincides with the central character of ρ. We will now give an explicit description of
StabGp (θ) in terms of theseP
data. First note that
Pnsince Z(gp ) ⊆ StabGp (θ), we can pass to the quotient Lie
n
algebra gp /Z(gp ). Let x = i=1 xi vi and y = i=1 yi vi be two elements of gp /Z(gp ). Then from (39) we
have
(43)

m
X

X

[x, y] =

λkij (xi yj − xj yi )wk .

1≤i<j≤n k=1

P
AssumeP
θ is obtained by a vector a, given in (42). Moreover let x = ni=1 xi vi ∈ StabGp (θ)/Z(gp ) and
let y = ni=1 yi vi ∈ gp /Z(gp ) be an arbitrary element. Thus θ([x, y]) = 1 and from this and (43) we can
deduce that


m
X X
(44)
ψa 
λkij (xi yj − xj yi )wk  = 1.
1≤i<j≤n k=1

Therefore
(45)

X

m
X

ak λkij (xi yj − xj yi ) = 0.

1≤i<j≤n k=1

By computing the coefficient of yi in the above equation we find the following n linear equations which
together define StabGp (θ)/Z(gp )
(46)

m
X X

ak λkis xs

i<s≤n k=1

−

m
X X

ak λkri xr = 0.

1≤r<i k=1

We
now rewrite the linear equation (46) in terms of the commutator matrix and deducing that
Pcan
n
x = i=1 xi vi ∈ StabGp (θ)/Z(gp ) if and only if (x1 , . . . , xn ) ∈ ker Fg (a1 , . . . , am ). From this we can infer
that
#StabGp (θ) = p

dim g−RankF (Fg (a1 ,...,am ))
p

.

It now follows from (23) that
(47)

dim ρ = p

RankF (Fg (a1 ,...,am ))
p
2

.

Now let ρ̃ be a faithful representation of Gp of the minimal dimension. Note that the dimension of
Ω1 (Z(gp )) = Z(gp ) over Fp is l1 + l2 . Thus by Lemma 3.5 the representation ρ̃ decomposes into l1 + l2
irreducible representations ρ̃ = ρ1 ⊕ · · · ⊕ ρl1 +l2 . Assume that the representation ρ` is obtained by θ` ∈ b
gp
m+l
+l
2
3
and assigne to each θ` a vector a` ∈ Fp
, as explained in (42). The second part of Lemma 3.5 is
equivalent to saying that for z ∈ Z(gp ) we have
(48)

θ1 (z) = · · · = θl1 +l2 (z) = 1 =⇒ z = 0.

This condition can be translated to the following property of the vectors a` assigned to each θ` . For each
1 ≤ ` ≤ l1 + l2 , let
a`1 , . . . , a`l1 , b`1 . . . , b`l2 ,

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

15

be the components of a` with respect to Z(gp ) according to the ordered basis (41). Since ψ is faithful
then the condition (48) is equivalent to the following condition

 a
b
...
b
...
a
1l1

11

.
...

..
.

..
.

a l1 l1

bl 1 1

.
...

...
..
.
...

a(l1 +1)l1
..
.
a(l1 +l2 )l1

b(l1 +1)1
..
.
b(l1 +l2 )1

...
..
.
...

11

 ...

 al1 1

A := 
 a(l1 +1)1

 ..

(49)

..

.
a(l1 +l2 )1

1l2

..
.

..



bl1 l2 

 ∈ GLl1 +l2 (Fp ).
b(l1 +1)l2 

..


.
b(l1 +l2 )l2

To summarize, we have proven that for each faithful representation ρ̃ with the minimal dimension, we
can find the following elements in Fp
(50)

{a`1 , . . . , a`l1 }1≤`≤l1 +l2 ,

{a`(l1 +1) , . . . , a`m }1≤`≤l1 +l2 ,

{b`1 , . . . , b`l2 }1≤`≤l1 +l2 ,

which satisfying (49), and by (47) its dimension is given by:
lX
1 +l2

(51)

p

RankF (Fg (a`1 ,...,a`m ))
p
2

.

`=1

Since det A 6= 0, its first l1 columns are linearly independent. This implies that the submatrix of A
consisting of all l1 + l2 rows and the first l1 columns has full rank, which, in turn, implies that one can
extract l1 linearly independent rows of A. By possibility permuting the irreducible components of ρ̃, we
can assume that the first l1 rows of A are also linearly independent, and hence the l1 × l1 submatrix of A
is invertible. Note that we have trivially
(52)

dim ρ̃ =

lX
1 +l2

p

RankF (Fg (a`1 ,...,a`m ))
p
2

≥

l1
X

p

RankF (Fg (a`1 ,...,a`m ))
p
2

+ l2 .

`=1

`=1

From this we conclude that
(53)

mfaithful (Gp ) ≥ min



l1
X



p

RankF (Fg (a`1 ,...,a`m ))
p
2


 `=1

a11
 ..
: det  .
al1 1

...
..
.
...


a1l1
..  6= 0,
. 
al1 l1

aij ∈ Fp





+ l2 .




Conversely, let
{a`(l1 +1) , . . . , a`m }1≤`≤l1 ,

(54)

be an arbitrary set of elements of Fp and let

a11
 ...
al1 1

...
..
.
...



a1l1
.. 
.
al1 l1

be an arbitrary matrix. Take the following matrix
a
. . . a1l1 0 . . .
11
.
..
.. . .
..
 ..
.
.
.
.

al1 1 . . . al1 l1 0 . . .

(55)

 0 ...
0
1 ...

..
.. . .
..
 ..
.
0

.
...

.
0

.
0

.
...

∈ GLl1 (Fp ),

0
.. 
.
0




 ∈ GLl1 +l2 (Fp ).

0

.. 
.
1

From this matrix and the set (54), we can construct characters θi , satisfying (48) and thus by Lemma 3.4,
we construct a faithful representation of Gp with the dimension
l1
X
`=1

p

RankF (Fg (a`1 ,...,a`m ))
p
2

+ l2 .

16

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

From this we conclude that
(56)

mfaithful (Gp ) ≤ min



l1
X



p

RankF (Fg (a`1 ,...,a`m ))
p
2


 `=1

a11
 ..
: det  .
al1 1

...
..
.
...


a1l1
..  6= 0,
. 

aij ∈ Fp

al1 l1





+ l2 .




Therefore, by combining (53) and (56) we obtain Theorem 5.2.
We now can discuss Example 2.1, Example 2.2 and Example 2.3 in detail.
5.1. Details for Example 2.1. — From the relations we deduce that g0a = Z(ga ) = SpanZ {v7 , v8 , v9 }
and so ga is a two step nilpotent Lie algebra. From the relation we also obtain the following commutator
matrix:




T1 T2 aT3
0
M
Fg (T1 , T2 , T3 ) =
,
M := M (T1 , T2 , T3 ) = T3 T1 T2  .
−M tr 0
T3 0 T1
Observe that the determinant of M is
g(T1 , T2 , T3 ) := T3 T22 + T13 − T1 T2 T3 − aT1 T32 .
By Theorem 5.2 the faithful dimension of Ga,p = exp(ga ⊗Z Fp ), for p ≥ 3, is the least value of
(57)

pRankFp (M (x11 ,x12 ,x13 )) + pRankFp (M (x21 ,x22 ,x23 )) + pRankFp (M (x31 ,x32 ,x33 )) ,

subject to the following condition



x11 x12 x13
x21 x22 x23  ∈ GL3 (Fp ).
x31 x32 x33
Let p be large enough. By computing all 2 × 2 minors of M , we infer that 2 ≤ RankFp (M (x, y, z)) ≤ 3
unless x = y = z = 0. We will find (x, y, z) ∈ F3p such that x 6= 0 and
(58)

g(x, y, z) = y 2 z + x3 − xyz − axz 2 = 0.

Obviously we should take z 6= 0. Pick x = 1 and so we obtain the equation zy 2 − zy + (1 − az 2 ) = 0,
with the discriminate, with respect to y, 4az 3 + z 2 − 4z. Thus to solve (58) it suffices to show that for
any a ∈ Z the curve
Y 2 = 4aX 3 + X 2 − 4X,
has a rational point in Fp with X 6= 0. This can be shown by noticing that Y 2 − 4aX 3 − X 2 + 4X is
absolutely irreducible [23, Corollary, p.13] and thus has a desired rational point by Hasse’s theorem [23,
Theorem 2A, p.10]. Let (1, y, z) be a solution of (58). Therefore (0, 1, 0) and (0, 0, 1) and (1, y, z), obtained
above, fulfill the determinant condition and these vectors minimize (57), which gives the faithful dimension
3p2 .
5.2. Details for Example 2.2. — The commutator relations imply that g0 = Z(g) = SpanZ {v5 , v6 },
and that g is a two step nilpotent Lie algebra. The commutator matrix of g can be easily seen to be


0

T1

0
−T
Fg (T1 , T2 ) =  0 1 −T
2
−T2

0

0
T2
0
−T1

T2
0
.
T1 
0

By Theorem 5.2 the faithful dimension of Gp = exp(g ⊗Z Fp ) is given by
 Rank (Fg (x ,x ))



RankF (Fg (x21 ,x22 ))
11 12
Fp
p
x
x
11
12
2
2
min p
+p
:
∈ GL2 (Fp ) .
x21 x22
Let us first consider the case p ≡ 3 (mod 4). Observe that since −1 is not a square in Fp , we have
det Fg (T1 , T2 ) = (T12 + T22 )2 6= 0 for all non-zero vectors (T1 , T2 ) ∈ F2p . This implies that
RankFp (Fg (T1 , T2 )) = 4.
Therefore the faithful dimension of Fp is at least 2p2 , which can be realized by the standard basis.
For p ≡ 1 (mod 4), let a denote a square root of −1 in Fp . Then the trivial lower bound 2p can be
realized by the choice of vectors (a, 1) and (−a, 1). Since
RankFp (Fg (a, 1)) = RankFp (Fg (−a, 1)) = 2,

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS



a 1
and det
−a 1

17


= 2a 6= 0, we obtain a faithful representation of dimension 2p.

5.3. Details for Example 2.3. — From the commutator relations we have g0 = Z(g) = SpanZ {v7 , v8 },
implying that g is a two step nilpotent Lie algebra with the commutator matrix given by
!


T1
T2 0
0
M
0
T1 T2 .
Fg (T1 , T2 ) =
,
M := M (T1 , T2 ) =
−M tr 0
−T2 T2 T1
Hence the faithful dimension of Gp = exp(g ⊗Z Fp ) is the least value of
pRankFp (M (x11 ,x12 )) + pRankFp (M (x21 ,x22 )) ,


x11 x12
subject to the condition that the matrix
∈ GL2 (Fp ).
x21 x22
A simple inspection of the 2 × 2 minors of M shows that for a non-zero vector (T1 , T2 ), the matrix
M (T1 , T2 ) has rank at least 2. Consequently, the faithful dimension of Gp is at least 2p2 . The determinant
of M is T13 − T1 T22 − T23 , which can be viewed as the homogenized form of the one-variable polynomial
T13 − T1 − 1. This leads us to consider the number Np of roots of f (T ) = T 3 − T − 1 over Fp .
At this point we will make a digression and consider the more general question of determining the
number of roots of a given integer polynomial over finite fields. The reason for discussing the more
general case is that one can easily construct matrices M (T1 , T2 ) whose determinant is the homogenized
form of a given one-variable polynomial f (T ). This leads to abundance of interesting examples. We refer
the reader to Serre’s book [26, Section 2.1.2] or his beautiful paper [24] for more details on what will
follow.
Let f (T ) ∈ Z[T ] be a monic integer polynomial. The discriminant of f (T ) is defined to be
Y
∆f =
Discf = ∆2f ,
(αi − αj ),
(59)

1≤i<j≤n

where α1 , . . . , αn are the roots of f (T ) in an algebraic closure of Q. Note that since f (T ) is a monic
polynomial, the discriminant Discf is a (rational) integer. Henceforth, p will denote an odd prime which
does not divide Discf . This, in particular, implies that Discf is non-zero and hence the roots of f
are simple. Denote the reduction of f modulo p by f¯. Then the roots of f¯ are also simple. Define
Of = Z[α1 , . . . , αn ] and let p be a prime ideal of Of such that p ∩ Z = pZ. Such an ideal exists since Of
is integral over Z. For such a prime we can define a unique element in the Galois group of f , which is
called the Frobenius automorphism.
Theorem 5.5 (Dedekind). — Let E = Q(α1 , . . . , αn ) be the splitting field of f . There exists a unique
element σp ∈ Gal(E/Q) such that σp (α) ≡ αp mod p, for all α ∈ Of . Moreover if f¯ = f1 · · · fg with fi
irreducible over Fp of degree ni , then σp , when viewed as a permutation of the roots of f , has the cyclic
decomposition σ1 · · · σg with σi a cycle of length ni
While this result is standard in algebraic number theory, we present the following nice proof due to
John Tate which is not easy to find in the literature.
Proof. — Write α = α + p for the image α in the residue field κ(p) = Of /p = Fp [α1 , . . . , αn ], which can
be regarded as a splitting field for the polynomial f¯. It is well knows that the Galois group Gal(κ(p)/Fp )
is cyclic and generated by the automorphism ᾱ 7→ αp . Let Dp = {σ ∈ Gal(E/Q)|σ(p) = p} be the
decomposition group. Every automorphism σ ∈ Dp induces an automorphism σ ∈ Gal(κ(p)/Fp ), where
σ(α + p) = σ(α) + p. Since p is coprime to Discf , the homomorphism
φ : Dp → Gal(κ(p)/Fp ),

σ 7→ σ,

is injective. We now show that it is surjective by showing that the fixed field of φ(Dp ) is Fp . Let a ∈ Of .
Then, by the Chinese remainder theorem, there exists an element Q
α ∈ Of such that α ≡ a (mod p)
−1
and α ≡ 0 (mod σ (p)) for all σ ∈ Gal(E/Q) \ Dp . Then g(T ) = σ∈Gal(E/Q) (T − σ(α)) ∈ Z[T ] and
Q
ḡ(T ) = T m σ∈Dp (T − σ(a)) ∈ Fp [T ] for some m. It follows that the conjugates of a are all of the form
σ(a) which implies that the fixed field of φ(Dp ) is Fp .
This isomorphism produces a unique σp ∈ Dp such that σp (α) ≡ αp (mod p) for every α ∈ Of . Since
the homomorphism α 7→ ᾱ maps the roots of f bijectively onto the roots of f¯, we see that the groups
Dp and Gal(κ(p)/Fp ), when viewed as permutation groups of the roots of f , f¯ respectively, are also

18

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

isomorphic as permutation groups. Since the cyclic decomposition of σ̄ is determined by the orbits of the
action of Gal(κ(p)/Fp ) on the roots of f¯ and since the group Gal(κ(p)/Fp ) acts transitively on the roots
of each polynomial fi , we obtain the stated cyclic decomposition of σp .
For a monic integer polynomial f (T ) ∈ Z[T ] define
Np (f ) := #{a ∈ Fp : f (a) = 0}.
Theorem 5.5 shows that Np (f ) also counts the number of fixed points of σp permuting the roots of f .
Let OE be the ring of integers of E and P be a prime ideal of OE such that P ∩ Z = pZ, where p does
not divide the discriminant of E. Then, as above, one can prove the existence of a unique automorphism
σP ∈ Gal(E/Q) such that σP (α) ≡ αp (mod P) for all α ∈ OE . Let P ∩ Of = p. Since the elements of
Gal(E/Q) are uniquely determined by their restriction to Of , we have σP = σp . The automorphism σp is
called the Frobenius automorphism and it describes the splitting behaviour of the prime p. For instance,
one can show that p splits completely in E if and only if σp is the identity element. Now let P and P0
be two primes in O lying above the rational prime p. One can show that there exists τ ∈ Gal(E/Q) such
that τ σP τ −1 = σP0 . This implies that the conjugacy class of σp is independent of the choice of σP . We
refer the reader to [21, Section 9] for more details. Let us now turn to the question of computing Np (f )
when f is a cubic polynomial. The following proposition relates the Legendre symbol of the discriminant
of f to the number of the irreducible factors of f¯.
Proposition 5.6. — Let f (T ) ∈ Z[T ] be a monic irreducible polynomial of degree n with the discriminant
D, and suppose p is an odd prime which does not divide the discriminant of f . If f¯ = f1 · · · fg with fi
n−g , where ( · ) is the Legendre symbol.
irreducible over Fp then ( D
p ) = (−1)
p
Proof. — Continuing to use the same notation as before,
√ we denote the splitting field of f by E and its
ring of integers by OE . Set D = Discf and set K = Q( D) which is a subfield of E. Let p be a prime
in OE lying over p and write ℘ = p ∩ K. One can show that σ℘ := σp|K is the Frobenius automorphism
assigned to ℘ in K/Q. Suppose σp is an even permutation. Then σp (∆f ) = ∆f and so σ℘ is trivial over
K, which implies that ( D
p ) = 1. If, on the other hand, σp is an odd permutation, then σp (∆f ) = −∆f ,
D
and σ℘ is not-trivial, implying that ( D
p ) = −1. We have thus show that sgn(σp ) = ( p ). Let ni = deg fi .
Viewing σp as a permutation of the roots of f , from Theorem 5.5, we obtain
Pg

sgn(σp ) = (−1)
since

Pg

i=1 ni

i=1 (ni −1)

= (−1)n−g ,

= n. This finishes the proof.

As an application we obtain
Corollary 5.7. — Let f ∈ Z[T ] be an irreducible monic cubic polynomial with discriminant D and
suppose p is an odd prime which does not divide D. Then
(
0 or 3 if ( D
p ) = 1;
Np (f ) =
D
1
if ( p ) = −1.
We now turn to the special case f (T ) = T 3 − T − 1. The discriminant of f is −23 and then by the
quadratic reciprocity we deduce that for p 6= 23
(
p
0 or 3 if ( 23
) = 1;
Np (f ) =
p
1
if ( 23 ) = −1.
p
When ( 23
) = 1, we will need the reduction theory of binary quadratic forms to determine Np (f ). We
refer the reader to [10, Chapter 2, §8] for more details. Let ∆ < 0 be an integer with ∆ ≡ 0, 1 (mod 4).
The modular group SL2 (Z) acts on

Σ∆ := g(x, y) = ax2 + bxy + cy 2 : a, b, c ∈ Z, a > 0, gcd(a, b, c) = 1, b2 − 4ac = ∆ ,

by linear change of variables. Using the reduction theory of positive definite integral binary quadratic
forms, one can show that the number h(∆) of SL2 (Z)-orbits is finite. This number is called the class
number of ∆. In the case at hand, we have h(−23) = 3, and SL2 (Z)-orbits of Σ−23 are represented by the
forms x2 + xy + 6y 2 and 2x2 ± xy + 3y 2 . Note that 2x2 + xy + 3y 2 and 2x2 − xy + 3y 2 are GL2 (Z)-equivalent
p
and thus represent the same set of integers. It is easy to show that ( 23
) = 1, if and only if p is represented

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

19

by exactly one of the form x2 + xy + 6y 2 or 2x2 + xy + 3y 2 (see [10,
√ Proposition 10.2]). Let L be the cubic
extension of Q obtain by adding a root of f (T ) and set K = Q( −23):
3

E

2

K

L
2

3
Q

Note that Gal(E/Q) = S3 . For p 6= 23, set pOK = pp. Since the class number of K is 3 and E is
unramified over K, E is the Hilbert class field of K, i.e. the maximal unramified abelian extension of K.
From this we can conclude that p splits completely in E if and only if p is a principal ideal
√[9, Corollary
5.25]. Moreover, note that the ring of integers of the quadratic extension K is Z[(1 + −23)/2] and
so p is a principal ideal if and only if p = x2 + xy + 6y 2 . Putting all these together, we conclude that
p = x2 + xy + 6y 2 if and only if p splits completely in E. This means that T 3 − T − 1 has 3 roots in Fp if
and only if p = x2 + xy + 6y 2 . These also shows that p = 2x2 + xy + 3y 2 if and only if T 3 − T − 1 has no
root in Fp . Hence we have

p 

1
23 = −1;
(60)
Np (f ) = 0 p is of the form 2x2 + xy + 3y 2 ;


3 p is of the form x2 + xy + 6y 2 .
Let us denote Np (X) the number of rational points of the homogeneous variety X := T13 − T1 T22 − T23 = 0
in P1 (Fp ). Then from (60), for all p 6= 23 we obtain

p 

1
23 = −1;
(61)
Np (X) = 0 p is of the form 2x2 + xy + 3y 2 ;


3 p is of the form x2 + xy + 6y 2 .
p
When ( 23
) = −1, we have Np (X) = 1 and hence the faithful dimension of Gp equals p2 + p3 . When p is
of the form 2x2 + xy + 3y 2 then Np (X) = 0 and so the minimum is exactly 2p3 . This implies that the
faithful dimension is 2p3 . In the remaining case, we can find distinct points (x11 , x12 ) and (x21 , x22 ) in X.
Since M (x11 , x12 ) and M (x21 , x22 ) have both rank 2, it follows that in this case the faithful dimension is
2p2 . Moreover T13 − T1 − 1 has a double root and a simple root in F23 . Thus the same argument shows
that in this case the faithful dimension is 2(23)2 .

6. Proof of Theorem 2.4
In this section we will prove Theorem 2.4. Let us recall the setting. As before, let g be a nilpotent
Z-Lie algebra of finite rank and of class c, satisfying Assumption 5.1. Let
(62)

{v1 + Z(g), . . . , vn + Z(g)},

be a basis for g/Z(g) and let
(63)

{w1 , . . . , wl1 , wl1 +1 , . . . , wm },

be a basis for g0 = [g, g]. Assume, furthermore, that
(64)

{w1 , . . . , wl1 , z1 , . . . , zl2 },

is a basis for Z(g). From now on we always assume p > c in order to apply the orbit method. When g
does not satisfy Assumption 5.1, the statement will still be true for sufficiently large p (see Remark 5.3).
Let Fg (T1 , . . . , Tm ) denote the matrix of linear forms in (40). Since Fg (T1 , . . . , Tm ) is an anti-symmetric
n×n matrix it follows that for any x1 , . . . , xm ∈ Fp , the number RankFp (Fg (x1 , . . . , xm )) is an even number
no larger than n. Consider the set M of all integer vectors µ = (a1 , . . . , al1 ) ∈ Zl1 , with 0 ≤ ai ≤ n/2,
assign to each µ ∈ M the polynomial of degree at most n/2 given by
gµ (T ) = T a1 + · · · + T al1 + l2 .

20

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

Since gµ is a symmetric in a1 , . . . , al1 , we will only consider those integer vectors µ with a1 ≤ · · · ≤ al1
and order them with the reverse lexicographical order i.e., µ C µ0 if the last nonzero component of the
vector µ0 − µ is positive. Assume µ C µ0 and let p > max{l1 , c}. Then we can easily see that
(65)

gµ (p) < gµ0 (p).

Since r = #M < ∞, we can sort them as µ1 C · · · C µr . For a given vector µ, define the following affine
variety associated to µ = (a1 , . . . , al1 ):




x11 . . . x1l1




 ..

.
.
..
..  =
(66)
Xµ := (xij ) ∈ Ml1 ,m (C) : RankC (Fg (xi1 , . . . , xim )) = 2ai , det  .
6 0 .




xl1 1 . . . xl1 l1
Note that the non-vanishing condition on the determinant can be turned into an equation by introducing
a new variable D, standing for the inverse of the determinant. We also remark that Xµ is defined over Z
since Fg (T1 , . . . , Tm ) is an integer matrix. Consider now the set
Σµ := {p > max{l1 , c} : Xµ (Fp ) 6= ∅} .
We can infer from Theorem 5.2 and (65) that for
p ∈ Pk := Σµk \

[

Σµi ,

1≤i<k

we have mfaithful (exp(g ⊗Z Fp )) = gµk (p). We can now finish the proof of the theorem by stateing the
following theorem due to Ax [2].
Theorem 6.1 (Ax). — With the above notations, Σµ is a Frobenius set.
Since, by definition, Frobenius sets are closed under the Boolean operations, then the sets Pk ’s are
Frobenius sets, partitioning the set of prime numbers strictly bigger than max{l1 , c}. We remark that
any finite set of primes is a Frobenius set and so this completes the proof.
7. Free nilpotent Lie algebras
In this section we will consider faithful representations of groups related to free nilpotent and free
metabelian nilpotent Lie algebras. Let us recall some definition. The free nilpotent Lie algebra of class c
on n generators, denoted by fn,c , is the free object in the category of n-generated nilpotent Lie algebras
(over Z) of class c. More concretely, fn,c can be constructed from free Lie algebra on n generators, and
quotienting out all commutators of length c + 1. Similarly, one can define the free metabelian nilpotent Lie
algebra of class c on n generators as the free object in the category of n-generated metabelian nilpotent
Lie algebras of class c. Recall that a nilpotent Lie algebra is called metabelian if its second commutator
vanishes.
For computational purposes, it will be convenient to work with the Hall basis of free nilpotent Lie
algebras. We will briefly review this constructions, and refer the reader for more details to [6, Chapter
II] or [25, Chapter IV.].
7.1. The Hall basis of a free nilpotent Lie algebra. — Our exposition of the Hall basis follows [6,
Chapter II] or [25, Chapter IV]. We will first need some basic definitions. A set M with a map M ×M → M
sending (x, y) 7→ [x, y] is called a magma. Let X be a set and define inductively a family of sets Xn (n ≥ 1)
as follows: X1 = X and Xn = qp+q=n (Xp × Xq ). Let M (X) denote the disjoint union q∞
n=1 Xn and define
M (X) × M (X) → M (X) via Xp × Xq → Xp+q ⊆ M (X). The magma M (X) is called the free magma on
X. An element w of M (X) is called a non-associative word on X. Its length, `(w), is the unique n such
that w ∈ Xn . Let M n (X) denote the set of elements of M (X) of length n.
Definition 7.1. — A Hall set relative to X is a totally ordered subset H of M (X) satisfying the following
conditions:
(A) If u ∈ H, v ∈ H and `(u) < `(v), then u < v in the total order.
(B) X ⊆ H and H ∩ M 2 (X) consists of the products [x, y] with x, y in X and x < y.
(C) An element w of M (X) of length ≥ 3 belongs to H if and only if it is of the form [a, [b, c]] with a, b, c
in H, [b, c] ∈ H, b ≤ a < [b, c] and b < c.

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

21

In the rest of this section, [x, y] denotes the Lie bracket of a free Lie algebra. Set Hi = H ∩ M i (X)
and let #X = n. Then one can show that Hk is a basis for fkn and the the rank of fkn is given by Witt’s
formula:
1X
(67)
rn (k) :=
µ(d)nk/d ,
k
d|k

where µ is the Möbius function. For a proof see [6, Chapter II] or [25, Theorem 4.2]. Let fn,c := fn,c (Z)
be the free nilpotent Z-Lie algebra on n generators and of class c; it is defined to be the quotient algebra
fn /fc+1
n . The following fact is well known.
Proposition 7.2. — For n ≥ 2, and c ≥ 2 the following hold
S
1) Sci=1 Hi form a basis for fn,c .
2) ci=2 Hi is a basis for f0n,c .
3) Hc is a basis for Z(fn,c ).
Example 7.3. — The following set is a basis for f3,3
H 1 : x1 , x 2 , x 3 ,
H2 : w9 = [x1 , x2 ],

w10 = [x1 , x3 ],

w11 = [x2 , x3 ],

H3 : w1 = [x1 , [x1 , x2 ]],

w2 = [x1 , [x1 , x3 ]],

w3 = [x2 , [x1 , x2 ]],

w4 = [x2 , [x1 , x3 ]],

w5 = [x2 , [x2 , x3 ]],

w6 = [x3 , [x1 , x2 ]],

w7 = [x3 , [x1 , x3 ]],

w8 = [x3 , [x2 , x3 ]].

Note that Z(f3,3 ) ⊆ f03,3 and furthermore one can check that {w1 , . . . , w8 } is a basis for Z(f3,3 ) while
{w1 , . . . , w11 } is a basis for f03,3 . By an explicit calculation and exploiting the Jacobi’s identity, we obtain
the following commutator matrix


T9

(68)

 −T9
 −T10
Ff3,3 (T1 , . . . , T11 ) = 
 −T1
 −T
2

T6 − T4

T10
T11

−T11
−T3
−T4
−T5

T1
T3
T6

T2
T4
T7

T4 − T6
T5
T8

−T6
−T7
−T8



=



F11

F12

tr
−F12

0

!
.

Now we consider the general case. Set
m :=

c
X

rn (k),

m1 :=

c−1
X

rn (k).

k=1

k=2

i
From Proposition 7.2 we conclude that ∪c−1
i=1 H is a basis for fn,c /(Z(fn,c )). Note that the commutator
matrix Ffn,c (T) ∈ Mm1 (Z[T]) is skew-symmetric matrix of Z-linear forms in m variables. We label the
(k)

(k)

variables as follows. For each 2 ≤ k ≤ c we write T(k) = (T1 , . . . , Trn (k) ). Thus T = (T(k) ), 2 ≤ k ≤ c,
and


(2)
(3)
(c)
F11 (T

(69)

)

F12 (T


 F21 (T(3) )
Ffn,c (T) = 
..

.

(4)

F(c−1)1 (T(c) )

F22 (T
..
.
0

)

...

)

...
..
.
0

F1(c−1) (T
0
..
.
0

)



,


where Fij (T(i+j) ) is the zero matrix if i + j > c, and Fij (T(i+j) ) = −Fjitr (T(i+j) ). In order to compute the
(k)

faithful dimension of exp(fn,c ⊗Z Fp ), by applying Theorem 5.2, we need to find rn (c) vectors a` = (a` ),
(k)
(k)
(k)
2 ≤ k ≤ c, with a` = (a`1 , . . . , a`rn (k) ) such that the vectors a` minimize
rn (c)

X
`=1

p

RankF (Ff
(a ))
p
n,c `
2

,

22

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

subject to condition

(70)




(c)

a11
..
.
(c)

arn (c)1

(c)

a12
(c)

arn (c)2

...

...

(c)

a1rn (c)
..
.



 ∈ GLrn (c) (Fp ).

(c)

arn (c)rn (c)

Let us defined the reduced commutator matrix of fn,c , denoted by Ffred
, to be the matrix obtaining by
n,c
setting the variables T(k) = 0 when k 6= c. For instance in Example 7.3, the reduced commutator matrix
is


0
F12
.
tr
−F12
0
Note that for each 2 ≤ k ≤ c, the variables T(k) only occur in the matrices Fij with i + j = k. By
Proposition 7.2 the entries of the matrix (70) are coming from Z(fn,c ) and we can easily see that
X
(c)
RankFp (Fij (a` )).
RankFp (Ffn,c (a` )) ≥
i+j=c

Then from Theorem 5.2 we can conclude the following proposition.
Proposition 7.4. — Let F := Ffred
be the reduced commutator matrix of fn,c . Then the faithful dimenn,c
sion of exp(fn,c ⊗Z Fp ) is




a
.
.
.
a


11
1r
(c)
n (c) Rank
n
rX

Fp (F (a`1 ,...,a`rn (c) ))


.
.
.
2
..
..
p
min
:  ..
∈
GL
(F
)
.

rn (c) p


 `=1

arn (c)1 . . . arn (c)rn (c)
7.2. Proof of Theorem 2.9. — We now prove Theorem 2.9. The proof relies upon an explicit description of the commutator matrix and so it is combinatorial in nature. For fn,2 the Hall basis consists
of
H1 ∪ H2 = {x1 , . . . , xn , xij : 1 ≤ i < j ≤ n},
subject to the relations xij := [xi , xj ] for 1 ≤ i < j ≤ n. The commutator matrix of fn,2 is thus given by
0
 −T12
 −T13

 ..
.
−T1n


(71)

Ffn,2 (Tij ) =

T12
0
−T23
..
.
−T2n

T13
T23
0
..
.
−T3n

...
...
...
..
.
...

T1n
T2n 
T3n  .

.. 
.
0



Since each variable Tij , 1 ≤ i < j ≤ n, appears exactly twice then, by applying Theorem 5.2, we obtain
the result.
Let us now turn to the case of fn,3 . First note that the reduced commutator matrix of fn,3 is of the
following form


0
F12 (T(3) )
(3)
red
(3)
F (T ) := Ffn,3 (T ) =
.
tr
(3)
−F12 (T

)

0

From this we have RankFp (F (T(3) )) = 2RankFp (F12 (T(3) )). Our goal is to find explicitly F12 (T(3) ) with
respect to the Hall basis H1 ∪ H2 ∪ H3 which consists of
H1 = {xi : 1 ≤ i ≤ n} ;
(72)

H2 = {xij := [xi , xj ] : 1 ≤ i < j ≤ n} ;
H3 = {xijk := [xi , [xj , xk ]] : 1 ≤ j ≤ i ≤ n,

1 ≤ j < k ≤ n} .

We define the following sets according to the Hall basis H1 , H2 and H3
R1 := {1, 2, . . . , n},

R2 := {(i, j) : 1 ≤ i < j ≤ n},

R3 := {(i, j, k) : 1 ≤ j ≤ i ≤ n, 1 ≤ j < k ≤ n}.

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

23

Note that the elements of R3 parametrize the elements of H3 and so d := #R3 = rn (3) = (n3 − n)/3.
Also define
R30 := {(i, j, i) : 1 ≤ j < i ≤ n} ∪ {(i, i, k) : 1 ≤ i < k ≤ n};
R3+ := {(i, j, k) ∈ R3 : j < i < k};

(73)

R3− := {(i, j, k) ∈ R3 : j < k < i}.
It is clear that R3 = R30 ∪ R3+ ∪ R3− is a partition of R3 . Having set these notation, we will now give an
explicit description of F12 (T(3) ). It will be more convenient (and natural) to use instead the variables Tα
(3)
(3)
with α ∈ R3 instead of T(3) = (T1 , . . . , Trn (3) ). We will also use T to denote the vector with entries Tα
with α ∈ R3 . For instance T213 and T312 correspondence, respectively, to T4 and T6 in Example 7.3. A
simple computation shows that for i ∈ R1 and (j, k) ∈ R2 , we have
(
xijk
if (i, j, k) ∈ R3 ;
(74)
[xi , [xj , xk ]] =
xjik − xkij otherwise.
It follows from here that the entry of the matrix F12 in the row associated to i ∈ R1 and column associated
to (j, k) ∈ R2 is given by Tijk if (i, j, k) ∈ R3 and by Tjik − Tkij , otherwise.
Lemma 7.5. — For 1 ≤ i, j, k ≤ n the following holds:
(a) For i < k, the variable Tiik appears exactly once in F12 (T), namely, in the row i and column (i, k).
(b) For j < i, the variable Tiji appears exactly once in F12 (T), namely, in the row i and column (j, i).
(c) If For (i, j, k) ∈ R3+ , the variable Tijk appears exactly twice in F12 (T), namely in the row i and
column (j, k) which is equal to Tijk and also in row j and column (i, k), which is equal to Tijk − Tkji
(d) For (i, j, k) ∈ R3− , then the variable Tijk appears exactly twice in F12 (T), namely in the row associated
to i and the column associated to (j, k), which is equal to Tijk and in the row associated to j and
column associated to (k, i), which is equal to Tkji − Tijk .
Proof of the Lemma 7.5. — Part (a) and (b) of the lemma are clear, since if Tijk appears twice then i, j, k
must be pairwise distinct. We will now prove part (c). Suppose j < i < k. It is clear from (74) that
Tijk can only potentially appear in a bracket of the form [xα , [xβ , xγ ]], where the indices are permutations
of i, j, k and β < γ. This leaves three possibilities (α, β, γ) = (i, j, k), (j, i, k), (k, j, i). However, since
[xk , [xj , xi ]] = xkji ∈ H3 , the third possibility does not occur. Moreover,
[xj , [xi , xk ]] = [xi , [xj , xk ]] − [xk , [xj , xi ]] = xijk − xkji ,
which proves the statement. Part (d) can be proven in a similar way.
From this we conclude that RankFp (F12 (a)) ≥ 1 for every non-zero vector a ∈ Fdp where d := rn (3).
In the rest of this section, for each α ∈ R3 , we will find a vector aα = (a1,α , . . . , ad,α ) ∈ Fdp such that
Mα := F12 (aα ) is of rank-one and Mα ’s are linearly independent matrices over Fp . From this we conclude
that indeed aα ’s are linearly independent over Fp and thus the matrix (aα )α∈R3 is invertible. Then from
Proposition 7.4 we conclude that the faithful dimension of exp(fn,3 ⊗Z Fp ) is equal to rn (3)p when p ≥ 5.
We now construct Mα for α ∈ R3 . For every δ = (i, j, k) with 1 ≤ i, j, k ≤ n, define
δ − = min{i, j, k},

δ + = max{i, j, k},

δ0 = i + j + k − δ+ − δ−.

I): Suppose α = (i, j, k) ∈ R30 , that is i = k or i = j. In either case, Tijk appears only once in F12 (T)
by parts (a) and (b) of Lemma 7.5. Let Mα be the matrix obtained from F12 (T) by setting Tijk = 1 and
letting the rest of variables to be zero. Then the rank of Mα is 1.
II): Let α = (i, j, k) ∈ R3+ , that is j < i < k. Let Mα be the matrix obtained from F12 (T) by setting
Tijk = Tiik = Tjjk = 1, and zero for the rest of variables. From part (c) of Lemma 7.5 we can see that in
this case:

j

Mα =
i


. . .




. . .


(j,k)

(i,k)

..
.

..
.
Tijk − Tkji
..
.
Tiik
..
.

Tjjk
..
.
Tijk
..
.

...
...



...

=


...



j

i


. . .




. . .


(j,k)

(i,k)

..
.
1
..
.
1
..
.

..
.
1
..
.
1
..
.

...
...



...

.


...


24

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

Note that this matrix has rank 1 and the rows in which non-zero entries are located correspond to the
α− and α0 .
III): Let α = (i, j, k) ∈ R3− , that is j < k < i. Let Mα be the matrix obtained from F12 (T) by setting
Tjjk = Tijk = 1 and Tiki = −1 and zero elsewhere. One can verify that in this case

j

Mα =
i


. . .




. . .


(j,k)

(k,i)

..
.

..
.
Tkji − Tijk
..
.
Tiki
..
.

Tjjk
..
.
Tijk
..
.

...
...



...

=


...



j

i


. . .




. . .


(j,k)

(k,i)

..
.
1
..
.
1
..
.

..
.
−1
..
.
−1
..
.

...
...



...

.


...


Note that this matrix has rank 1 and the rows in which non-zero entries are located correspond to the
α− and α+ .
Let us show that the matrices constructed above are linearly independent. Suppose that
X
M=
cα Mα = 0.
α∈R3

We will show that cα = 0 for all α ∈ R3 . Let β = (s, r, t) ∈ R3+ be an arbitrary element. From the
definition of R3+ we have r < s < t. Consider the entry of M associated to the row s and the column
(r, t). Note that since s = β 0 , a case by case verification of the (s, (r, t)) entry of every matrix Mα with
α ∈ R30 ∪ R3− shows that the (s, (r, t)) entry of every matrix Mα with α ∈ R30 ∪ R3− is equal to zero.
Furthermore, the only α ∈ R3+ for which Mα has a non-zero entry in row s and column (r, t) is α = β.
This gives cβ = 0, which, in turn, shows that cβ = 0 for all β ∈ R3+ .
Now let γ = (t0 , r0 , s0 ) ∈ R3− be an arbitrary element. Then from the definition of R3− we have
r0 < s0 < t0 . Consider the entry of M associated to row t0 and column (r0 , s0 ). Since t = γ + , the
(t0 , (r0 , s0 )) entry of every matrix Mα with α ∈ R30 is equal to zero. Furthermore, the only α ∈ R3− for
which Mα has a nonzero entry in row t0 and column (r0 , s0 ) is α = γ. Comparing coefficients yields cγ = 0.
This shows that cγ = 0 for all γ ∈ R3− . Hence we have
X
M=
cα Mα = 0.
α∈R30

It is however clear that for distinct α1 , α2 ∈ R30 non-zero entries of Mα do not overlap. This implies that
cα = 0 for all α ∈ R30 , and the proof is complete.
7.3. Proof of Theorem 2.10. — We first note that, similar to the case fn,c , one can define the reduced
commutator matrix of mn,c and prove the same result as Proposition 7.4. Let us now turn to the Lie
algebra m2,c generated by x1 and x2 . Note that since m2,c is metabelian, the only elements of Hall basis
whose image in m2,c is non-zero are of the form
(75)

[xik , [xik−1 , . . . , [xi1 , x2 ] . . . ],

where k ≤ c − 1 and 1 = i1 ≤ i2 ≤ · · · ≤ ik . Moreover, a basis for the center of m2,c consists of words
as above with k = c − 1. Write y`k for the unique element of the Hall basis in the form (75) of length k
in which the generator x2 occurs ` times. For instance, y13 = [x1 , [x1 , x2 ]] and y23 = [x2 , [x1 , x2 ]]. Then
c } is a basis for mc = Z(m ) and {y c−1 , . . . , y c−1 , y c , . . . , y c } is a basis for mc−1 . From the
{y1c , . . . , yc−1
2,c
2,c
c−1
1
c−2 1
2,c
fact that m2,c is metabelian one can easily see that
(76)

y`k+1 = [x1 , y`k ],

k+1
y`+1
= [x2 , y`k ].

This implies that the reduced commutator matrix of m2,c is of the form


0
F
,
−F tr 0
where F is a 2 by c − 2 matrix which has the form

T1 T2 . . .
F (T1 , . . . , Tc−1 ) =
T2 T3 . . .


Tc−2
.
Tc−1

POLYNOMIALITY OF THE FAITHFUL DIMENSION OF p-GROUPS

25

Note that for any non-zero vector a ∈ Fc−1
we have Rank(F (a)) ≥ 1 and the matrix F (T1 , . . . , Tc−1 ) has
p
i−1
rank 1 if we set Ti = λ , for some λ ∈ Fp . Since p > c, we can find in Fp at least c − 1 distinct elements
λ1 , . . . , λc−1 . The c − 1 by c − 1 matrix with the ith row given by
(T1 , . . . , Tc−1 ) = (1, λi , . . . , λc−2
).
i
This is the well-known Vandermonde matrix, whose determinant is non-zero. The claim follows from here.
Remark 7.6. — An inspection of the above proof shows that the question of finding c−1 rank 1 matrices
is intimately related to finding points in general position on the rational normal curves which is defined
to be the image of the Veronese map νd : P1 → Pd given by
νd : [X0 : X1 ] 7→ [X0d : X0d−1 X1 : · · · : X1d ].
It is likely that the question for mn,c for n > 2 and fn,c for n ≥ 2 and c > 3 can also be dealt with using
tools from algebraic geometry. We hope to come back to these questions later.
Acknowledgement
We would like to thank Martin Bays, Emmanuel Breuillard, Tim Clausen, Martin Hils, Franziska
Jahnke, Aleksandra Kwiatkowska, Katrin Ten and Pierre Touchard for several useful discussions. During
the completion of this work, M.B was a postdoctoral fellow at University of Münster and he was supported
by Emmanuel Breuillard’s ERC grant ‘GeTeMo’ and University of Münster. During the course of this
research, K.M-K is partially supported by the DFG grant DI506/14-1.
References
[1] Nir Avni, Benjamin Klopsch, Uri Onn, and Christopher Voll. Representation zeta functions of compact p-adic
analytic groups and arithmetic groups. Duke Math. J., 162(1):111–197, 2013.
[2] James Ax. Solving diophantine problems modulo every prime. Ann. of Math. (2), 85:161–183, 1967.
[3] Mohammad Bardestani, Keivan Mallahi-Karai, and Hadi Salmasian. Minimal dimension of faithful representations for p-groups. J. Group Theory, 19(4):589–608, 2016.
[4] Béla Bollobás. Combinatorics. Cambridge University Press, Cambridge, 1986. Set systems, hypergraphs,
families of vectors and combinatorial probability.
[5] Nigel Boston and I. M. Isaacs. Class numbers of p-groups of a given order. J. Algebra, 279(2):810–819, 2004.
[6] Nicolas Bourbaki. Lie groups and Lie algebras. Chapters 1–3. Elements of Mathematics (Berlin). SpringerVerlag, Berlin, 1998. Translated from the French, Reprint of the 1989 English translation.
[7] Mitya Boyarchenko and Maria Sabitova. The orbit method for profinite groups and a p-adic analogue of Brown’s
theorem. Israel J. Math., 165:67–91, 2008.
[8] J. Buhler and Z. Reichstein. On the essential dimension of a finite group. Compositio Math., 106(2):159–179,
1997.
[9] David A. Cox. Primes of the form x2 + ny 2 . Pure and Applied Mathematics (Hoboken). John Wiley & Sons,
Inc., Hoboken, NJ, second edition, 2013. Fermat, class field theory, and complex multiplication.
[10] Daniel E. Flath. Introduction to number theory. A Wiley-Interscience Publication. John Wiley & Sons, Inc.,
New York, 1989.
[11] Alfred Horn. A characterization of unions of linearly independent sets. J. London Math. Soc., 30:494–496,
1955.
[12] Roger E. Howe. Kirillov theory for compact p-adic groups. Pacific J. Math., 73(2):365–381, 1977.
[13] Roger E. Howe. On representations of discrete, finitely generated, torsion-free, nilpotent groups. Pacific J.
Math., 73(2):281–305, 1977.
[14] A. Jaikin-Zapirain. Zeta function of representations of compact p-adic analytic groups. J. Amer. Math. Soc.,
19(1):91–118, 2006.
[15] Nikita A. Karpenko and Alexander S. Merkurjev. Essential dimension of finite p-groups. Invent. Math.,
172(3):491–508, 2008.
[16] D. Kazhdan. Proof of Springer’s hypothesis. Israel J. Math., 28(4):272–286, 1977.
[17] E. I. Khukhro. p-automorphisms of finite p-groups, volume 246 of London Mathematical Society Lecture Note
Series. Cambridge University Press, Cambridge, 1998.
[18] A. A. Kirillov. Unitary representations of nilpotent Lie groups. Uspehi Mat. Nauk, 17(4 (106)):57–110, 1962.
[19] Alexander S. Merkurjev. Essential dimension. Bull. Amer. Math. Soc. (N.S.), 54(4):635–661, 2017.
[20] Aurel Meyer and Zinovy Reichstein. Some consequences of the Karpenko-Merkurjev theorem. Doc. Math.,
(Extra vol.: Andrei A. Suslin sixtieth birthday):445–457, 2010.

26

M. BARDESTANI, K. MALLAHI-KARAI & H. SALMASIAN

[21] Jürgen Neukirch. Algebraic number theory, volume 322 of Grundlehren der Mathematischen Wissenschaften
[Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1999. Translated from the 1992
German original and with a note by Norbert Schappacher, With a foreword by G. Harder.
[22] E. A. O’Brien and C. Voll. Enumerating classes and characters of p-groups. Trans. Amer. Math. Soc.,
367(11):7775–7796, 2015.
[23] Wolfgang M. Schmidt. Equations over finite fields. An elementary approach. Lecture Notes in Mathematics,
Vol. 536. Springer-Verlag, Berlin-New York, 1976.
[24] Jean-Pierre Serre. On a theorem of Jordan. Bull. Amer. Math. Soc. (N.S.), 40(4):429–440, 2003.
[25] Jean-Pierre Serre. Lie algebras and Lie groups, volume 1500 of Lecture Notes in Mathematics. Springer-Verlag,
Berlin, 2006. 1964 lectures given at Harvard University, Corrected fifth printing of the second (1992) edition.
[26] Jean-Pierre Serre. Lectures on NX (p), volume 11 of Chapman & Hall/CRC Research Notes in Mathematics.
CRC Press, Boca Raton, FL, 2012.
[27] Lou van den Dries. A remark on Ax’s theorem on solvability modulo primes. Math. Z., 208(1):65–70, 1991.

M. Bardestani, DPMMS, Centre for Mathematical Sciences, Wilberforce Road, Cambridge, CB3 0WB.
E-mail : mohammad.bardestani@gmail.com
K. Mallahi-Karai, Jacobs University Bremen, Campus Ring I, 28759 Bremen, Germany.
E-mail : k.mallahikarai@jacobs-university.de
H. Salmasian, Department of Mathematics, University of Ottawa, 585 King Edward, Ottawa, ON K1N 6N5, Canada.
E-mail : hadi.salmasian@uottawa.ca

