Elementary abelian subgroups in some special p-groups
Xingzhong Xu1,2

Abstract. Let P be a finite p-group and p be an odd prime. Let Ap (P )≥2
be a poset consisting of elementary abelian subgroups of rank at least 2. If
the derived subgroup P ′ ∼
= Cp × Cp , then the spheres occurring in Ap (P )≥2
all have the same dimension.

arXiv:1711.02749v1 [] 7 Nov 2017

Key Words: posets; subgroup complexes.

1. Introduction
Let P be a finite p-group, and the poset of all nontrivial elementary abelian psubgroup of P is denoted by Ap (P ). In [4], Bouc and Thévenaz focused on subposet
Ap (P )≥2 consisting of elementary abelian subgroups of rank at least 2. And they
determined the homotopy type of the complex Ap (P )≥2 : a wedge of spheres (of
possibly different dimensions). We refer the reader to [9] for more details about
p-subgroups complex. After computer calculations, Bouc and Thévenaz posed the
following questions in [4].
Question 1.1. (Bouc, Thévenaz) Let P be a p-group. Do the spheres occurring in
Ap (P )≥2 all have the same dimension if p is odd? Does one get only two consecutive
dimensions if p = 2?
In [3], Bornand proved that Question 1.1 has a positive answer if P has a cyclic
derived subgroup. Recently, [6] provided a negative answer to Question 1.1. But
determining the dimensions of those spheres of Ap (P )≥2 is still an interesting question, thus the following theorem is the main result in this short paper.
Theorem 1.2. Let P be a finite p-group and p be an odd prime. If the derived
subgroup P ′ ∼
= Cp × Cp , then the spheres occurring in Ap (P )≥2 all have the same
dimension.
Structure of the paper : After recalling the basic properties of finite p-group
with cyclic derived group in Section 2, we give a proof of Theorem 1.2 in Section 3.
2. Notation and finite p-groups
In this section, let p be an odd prime. We refer the reader to [7, 8] for the theory
of finite group and topology respectively. Now, recall that a minimal nonabelian
∗

Date: 05/11/2017.
1. Department of Mathematics, Hubei University, Wuhan, 430062, China
2. Departament de Matemàtiques, Universitat Autònoma de Barcelona, E-08193 Bellaterra,
Spain
Xingzhong Xu’s E-mail: xuxingzhong407@mat.uab.cat; xuxingzhong407@126.com
Supported by NSFC grant (11501183).
1

2

p-group means that all its proper subgroups are abelian. Let P be a minimal
nonabelian p-group. Then P is one of the following groups:
n

m

n−1

S(n, m, 0) := hx, y|xp = y p = 1, [x, y] = xp
pn

S(n, m, 1) := hx, y, z|x

=y

pm

i(n ≥ 2);

p

= z = 1, [x, y] = z, [z, x] = [z, y] = 1i.

Here, S(n, 1, 1) ∼
= S(1, n, 1). One can find these results about nonabelian p-groups
in [1], [10]. In particular, S(2, 1, 0) and S(1, 1, 1) are extraspecial p-groups. And
1+2
they always are written as p1+2
respectively.
− , p+
Recall that a group H is said to be the central product of its normalQ
subgroups
H1 , H2 . . . , Hn if H = H1 H2 · · · Hn , [Hi , Hj ] = 1 for i 6= j, and Hi ∩ j6=i Hj ≤
Z(H) for all i.
The classification of finite p-groups with derived subgroup of prime order, traces
back to S. Blackburn.
Proposition 2.1. [2, Proposition 9] Let p be an odd prime and S be a finite pgroup. If |S ′ | = p, then S is a central product as following types:
∼ S1 ∗ S2 ∗ · · · ∗ Sl ∗ A
S=
whereQSi ∼
= S(ni , mi , 0) or S(n
Qi , mi , 1) and A is a finite abelian p-group. Here,
Si ∩ ( j6=i Sj )A = S ′ and A ∩ i Si ≤ S ′ .
Moreover, if Z(S) is cyclic, we get the following corollary which will be used to
prove Theorem 1.2 in Section 3.
Corollary 2.2. Let p be an odd prime and S be a finite p-group. If |S ′ | = p and
Z(S) is cyclic, then S is a central product as following types:
∼ 1+2 ∗ p1+2 ∗ · · · ∗ p1+2 .
S∼
∗ · · · ∗ p1+2
= S(n, 1, 0) ∗ p1+2
+
+ , or S = p+
+
+
3. The proof of the main theorem
In this section, we give a proof of Theorem 1.2.
Theorem 3.1. Let P be a finite p-group and p be an odd prime. If P ′ ∼
= Cp × Cp ,
then the spheres occurring in Ap (P )≥2 all have the same dimension.
Proof. Suppose that the spheres occurring in Ap (P )≥2 do not have the same dimension, then we want to get a contradiction to prove the theorem.
Since P ′ ∼
= Cp × Cp , we can set P ′ = hai × hbi and |a| = |b| = p. If Z(P ) is not
cyclic, then ∆(Ap (P )≥2 ) is contractible. That is a contradiction. Hence, Z(P ) is
cyclic and we write Z := hai for the unique subgroup of order p in Z(P ) because
Z(P ) ∩ P ′ ≥ Z. Moreover, we can assume b ∈
/ Z(P ).
Step 1. We set E0 = P ′ and
M := CP (E0 ) := ha, b, y1 , y2 , . . . , yn i
for some y1 , y2 , . . . , yn ∈ P . Let χ := {E1 , E2 , . . . , Ek } be the subset of Ap (P )>Z
of all elementary abelian subgroups of rank 2 not contained in M . Suppose χ is
empty set, thus ∆(Ap (P )≥2 ) is contractible. That is a contradiction. Hence χ is
not empty set. Then there exists x ∈ E1 − M , it implies that
[x, b] 6= 1, and |x| = p.

