arXiv:1710.02330v1 [math.GR] 6 Oct 2017

LINEARITY PROBLEM FOR NON-ABELIAN TENSOR
PRODUCTS
VALERIY G. BARDAKOV, ANDREI V. LAVRENOV, AND MIKHAIL V. NESHCHADIM
Abstract. In this paper we give an example of a linear group such that its tensor
square is not linear. Also, we formulate some sufficient conditions for the linearity
of non-abelian tensor products G ⊗ H and tensor squares G ⊗ G. Using these
results we prove that tensor squares of some groups with one relation and some
knot groups are linear. We prove that the Peiffer square of finitely generated linear
groups is linear. At the end we construct faithful linear representations for the
non-abelian tensor square of free group and free nilpotent group.

1. Introduction
R. Brown and J.-L. Loday [8, 9] introduced the non-abelian tensor product G ⊗ H
for a pair of groups G and H following works of Miller [5], and Lue [7]. They showed
that the third homotopy group of the suspension of an Eilenberg-MacLane space
K(G, 1) satisfies
π3 SK(G, 1) ∼
= J2 (G),
where J2 (G) is the kernel of the derived map κ : G ⊗ G −→ G′ , g ⊗ h 7→ [g, h] =
g−1 h−1 gh. Hence there exists the short exact sequence
0 −→ π3 SK(G, 1) −→ G ⊗ G −→ G′ −→ 1.
Also, the non-abelian tensor product is used to describe the third relative homotopy
group of a triad as a non-abelian tensor product of the second homotopy groups of
appropriate subspaces. More specifically, let a CW -complex X be the union X =
A∪ B of two path-connected CW -subspaces A and B whose intersection C = A∩ B is
path-connected. If the canonical homomorphisms π1 (C) −→ π1 (A), π1 (C) −→ π1 (B)
are surjective, then, according to [8],
π3 (X, A, B) ∼
= π2 (A, C) ⊗ π2 (B, C),
where the groups π2 (A, C) and π2 (B, C) act on one another via π1 (C).
The investigation of the non-abelian tensor product from a group theoretical point
of view started with a paper by Brown, Johnson, and Robertson [15]. They compute
the non-abelian tensor square of all non-abelian groups of order up to 30 using Tietze
transformations.
One of the topics of research on the non-abelian tensor products has been to determine which group properties are preserved by non-abelian tensor products. By using
Date: October 9, 2017.
2010 Mathematics Subject Classification. Primary 20E25; Secondary 20G20, 20E05.
Key words and phrases. non-abelian tensor product; linear group; faithful linear representation.
1

2

V. G. BARDAKOV, A. V. LAVRENOV, AND M. V. NESHCHADIM

