.
METABELIAN THIN BEAUVILLE p-GROUPS

arXiv:1701.06906v1 [math.GR] 24 Jan 2017

NORBERTO GAVIOLI, ŞÜKRAN GÜL, AND CARLO SCOPPOLA
Abstract. A non-cyclic finite p-group G is said to be thin if every normal
subgroup of G lies between two consecutive terms of the lower central series
and |γi (G) : γi+1 (G)| ≤ p2 for all i ≥ 1. In this paper, we determine Beauville
structures in metabelian thin p-groups.

1. Introduction
Beauville surfaces [2, page 159] are complex surfaces of general type constructed
from two orientable regular hypermaps of genus at least 2, with the same automorphism groups. A finite group which arises as an automorphism group linked to a
Beauville surface is called a Beauville group.
A group-theoretical formulation of Beauville groups can be given as follows.
Given a finite group G and a couple of elements x, y ∈ G, we define

[ 
Σ(x, y) =
hxig ∪ hyig ∪ hxyig ,
g∈G

that is, the union of all subgroups of G which are conjugate to hxi, to hyi or to
hxyi. Then G is a Beauville group if and only if the following conditions hold:
(i) G is a 2-generator group.
(ii) There exists a pair of generating sets {x1 , y1 } and {x2 , y2 } of G such that
Σ(x1 , y1 ) ∩ Σ(x2 , y2 ) = 1.
Then {x1 , y1 } and {x2 , y2 } are said to form a Beauville structure for G.
By using this characterization, one can study whether a given finite group is
a Beauville group. For example, 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. On the other hand, a remarkable result, proved independently by
Guralnick and Malle [11] and by Fairbairn, Magaard and Parker [6] in 2012, is that
every non-abelian finite simple group other than A5 is a Beauville group.
If p is a prime, not much was known about Beauville p-groups until very recently (see [1] and [3]). In [7, Theorem 2.5], Fernández-Alcober and Gül extended
Catanese’s criterion in the case of p-groups from abelian groups to a much wider
family of groups, including all p-groups having a ‘good behaviour’ with respect to
taking powers, and in particular groups of class < p.
A non-cyclic finite p-group G is said to be thin if every normal subgroup of G lies
between two consecutive terms of the lower central series and |γi (G) : γi+1 (G)| ≤ p2
for all i ≥ 1. Indeed, these groups are 2-generator. Thus it is natural to ask whether
they are Beauville or not. Furthermore, the study of thin p-groups is also motivated
by the fact that they usually give examples of groups whose power structures are not
so well-behaved. Well-known examples of thin p-groups are p-groups of maximal
class and quotients of the Nottingham group. In [7], all Beauville quotients of the
Nottingham group were determined. Thanks to the ill-behaved power structure, the
first explicit infinite family of Beauville 3-groups was given by considering quotients
Key words and phrases. Beauville groups; metabelian thin p-groups .
The second author is supported by the Spanish Government, grant MTM2014-53810-C2-2-P,
and the Basque Government, grant IT974-16.
1

2

N. GAVIOLI, Ş. GÜL, AND C. SCOPPOLA

of the Nottingham group over F3 . In [8], the existence of Beauville structures in
the most important families of groups of maximal class, in particular in metabelian
p-groups of maximal class, was studied.
The goal of this paper is to complete the study of Beauville structures in
metabelian thin p-groups. In this paper, we will exclude p-groups of maximal
class from our consideration of thin groups. This means, in particular, that the
prime 2 is excluded [12, Theorem III.11.9]. Then according to Theorem A in [4], if
G is a metabelian thin p-group, then cl(G) ≤ p + 1. If the class is < p, then the
existence of Beauville structures can be determined by using Corollary 2.6 in [7].
Thus we restrict to groups of class p or p + 1. The main result of this paper is as
follows.
Theorem A. Let G be a metabelian thin p-group of class p or p + 1 for p ≥ 5.
Then there are four cases in which there is a Beauville structure:
(i)
(ii)
(iii)
(iv)

cl(G) = p and |γp (G)| = p2 .
cl(G) = p + 1.
cl(G) = p, |γp (G)| = p and Gp = γp−1 (G).
cl(G) = p, |γp (G)| = p, Gp = γp (G) and G has at least three maximal
subgroups of exponent p.

Notation. We use standard notation in group theory. If G is a group, H, K ≤ G
and N E G, then H ≡ K (mod N ) means HN/N = KN/N . If p is a prime, then
i
i
we write Gp for the subgroup generated by all powers g p as g runs over G, and
Ωi (G) for the subgroup generated by the elements of G of order at most pi . The
exponent of G, denoted by exp G, is the maximum of the orders of all elements of
G.
2. Proof of the main result
In this section, we give the proof of Theorem A. We begin by giving some properties of metabelian thin p-groups. Firstly, we recall the following more general
result of Meier-Wunderli. If G is a metabelian 2-generator p-group, then
(1)

Gp ≥ γp (G)

(see [13], Theorem 3).
Observe that the only thin abelian p-group is the elementary abelian group of
order p2 and we refer to its lattice of normal subgroups as a diamond . It then
follows that if G is thin, then G/G′ is elementary abelian of order p2 , and hence G
is 2-generator. Also, the lower and upper central series of a thin p-group coincide
[4, Corollary 2.2].
Note that if G is a thin p-group and g ∈ γi (G) r γi+1 (G), then
(2)

γi+1 (G) = [g, G]γi+2 (G)

(see [4], Lemma 2.1).
Now let G be a metabelian thin p-group. By Theorem A in [4], we have the
following:
(i) γp+1 (G) is cyclic and γp+2 (G) = 1.
(ii) The lattice of normal subgroups of G consists of a diamond on top, followed
by a chain of length 1, at most p − 2 diamonds, plus possibly another chain
of length 1.
As a consequence, cl(G) ≤ p + 1, and |G| ≤ p2p . We next recall the power
structure of a metabelian thin p-group.

METABELIAN THIN BEAUVILLE p-GROUPS

3

Lemma 2.1. Let G be a metabelian thin p-group, and l be the largest integer
such that Gp ≤ γl (G). Then 3 ≤ l ≤ p, γl+1 (G) is cyclic, γl+2 (G) = 1 and
γ2 (G)p ≤ γl+1 (G).
Proof. See the proofs of Lemmas 1.2, 1.3 and 3.3 in [4].



The next corollary follows directly from Lemma 2.1.
Corollary 2.2. Let G be a metabelian thin p-group. Then |Gp | ≤ p3 .
Lemma 2.3. Let G be a metabelian thin p-group such that its lattice of normal
subgroups ends with a chain. Then the order of Gp cannot be p2 .
Proof. If G is of class p + 1, then Gp = γp (G), and hence |Gp | = p3 . Thus we
assume that cl(G) = c ≤ p. Next observe that if M is a maximal subgroup of G,
then cl(M ) < c ≤ p, and so M is regular.
Now suppose, on the contrary, that |Gp | = p2 . Consider the quotient group
p
G = G/γc (G), which is regular. Then |G | = p, and hence |G : Ω1 (G)| = p.
Write Ω1 (G) = M/γc (G) for some maximal subgroup M of G. Since G is regular,
exp Ω1 (G) = p, and hence M p ≤ γc (G). This implies that |M p | = |M : Ω1 (M )| ≤ p
as M is regular. It then follows that G′ ≤ Ω1 (M ), and thus exp G′ = p.
On the other hand, if M is an arbitrary maximal subgroup of G, we have G′ ≤ M
and since exp G′ = p, we get G′ ≤ Ω1 (M ) ≤ M . Then |M p | = |M : Ω1 (M )| ≤
p. Since G is thin, this implies that M p ≤ γc (G) for any maximal subgroup
M . But Gp = hM p | M maximal in Gi ≤ γc (G). Thus |Gp | ≤ p, which is a
contradiction.

We finally recall a commutator relation between the generators of G. More
specifically, if G is a metabelian thin p-group, then to every x ∈ G r G′ there
corresponds a y such that G = hx, yi and
(3)

[y, x, x, x] ≡ [y, x, y, y]h

(mod γ5 (G)).

where h is a quadratic non-residue modulo p [4, Theorem B].
Before we proceed to prove Theorem A, we will determine which metabelian thin
3-groups are Beauville groups.
Theorem 2.4. A metabelian thin 3-group is a Beauville group if and only if it is
one of SmallGroup(35, 3), SmallGroup(36 , 34), or SmallGroup(36 , 37).
Proof. Let G be a metabelian thin 3-group. Then |G| ≤ 36 . Note that the smallest
Beauville 3-group S = SmallGroup(35 , 3) is of order 35 , and it is the only Beauville
3-group of that order [1]. Furthermore, by using the computer algebra system
GAP [10], it can be seen that S is metabelian thin. Thus, if |G| = 35 , then G is
a Beauvile group if and only if G ∼
= S. We next assume that |G| = 36 . It has
been shown in [1] that there are only three Beauville 3-groups of order 36 , namely
S = SmallGroup(36 , n) for n = 34, 37, 40. However, if n = 40 then S is not thin
since |Z(S)| = 9 and thus Z(S) 6= γ4 (S). On the other hand, if n = 34 or 37
then again by using the computer algebra system GAP, one can show that S is a
metabelian thin 3-group. Consequently, G is a Beauville group if and only if G ∼
=S
for n = 34 or 37.

Thus we assume that p ≥ 5. Let G be a metabelian thin p-group with cl(G) = p
or p+1. Then we have three cases: G is of class p+1, or is of class p and |γp (G)| = p2 ,
or is of class p and |γp (G)| = p. In the first two cases, we have Gp ≤ γp (G). It then
follows from (1) that Gp = γp (G). Note that we also have γ2 (G)p ≤ γp+1 (G), by
Lemma 2.1. On the other hand, in the last case if l is the largest integer satisfying
Gp ≤ γl (G), then l = p − 1 or p and hence γp (G) ≤ Gp ≤ γp−1 (G).

4

N. GAVIOLI, Ş. GÜL, AND C. SCOPPOLA

Our first step is to calculate the pth powers of xt y modulo γp+1 (G) for all 0 ≤ t ≤
p − 1 if G = hx, yi and γ2 (G)p ≤ γp+1 (G). To this purpose, we need the following
lemma.
Lemma 2.5. [14, Lemma 6] Let G be a metabelian p-group and x, y ∈ G. Set
σ1 = y and σi = [σi−1 , x] for i ≥ 2. Then
( p)
(p)
(xy)p = xp y p σ2 2 . . . σpp z,
where
z=

p−1
Y
Y p−1

[σi+1 ,j σ1 ]C(i,j) ,

i=1 j=1

and

p−1   
X
k
k
.
C(i, j) =
i
j
k=1

Lemma 2.6. Let G be a metabelian thin p-group such that γ2 (G)p ≤ γp+1 (G). If
x and y are the generators of G satisfying (3), then for all 0 ≤ t ≤ p − 1
(4)

2t2

−2t

(xt y)p ≡ (xp )t y p [y, x,p−2 y] 1−ht2 [y, x,p−3 y, x] 1−ht2

(mod γp+1 (G)).

Proof. By Lemma 2.5, we have
p

p

(xt y)p = (xp )t y p [y, xt ](2) . . . [y,p−1 xt ](p)

p−1
Y
Y p−1

[y,i xt ,j y]C(i,j) .

i=1 j=1

p

Since γ2 (G) ≤ γp+1 (G), it then follows that
Y
(xt y)p ≡ (xp )t y p [y,p−1 xt ]
[y,i xt ,j y]C(i,j)

(mod γp+1 (G)).

1≤i,j
i+j≤p−1

Pp−1
Note that for i + j > 0, C(i, j) is the coefficient of ui v j in k=0 (1 + u)k (1 + v)k ,
where
p−1
X
p−1
(1 + u)k (1 + v)k ≡ (u + v) + uv
(mod p).
k=0

In the previous
the monomials of total degree less than p appear only
Pexpression
p−1
in (u + v)p−1 ≡ r=0 (−1)r ur v p−r−1 (mod p), and hence
(
0 (mod p)
if i + j < p − 1,
C(i, j) ≡
i
(−1) (mod p) if i + j = p − 1.
Thus the condition γ2 (G)p ≤ γp+1 (G) implies that
t

p

p t p

(x y) ≡ (x ) y

p−1
Y

[y,i xt ,p−i−1 y](−1)

i

(mod γp+1 (G)).

i=1

On the other hand, notice that for 1 ≤ t ≤ p − 1
(5)

2

[y, xt , xt , xt ] ≡ [y, xt , y, y]ht

(mod γ5 (G)).

Since G is metabelian, for every a, b ∈ G and c ∈ G′ we have [c, a, b] = [c, b, a], and
this, together with (5), yields that
(
2 s−1
[y, xt ,p−2 y]−(ht )
(mod γp+1 (G)) if i = 2s − 1 ,
t
(−1)i
[y,i x ,p−i−1 y]
≡
t
t (ht2 )s−1
[y, x ,p−3 y, x ]
(mod γp+1 (G)) if i = 2s ,

METABELIAN THIN BEAUVILLE p-GROUPS

and hence
t

p

p t p

(x y) ≡ (x ) y



−t

[y, x,p−2 y] [y, x,p−3 y, x]

t2

(p−1)/2
Ps=1
(ht2 )s−1

Note that since h is a quadratic non-residue, we have
Consequently, we get

2t2

−2t

P(p−1)/2
s=1

(xt y)p ≡ (xp )t y p [y, x,p−2 y] 1−ht2 [y, x,p−3 y, x] 1−ht2

5

(mod γp+1 (G)).
(ht2 )s−1 =

2
1−ht2 .

(mod γp+1 (G)),

for 0 ≤ t ≤ p − 1, as desired.



Lemma 2.7. Let G be a metabelian thin p-group such that |γp (G)| ≥ p2 and let x
and y be the generators of G satisfying (3). Then for every t0 ∈ {0, 1 . . . , p − 1}
there exist at most three distinct t ∈ {0, 1 . . . , p − 1} such that
h(xt0 y)p i ≡ h(xt y)p i (mod γp+1 (G)).

(6)

Proof. Since |γp (G)| ≥ p2 , we have Gp = γp (G) and γ2 (G)p ≤ γp+1 (G), by Lemma
2.1. Also note that |γp (G) : γp+1 (G)| = p2 . Notice that, as a consequence of (2),
l = [y, x,p−2 y] and m = [y, x,p−3 y, x] are linearly independent modulo γp+1 (G).
Thus (l, m) is a basis of γp (G) modulo γp+1 (G). If we set xp ≡ lα mβ (mod γp+1 (G))
and y p ≡ lγ mδ (mod γp+1 (G)) for some α, β, γ, δ ∈ Fp , then by (4), we have
(xt y)p ≡ l

(7)

2t
γ+αt− 1−ht
2

2

m

2t
δ+βt+ 1−ht
2

(mod γp+1 (G)).

Observe that as rational functions in t, neither f (t) = γ + αt −
2

2t
1−ht2

nor g(t) =

2t
1−ht2

δ + βt +
are zero.
We now fix t0 ∈ {0, 1 . . . , p − 1}. Then (6) holds if and only if there exists λ ∈ F∗p
such that
f (t) = λf (t0 ) and g(t) = λg(t0 ).
If f (t0 ) = 0 or g(t0 ) = 0, then we have f (t) = 0 or g(t) = 0, that is (1 − ht2 )(γ +
g(t)
= g(t
. Then
αt) − 2t = 0 or (1 − ht2 )(δ + βt) + 2t2 = 0. Otherwise, we have ff(t(t)
0)
0)
g(t0 )f (t) − f (t0 )g(t) = 0, that is


g(t0 ) (1 − ht2 )(γ + αt) − 2t − f (t0 ) (1 − ht2 )(δ + βt) + 2t2 = 0,
which is a polynomial in t of degree ≤ 3. Thus in every case, there are at most three
distinct t ∈ {0, 1 . . . , p − 1} such that h(xt0 y)p i ≡ h(xt y)p i (mod γp+1 (G)).


Lemma 2.8. Let G be a metabelian thin p-group such that γ2 (G)p ≤ γp+1 (G). If
M is a maximal subgroup of G and a, b ∈ M r G′ , then haip ≡ hbip (mod γp+1 (G)).
Proof. If we write b = ai c for some c ∈ G′ and for some integer i not divisible by
p, then by the Hall-Petrescu collection formula (see [12, III.9.4]), we have
(p) (p)
(ai c)p = api cp c22 c33 . . . cp ,
where cj ∈ γj (ha, ci) ≤ γj+1 (G). Thus (ai c)p ≡ api (mod γp+1 (G)), and hence
haip ≡ hbip (mod γp+1 (G)).

Remark 2.9. If we replace x with x∗ , where x∗ ∈ G r G′ is not a power of x,
there exists a corresponding y ∗ satisfying (3). Then x ∈ h(x∗ )t0 y ∗ , G′ i r G′ for
some 0 ≤ t0 ≤ p − 1, and according to Lemma 2.8, we have hxp i ≡ h((x∗ )t0 y ∗ )p i
(mod γp+1 (G)). It then follows from Lemma 2.7 that there exist at most three
distinct t ∈ {0, 1 . . . , p − 1} such that hxp i ≡ h(xt y)p i (mod γp+1 (G)).
The following corollary is an immediate consequence of Lemmas 2.7 and 2.8.

6

N. GAVIOLI, Ş. GÜL, AND C. SCOPPOLA

Corollary 2.10. Let G be a metabelian thin p-group such that |γp (G)| ≥ p2 . If M
is a maximal subgroup of G, then there exist at most two maximal subgroups M1 ,
M2 different from M such that M p ≡ M1p ≡ M2p (mod γp+1 (G)).
Before we present the main result, we also need the following remark.
Remark 2.11. Let G be a finite 2-generator p-group. Then we can always find
elements x, y ∈ G r Φ(G) such that x, y and xy fall into the given three maximal
subgroups of G. Let M1 , M2 and M3 be three maximal subgroups of G. Choose
x ∈ M1 r Φ(G) and y ∈ M2 r Φ(G). Since each element in the set {xy j | 1 ≤ j ≤
p − 1} falls into different maximal subgroups, there exists 1 ≤ j ≤ p − 1 such that
xy j ∈ M3 r Φ(G). Thus if we put x∗ = x and y∗ = y j , then elements in the triple
{x∗ , y ∗ , x∗ y ∗ } fall into the given three maximal subgroups.
We are now ready to prove Theorem A. We deal separately with the cases in the
theorem.
Theorem 2.12. Let G be a metabelian thin p-group with cl(G) = p such that
|γp (G)| = p2 , where p ≥ 5. Then G has a Beauville structure in which one of the
two triples has all elements of order p2 .
Proof. We divide our proof into three cases depending on the number of maximal
subgroups whose pth powers coincide, and in every case, we take into account
Corollary 2.10 and Remark 2.11. First of all, note that since G has at most three
maximal subgroups of exponent p and p ≥ 5, there are at least three maximal
subgroups of exponent p2 .
Case 1: Assume that there is a 1-1 correspondence between maximal subgroups
Mi of exponent p2 and Mip . Choose a set of generators {x1 , y1 } such that o(x1 ) =
o(y1 ) = o(x1 y1 ) = p2 .
Case 2: Assume that there exist three maximal subgroups of exponent p2 such
that their pth power subgroups coincide. Then choose a set of generators {x1 , y1 }
such that x1 , y1 and x1 y1 fall into those maximal subgroups.
In both Case 1 and 2, since p ≥ 5, we can choose another set of generators {x2 , y2 }
so that each pair of elements in {xi , yi , xi yi | i = 1, 2} is linearly independent
modulo G′ by Remark 2.11.
Case 3: Assume that we are not in the first two cases. Then there exist two
maximal subgroups M1 , M2 of exponent p2 such that M1p = M2p and M p 6= M1p for
all other maximal subgroups M .
Let us first deal with p ≥ 7. We start by choosing a set of generators {x1 , y1 }
where x1 ∈ M1 and y1 ∈ M2 are such that o(x1 y1 ) = p2 , say x1 y1 ∈ M3 . Then
there might be a maximal subgroup M4 such that M3p = M4p (note that there is no
other i 6= 3, 4 satisfying Mip = M3p , otherwise we are in Case 2). Since p ≥ 7, we
can choose another set of generators {x2 , y2 } so that x2 , y2 , x2 y2 ∈
/ M4 and each
pair of elements in {xi , yi , xi yi | i = 1, 2} is linearly independent modulo G′ , by
Remark 2.11.
If p = 5 then by using the construction of metabelian thin p-groups in [4] and
the computer algebra system GAP, one can show that there is no metabelian thin
5-group of class 5 such that |γ5 (G)| = 52 and 5th powers of maximal subgroups
coincide in pairs. Thus in Case 3, there exists a maximal subgroup, say M3 , of
exponent 52 , where all other M 5 are different from M35 . Then choose sets of generators {x1 , y1 } and {x2 , y2 } so that x1 ∈ M1 , y1 ∈ M2 and x1 y1 ∈ M3 and each
pair of elements in {xi , yi , xi yi | i = 1, 2} is linearly independent modulo G′ .
We claim that, in every case, {x1 , y1 } and {x2 , y2 } form a Beauville structure
for G. If A = {x1 , y1 , x1 y1 } and B = {x2 , y2 , x2 y2 }, then we need to show that
(8)

hag i ∩ hbh i = 1,

METABELIAN THIN BEAUVILLE p-GROUPS

7

for all a ∈ A, b ∈ B and g, h ∈ G. Note that o(a) = p2 for every a ∈ A. Assume
first that o(b) = p. If hag i ∩ hbh i =
6 1 for some g, h ∈ G, then hbh i ⊆ hag i, and hence
′
′
haG i = hbG i, which is a contradiction, since a and b are linearly independent
modulo G′ . Thus we assume that o(b) = p2 . If (8) does not hold, then h(ag )p i =
h(bh )p i, which contradicts the choice of b.

In order to deal with the case cl(G) = p + 1, we need the following lemma.
Lemma 2.13. [9, Lemma 4.2] Let G be a finite group and let {x1 , y1 } and {x2 , y2 }
be two sets of generators of G. Assume that, for a given N E G, the following hold:
(i) {x1 N, y1 N } and {x2 N, y2 N } is a Beauville structure for G/N ,
(ii) o(u) = o(uN ) for every u ∈ {x1 , y1 , x1 y1 }.
Then {x1 , y1 } and {x2 , y2 } is a Beauville structure for G.
Theorem 2.14. Let G be a metabelian thin p-group with cl(G) = p + 1, where
p ≥ 5. Then G has a Beauville structure.
Proof. By Theorem 2.12, G = G/γp+1 (G) has a Beauville structure in which one
of the two triples has all elements of order p2 , i.e. they have the same order in both
G and G. Then we can apply Lemma 2.13 and thus G is a Beauville group.

We next analyze the case cl(G) = p and |γp (G)| = p. Recall that we have
γp (G) ≤ Gp ≤ γp−1 (G), and thus there are two possibilities:
(i) Gp = γp−1 (G),
(ii) Gp = γp (G).
Observe that by Lemma 2.3, Gp cannot be a proper subgroup of γp−1 (G) of
order p2 .
Theorem 2.15. Let G be a group in case (i). Then G has a Beauville structure .
Proof. First of all, notice that there exists a pair of generators a and b of G such that
ap and bp are linearly independent modulo γp (G). By the Hall-Petrescu formula,
we have
(p)
(p)
(at b)p = atp bp c22 . . . cpp ,
where cj ∈ γj (hat , bi). Since γ2 (G)p ≤ γp (G), by Lemma 2.1, we get
(at b)p ≡ atp bp

(mod γp (G))

for 1 ≤ t ≤ p−1. Observe that, similarly to Lemma 2.8, for every maximal subgroup
M , m ∈ M and c ∈ G′ , we have (mc)p ≡ mp (mod γp (G)). It then follows that
the power subgroups M p are all different modulo γp (G).
On the other hand, since G = G/γp (G) is of class p − 1, it is a regular p-group
p
such that |G | = p2 . According to Corollary 2.6 in [7], G is a Beauville group
since p ≥ 5. From the observation above, all elements outside G′ are of order p2 in
both G and G. Then we can apply Lemma 2.13 to conclude that G is a Beauville
group.

Theorem 2.16. Let G be a group in case (ii). Then G has a Beauville structure
if and only if it has at least three maximal subgroups of exponent p.
Proof. If the number of maximal subgroups of exponent p is less than three, then
Ω1 (G) is contained in the union of at most two maximal subgroups. Since |Gp | = p,
it then follows from Proposition 2.4 in [7] that G has no Beauville structure.
On the other hand, if at least three maximal subgroups have exponent p, then
we choose a triple in which all elements have order p. Since p ≥ 5, we can choose
another triple such that each pair of elements in the union of the two triples is
linearly independent modulo G′ . Then G has a Beauville structure.


8

N. GAVIOLI, Ş. GÜL, AND C. SCOPPOLA

Acknowledgments
We would like to thank G. Fernández-Alcober for helpful comments and suggestions. Also, the second author would like to thank the Department of Mathematics
at the University of L’Aquila for its hospitality while this research was conducted.
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. 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.
[4] R. Brandl, A. Caranti and C. M. Scoppola, Metabelian thin p-groups, Quart. J. Math. Oxford
43 (1992), 157–173.
[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, 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 and Ş. Gül, Beauville structures in finite p-groups, J. Algebra 474
(2017), 1–23.
[8] G.A. Fernández-Alcober, N. Gavioli, Ş. Gül and C. Scoppola, Beauville p-groups of wild type
and groups of maximal class, preprint.
[9] Y. Fuertes and G.A. Jones, Beauville surfaces and finite groups, J. Algebra 340 (2011), 13–27.
[10] The GAP Group, GAP- Groups, Algorithms, and Programming, Version 4.7.5; 2014
http://www.gap-system.org.
[11] R. Guralnick, G. Malle, Simple groups admit Beauville structures, Journal of the London
Mathematical Society 85 (2012), 694–721.
[12] B. Huppert, Endliche Gruppen, I , Springer, 1967.
[13] H. Meier-Wunderli, Metabelsche Gruppen, Comment. Math. Helv. 25 (1951), 1–10.
[14] R.J. Miech, Metabelian p-groups of maximal class, Trans. Amer. Math. Soc. 152 (1970),
331–373.
Università degli Studi dell’Aquila, L’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, L’Aquila, Italy
E-mail address: scoppola@univaq.it