3

We assert that [x, b] = ai for some 1 ≤ i ≤ p − 1. If 1 6= [x, b] = bai , then we can
see [x, bai ] = bai because a ∈ Z(P ). That is a contradiction. Hence, [x, b] = ai .
Therefore, we can assume that
[x, b] = a.
Step 2. We assert that M ′ ≤ hai. Since M ′ ≤ P ′ = ha, bi, for each yi , yj , we
have
[yi , yj ] = aε bǫ .
where ε, ǫ ∈ N. We can see that
[x, [yi , yj ]] = [x, aε bǫ ] = aǫ .
But [[x, yi ], yj ] = 1 and [[yj , x], yi ] = 1 because [x, yi ], [yj , x] ∈ P ′ = ha, bi = E0 and
yi , yj ∈ M = CP (E0 ). By the Hall-Witt identity, we have [x, [yi , yj ]] = 1. It implies
bǫ = 1. So ǫ ≡ 0 (mod p). Hence
[yi , yj ] ∈ hai
for every yi , yj . Because ha, bi ≤ Z(M ), thus M ′ ≤ hai.
By the definition of Ei , we can set Ei = hxti , ai where ti ∈ M such that
M Ei = P.
In other words, set Fi = hxti i such that
P = M ⋊ Fi .
We consider the groups CM (Ei ). We set Pi = CM (Ei ). Since Pi ≤ M , thus
Pi′ ≤ M ′ ≤ hai. Therefore, we have Pi′ ∼
= Cp or P ′ = 1.
Step 3. By the proof of [4, Thoerem 14.1], we can see that
∆(Ap (P )≥2 ) ≃

k
_

∆(Ap (Pi )≥2 ).

i=1

Since the spheres occurring in Ap (P )≥2 do not have the same dimension, thus
we can suppose that the dimension of the sphere occurring in Ap (P1 )≥2 do not
equal the dimension of the sphere occurring in Ap (P2 )≥2 , and ∆(Ap (P1 )≥2 ) and
∆(Ap (P2 )≥2 ) are not contractible.
∼ P′ ∼
By Step 2, we can see that P1′ =
2 = Cp and Z(P1 ), Z(P2 ) are cyclic. Here,
we can set P1 = CM (E1 ) = CM (hx, ai) and P2 = CM (E2 ) = CM (hxt, ai) where
1 = t1 , t = t2 ∈ M . By Corollary 2.2, we can set
P1 ∼
= S1 ∗ S2 ∗ · · · ∗ Sl ∗ A
where Si ∼
= S(ni , mi , 0) or S(ni , mi , 1). Since Z(P1 ) is cyclic, we can set
∗ p1+2
∗ · · · ∗ p1+2
P1 ∼
= S(n1 , 1, 0) ∗ p1+2
= S1 ∗ S2 ∗ · · · ∗ Sl ∼
+
+
+ ,
|
{z
}
l

or
∗ p1+2
∗ · · · ∗ p1+2
P1 ∼
= p1+2
= S1 ∗ S2 ∗ · · · ∗ Sl ∼
+
+
+ .
{z
}
|
l