homological arguments, Ellis [10] showed that if G and H are finite groups, then
G ⊗ H is also finite. Visscher [12] proved that if G, H are solvable (nilpotent), then
G ⊗ H is solvable (nilpotent) and gives a bound on the nilpotency class of G ⊗ H. In
[17] was proved that the tensor product of groups of nilpotency class at most n is a
group of nilpotency class at most n, thereby improving the bound given by Visscher.
For other results in this direction see the survey of Nakaoka [13].
In this paper we study the linearity problem for non-abelian tensor products. Let
n be a positive integer and let P be a field. A group G is said to be linear of degree
n over P if it is isomorphic with a subgroup of GLn (P ), the group of all n × n nonsingular matrices over P or, equivalently, if it is isomorphic with a group of invertible
linear transformations of a vector space of dimension n over P (see [19]). We study
the following
Question 1. Let G and H be linear groups. Are the groups G ⊗ H, G ⊗ G linear?
We show that in general case the answer is negative. More accurately, we prove
that the tensor square SLn (Q) ⊗ SLn (Q) of special linear group SLn (Q) over the
field of rational numbers is not linear for n ≥ 3. On the other side we formulate some
sufficient conditions under which the groups G ⊗ H, G ⊗ G are linear. Using these
conditions, we prove that the non-abelian tensor squares of some groups with one
defining relation and groups of fibered knots are linear. If G is a finitely generated free
group or finitely generated free nilpotent group, then we construct concrete faithful
linear representations for G ⊗ G.
With the non-abelian tensor square G ⊗ G connect other group constructions:
exterior tensor square G ∧ G and Peiffert square G ⊲⊳ G. We prove that if G is finitely
generated, then G ⊲⊳ G is linear.
We note that the following problems are still open.
Problem 1. 1) Let G be a finitely generated linear group. Is the group G ⊗ G linear?
2) Let G be a linear group. Is the group G ⊲⊳ G linear?
Acknowledgement. The authors thank V. Thomas, S. O. Ivanov, V. Petrushenko,
A. Yu. Ol’shanskii, V. A. Roman’kov, M. Singh for useful discussions. They also acknowledge support from the Russian Science Foundation (project No. 16-41-02006).
2. Preliminaries
In this paper we shall use the following notations. For elements x, y in a group
G, the conjugation of x by y is xy = y −1 xy; and the commutator of x and y is
[x, y] = x−1 xy = x−1 y −1 xy. We write G′ for the derived subgroup of G, Gab for the
abelianized group G/G′ .
Recall the definition of the non-abelian tensor product G ⊗ H of groups G and H
(see [8, 9]). This tensor product is defined for any pair of groups G and H where
each one acts on the other (on the right)
G × H −→ G, (g, h) 7→ g h ; H × G −→ H, (h, g) 7→ hg

LINEARITY PROBLEM FOR NON-ABELIAN TENSOR PRODUCTS

3

and on itself by conjugation, in such a way that for all g, g1 ∈ G and h, h1 ∈ H,

h g1
 −1 g h1
h1
g1−1
(hg1 )
g
and h(g ) = hh1
.
g
=
In this situation we say that G and H act compatibly on each other. The non-abelian
tensor product G ⊗ H is the group generated by all symbols g ⊗ h, g ∈ G, h ∈ H,
subject to the relations
gg1 ⊗ h = (gg1 ⊗ hg1 )(g1 ⊗ h) and g ⊗ hh1 = (g ⊗ h1 )(gh1 ⊗ hh1 )
for all g, g1 ∈ G, h, h1 ∈ H.
In particular, as the conjugation action of a group G on itself is compatible, then
the tensor square G⊗G of a group G may always be defined. Also, the tensor product
G ⊗ H is defined if G and H are two normal subgroups of some group M and actions
are conjugations in M .
Recall the main diagram for the non-abelian tensor square (see [8, 9]). Let G be
a group. One of the main tools for studying of the non-abelian tensor square G ⊗ G
is the following diagram:
0
↓
ψ

H3 (G) → Γ(Gab ) →
q
q

J2 (G)
↓

0
↓
→ H2 (G) → 0
↓

ψ

H3 (G) → Γ(Gab ) → G ⊗ G → G ∧ G → 1
↓
↓
G′
=
G′
↓
↓
1
1
with exact rows and columns. Here
1) H2 (G), H3 (G) are the second and the third homology groups of G with the
coefficients in the trivial ZG-module Z. The second homology group H2 (G) for the
group G = F/R, where F is a free group, can be find by the Hopf formular:
H2 (G) ∼
= (F ′ ∩ R)/[F, R].
2) G ∧ G is the exterior product of G onto itself. For the group G = F/R it can
be presented in the form (see [2])
G∧G∼
= F ′ /[F, R].
In particular, if G is a free group, then G ∧ G ∼
= G′ .
3) J2 (G) = π3 SK(G, 1) is the kernel of the derived map κ : G ⊗ G −→ G′ , which
on the generators of G ⊗ G is defined by the rule:
g1 ⊗ g2 7→ [g1 , g2 ].
The group J2 (G) lies in the center Z(G ⊗ G) and its elements are invariant under the
action of G onto G ⊗ G, which is defined by the formula
(g1 ⊗ g2 )g = g1g ⊗ g2g .

