THE Q-TENSOR SQUARE OF FINITELY GENERATED
NILPOTENT GROUPS, q ≥ 0

arXiv:1603.05424v1 [] 17 Mar 2016

NORAÍ R. ROCCO AND EUNICE C. P. RODRIGUES
Abstract. In the present paper the authors extend to the q−tensor square G ⊗q G
of a group G, q a non-negative integer, some structural results due to R. D. Blyth,
F. Fumagalli and M. Morigi concerning the non-abelian tensor square G⊗G (q = 0).
The results are applied to the computation of G⊗q G for finitely generated nilpotent
groups G, specially for free nilpotent groups of finite rank. We also generalize to
all q ≥ 0 results of M. Bacon regarding an upper bound to the minimal number
of generators of the non-abelian tensor square G ⊗ G when G is a n−generator
nilpotent group of class 2. We end by computing the q−tensor squares of the free
n−generator nilpotent group of class 2, n ≥ 2, for all q ≥ 0. This shows that the
above mentioned upper bound is also achieved for these groups when q > 1.

1. Introduction
Let G and Gϕ be groups, isomorphic via ϕ : g 7→ g ϕ for all g ∈ G. Consider the
group ν(G), introduced in [23] as
(1)

ϕ

ν(G) = G ∪ Gϕ | [g, hϕ ]k = [g k , (hk )ϕ ] = [g, hϕ ]k , ∀g, h, k ∈ G .

It is a well known fact (see [23]) that the subgroup Υ(G) = [G, Gϕ ] of ν(G) is isomorphic to the non-abelian tensor square G ⊗ G, as defined by Brown and Loday
in their seminal paper [8]. A modular version of the operator ν was considered in
[10], where for any non-negative integer q the authors introduced and studied a group
ν q (G), which in turn is an extension of the so called q-tensor square of G, G⊗q G, first
defined by Conduché and Rodriguez-Fernandez in [11] (see also [14], [7]). In order
to describe the group ν q (G), if q ≥ 1 then let Gb = {b
k | k ∈ G} be a set of symbols,
b be
one for each element of G (for q = 0 we set Gb = ∅, the empty set). Let F (G)
b
b
b
the free group over G and ν(G) ? F (G) be the free product of ν(G) and F (G). As G
and Gϕ are embedded into ν(G) we shall identify the elements of G (respectively of
b Let J denote the normal closure in
Gϕ ) with their respective images in ν(G) ∗ F (G).

Date: March 19, 2018.
2010 Mathematics Subject Classification. 20F45, 20E26, 20F40.
Key words and phrases. Non-abelian tensor square; q-tensor square; nilpotent groups.
1

2

ROCCO AND RODRIGUES

b of the following elements, for all b
ν(G) ∗ F (G)
k, kb1 ∈ Gb and g, h ∈ G :
(2)
(3)
(4)
(5)