1+2
1+2
If P1 ∼
= S(n1 , 1, 0) ∗ p1+2
+ ∗ p+ ∗ · · · ∗ p+ , we can set P1 = ha, u1 , u2 , . . . , u2l i such
that
pn1 −1
= a.
ha, u2i−1 , u2i i ∼
= Si , and u1

4

We can see that every elementary abelian subgroups of rank at least 2 must contain
n1 −1
, u2 i. Hence, ∆(Ap (P1 )≥2 ) is contractible. Hence,
hu1p
∗ p1+2
∗ · · · ∗ p1+2
P1 ∼
= p1+2
= S1 ∗ S2 ∗ · · · ∗ Sl ∼
+
+ .
|+
{z
}
l

Similarly, we can set
∗ p1+2
∗ · · · ∗ p1+2
P2 ∼
= p1+2
= R1 ∗ R2 ∗ · · · ∗ Rs ∼
+
+ .
{z
}
|+
s

Here, n1 , n2 , l, s ∈ N. And we can see P1 = ha, u1 , u2 , . . . , u2l i such that
ha, u2i−1 , u2i i ∼
= Si .
And we also can set P2 = ha, v1 , v2 , . . . , v2s i such that
∼ Ri .
ha, v2i−1 , v2i i =
By [3, Proposition 4.7], we can see that the dimension of the sphere occurring in
Ap (P1 )≥2 is l − 1 and the dimension of the sphere occurring in Ap (P2 )≥2 is s − 1.
Since s 6= l, we can assume that s < l.
Since P1 , P2 ≤ M and |M ′ | = p, we can assume that hu2i−1 , u2i i ∩ P2 ≤
Z(hP1 , P2 i) for some i because s < l. Hence [xt, u2i−1 ] 6= 1 and [xt, u2i ] 6= 1. But
[x, u2i−1 ] = 1 and [x, u2i ] = 1 (because u2i−1 , u2i ∈ P1 = CM (E1 ) = CM (hx, ai)),
thus [t, u2i−1 ] 6= 1 and [t, u2i ] 6= 1.
Moreover, we can set
[t, u2i−1 ] = aε1 6= 1,
[t, u2i ] = aǫ1 6= 1
for some numbers ε1 , ǫ1 ∈ N. There exist two numbers (ε′1 , ǫ′1 ) 6= (0, 0) (mod p)
such that ε1 ε′1 + ǫ1 ǫ′1 ≡ 0 (mod p). Hence
ε′

ǫ′

′

′

1
u2i1 ] = aε1 ε1 +ǫ1 ǫ1 = 1.
[t, u2i−1

ε′

ε′

ǫ′

ǫ′

1
1
u2i1 ∈ P2 . But hu2i−1 , u2i i ∩ P2 ≤
u2i1 6= 1. It implies 1 6= u2i−1
Here, u2i−1

ε′

ǫ′

1
u2i1 = 1. That is a contradiction.
Z(hP1 , P2 i), thus u2i−1



ACKNOWLEDGMENTS
The author would like to thank Prof. C. Broto for his constant encouragement in
Barcelona in Spain.
References
[1] N. Blackburn, Generalizations of certain elementary theorems on p-groups, Proc. London
Math. Soc. 11(3), 122 (1961), 1-22.
[2] S. Blackburn, Groups of prime power order with derived subgroup of prime order, J.Alg, 219
(1999), 625-657.
[3] D. Bornand, Elementary abelian subgroups in p-groups with a cyclic derived subgroup, J.
Alg. 335 (7) (2011), 301-318.
[4] S. Bouc, J. Thévenaz, The poset of elementary abelian subgroups of rank at least 2, Monogr.
Enseign. Math. 40, (2008) 41-45.
[5] W. Dwyer, H. Henn, Homotopy theoretic methods in group cohomology, Advanced courses
in mathematics. CRM Barcelona, Birkhäuser Verlag (2001)
[6] F. Fumagalli, J. Shareshian, Truncated Quillen complexes of p-group, J. Algebr. Comb. 40
(2014), 771-784.
[7] W. Gorenstein, Finite groups, Chelsea, London (1968)
[8] A. Hatcher, Algebraic topology, Cambridge Univ. Press (2002)

5

[9] D. Quillen: Homotopy properties of the poset of nontrivial p-subgroups of a group. Adv.
Math. 28(2) (1978), 101-128.
[10] L. Rédei, Das schiefe Product in der Gruppentheorie, Comment. Math. Helvet. 20 (1947),
225-267.