4

V. G. BARDAKOV, A. V. LAVRENOV, AND M. V. NESHCHADIM

In particular, if g2 = g1 , then
(g1 ⊗ g1 )g = g1 ⊗ g1
for any g, g1 ∈ G.
4) Γ(Gab ) is Whitehead’s quadratic functor. The group Γ(Gab ) is generated by
elements γ(gG′ ) and ψ is defined by the formula
γ(gG′ ) 7−→ g ⊗ g.
The image ψΓ(Gab ) is not equal in the general case to the group J2 (G) since
J2 (G)/ψΓ(Gab ) ∼
= H2 (G);
For the functor Γ : A 7−→ Γ(A), where A is an abelian group is known that
a) Γ(A× B) ∼
= Γ(A)× Γ(B)× (A⊗Z B), where A⊗Z B is the abelian tensor product
of abelian groups;

Zn n ≡ 1 (mod 2),
∼
b) Γ(Zn ) =
Z2n n ≡ 0 (mod 2).
c) Γ(Z) ∼
= Z.
n(n+1)
In particular, Γ(Zn ) ∼
=Z 2 .
3. Linearity problem
In this section we will use result of Malcev [19] (see also [20, Chapter 2]) on the
linearity of abelian group. To formulate it recall come definitions. If G is any group
τ (G) is the subgroup of G generated by all the periodic normal subgroups of G; that
is τ (G) is the maximum periodic normal subgroup of G. G has finite rank at most
n if every finite subset of G is contained in an n-generator subgroup of G. If G is
abelian and periodic then G has finite rank at most n if and only if for each prime p
the Sylow p-subgroup of G is a direct product of at most n cyclic and Prüfer p-groups
(a Prüfer p-group is a Cp∞ -group). If π is any set of primes and G is a group with a
unique maximal π-subgroup we denote this maximal π-subgroup by Gπ .
Malcev proved:
i) An abelian group A has a faithful representation of degree n ≥ 1 over some field
of characteristic zero if and only if τ (G) has rank at most n.
ii) An abelian group A has a faithful representation of degree n ≥ 1 over some
field of characteristic p > 0 if and only if τ (G)p′ has finite rank r and τ (A)p has finite
exponent pe satisfying
pe−1 + max{1, r} < n + 1.
We are ready to prove the following
Proposition 3.1. There is a linear group G such that G ⊗ G = G ∧ G is not linear.
Proof. For a perfect group G = G′ it follows from the main diagram (see section 2)
that G ⊗ G = G ∧ G and the sequence
0 −→ H2 (G, Z) −→ G ⊗ G −→ G −→ 0
is exact.

LINEARITY PROBLEM FOR NON-ABELIAN TENSOR PRODUCTS

5

For n ≥ 3 the group SLn (Q) is perfect and its second homology group coincides
with K2 -group of a field Q,
H2 (SLn (Q), Z) = K2 (Q),
see [6, Corollary 11.2].
Q
Next, K2 (Q) = {±1}×
(Z/p)× by [6, Theorem 11.6], so that K2 (Q) contains an
p prime

.
p6 .. 2

abelian 2-group of infinite rank and unbounded exponent. Using Maltsev’s criterion
we conclude that such a group can not be linear. Therefore the group
SLn (Q) ⊗ SLn (Q) = SLn (Q) ∧ SLn (Q)
is not linear as well.