−1
d
g) ;
k g (k
g −1 b
−1
d
g) ;
k g ϕ (k
(g ϕ )−1 b
q
q
(b
k)−1 [g, hϕ ] b
k [g k , (hk )ϕ ]−1 ;

d1 (kb1 )−1 (
(b
k)−1 kk

q−1
Y
q−1−i −1
[k, (k1−i )ϕ ]k
) ;
i=1

(6)

[b
k, kb1 ] [k q , (k1q )ϕ ]−1 ;

(7)

[
[g,
h] [g, hϕ ]−q .

Definition 1.1. The group ν q (G) is defined to be the factor group
(8)

b
ν q (G) := (ν(G) ∗ F (G))/J.

Note that for q = 0 the sets of relations (2) to (7) are empty; in this case we have
∼
b
ν (G) = ν(G) ∗ F (G))/J
= ν(G).
Let R1 , . . . , R6 be the sets of
S relations corresponding to (2), . . . , (7), respectively,
and let R be their union, R = 6i=1 Ri . Therefore, ν q (G) has the presentation:
D
E
q
ϕ b
ϕ k
k
k ϕ −1
ϕ kϕ
k
k ϕ −1
ν (G) = G, G , G | R, [g, h ] [g , (h ) ] , [g, h ] [g , (h ) ] , ∀g, h, k ∈ G .
0

There is an epimorphism ρ : η q (G)  G, g 7→ g, hϕ 7→ h, b
k 7→ k q . On the other
hand the inclusion of G into ν(G) induces a homomorphism ı : G → ν q (G). We
have g ıρ = g and thus ı is injective. Similarly the inclusion of Gϕ into ν(G) induces
a monomorphism  : Gϕ → ν q (G). Thus we shall identify the elements g ∈ G and
g ϕ ∈ Gϕ with their respective images g ı and (g ϕ ) in ν q (G).
b By relations
Now let G denote the subgroup of ν q (G) generated by the images of G.
ϕ
q
q
(4), G normalizes the subgroup T = [G, G ] in ν (G) and hence Υ (G) = T G =
[G, Gϕ ]G is a normal subgroup of ν q (G). Thus we obtain ν q (G) = Gϕ · (G · Υq (G)),
where the dots mean internal semidirect products. It should be noted that the actions
of G and Gϕ on Υq (G) are those induced by the defining relations of ν q (G): for
any elements g, x ∈ G, hϕ , y ϕ ∈ Gϕ and b
k ∈ Gb we have [g, hϕ ]x = [g x , (hx )ϕ ] and
ϕ
ϕ
d
d
x ); similarly, [g, hϕ ]y = [g y , (hy )ϕ ] and (b
y ). In addition, for any
(b
k)x = (k
k)y = (k
q
yϕ
ϕ yϕ
q
τ ∈ Υ (G), (gτ ) = g[g, y ]τ ∈ GΥ (G).
By [10, Proposition 2.9] Υq (G) is isomorphic to the q-tensor square G ⊗q G, for all
q ≥ 0. We then get a result (see [10, Corollary 2.11]) analogous to one due to Ellis in
[14]: ν q (G) ∼
= G n (G n (G ⊗q G)); this generalizes a similar result found in [23] for
q = 0.
The commutator approach to G⊗G for the case q = 0, provided by the isomorphism
between G ⊗ G and the subgroup [G, Gϕ ] of ν(G) (see [23], and also [15]), has proven
suitable to treat of non-abelian tensor products of groups, Schur multipliers and many
other relevant invariants involving covering questions in groups; see for instance,
references [15], [24], [20], [4], [12], [21] and the GAP Package “POLYCYCLIC” in [13].

Q-TENSOR SQUARE OF NILPOTENT GROUPS

3

The extension of the existing theory from q = 0 to all non-negative integers q, as
addressed for instance in [10], broadens the scope of these connections, now in a hat
(“power”) and commutator approach to the q-tensor square, q ≥ 0.
In section 2 we extend to G ⊗q G, q ≥ 0, some structural results found in [5] and
[24] concerning G ⊗ G. In section 3 it is established an upper bound for the minimal
number of generators of G ⊗q G when G is a finitely generated nilpotent group of
class 2, thus generalizing a result of Bacon found in [2]. We end by computing the
q-tensor square of the free nilpotent group of rank n ≥ 2 and class 2, Nn,2 , q ≥ 0;
this will show, as in the case q = 0 (see [2, Theorem 3.2]), that the cited upper bound
is also attained for these groups when q > 1, although in this case Nn,2 ⊗q Nn,2 is a
non-abelian group.
Notation is fairly standard (see for instance [22]). If x and y are elements of a
group G then we write y x for the conjugate x−1 yx and [x, y] for the commutator
x−1 y −1 xy. Our commutators are left normed: [x, y, z] = [[x, y], z] for all x, y, z ∈ G,
and so on, recursively, for commutators of higher weights. The order of x (resp. of G)
is written o(x) (resp. |G|). As usual, γi (G) denotes the ith term of the lower central
series of G. For future reference we recall the well known Hall-Witt identity:
(9)

[x, y −1 , z]y [y, z −1 , x]z [z, x−1 , y]x = 1, ∀x, y, z ∈ G.

In view of the isomorphism given by [10, Proposition 2.9], from now on we identify
G ⊗q G with the subgroup Υq (G) = [G, Gϕ ]G ≤ ν q (G) and write [g, hϕ ] in place of
g ⊗ h, for all g, h ∈ G. Following [10] we write ∆q (G) for the subgroup h[g, g ϕ ]|g ∈
Gi ≤ Υq (G), which by Lemma 2.1 (vii) is a central subgroup of ν q (G). We write
τ q (G) for the factor group ν q (G)/∆q (G). The subgroup Υq (G)/∆q (G) of τ q (G) is
isomorphic to the q-exterior square G ∧q G. In order to avoid any confusion we
usually write [G, Gϕ ]τ ( G) to identify the q-exterior square G ∧q G with the image of
[G, Gϕ ] in τ q (G). We shall eventually write T to denote the subgroup [G, Gϕ ] of ν q (G)
in order to distinguish it from the nonabelian tensor square G ⊗ G ∼
= [G, Gϕ ] ≤ ν(G)
in the case q = 0.
The material presented here incorporates part of the doctoral thesis [25] of the
second named author, written under the supervision of the first.
2. Some Structural Results
In this section we extend results found in [5] and [24] related to the non-abelian
tensor square, from G ⊗ G to G ⊗q G, q ≥ 0. We begin by including some previous,
technical results for future references.
The following basic properties are consequences of the defining relations of ν q (G).
Lemma 2.1. [10, Lemma 2.4] Suppose that q ≥ 0. The following relations hold in
ν q (G), for all g, h, x, y ∈ G.
ϕ
(i) [g, hϕ ][x,y ] = [g, hϕ ][x,y] ;
(ii) [g, hϕ , xϕ ] = [g, h, xϕ ] = [g, hϕ , x] = [g ϕ , h, xϕ ] = [g ϕ , hϕ , x] = [g ϕ , h, x];
(iii) If h ∈ G0 (or if g ∈ G0 ) then [g, hϕ ][h, g ϕ ] = 1;
(iv) [b
x, [g, hϕ ]] = [b
x, [g, h]];
g
q
(v) (b
x) = x
b[x , g ϕ ];

4

ROCCO AND RODRIGUES

(vi) If [g, h] = 1 then [g, hϕ ] and [h, g ϕ ] are central elements of ν q (G), of the
same finite order dividing q. If in addition g, h are torsion elements of orders
o(g), o(h), respectively, then the order of [g, hϕ ] divides the gcd(q, o(g), o(h)).
(vii) [g, g ϕ ] is central in ν q (G), for all g ∈ G;
(viii) [g, hϕ ][h, g ϕ ] is central in ν q (G);
(ix) [g, g ϕ ] = 1, for all g ∈ G0 ;
(x) If [x, g] = 1 = [x, h], then [g, h, xϕ ] = 1 = [[g, h]ϕ , x].
Corollary 2.2. Let G be any group and let g, h be arbitrary elements in G. Then
(i) [G0 , Gϕ ] = [G, G0 ϕ ];
(ii) [G0 , Z(G)ϕ ] = 1;
(iii) If gG0 = hG0 then [g, g ϕ ] = [h, hϕ ];
(iv) If o0 (x) denotes the order of a coset xG0 ∈ G/G0 , then [g, hϕ ][h, g ϕ ] has order
dividing the gcd(q, o0 (g), o0 (h));
(v) The order of [h, hϕ ] divides the gcd(q, o0 (h)2 , 2o0 (h)).
Proof. Part (i) follows directly from Lemma 2.1 (iii) (see also [5, Corollary 1.2 (iii)]).
As for part (ii), see [23, Proposition 2.7 (i)].The remaining parts are appropriate
adaptations of [24, Lemma 3.1 (v)], using (7) and Lemma 2.1 (vi).

For our purposes we establish the following proposition, which may have its own
interest.
Proposition 2.3. Let G be a nilpotent group of class 2. Then the following hold
in ν q (G):
(i) G centralizes [G, Gϕ ];
(ii) [G0 , Gϕ ] (= [G, G0 ϕ ]) is a central subgroup of ν q (G);
(iii) Υq (G) (∼
= G ⊗q G ) is nilpotent of class at most 2.
Proof. (i) follows straightforward from 2.1 (iv) and relation (2), once G has nilpotency
class 2.
(ii). For all g, h ∈ G and c ∈ G0 we have:
[c, g ϕ ]h = [c, g ϕ ][c, g ϕ , h]
= [c, g ϕ ][c, g, hϕ ]

(by Lemma 2.1, (i))
(since [c, g] = 1, as G0 ≤ Z(G))

= [c, g ϕ ]
ϕ

= [c, g ϕ ]h

(by definition of ν q (G)).

ϕ
b by Lemma 2.1 (iv) and relations (2) we have that b
In addition, for all b
k ∈ G,
k [c,g ] =
\
[c,g] ) = b
b
k [c,g] = (k
k, since [c, g] = 1. This proves part (ii) (using the definition of
q
ν (G)), because [G0 , Gϕ ] is generated by all those [c, g ϕ ] above.
(iii). That Υq (G) is nilpotent and has nilpotency class at most 3 follows from [10,
Proposition 2.7, (i)]. Now, Υq (G) = [G, Gϕ ]G and thus, once G centralizes [G, Gϕ ],
we have
(Υq (G))0 = [[G, Gϕ ]G, [G, Gϕ ]G] ≤ [G, Gϕ ]0 [G, G].
Induction arguments can be used, together with Lemma 2.1 (i), (ii), (iv) and (v) and
defining relations (6) – (7) to get:

Q-TENSOR SQUARE OF NILPOTENT GROUPS

5

(a) [G, Gϕ ]0 = [G0 , (G0 )ϕ ] (see also [5, Proposition 1.3 (i)] or [23, Theorem 3.3]);
(b) [G, G] ≤ hGb0 i[G0 , Gϕ ] ≤ [G0 , Gϕ ].
Consequently, (Υq (G))0 ≤ [G0 , Gϕ ], which by part (ii) is central in ν q (G). This completes the proof.

For a finitely generated abelian group A, its q-tensor square Υq (A) can be computed by repeated applications of the following two results from [10].
Lemma 2.4. [10, Corollary 2.16] Let G = N × H be a direct product and set N =
N/N 0 N q , H = H/H 0 H q . Then
(i) Υq (G) = Υq (N ) × [N, H ϕ ][H, N ϕ ] × Υq (H);
(ii) [N, H ϕ ] ∼
= (N ⊗Zq H) ∼
= [H, N ϕ ].
Lemma 2.5. [10, Theorem 3.1] Let Cn (resp. C∞ ) be the cyclic group of order n
(resp. ∞), q a non- negative integer and d = gcd(n, q). Then
C ∞ ⊗q C ∞ ∼
= C∞ × Cq ;


if d is odd;
C n × C d ,
q
∼
Cn ⊗ Cn = Cn × Cd ,
if d is even and either 4|n or 4|q;

C × C , otherwise.
2n
d/2
Qr
Thus, if A = i=1 Ci is a direct product of the cyclic groups Ci , i = 1, . . . , r, where
Ci = hxi i, then
r
Y
Y
Υq (A) =
Υq (Ci ) ×
[Ci , Cjϕ ][Cj , Ciϕ ].
i=1

1≤i<j≤r

xbi i and [Ci , Cjϕ ][Cj , Ciϕ ] = h [xi , xϕj ][xj , xϕi ], [xi , xϕj ] i.
Here we have Υ (Ci ) =
Since ∆q (A) = h [a, aϕ ] | a ∈ Ai, we observe, like in [24, Proposition 3.3], that ∆q (A) =
h[xi , xϕi ], [xj , xϕk ][xk , xϕj ] | 1 ≤ i ≤ r, 1 ≤ j < k ≤ ri and thus it does not depend on
the particular set X = {x1 , . . . , xr } of generators of A. Consequently, we can write
q

h[xi , xϕi ],

q
Υq (A) = ∆q (A)EX
(A),
q
where EX
(A) = hxbi , [xj , xϕk ] | 1 ≤ i ≤ r, 1 ≤ j < k ≤ ri.

Remark 2.6. If x and y are commuting elements in any group G then by relations
(5)–(7) and Lemma 2.1 (vi) we get
q
q
x
cy = x
b yb [x, y ϕ ]−(2) = x
b yb [y, xϕ ]−(2) = yc
x,
q
q
and hence [x, y ϕ ]−(2) = [y, xϕ ]−(2) . In particular, if q = 2 then [x, y ϕ ] = [y, xϕ ].
This means for instance that in the decomposition of Υq (A) found above, the groups
d
n) =
[Ci , Cjϕ ] and [Cj , Ciϕ ] are not necessarily independent. Moreover, the identity (x
n
q
(b
x)n [x, xϕ ]−( 2 )(2) shows that the subgroups hxb i and h[x , xϕ ]i of Υq (C ) may have non

i

i

i

i

q
(A) is not
trivial intersection. Consequently, unlike the case q = 0, the subgroup EX
q
necessarily a complement of ∆ (A) (see also [5, Section 2]).

6

ROCCO AND RODRIGUES

Now let G be any group and write Gab = G/G0 . The natural projection G  Gab
induces an epimorphism π : ν q (G) → ν q (Gab ). We denote by π0 the restriction of π to
Υq (G). By [10, Lemma 2.14 (iii)] we have that Ker(π0 ) = [G0 , Gϕ ][G, G0 ϕ ]hGb0 i, which
reduces to [G0 , Gϕ ]hGb0 i, by force of Corollary 2.2 (i). In addition, using relations (5)
and (7), an induction argument as in the proof of the Proposition2.3 (ii) shows that
d
0 ) ≤ [G0 , Gϕ ] and, consequently, Ker(π ) = [G0 , Gϕ ].
(G
0
The next Lemma extends [5, Lemma 2.1] to all q ≥ 0 (see also [24, Proposition
3.3]). We shall omit the proof.
Lemma 2.7. Let q be a non negative integer and G be a group such that Gab is finitely
generated. Assume that Gab is a direct product of the cyclic groups Ci = hxi G0 i, for
i = 1, . . . , r and set
E q (G) = hxbi , [xj , xϕk ] | 1 ≤ i ≤ r, 1 ≤ j < k ≤ r rangle [G0 , Gϕ ].
Then,
(i) ∆q (G) = h[xi , xϕi ], [xj , xϕk ][xk , xϕj ] | 1 ≤ i ≤ r, 1 ≤ j < k ≤ ri;
(ii) Υq (G) = ∆q (G)E q (G).
With the above notation, let π1 denote the restriction of π0 to ∆q (G), π1 : ∆q (G) 
∆ (Gab ), and let N = Ker(π1 ). Therefore, N = ∆q (G)∩[G0 , Gϕ ] (= ∆q (G) ∩ E q (G)) ,
a central subgroup of Υq (G).
Our next theorem generalizes, to all q ≥ 0, Proposition 2.2 in [5], which in turn
improves Proposition 3.3 in [24].
q

Theorem 2.8. Let q ≥ 0 and assume that Gab is finitely generated. Then, with the
notation of Lemma 2.7, the following hold:
(i) Υq (G)/N ∼
= ∆q (Gab ) × (G ∧q G);
(ii) If q ≥ 1 and q is odd, then N = 1 and thus ∆q (G) ∼
= ∆q (Gab ) and Υq (G) ∼
=
q
ab
q
∆ (G ) × (G ∧ G);
(iii) For q = 0 or q ≥ 2 and q even, if Gab has no element of order two or if G0
has a complement in G, then also N = 1, ∆q (G) ∼
= ∆q (Gab ) and Υq (G) ∼
=
q
ab
q
∆ (G ) × (G ∧ G);
(iv) For q ≥ 2 and q even, if Gab has no element of order
2, then ∆q (G) is a

homocyclic abelian group of exponent q, of rank t+1
;
2
ab
(v) If G is free abelian of rank t, then the conclusion of the previous item holds
if q = 0.
for all q ≥ 1, while ∆q (G) is free abelian of rank t+1
2
Proof. (i): By Lemma 2.7 (ii) we have
Υq (G)
∆q (G)E q (G) ∼ ∆q (G) E q (G)
=
×
.
=
N
N
N
N
Now, ∆q (G)/N ∼
= ∆q (Gab ) and
E q (G)/N = E q (G)/(∆q (G) ∩ E q (G)) ∼
= Υq (G)/∆q (G) ∼
= G ∧q G.
This proves (i).

Q-TENSOR SQUARE OF NILPOTENT GROUPS

7

(ii), (iii), (iv) and (v): Suppose that the torsion subgroup of Gab is the direct product
of the cyclic groups hxi G0 i of order ni , 1 ≤ i ≤ s, and let the free part of Gab be
the direct product of the cyclic groups hyj G0 i, 1 ≤ j ≤ t. Thus, o0 (xi ) = ni and
o0 (yj ) = ∞. Set X := {xi | 1 ≤ i ≤ s} and Y := {yj | 1 ≤ j ≤ t}. Then G is generated
by X ∪ Y ∪ G0 . Using Lemma 2.1 and Corollary 2.2 (see also [24, Proposition 3.3 and
Remark 5]) we find that ∆q (G) is generated by the set ∆X ∪ ∆Y ∪ ∆XY , where
∆X = {[xi , xϕi ], [xj , xϕk ][xk , xϕj ] | 1 ≤ i ≤ s, 1 ≤ j < k ≤ s},
∆Y = {[yj , yjϕ ], [yk , ylϕ ][yl , ykϕ ] | 1 ≤ j ≤ t, 1 ≤ k < l ≤ t},
∆XY = {[xi , yjϕ ][yj , xϕi ] | 1 ≤ i ≤ s, 1 ≤ j ≤ t}.
Set nik = gcd(ni , nk ). Parts (iv) and (v) of Corollary 2.2 give ([xi , xϕk ][xk , xϕi ])nik = 1
and ([xi , yjϕ ][yj , xϕi ])ni = 1, while [xi , xϕi ]ni ∈ Ker(π0 ), ∀i, k = 1, . . . , s, i < k, ∀j =
1, . . . t. Actually, Ker(π0 ) is generated by the set {[xi , xϕi ]ni | 1 ≤ i ≤ s}, by [24,
Proposition 3.5]. Again by Corollary 2.2 (v), we get that if ni (= o0 (xi )) is odd,
then [xi , xϕi ]ni = 1, while [xi , xϕi ]2ni = 1 if ni is even. Consequently, N = Ker(π0 )
is an elementary abelian 2-group of rank at most r2 (Gab ), the 2 − rank of Gab (see
also [24, Corollary 3.6]). On the other hand, we should take into account that q is
involved in the upper bound found in Corollary 2.2 ( v). Thus, if q ≥ 1 and q is
odd, then gcd(q, 2ni ) = gcd(q, ni ) | ni and hence [xi , xϕi ]ni = 1, for all i = 1, . . . , s.
Therefore N = 1 in this case, proving part (ii). It should be also clear that N = 1
if r2 (Gab ) = 0. This proves (iii) in the case where Gab has no element of order 2.
Now, if G0 has a complement C in G, then every g ∈ G can be written as g = xh
with x ∈ C and h ∈ G0 . Corollary 2.2 (iii) says that [g, g ϕ ] = [x, xϕ ] and thus
∆q (G) = h[x, xϕ ] | x ∈ Ci = ∆q (Gab ). This completes the prof of part (iii) (see
also [5, Proposition 2.2]). Finally, we observe that [xi , xϕi ] = 1 = [xi , yjϕ ][yj , xϕi ]
in the case where r2 (Gab ) = 0 and q ≥ 2, q even. Here we have ∆q (G) = h∆Y i
and [yj , yjϕ ]q = 1 = ([yk , ylϕ ][yl , ykϕ ])q , ∀j, k, l = 1, . . . , t, k < l. That each of these

t+1
generators has order q follows immediately from Lemma 2.5, where we found
2
q
C∞ ⊗ C∞ ∼
= C∞ × Cq . Part (v) follows by an analogous argument , as in part (iv);
the last assertion can be also found in [24, Corollary 3.6]. The proof is complete. 
We state the next Lemma for easy of reference, which in a certain sense extends
ideas found in [19] for the case q = 0. A proof is given in [8] for q = 0 (see also [5,
Proposition 3.2] for an alternative proof for this case) and in [16] for q ≥ 1.
Lemma 2.9. Let F/R be a free presentation of a group G. Then
G ∧q G ∼
= F 0 F q /[R, F ]Rq .
Notice that there is a map
ρ : ν q (G) −→ G, g 7−→ g, g ϕ 7−→ g and b
k 7−→ k q .
Let ρ0 = ρ|Υq (G) : Υq (G) −→ G, [g1 , g2 ϕ ] 7−→ [g1 , g2 ], b
k 7−→ k q .
q
q
Following [10] we write θ (G) = Ker(ρ) and µ (G) = Ker(ρ0 ) = Υq (G) ∩ θq (G). It
follows that Υq (G)/µq (G) ∼
= G0 Gq . If G = F/R is a free presentation of G, then
(10)
H 2 (G, Zq ) ∼
= R ∩ F 0 F q /Rq [R, F ] = (G ∧q G) ∩ M q (G),

8

ROCCO AND RODRIGUES

where M q (G) = R/Rq [R, F ] is the q-multiplier of G. From this we obtain (see for
instance [10, Theorem 2.12]):
(11)
µq (G)/∆q (G) ∼
= H 2 (G, Zq ),
for all q ≥ 0.
Corollary 2.10. Let Fn be the free group of rank n. Then
(i) For q ≥ 1,
(n+1)
Fn ⊗q Fn ∼
= Cq 2 × (Fn )0 (Fn )q .
(ii) ([9, Proposition 6]) For q = 0,
(n+1
)
Fn ⊗ Fn ∼
C
= ∞ 2 × (Fn )0 .
Proof. Since Fnab is free abelian of rank n, by Theorem 2.8 (ii), (iii) and (v), we have:
Υq (Fn ) ∼
= ∆q (F ab ) × (Fn ∧q Fn ).
n

n+1
2

(
(i): If q ≥ 1 then ∆q (Fnab ) ∼
= Cq

)

and, by Lemma 2.9 (i) with G = Fn and R = 1,
Fn ∧ Fn ∼
= (Fn )0 (Fn )q .
q

This proves (i).
(n+1)
(ii): If q = 0 then ∆q (Fnab ) ∼
= C∞ 2 and, again by the previous Lemma,
Fn ∧ Fn ∼
= (Fn )0 .


This completes the proof.

Corollary 2.11. Let Nn,c = Fn /γc+1 (Fn ) be the free nilpotent group of class c ≥ 1
and rank n > 1. Then
(i) For q ≥ 1,
(
Nn,c ⊗q Nn,c ∼
= Cq

n+1
2

)

×

(Fn )0 (Fn )q
.
γc+1 (Fn )q γc+2 (Fn )

(ii) ([6, Corollary 1.7]) For q = 0,
(n+1)
Nn,c ⊗ Nn,c ∼
= C∞ 2 × (Nn,c+1 )0 .
Proof. (i) and (ii) follow by similar arguments as above, taking into account that here
we have R = γc+1 (Fn ) and thus [R, F ], as in Lemma 2.9, is precisely γc+2 (Fn ).

3. q-Tensor Squares of Nilpotent Groups of Class 2
In this section we restrict our considerations to finitely generated nilpotent groups
G of class two. We begin with a general result concerning polycyclic groups found in
[10]; this generalizes to all q ≥ 0 a result due to Blyth and Morse in [4] for q = 0,
which in turn extends to all polycyclic groups a similar result for finite solvable groups
found in [24].
Lemma 3.1. ([10, Corolary 3.6]) Let G be a polycyclic group with a polycyclic generating sequence pgs(G) = (a1 , . . . , an ) . Then

Q-TENSOR SQUARE OF NILPOTENT GROUPS

9

(i) [G, Gϕ ], a subgroup of ν q (G), q ≥ 0, is generated by


ϕ
ϕ
ϕ
ϕ β
ϕ
α
[G, G ] = [ai , ai ], [ai , aj ][aj , ai ], [ai , (aj ) ], for 1 ≤ i < j ≤ n, 1 ≤ k ≤ n ,
(ii) Υq (G), a subgroup of ν q (G), q ≥ 1, is generated by


ϕ
ϕ
ϕ
ϕ β d
q
α
Υ (G) = [ai , ai ], [ai , aj ][aj , ai ], [ai , (aj ) ], (ak ), for 1 ≤ i < j ≤ n, 1 ≤ k ≤ n ,
(
1
where α =
±1

if o(ai ) < ∞
and β =
if o(ai ) = ∞

(

1
±1

if o(aj ) < ∞
if o(aj ) = ∞.

ϕ
ϕ
(iii) ∆q (G) is generated by the set {[ai , aϕ
i ], [ai , aj ][aj , ai ], for 1 ≤ i < j ≤ n}.

Now let G be a finitely generated nilpotent group of class two and assume that G
is generated by g1 , g2 , · · · , gn . Thus, any element g ∈ G can be written as
n
Y
Y
(12)
g=
gimi
[gj , gk ]ljk ,
i=1

1≤j<k≤n

where the exponents mi and ljk are integers. Consequently, G has the following
polycyclic generating set
(13)

{gi , 1 ≤ i ≤ n} ∪ {[gj , gk ], 1 ≤ j < k ≤ n}.

The following theorem extends a result of Bacon in [2, Theorem 3.1] (see also [3])
for all q ≥ 0. We provide a proof for the case q = 0 using the commutator approach;
the general case follows straightforward from this case and Lemma 3.1 (ii), but we
shall prove it in this case too, for the sake of completeness.
Theorem 3.2. Let G be a nilpotent group of class two with d(G) = n, then
2

(i) ([2, Theorem 3.1]) d([G, Gϕ ]) ≤ n(n +3n−1)
;
3
2 +3n+2)
n(n
(ii) d(G ⊗q G) ≤
, for all q ≥ 0;
3
(iii) In particular, if G has finite exponent e(G) and gcd(q, e(G)) = 1 , then
d(G ⊗q G) ≤ n2 .
Proof. On assuming that G is generated by g1 , . . . , gn then we obtain the polycyclic
generating set given by (13). Thus, by Lemma 3.1 (i) we have that Υ(G) = [G, Gϕ ]
is generated by the following set of elements:
{[giα , (gjϕ )β ] : 1 ≤ i, j ≤ n}∪
{[giα , ([gj , gk ]ϕ)β ] : 1 ≤ i ≤ n, 1 ≤ j < k ≤ n}∪
{[[gj , gk ]β , (giϕ )α ] : 1 ≤ i ≤ n, 1 ≤ j < k ≤ n}∪
{[[gr , gs ]α , ([gt , gu ]ϕ )β ] : 1 ≤ r < s ≤ n, 1 ≤ t < u ≤ n},

where α, β ∈ {−1, 1}.

Now by Lemma 2.1, parts (ii), (iii), (ix), (x), and the fact that G has class 2, we can
further reduce the above set to obtain
(14)

{[gi , gjϕ ] : 1 ≤ i, j ≤ n} ∪ {[gi , [gj , gk ]ϕ ] : 1 ≤ i ≤ n, 1 ≤ j < k ≤ n}.

10

ROCCO AND RODRIGUES

This new set has n2 generators of the form [gi , gjϕ ] and n(n − 1) generators of the form
[gi , [gj , gi ]ϕ ]. It remains to count the generators of the form [gi , [gj , gk ]ϕ ], when i, j, k
are all distincts and j < k. Now by [23, Corollary 3.2] ν(G) has nilpotency class at
most 3 and thus, again
[gjϕ , gkϕ , gi ][gkϕ , giϕ , gj ][gi , gj , gkϕ ] = 1.
It then follows that [gi , [gj , gk ]ϕ ] = [gj , [gi , gk ]ϕ ][gk , [gj , gi ]ϕ ]. Therefore,
1
d([G, Gϕ ]) ≤ n(n2 + 3n − 1).
3
This proves part (i).
(ii): Part (i) also proves (ii) in case q = 0, giving us the better bound for d(G ⊗ G).
Thus, we shall assume q ≥ 1. Since Υq (G) = [G, Gϕ ]G it suffices to control the number
of generators of both [G, Gϕ ] and G. We already know by part (i) that [G, Gϕ ] is
generated by the set {[gi , giϕ ] : 1 ≤ i, j ≤ n} ∪ {[gi , [gj , gk ]ϕ ] : 1 ≤ i ≤ n, 1 ≤ j <
k ≤ n}. Now, by definition the subgroup G is generated by Gb = {b
g , g ∈ G}. By
Qq−1
q
ϕ −i g q−1−i b
c
) h, for all
the defining relations (5) of ν (G) we have gh = gb ( i=1 [g, (h ) ]
ϕ
c
b
b
b
g, h ∈ G, and hence gh ≡ gb h (mod [)G, G ], for all gb, h ∈ G. Since every element
g ∈ G has a unique expression in the form (12) and given the fact that, for every
ϕ q
ϕ
\
commutator [gj , gk ] ∈ G0 , [g
j , gk ] = [gj , gk ] ∈ [G, G ] (by relations (7)), we see in later
ϕ
stage that G is generated, modulo [G, G ], by the n elements gb1 , . . . , gbn . Therefore,
we conclude that d(Υq (G)) ≤ 13 (n3 + 3n2 + 2n). This proves part (ii).
(iii): If in particular G has finite exponent e(G) and gcd(q, e(G)) = 1, then we see by
Lemma 2.1 (vi) that all generators of the forms [gi , giϕ ] and [gi , [gj , gk ]ϕ ] are trivial.
Consequently, d(G ⊗q G) ≤ n2 in this case. The proof is complete.

In [1] Aboughazi computed the nonabelian tensor square of the Heisenberg group
H = F2 /γ3 (F2 ), where F2 denotes the free group of rank 2. There, it is found that
H⊗H ∼
= Z6 , thus showing that the bound in Theorem 3.2 is sharp. Later, Bacon in
[2, Theorem 3.2] computed Nn,2 ⊗ Nn,2 for all n ≥ 2, to show that the bound is also
reached for the free n−generator nilpotent group of class 2, n > 1: Nn,2 ⊗ Nn,2 is a
free abelian group of rank 31 n(n2 + 3n − 1).
It is not difficult to extend these results to the q−tensor square Υq (Nn,2 ), q ≥ 1, to
show that the bound in Theorem 3.2 (ii) is also attained. In fact, the next proposition
is but a specialization of Corollary 2.11. We write M (G) to denote the Schur multiplier
H2 (G, Z) of G.
Proposition 3.3. Let Nn,2 be the free nilpotent group of rank n > 1 and class 2,
Nn,2 = Fn /γ3 (Fn ). Then,
(i) ([2, Theorem 3.2]) Nn,2 ⊗ Nn,2 is free abelian of rank 31 n(n2 + 3n − 1). More
precisely,
0
Nn,2 ⊗ Nn,2 ∼
.
= ∆(Fnab ) × M (Nn,2 ) × Nn,2
n+1
q
0
(ii) Nn,2 ⊗q Nn,2 ∼
Nn,2
, where Mn (3) = 31 (n3 − n) is
= (Cq )(( 2 )+Mn (3)) × Nn,2
the q−rank of γ3 (Nn,2 )/γ3 (Nn,2 )q γ4 (Nn,2 ), according to the Witt’s formula.

Q-TENSOR SQUARE OF NILPOTENT GROUPS

11

Consequently, for q > 1
1
d(Nn,2 ⊗q Nn,2 ) = (n3 + 3n2 + 2n).
3
Proof. As in the proof of Corollary 2.11, using Lemma 2.9 we can write
G ∧q G ∼
= F 0 F q /[R, Fn ]Rq .
n

n

In view of (10),

H 2 (G, Zq ) ∼
= R ∩ Fn0 Fnq /Rq [R, Fn ].
Taking into account that R = γ3 (Fn ) ≤ Fn0 Fnq we have the exact sequence
γ3 (Fn )
Fn0 Fnq
Fn0 Fnq
(15)
1→
→ 1.
→
→
γ4 (Fn )γ3 (Fn )q
γ4 (Fn )γ3 (Fn )q
γ3 (Fn )
M (3)
Here we find that H2 (Nn,2 , Zq ) ∼
= γ3 (Fn )/γ4 (Fn )γ3 (Fn )q ∼
= Zq n , for all q ≥ 0, where,
by the Witt’s formula for the rank of γr (Fn )/γr+1 (Fn ),
r
1X
Mn (r) =
µ(d)n d ,
r
d|r

where µ denotes the Möbius function.
(i): If q = 0 then the exact sequence (15) splits and thus we have, by Corollary 2.11,
1
(n3 −n)
(n+1)
(n+1)
(n)
3
Nn,c ⊗ Nn,c ∼
.
= C∞ 2 × γ3 (Fn )/γ4 (Fn ) × γ2 (Fn )/γ3 (Fn ) ∼
= C∞ 2 × C∞2 × C∞
This is the result of Bacon, that d(Nn,2 ⊗ Nn,2 ) = 31 n(n2 + n − 1).
(ii): If q > 1 then we see by the generators of Nn,2 ⊗q Nn,2 found in Theorem 3.2
that the image by ρ0 of the subgroup hb
gi , [gj , gkϕ ] | 1 ≤ i ≤ n, 1 ≤ k < j ≤ ni
q
0
Nn,2
of Nn,2 , while the subgroup h[gj, gi , gkϕ ]i, where [gj, gi , gk ]
is the subgroup Nn,2
is a basic commutator of γ3 (Fn )/γ4 (Fn ), is isomorphic to γ3 (Fn )/γ4 (Fn )γ3 (Fn )q ∼
=
H2 (Nn,2 , Zq ), a homocyclic abelian group of exponent q and q−rank Mn (3) = 31 (n3 −
n). Consequently, also in this case we get that the sequence (15) splits and we then
find that
(n+1)+Mn (3)
q
0
× Nn,2
Nn,2
.
Nn,2 ⊗q Nn,2 ∼
= Cq 2
Therefore, d(Nn,2 ⊗q Nn,2 ) = 31 n(n2 + 3n + 2), thus showing that the upper bound
given in Theorem 3.2 (ii) is also achieved when q > 1.

References
[1] Aboughazi, R., Produit Tensoriel du Groupe D’Heisenberg, Bull. Soc. math. France, 115 (1987),
95–106.
[2] Bacon, M., On the non-abelian Tensor Square of a Nilpotent Group of Class Two, Glasgow
Math. J., 3 (1994), 291–295.
[3] Bacon, M. and L.-C. Kappe The nonabelian tensor square of a 2-generator p-group of class 2.
Arch. Math. (Basel) 61 (1993), 508–516.
[4] Blyth, R. D., Morse, R. F., Computing the nonabelian tensor square of polycyclic groups, J.
Algebra 321 (2009), 2139–2148.
[5] Blyth, R. D., Fumagalli, F., Morigi, M., Some structural results on the non- abelian tensor
square of groups, J. Group Theory, 13, No.1 (2010), 83–94.

12

ROCCO AND RODRIGUES

[6] Blyth, R. D., Moravec, P., Morse, R. F. On the nonabelian tensor squares of free nilpotent
groups of finite rank. In Computational Group Theory and the Theory of Groups, Contemporary
Mathematics 470 (American Mathematical Society, 2008), pp. 27–44.
[7] Brown, R., q-perfect Groups and Universal q-central Extensions, Publ. Mat., 34 (1990), 291-297.
[8] Brown, R. and Loday, J.-L., Van Kampen Theorems for Diagrams of Spaces, Topology, 26
(1987), 311–335.
[9] Brown, R., Johnson, D. L., Robertson, E. F., Some computations of non-abelian tensor products
of groups, J. Algebra 111 (1987), 177– 202, .
[10] Bueno, T. P. and Rocco, N. R., On the q-tensor square of a group, J. Group Theory, 14 (2011),
785–805.
[11] Conduché D., Rodriguez-Fernandez, C., Non-abelian Tensor and Exterior Products modulo q
and Universal q-central Relative Extensions, J. Pure Appl. Algebra, 78, No.2 (1992), 139–160.
[12] Eick, B., Nickel, W., Computing the Schur multiplicator and the nonabelian tensor square of a
polycyclic group, J. Algebra 320 No.2 (2008), 927–944.
[13] Eick, B., Nickel, W., POLYCYCLIC - Computation with polycyclic groups, A GAP 4 package. In The Gap Group, GAP—Groups, Algorithms, and Programming, Version 4.5.7, 2014
(http://www.gap–system.org).
[14] Ellis, G., Tensor Product and q-crossed Modules, J. London Math. Soc., 2 (51) No.2 (1995),
243–258.
[15] Ellis, G., Leonard, F., Computing Schur multipliers and tensor products of finite groups, Proc.
Royal Irish Acad., 95A (1995), 137–147.
[16] Ellis, G., Rodríguez-Fernández, C., An exterior product for the homology of groups with integral
coefficients modulo p, Cah. Top. Géom. Diff. Cat. 30, 339–343, (1989).
[17] Gilbert, N. D., Higgins, P. J., The non-abelian tensor product of groups and related constructions, Glasgow Math. J. 31 (1989), 17–29.
[18] McDermott, A., The Nonabelian Tensor Product of Groups: Computations and Structural Results, PhD Thesis, Nat. Univ. Ireland, Gallway, 1998.
[19] Miller, C., The Second Homology Group of a Group; Relations Among Commutators, Proc.
Amer. Math. Soc. 3 (1952), 588–595.
[20] Nakaoka, I. N., Non abelian tensor products of solvable groups, J. Group Theory 3 (2000),
157–167.
[21] Nakaoka, I. N. and Rocco, N. R., A survey of non-abelian tensor products of groups and related
constructions, Bol. Soc. Paran. Mat. 30 1 ( 2012), 77–89.
[22] Robinson, Derek J. S., A Course in the Thoery of Groups, second edition, Graduate Texts in
Mathematics 80, Springer-Verlag New York (1996).
[23] Rocco, N. R.,On a Construction Related to the Non-Abelian Tensor Square of a Group, Bol.
Soc. Bras. Mat., 22, No.1 (1991), 63–79.
[24] Rocco, N. R., A Presentation for a Crossed Embedding of Finite Solvable Groups, Comm. in
Algebra,22(6) (1994), 1975–1998.
[25] Rodrigues, Eunice C. P., Cotas Superiores para o Expoente e o número mínimo de geradores do
Quadrado q-Tensorial de Grupos Nilpotentes, Doctoral Thesis (in Portuguese), Universidade de
Brasília, Brasilia, DF, Brazil, 2011. Available at http://repositorio.unb.br/handle/10482/8717.
Departamento de Matematática, Universidade de Brasília, Brasilia-DF, 70910-900
Brazil
E-mail address: norai@unb.br
Departamento de Matemática, Universidade Federal de Mato Grosso, Rondonópolis-MT, 85735-001 Brazil
E-mail address: eunicepr@hotmail.com

