BEAUVILLE p-GROUPS OF WILD TYPE AND GROUPS OF
MAXIMAL CLASS

arXiv:1701.07361v1 [] 25 Jan 2017

GUSTAVO A. FERNÁNDEZ-ALCOBER, NORBERTO GAVIOLI, ŞÜKRAN GÜL,
AND CARLO M. SCOPPOLA
Abstract. Let G be a Beauville finite p-group. If G exhibits a ‘good behaviour’ with respect to taking powers, then every lift of a Beauville structure
of G/Φ(G) is a Beauville structure of G. We say that G is a Beauville pgroup of wild type if this lifting property fails to hold. Our goal in this paper
is twofold: firstly, we fully determine the Beauville groups within two large
families of p-groups of maximal class, namely metabelian groups and groups
with a maximal subgroup of class at most 2; secondly, as a consequence of the
previous result, we obtain infinitely many Beauville p-groups of wild type.

1. Introduction
Beauville groups are finite groups that arise in the construction of an interesting
class of complex surfaces, the so-called Beauville surfaces, introduced by Catanese
in [5] following an example of Beauville [2, page 159]. The problem of determining
what finite groups are Beauville has received considerable attention in the past
years, see the survey paper [12]. Catanese [5] showed that a finite abelian group
is a Beauville group if and only if it is isomorphic to Cn × Cn , with n > 1 and
gcd(n, 6) = 1. A remarkable result, proved independently by Guralnick and Malle
[10] and by Fairbairn, Magaard and Parker [6], is that every non-abelian finite
simple group other than A5 is a Beauville group.
The determination of Beauville groups is based on the following purely grouptheoretical characterization. Given a group G and S = {x, y} ⊆ G, the triple
T = {x, y, xy} is uniquely determined by S up to conjugacy, and so we can define
[
(1)
Σ(S) =
htig .
t∈T

Then G is a Beauville group if and only if it is a 2-generator group and
(2)

Σ(S1 ) ∩ Σ(S2 ) = 1 for some 2-element sets of generators S1 and S2 of G.

We say that S1 and S2 form a Beauville structure for G.
Knowledge about Beauville finite p-groups was scarce until very recently, and
only groups of small order or some very specific families had been tested for being Beauville (see [1] and [4]). In [8, Theorem 2.5], Fernández-Alcober and Gül
extended Catanese’s criterion in the specific case of p-groups from abelian groups
to a much wider family, including all p-groups that are known to have a ‘good
behaviour’ with respect to taking powers, and in particular all groups of order at
most p p . More precisely, if G is such a 2-generator group of exponent pe , then
(3)

e−1

G is a Beauville group if and only if p ≥ 5 and |Gp

| ≥ p2 .

The first and third authors acknowledge financial support from the Spanish Government, grant
MTM2014-53810-C2-2-P, and from the Basque Government, grant IT974-16.
1

2

G.A. FERNÁNDEZ-ALCOBER, N. GAVIOLI, Ş. GÜL, AND C.M. SCOPPOLA

This criterion is not valid for all finite p-groups, and in [8, Corollary 2.12] there are
infinitely many examples (among which infinitely many p-groups of maximal class
with an abelian maximal subgroup) for which (3) fails to hold.
Different Beauville structures in the same group can give rise to non-isomorphic
Beauville surfaces, and another main problem in this theory is to determine the
number of Beauville surfaces arising from a given Beauville group. González-Diez,
Jones, and Torres-Teigell [9] have given a formula for this number in the case of
abelian Beauville groups. The first step to solve this problem is to determine all
Beauville structures in the group, which is relatively easy for abelian groups, but
much more difficult in the general setting, due to the effect of conjugacy in (1).
In any case, it is interesting to obtain as many Beauville structures as possible
in a Beauville group. The finite p-groups considered in [8, Theorem 2.5] have a
good behaviour in this respect, since they have the property that every lift of a
Beauville structure of G/Φ(G) ∼
= Cp × Cp is a Beauville structure of G. We say
that a Beauville p-group G is of tame type if this property holds in G; otherwise,
we say that G is of wild type. Thus all p-groups with good power structure are of
tame type but, as a careful analysis shows, all counterexamples to (3) given in [8,
Corollary 2.12] are also of tame type.
Our goal in this paper is to determine all Beauville groups within two very large
families of p-groups of maximal class, namely those which are either metabelian or
have a maximal subgroup of class at most 2. These families have been studied in
great detail by Miech [16] and by Leedham-Green and McKay [13, 14], respectively;
in particular, constructions are given in these papers showing that there is a large
number of such groups. Thus we provide a huge extension of Corollary 2.12 of
[8], which only covers one p-group of maximal class of every order. An important
consequence of our results is that they provide an infinite family of Beauville pgroups of wild type.
Next we state our main theorem in this paper. The Beauville p-groups of maximal class of order at most p p were already determined in [8, Corollary 2.10]: they
are exactly the groups of exponent p, with p ≥ 5. Thus we restrict to groups of
order at least p p+1 . In the theory of groups of maximal class, a significant role
is played by the maximal subgroup G1 = CG (G′ /γ4 (G)), and this is also the case
in our result. In the remainder, we use the term maximal branch in a 2-generator
finite p-group G to mean the difference B(M ) = M r Φ(G), where M is a maximal
subgroup of G.
Main Theorem. Let G be a p-group of maximal class of order pn , with n ≥ p + 1,
and assume that either G is metabelian or G contains a maximal subgroup of class
at most 2. Then G is a Beauville group if and only if p ≥ 5 and one of the following
two cases holds, where X is the set of all elements of G r Φ(G) of order p:
(i) X = G r G1 .
(ii) X is the union of exactly two maximal branches of G, and either n 6≡ 2
(mod p − 1), or n = p + 1 and one of those maximal branches is B(G1 ).
Also, all groups in (i) are Beauville groups of tame type, all groups in (ii) are of
wild type, and there exist infinitely many groups in each of the cases.
Notation. If G is a finitely generated group, d(G) denotes the minimum number
of generators of G. On the other hand, if G is a finite p-group, we write Ωi (G) for
the subgroup generated by all elements of G of order at most pi .
2. Proof of the main theorem
In this section G will always denote a group of order pn and class n − 1, where
n ≥ 2. These groups are called p-groups of maximal class. The Beauville groups of

BEAUVILLE p-GROUPS OF WILD TYPE

3

order p2 and p3 can be easily determined, so we assume that n ≥ 4 in the remainder.
Then we set Gi = γi (G) for all i ≥ 2, and G1 = CG (G2 /G4 ). We have |Gi : Gi+1 | =
p for all i = 1, . . . , n − 1, and the degree of commutativity of G is defined as the
maximum (non-negative) integer ℓ ≤ n − 3 such that [Gi , Gj ] ≤ Gi+j+ℓ for all
i, j ≥ 1. Also, the only normal subgroups of G are G itself, its maximal subgroups,
and the subgroups Gi for i ≥ 2. Observe that Z(G) = Gn−1 , Φ(G) = G2 , and
d(G) = 2.
In his seminal paper [3], Blackburn established many of the cornerstones of the
theory of groups of maximal class. More precisely, he showed that ℓ > 0 if and
only if G1 = CG (Gn−2 ), and that this is the case whenever n ≥ p + 2. An element
s ∈ G is called uniform if s ∈
/ G1 ∪ CG (Gn−2 ). Then sp ∈ Z(G) and the order
2
of s is at most p . Also, |CG (s)| = p2 and the conjugates of s are exactly the
elements in the coset sΦ(G). If we choose an element s1 ∈ G1 r G2 and we define
si = [s1 , s, i−1
. . ., s], then si ∈ Gi r Gi+1 for all i = 1, . . . , n − 1. Thus Z(G) = hsn−1 i.
Finally, we recall a couple of facts about the power structure of G. If |G| ≤ p p+1
then exp G/Z(G) = exp Φ(G) = p, while for |G| ≥ p p+2 we have
(4)

xp ∈ Gi+p−1 r Gi+p ,

for all x ∈ Gi r Gi+1 and all i = 1, . . . , n − p.

These properties of p-groups of maximal class can be found in [7], [11, Chapter 4,
Section 14], or [15, Chapter 3].
Lemma 2.1. Let G be a p-group of maximal class, and let M be a maximal subgroup
of G. Then all elements in B(M ) have the same order, and if M 6= G1 , this order
is either p or p2 .
Proof. Assume first that M 6= G1 , CG (Gn−2 ). If s ∈ B(M ) then we have B(M ) =
i
i
∪p−1
i=1 s Φ(G). All powers s are uniform elements of G for i = 1, . . . , p − 1, and they
have the same order p or p2 . Since all elements in the coset si Φ(G) are conjugate
to si , the result follows in this case.
Now suppose that M = G1 or CG (Gn−2 ). If n ≥ p + 2 then M = G1 and by
(4), every element in B(M ) has order pk , where k = ⌈ n−1
p−1 ⌉. If n ≤ p + 1 then M
is a regular p-group in which Φ(G) is a maximal subgroup of exponent p. Thus
Ω1 (M ) = Φ(G) or M , and all elements of B(M ) have order p or p2 , respectively. 
If G is a p-group of maximal class, we denote by µ(G) the number of maximal
subgroups M 6= G1 for which all elements in B(M ) have order p. The next result
shows that the value of µ(G) is quite restricted if either G is metabelian or G1 is
of class at most 2. Its proof relies on two technical results of Miech regarding the
calculation of pth powers in groups of maximal class that can be found in [16] and
[17].
Theorem 2.2. Let G be a p-group of maximal class. If either G is metabelian or
G1 is of class at most 2, then µ(G) = 0, 1, 2 or p. Furthermore, if G has an abelian
maximal subgroup then µ(G) = 0, 1, or p.
Proof. If p = 2 then G has only 2 maximal subgroups different from G1 and the
result is obviously true. Thus we consider p to be an odd prime in the remainder
of the proof.
Let us assume that µ(G) ≥ 2 and prove that µ(G) = 2 or p. Since Φ(G) = G2 ,
we can choose a uniform element s and an element s1 ∈ G1 r G2 so that s and ss1
belong to two maximal branches with all elements of order p.
If G is metabelian, then by [16, Lemma 8] and since sp = 1, we can write
2
(ssi1 )p = ai bi for all i = 1, . . . , p − 1, where
(p)
(p)
a = sp1 s22 . . . spp

4

G.A. FERNÁNDEZ-ALCOBER, N. GAVIOLI, Ş. GÜL, AND C.M. SCOPPOLA

and b is a power of sn−1 independent of i. Since (ss1 )p = 1, we have a = b−1 and
consequently
2
(ssi1 )p = bi −i = bi(i−1) .
Since b is of order at most p, this power is 1 for some i = 2, . . . , p − 1 (observe that
p is odd) if and only if b = 1. It follows from Lemma 2.1 that µ(G) is either 2 or p.
Now assume that G1 is of class at most 2. By applying [17, Theorem 4], we get
(5)

(pp)
(p2)
(ssi1 )p = sip
1 σi,1 . . . σi,p−1 xi,p ,

where σi,k = [si1 , s, . k. ., s] and
(6)

xi,p =

p−1
Y k−1
Y

[σi,k , σi,ℓ ]B(p,k,ℓ) ,

k=1 ℓ=0

for some integer B(p, k, ℓ) depending on p, k and ℓ, but not on i.
Let us show, by induction on k, that
(7)

(2i )
,
σi,k = sik+1 tk+1

for some tk+1 ∈ [G1 , G1 ] ≤ Z(G1 ).

First of all, observe that the basis of the induction is given by
i

−i
s i
i
i
(2) ,
σi,1 = [si1 , s] = s−i
1 (s1 ) = s1 (s1 s2 ) = s2 [s2 , s1 ]

where the last equality follows from the condition that the class of G1 is at most 2.
Now if k ≥ 2, by the induction hypothesis we have
i
i
i
(i)
σi,k = [sik , s][tk2 , s] = [sik , s][tk , s](2) = sik+1 [sk+1 , sk ](2) [tk , s](2)
( i )
= sik+1 [sk+1 , sk ][tk , s] 2 ,

and the induction is complete.
Now from (7) we get

2

[σi,k , σi,ℓ ] = [sik+1 , sil+1 ] = [sk+1 , sl+1 ]i ,
2

and this implies that xi,p = xi1,p for all i = 1, . . . , p − 1. Hence (5) yields
p
p−1
(2i ) 2
i  (p)
p
p
(p) Y Y
(p)
(ssi1 )p = sp1 s22 . . . sp t22 . . . tpp
[sj , sk ](j )(k)
xi1,p .
j=1 k=j+1
2

Since p is odd, we can write again (ssi1 )p = ai bi for all i = 1, . . . , p − 1, with a and
b not depending on i. As above, we conclude that µ(G) = 2 or p also in this case.
Finally, if G has an abelian maximal subgroup then obviously that subgroup
must be G1 . Observe that in the above discussion we have b ∈ [G1 , G1 ]. Hence
b = 1 in the present case and (ssi1 )p = 1 for all i = 1, . . . , p − 1. In other words, if
µ(G) ≥ 2 then necessarily µ(G) = p. This completes the proof.

We also need the following lemma about maximal subgroups of class ≤ 2 in a
group of maximal class.
Lemma 2.3. Let G be a p-group of maximal class of order at least p5 . If G has a
maximal subgroup M of class at most 2 then M = G1 .
Proof. Suppose for a contradiction that M 6= G1 . By definition, we have G1 =
CG (G2 /G4 ), and consequently the commutator subgroup [M, G2 ] is not contained
in G4 . Since the only normal subgroups of G contained in G2 are of the form Gi , it
follows that [M, G2 ] = G3 . On the other hand, by [7, Theorem 4.6], the degree of
commutativity of G/G5 is positive. As a consequence, we have [G1 , G3 ] ≤ G5 i.e.
G1 = CG (G3 /G5 ). Arguing as above, this implies that [M, G3 ] = G4 . Now since

BEAUVILLE p-GROUPS OF WILD TYPE

5

|M : G2 | = p, we have M ′ = [M, G2 ] and then γ3 (M ) = [M, G2 , M ] = G4 6= 1,
taking into account that |G| ≥ p5 . This contradicts the assumption that the class
of M is at most 2.

Now we can proceed to the proof of our main theorem.
Theorem 2.4. Let G be a p-group of maximal class of order pn , with n ≥ p + 1,
and assume that either G is metabelian or G contains a maximal subgroup of class
at most 2. Then G is a Beauville group if and only if p ≥ 5 and one of the following
two cases holds:
(i) µ(G) = 2, and either n 6≡ 2 (mod p − 1), or n = p + 1 and one of the
maximal branches consisting of elements of order p is B(G1 ).
(ii) µ(G) = p.
In the first case, all Beauville groups are of wild type, and in the second case, all
Beauville groups are of tame type.
Proof. We first prove the ‘only if’ part of the statement. Let us suppose that S1 and
S2 form a Beauville structure for G, with associated triples T1 and T2 . We start by
showing that p ≥ 5. By way of contradiction, assume that p = 2 or 3. Then G has
positive degree of commutativity [7, Theorem 4.6], and consequently all elements
in G r G1 are uniform. Now the elements in T1 , and similarly those in T2 , lie in
different maximal branches of G. Since G has at most 4 maximal subgroups, some
x1 ∈ T1 and x2 ∈ T2 lie in the same maximal branch B(M ), where M 6= G1 . Now
observe that for every x ∈ B(M ), all elements in the coset xΦ(G) are conjugate
to x. Hence some power of x1 is conjugate to some power of x2 . This is contrary
to the condition Σ(S1 ) ∩ Σ(S2 ) = 1, which holds according to (2). Thus we have
p ≥ 5 and, in particular, n ≥ 6. By Lemma 2.3, in the case where G has a maximal
subgroup of class ≤ 2, that subgroup must be G1 .
Let us prove that µ(G) ≥ 2. Otherwise there exist x1 ∈ T1 and x2 ∈ T2 which
are uniform elements of order p2 . It follows that hxp1 i = Z(G) = hxp2 i, again a
contradiction. By applying Theorem 2.2, we conclude that either µ(G) = 2 or
µ(G) = p.
Assume now that µ(G) = 2, and either that n = k(p−1)+2 for some k ≥ 2 or that
n = p+1 and the maximal branch B(G1 ) consists of elements of order p2 . Again, we
seek a contradiction. In this case, each of the triples T1 and T2 contains an element
which lies either in B(G1 ) or in a maximal branch B(M ) consisting of elements of
order p2 , with M 6= G1 . Let x be any element of B(G1 ). If n = k(p − 1) + 2 for
k
some k ≥ 2 then we have xp ∈ Z(G) r 1, by (4). On the other hand, if n = p + 1
and the elements of B(G1 ) are of order p2 , then since exp G/Z(G) = p, we have
xp ∈ Z(G) r 1. In any case, we get Z(G) ⊆ Σ(S1 ) ∩ Σ(S2 ), which is contrary to our
assumption that S1 and S2 form a Beauville structure. This completes the proof
of the first implication.
Let us prove the converse. Thus we assume that p ≥ 5 in the remainder. Suppose
first that µ(G) = p. In this case, we have to show that G is a Beauville group of
tame type, i.e. that every lift to G of a Beauville structure of G/Φ(G) yields a
Beauville structure of G. Let us consider then two minimal sets of generators S1
and S2 of G that map onto a Beauville structure of G/Φ(G). Then at most one of
the elements in T1 ∪T2 lies in B(G1 ). Hence for every choice of x1 ∈ T1 and x2 ∈ T2 ,
at least one of the elements, say x1 , is of order p. Thus if hxg1 i and hxh2 i have nontrivial intersection for some g, h ∈ G, then hxg1 i ⊆ hxh2 i and hx1 Φ(G)i = hx2 Φ(G)i.
This is impossible, since x1 Φ(G) and x2 Φ(G) participate in different triples of a
Beauville structure of G/Φ(G). Hence S1 and S2 form a Beauville structure of G.
Now suppose that we are in case (i), and choose a uniform element s and an
element s1 ∈ G1 r G2 such that both s and ss1 are of order p. We claim that

6

G.A. FERNÁNDEZ-ALCOBER, N. GAVIOLI, Ş. GÜL, AND C.M. SCOPPOLA

S1 = {s, s1 } and S2 = {ss21 , ss41 } is a Beauville structure of G. We need to see that
hxg1 i ∩ hxh2 i = 1 for all x1 ∈ T1 , x2 ∈ T2 and g, h ∈ G. Observe that xg1 and xh2
lie in different maximal subgroups of G, since p ≥ 5. Thus if x1 = s or ss1 , or if
x1 = s1 and B(G1 ) consists of elements of order p, we can argue as in the previous
paragraph. Hence we assume that x1 = s1 and that |G| = pn with n ≥ p + 2 and
n 6= k(p − 1) + 2 for all k ≥ 2. By applying repeatedly (4), we have hs1 i ∩ Z(G) = 1.
Since Ω1 (hx2 i) = Z(G) for all x2 ∈ T2 , the claim follows. Thus G is a Beauville
group.
Let us finally see that G is of wild type in case (i). There are at least two
maximal branches B(M1 ) and B(M2 ) which consist of elements of order p2 . It is
always possible to construct a Beauville structure in G/Φ(G) ∼
= Cp × Cp in which
the first set of generators contains an element from M1 /Φ(G) and the second set
an element from M2 /Φ(G). However, no lift of this structure can be a Beauville
structure of G, since hxp1 i = hxp2 i = Z(G) for all x1 ∈ B(M1 ) and x2 ∈ B(M2 ). 
Remark 2.5. Actually, the ‘if part’ of the previous theorem is valid for all p-groups
of maximal class of order at least p p+1 , without requiring that G is metabelian or
that G has a maximal subgroup of class at most 2.
The case of groups of maximal class with an abelian maximal subgroup is especially easy to describe.
Corollary 2.6. Let G be a p-group of maximal class of order at least p p+1 . If G
has an abelian maximal subgroup, then G is a Beauville group if and only if every
element of G r G1 is of order p. All these Beauville groups are of tame type.
Proof. This follows immediately by combining Theorems 2.2 and 2.4.



We remark that the only infinite pro-p group of maximal class P has an abelian
subgroup A of index p with the property that all elements in P r A are of order p.
Thus by taking finite quotients of P we get infinitely many examples of Beauville
groups of tame type in our main theorem. The existence of infinitely many groups
of wild type follows from the construction of metabelian p-groups of maximal class
given by Miech in [16]. More precisely, if we consider metabelian groups satisfying
the condition [G1 , G2 ] = Gn−p+2 , then Lemma 8 of [16] together with our proof of
Theorem 2.2 shows the existence of infinitely many groups with µ(G) = 2. If n 6≡ 2
(mod p − 1) then these groups are Beauville of wild type, according to Theorem
2.4.
Every quotient of order ≥ p2 of a p-group of maximal class is obviously again of
maximal class. We conclude with the following surprising consequence of our main
theorem.
Corollary 2.7. Let G be a p-group of maximal class, where p ≥ 5. Then every
proper quotient of G is a Beauville group, and it is of tame type.
Proof. It suffices to show that G/Z(G) is a Beauville group. If |G/Z(G)| ≤ p p
then, since exp G/Z(G) = p, we only need to apply Corollary 2.10 of [8], Assume
now that |G/Z(G)| ≥ p p+1 . Since the pth powers of all uniform elements of G lie
in Z(G), it follows that µ(G/Z(G)) = p. Now the result follows from Theorem 2.4
and Remark 2.5.

References
[1] N. Barker, N. Boston, and B. Fairbairn, A note on Beauville p-groups, Experiment. Math.
21 (2012), 298–306.
[2] A. Beauville, Surfaces algébriques complexes, Astérisque 54, Soc. Math. France, Paris, 1978.
[3] N. Blackburn, On a special class of p-groups,

BEAUVILLE p-GROUPS OF WILD TYPE

7

[4] N. Boston, A survey of Beauville p-groups, in Beauville Surfaces and Groups, editors I.
Bauer, S. Garion, A. Vdovina, Springer Proceedings in Mathematics & Statistics, Volume
123, Springer, 2015, pp. 35–40.
[5] F. Catanese, Fibered surfaces, varieties isogenous to a product and related moduli spaces,
Amer. J. Math. 122 (2000), 1–44.
[6] B. Fairbairn, K. Magaard, and C. Parker, Generation of finite quasisimple groups with an
application to groups acting on Beauville surfaces, Proc. Lond. Math. Soc. 107 (2013), 744–
798.
[7] G. A. Fernández-Alcober, An introduction to finite p-groups: regular p-groups and groups of
maximal class, Mat. Contemp. 20 (2001), 155–226.
[8] G.A. Fernández-Alcober and Ş. Gül, Beauville structures in finite p-groups, J. Algebra 474
(2017), 1–23.
[9] G. González-Diez, G.A. Jones, and D. Torres-Teigell Beauville surfaces with abelian Beauville
group, Math. Scand. 114 (2014), 191–204.
[10] R. Guralnick and G. Malle, Simple groups admit Beauville structures, J. London Math. Soci.
85 (2012), 694–721.
[11] B. Huppert, Endliche Gruppen, I , Springer, 1967.
[12] G.A. Jones, Beauville surfaces and groups: a survey, in Rigidity and Symmetry, Fields Institute Communications 70, Springer, New York, 2014, pp. 205–225.
[13] C.R. Leedham-Green and S. McKay, On p-groups of maximal class, III, Quart. J. Math.
Oxford 29 (1978), 281–299.
[14] C.R. Leedham-Green and S. McKay, On the classification of p-groups of maximal class, Quart.
J. Math. Oxford 35 (1984), 293–304.
[15] C.R. Leedham-Green and S. McKay, The Structure of Groups of Prime Power Order , Oxford
University Press, 2002.
[16] R.J. Miech, Metabelian p-groups of maximal class, Trans. Amer. Math. Soc. 152 (1970),
331–373.
[17] R.J. Miech, Counting commutators, Trans. Amer. Math. Soc. 189 (1974), 49–61.
Department of Mathematics, University of the Basque Country UPV/EHU, 48080
Bilbao, Spain
E-mail address: gustavo.fernandez@ehu.eus
Università degli Studi dell’Aquila (Italy)
E-mail address: gavioli@univaq.it
Department of Mathematics, Middle East Technical University, 06800 Ankara, Turkey
E-mail address: gsukran@metu.edu.tr
Università degli Studi dell’Aquila (Italy)
E-mail address: scoppola@univaq.it