To study the linearity problem for the non-abelian tensor product we can use a
presentation of a tensor product as a central extension (see, for example, [17].) The
derivative subgroup of G by H is called the following subgroup
DH (G) = [G, H] = hg −1 g h | g ∈ G, h ∈ Hi.
The map κ : G ⊗ H −→ DH (G) defined by κ(g ⊗ h) = g −1 gh is a homomorphism, its
kernel is the central subgroup of G ⊗ H and G acts on G ⊗ H by the rule (g ⊗ h)x =
gx ⊗ hx , x ∈ G. There exists the short exact sequence
1 −→ A −→ G ⊗ H −→ DH (G) −→ 1.
In this case A can be viewed as Z[DH (G)]-module via conjugation in G ⊗ H, i. e.
under the action induced by setting
a · g = x−1 ax, a ∈ A, x ∈ G ⊗ H, κ(x) = g.
We can formulate some sufficient conditions for the linearity of G ⊗ H. Well
known that tensor product G ⊗ H with trivial actions isomorphic to the abelian
tensor product Gab ⊗Z H ab . Hence, in this case the question on the linearity of G ⊗ H
is equivalent to the question on the linearity of abelian tensor product and the answer
follows from the Malcev theorem.
Further we will assume that the action of G on H or the action of H on G is
non-trivial. We have the following short exact sequence
0 −→ A −→ G ⊗ H −→ DH (G) −→ 1.

(1)

Note that A is the kernel of the natural map G ⊗ H −→ DH (G), g ⊗ h −→ g−1 gh ,
g ∈ G, h ∈ H, and is a central subgroup of G ⊗ H.
Proposition 3.2. Let the following conditions hold
1) A, DH (G) are linear groups;
2) H 2 (DH (G), A) = 0, in particular, this condition holds if A is divisible or DH (G)
is a free group.
Then G ⊗ H = A × DH (G) is the direct product and is a linear group.

6

V. G. BARDAKOV, A. V. LAVRENOV, AND M. V. NESHCHADIM

Proof. It is well known that if H 2 (DH (G), A) = 0, then the sequence
0 −→ A −→ G ⊗ H −→ DH (G) −→ 1,
splits. In particular, this condition holds if A is divisible or DH (G) is a free group.
Since A is a central subgroup, then G ⊗ H ∼
= A × DH (G) and is a linear group as
a direct product of linear groups.

The main problem in the using of this theorem is the description of the central
subgroup A. For the tensor square we can use another approach.
Let us formulate some sufficient conditions under which G ⊗ G is a direct product
of the commutator subgroup G′ and the Whitehead group Γ(Gab ).
Theorem 3.3. Let H2 (G) = H3 (G) = H2 (G′ ) = 0 and one of the following conditions
hold
1) H 2 (G′ , Γ(Gab )) = 0;
2) Γ(Gab ) is a divisible group;
3) G′ /G′′ does not have torsion.
Then
G⊗G∼
= Γ(Gab ) × G′ .
If moreover G is finitely generated and G′ is linear, then G ⊗ G is linear.
Proof. Since, H2 (G) = H3 (G) = 0, then the main diagram has the form
0
↓
ψ

0 → Γ(Gab ) →
q

J2 (G)
↓

0
↓
→

0
↓

→ 0

ψ

0 → Γ(Gab ) → G ⊗ G → G ∧ G → 1
↓
↓
G′
=
G′
↓
↓
1
1
From this diagram J2 (G) = Γ(Gab ) and G ∧ G = G′ . Hence we have the short
exact sequence
0 −→ Γ(Gab ) −→ G ⊗ G −→ G′ −→ 1.
If H 2 (G′ , Γ(Gab )) = 0, then this sequence is splittable:
G ⊗ G = Γ(Gab ) ⋋ G′ .
As we know if Γ(Gab ) is divisible or G′ is free, then H 2 (G′ , Γ(Gab )) = 0. Let us
show that if G′ /G′′ does not have torsion, then H 2 (G′ , Γ(Gab )) = 0. Indeed, by the
universal coefficient theorem there is the following short exact sequence
0 −→ ExtZ (H1 (G′ ), Γ(Gab )) −→ H 2 (G′ , Γ(Gab )) −→ HomZ (H2 (G′ ), Γ(Gab )) −→ 0.
Since H2 (G′ ) = 0 we have the short exact sequence
0 −→ ExtZ (H1 (G′ ), Γ(Gab )) −→ H 2 (G′ , Γ(Gab )) −→ 0.

LINEARITY PROBLEM FOR NON-ABELIAN TENSOR PRODUCTS

7

Hence H 2 (G′ , Γ(Gab )) = 0 if and only if ExtZ (H1 (G′ ), Γ(Gab )) = 0. It is known that
if H1 (G′ ) is free abelian, then ExtZ (H1 (G′ ), Γ(Gab )) = 0.
Since Γ(Gab ) is a central subgroup, this product is the direct product:
G ⊗ G = Γ(Gab ) × G′ .
If G is finitely generated, then Gab is finitely generated abelian group and Γ(Gab )
is also finitely generated abelian group. Then G ⊗ G is linear as direct product of
two linear groups.

As consequence we get the following result
Corollary 3.4. [2] Let Fn be a free group of rank n. Then
Fn ⊗ Fn ∼
= Zn(n+1)/2 × (Fn )′ .
4. Groups with one defining relation and knot groups
Let G be a group with one defining relation:
G = hX kr = 1i,
where r 6∈ F ′ , F = h X i. Then Hk (G) = 0, k ≥ 2 (see [3, p. 49]). Hence, there exist
the following short exact sequence:
0 −→ Γ(Gab ) −→ G ⊗ G −→ G′ −→ 1.
If Gab does not have torsion, then Gab is a free abelian group and Γ(Gab ) is a free
abelian group. Then, if H 2 (G′ ) = 0, then H 2 (G′ , Γ(Gab )) = 0, what follows from the
decomposition
H k (S, A ⊕ B) = H k (S, A) ⊕ H k (S, B)
for every group S and every S-modules A and B.
From Theorem 3.3 follows
Proposition 4.1. Let G be a group with one defining relation:
G = hX kr = 1i,
where r 6∈ F ′ , F = h X i. If one from the following conditions hold:
1) Gab does not have torsion and H 2 (G′ ) = 0;
2) G′ /G′′ does not have torsion.
Then G ⊗ G = Γ(Gab ) × G′ . If moreover G is finitely generated and G is linear,
then G ⊗ G is linear.
It is well known that if K is a tame knot in 3-sphere S3 and GK = π1 (S3 \ K) its
group, then Hn (GK ) = 0 for n > 1 (see, for example [18, p. 5]). Recall that a knot
K is called fibered if there is a 1-parameter family Ft of Seifert surfaces for K, where
the parameter t runs through the points of the unit circle S 1 , such that if s is not
equal to t then the intersection of Fs and Ft is exactly K. The commutator subgroup
G′K for the fibered knot K is a free of finite rank [14] and GK is linear [1].
Proposition 4.2. Let K be a tame fibered knot in 3-sphere S3 , then GK ⊗ GK =
G′K × Z and has faithful linear representation into GL2 (Z[t, t−1 ]).

8

V. G. BARDAKOV, A. V. LAVRENOV, AND M. V. NESHCHADIM

ab
Proof. It is well known that Gab
K = Z and then Γ(GK ) = Z. From Theorem 3.3
′
follows that GK ⊗ GK = Z × GK .
To construct a linear representation, use the fact that G′K is a free group of finite
rank and by Sanov’s theorem [11, Chapter 5] it has a faithful linear representation
into SL2 (Z) ≤ GL2 (Z[t, t−1 ]). Define a linear representation of Gab
K = Z = hγi into
−1
GL2 (Z[t, t ]) by the rule


t 0
γ 7−→
.
0 t

Since the image of γ is a scalar matrix, i.e. lies in the center of GL2 (Z[t, t−1 ]), we
constructed a faithful linear representation of GK ⊗ GK .

Example 4.3. 1) The braid group B3 on 3 strings has presentation
B3 = hσ1 , σ2 || σ1 σ2 σ1 = σ2 σ1 σ2 i.
and is the group of trefoil knot. The commutator subgroup B3′ is a free group of rank
2. Hence the tensor square B3 ⊗ B3 = Z × F2 has a faithful linear representation into
GL2 (Z[t, t−1 ]).
2) It is known that the group of the figure eight knot has a presentation
G = hx, y || yx−1 yxy −1 = x−1 yxy −1 xi
and is a fibered knot. Hence the tensor square G ⊗ G = Z × G′ has a faithful linear
representation into GL2 (Z[t, t−1 ]).
In the first example we shown that B3 ⊗B3 = Z×F2 . On the other side B3 contains
the pure braid group P3 , which is normal in B3 , has index 6 and is the direct product
of the center, which is isomorphic to Z, and a free group of rank 2. Hence, B3 ⊗ B3
is isomorphic to P3 and we proved
Proposition 4.4. There is a non-trivial non-abelian group G such that the tensor
square G ⊗ G is isomorphic to a proper subgroup of G.
Question 2. 1) Is it true that Bn ⊗ Bn , n > 3, is linear?
2) Is it true that for arbitrary tame knot K the group G(K) ⊗ G(K) is linear?
5. On the linearity of the Peiffer product
Recall the definition of the Peiffer product. Given G and H acting compatibly on
each other, in [21] it was defined their Peiffer product G ⊲⊳ H as the quotient of the
free product G ∗ H by the normal closure K of all elements of the form
h−1 g −1 hgh or g −1 h−1 ghg
where g ∈ G and h ∈ H. Whitehead [21] posed question on the asphericity of
subcomplexes of aspherical 2-complexes and reformulated it as part of the wider
problem of finding conditions under which the groups G and H are embedded in
G ⊲⊳ H.

LINEARITY PROBLEM FOR NON-ABELIAN TENSOR PRODUCTS

9

In [4] it was proved that if ϕ : G ∗ H → G ⊲⊳ H, then modulo K = Ker(ϕ),
hg ≡ ghg , so that every element of G ⊲⊳ H can be written as ϕ(g)ϕ(h) for suitable g,
h. Denote ϕ(g)ϕ(h) as hg, hi. The relations
−1

hg, hihg1 , h1 i = hgg1 , hg1 h1 i = hgg1h , hh1 i
are defining relations for G ⊲⊳ H on the generators hg, hi and so G ⊲⊳ H is a homomorphic image of both the semidirect products G ⋉ H and G ⋊ H. The group G ⊲⊳ H
is obtained from G ⋉ H (or from G ⋊ H) by imposing the relations
(g−1 gh , 1) = (1, h−g h).
If G and H act on one another trivially, then G ⊲⊳ H is just the direct product
G × H and K = GH, where GH is the Cartesian subgroup of G ∗ H (the kernel
of the canonical homomorphism G ∗ H −→ G × H.
From [4, Proposition 2.1] follows
G ⊲⊳ G ∼
= Gab × Gab .
Using this isomorphism one can proves
Proposition 5.1. Let G be a linear group and G is finitely generated or G = G′ ,
then G ⊲⊳ G is linear.
From this proposition follows that if G = SLn (Q), n ≥ 2, then G ⊲⊳ G is linear.
On the other side, we know that SLn (Q) ⊗ SLn (Q) and SLn (Q) ∧ SLn (Q) are not
linear for n ≥ 3.
But we don’t know is this proposition true for arbitrary linear group. In particular,
we do not know an answer on the following
Question 3. Let G be a linear group. Is it true that Gab is also linear?
It is evident that the following short exact sequence holds
1 −→ 1 × G′ −→ Gab × G −→ Gab × Gab −→ 1.
Since Gab × G ∼
= G ⊲⊳ G we can add in the main diagram new terms.
Proposition 5.2. The following diagram holds
0
↓
ψ

H3 (G) → Γ(Gab ) →
q
q
ψ

H3 (G) → Γ(Gab ) →

J2 (G)
↓

0
↓
→

H2 (G)
↓

→

1

G⊗G
→
G∧G
→
1
↓
↓
G ⊲⊳ G
=
G ⊲⊳ G
↓
↓
ab
ab
ab
G ×G
= G × Gab
= H1 (G) × H1 (G)
↓
↓
1
1

10

V. G. BARDAKOV, A. V. LAVRENOV, AND M. V. NESHCHADIM

6. Faithful linear representations
In the paper [2] it was proved:
1) If Fn is the free group of rank n, then
Fn ⊗ Fn ∼
= Zn(n+1)/2 × (Fn )′ .
2) If Nn,c = Fn /γc Fn is the free nilpotent group of rank n > 1 and class c ≥ 1,
then
Nn,c ⊗ Nn,c ∼
= Zn(n+1)/2 × (Nn,c+1 )′ .
Proposition 6.1. Let G be a free countable group. Then the exterior square G ∧ G
has a faithful representation into SL2 (Z) and the tensor square G ⊗ G has a faithful
representation into GL2 (C).
Proof. As was proven in [9], for the free group G there are isomorphisms
G∧G∼
= G′ , G ⊗ G ∼
= Γ(Gab ) × G′ .
Since G is free, its commutator subgroup G′ is free. Hence, by the Sanov result [11,
Chapter 5] there is a faithful representation of G′ into SL2 (Z) and the first part of
the proposition holds.
Further, Γ(Gab ) is a free abelian group. Let ak , k ∈ I be its free generators. Take
transcendental elements tk , k ∈ I in the field C, which are algebraically independent
other Q. Then the matrix group



tk 0
T =
kk∈I
0 tk
is isomorphic to the group Γ(Gab ). If ϕ : G′ −→ GL2 (Z) is an embedding, then
ϕG′ , T ∼
= ϕG′ × T.
Hence, the group G ⊗ G has a faithful representation in the matrix group over the
ring Z[t±1
k , k ∈ I].
If G = F∞ is countably generated and has a faithful representation into SL2 (Z).
ab ) is linear we use the following property
To prove that Γ(F∞
ab
Γ(F∞
) = Γ(lim Fnab ) = lim(ΓFnab ).


For the finitely generated free groups from this theorem follows
±1
Corollary 6.2. The tensor square Fn ⊗Fn has a faithful representation into GL2 (Z[t±1
1 , . . . , tm ]),
n(n+1)
where m = 2 .

For the free nilpotent groups we can prove
Proposition 6.3. There is a faithful representation
Nn,c ⊗ Nn,c −→ Tc+2 (C)
into the group of triangular matrices Tc+2 (C).

LINEARITY PROBLEM FOR NON-ABELIAN TENSOR PRODUCTS

11

Proof. We noted that
Nn,c ⊗ Nn,c ∼
= Zn(n+1)/2 × (Nn,c+1 )′ .
Hence, we have to define faithful linear representations for Zn(n+1)/2 = ha1 , a2 , . . . , am i,
m = n(n + 1)/2 and for (Nn,c+1 )′ , where Nn,c+1 = hx1 , x2 , . . . , xn i. Let
τ1 , τ2 , . . . , τm , tij , i = 1, 2, . . . , n, j = 1, 2, . . . , c + 1,
be the complex numbers, which are algebraically independent over Q. Define the
following maps
ak 7→ τk E ∈ Tc+2 (C), k = 1, 2, . . . , m,
which is defined a faithful representation of

1 ti1 0
0 ... 0
 0
1
t
0 ... 0
i2

.
.
.
.
.
.
.
.
.
.
.. ... ...
xi 7→ 

 0
0
0
0 ... 1
0
0
0
0 ... 0

Zn(n+1)/2 into Tc+2 (C), and

0
0 

... 
 ∈ U Tc+2 (C) i = 1, 2, . . . , n.
tic 
1

As Romanovskii proved [16] the map, defined on xi is a faithful representation of
Nn,c+1 into U Tc+2 (C). Hence we have a faithful representation of Zn(n+1)/2 × Nn,c+1
into Tc+2 (C). Since Zn(n+1)/2 × (Nn,c+1 )′ is a subgroup of Zn(n+1)/2 × Nn,c+1 , we have
the need representation.

References
[1] M. Aschenbrenner, S. Friedl and H. Wilton, 3-Manifold Groups, EMS Series of Lectures in
Mathematics, vol. 20, European Mathematical Society (EMS), Zurich, 2015.
[2] R. D. Blyth, F. Fumagalli, M. Morigi, Some structural results of the non-abelian tensor square
of groups, J. Group Theory, 2010, 13, 83–94.
[3] K. S. Brown, Cohomology of groups. Graduate Texts in Mathematics, 87. Springer-Verlag, New
York, 1994. x+306 pp.
[4] N. D. Gilbert, P. J. Higgins, The non-abelian tensor product of groups and related constructions,
Glasgow Math. J., 1989, 31, 17–29.
[5] C. Miller, The second homology group of a group; relations among commutators, Proceedings
AMS 3, 588–595, (1952).
[6] J. Milnor, Introduction to Algebraic K-Theory, Princeton University Press, Princeton New
Jersey, 1971, pp. 1–184
[7] A. S.-T. Lue, The Ganea map for nilpotent groups, J. London Math. Soc. 14, 309–312, (1976).
[8] R. Brown, J.-L. Loday, Excision homotopique en basse dimension, C. R. Acad. Sci. Paris Ser.
I Math. 298 (15) (1984), 353–356.
[9] R. Brown, J.-L. Loday, Van Kampen theorems for diagrams of spaces, Topology 26 (3) (1987),
311–335, with an appendix by M. Zisman.
[10] G. J. Ellis, The non-abelian tensor product of finite groups is finite, J. Algebra 111 (1) (1987),
203–205.
[11] M. I. Kargapolov, Yu. I. Merzlyakov, Osnovy teorii grupp. (Russian) [Fundamentals of group
theory] Fourth edition. Fizmatlit “Nauka”, Moscow, 1996. 288 pp.
[12] M. P. Visscher, On the nilpotency class and solvability length of nonabelian tensor products of
groups, Arch. Math. (Basel) 73 (3) (1999), 161–171.
[13] I. N. Nakaoka, Non-abelian tensor products of solvable groups, J. Group Theory 3 (2) (2000),
157-167.

12

V. G. BARDAKOV, A. V. LAVRENOV, AND M. V. NESHCHADIM

[14] D. J. Collins, H. Zieschang, Combinatorial group theory and fundamental groups. Algebra, VII,
1-166, 233-240, Encyclopaedia Math. Sci., 58, Springer, Berlin, 1993.
[15] R. Brown, D. L. Johnson, E. F. Robertson, Some computations of non-abelian tensor products
of groups, J. Algebra, 1987, 111, 177–202.
[16] N. S. Romanovskii, Identity bases for certain matrix groups (Russian), Algebra i Logika, 1971,
10, 401–406.
[17] G. Donadze, M. Ladra, V. Thomas, On some closure properties of the non-abelian tensor
product, J. Algebra, 2017, 472, 399–413
[18] A. Kawauchi, A survey of knot theory. Translated and revised from the 1990 Japanese original
by the author. Birkhuser Verlag, Basel, 1996.
[19] A. I. Malcev, On isomorphic matrix representations of infinite groups. (Russian) Rec. Math.
[Mat. Sbornik] N.S. 8 (50), (1940), 405–422.
[20] B. A. F. Wehrfritz, Infinite linear groups, Berlin, 1973.
[21] J. H. C. Whitehead, On adding relations to homotopy groups, Ann. of Math., 1941, 42, 409–428.
Sobolev Institute of Mathematics, Novosibirsk 630090, Russia,
Novosibirsk State University, Novosibirsk 630090, Russia,
Novosibirsk State Agrarian University, Dobrolyubova street, 160, Novosibirsk, 630039,
Russia,
E-mail address: bardakov@math.nsc.ru
Saint-Petersburg State University, University Embankment, 7–9, Saint-Petersburg,
199034, Russia,
E-mail address: A.V.Lavrenov@gmail.com
Sobolev Institute of Mathematics and Novosibirsk State University, Novosibirsk
630090, Russia,
E-mail address: neshch@math.nsc.ru

