FREE PRODUCTS IN THE UNIT GROUP OF THE INTEGRAL GROUP
RING OF A FINITE GROUP

arXiv:1607.02429v1 [math.RA] 8 Jul 2016

GEOFFREY JANSSENS, ERIC JESPERS, AND DORYAN TEMMERMAN
Abstract. Let G be a finite group and let p be a prime. We continue the search for generic constructions of free products and free monoids in the unit group U (ZG) of the integral group ring
ZG. For a nilpotent group G with a non-central element g of order p, explicit generic constructions are given of two periodic units b1 and b2 in U (ZG) such that hb1 , b2 i = hb1 i⋆ hb2 i ∼
= Zp ⋆ Zp ,
a free product of two cyclic groups of prime order. Moreover, if G is nilpotent of class 2 and g
has order pn , then also concrete generators for free products Zpk ⋆ Zpm are constructed (with
1 ≤ k, m ≤ n). As an application, for finite nilpotent groups, we obtain earlier results of
Marciniak-Sehgal and Gonçalves-Passman. Further, for an arbitrary finite group G we give
generic constructions of free monoids in U (ZG) that generate an infinite solvable subgroup.

1. Introduction
The representation theory over some ring R of a finite group G is nowadays studied through the
modules over its group ring RG. In this perspective it is natural to ask whether RG determines
the underlying group G, i.e. if RG ∼
= RH is then G ∼
= H? This question is called the isomorphism problem for group rings. In case R = Z the problem remained open till the surprising
counterexample by Hertweck in 1999 [7]. However for many classes of groups the isomorphism
problem has a positive answer over Z. One main obstruction towards a positive solution is the
lack of information on how rigid G lies inside ZG or more precisely inside U(ZG), the unit group
of ZG. Several conjectures have been made in this direction, such as the Zassenhaus conjectures,
and consequently one started the search for generic constructions of elements in U(ZG) and one
investigates the algebraic structure of the group generated by these units.
Only few generic constructions are known. The most important are the so called Bass units
and the bicylic units. With these elements at hand, it is a natural problem to determine “how
large” the group B generated by the Bass and bicyclic units is compared to U(ZG). Furthermore,
one would like to determine the relations between these units. Jespers and Leal [9] proved that
for many finite groups G the group B is of finite index in U(ZG); earlier results of this type were
obtained by Ritter and Sehgal (see for example [14]). The groups G excluded are those that have
a non-commutative fixed point free image and those for which the rational group algebra QG does
have an exceptional simple epimorphic image. The latter are by definition the non-commutative
division algebras which are not a positive-definite quaternion algebra andmatrix
 algebras M2 (D)
√
a,b
over a division algebra of the type Q, Q( −d) or a quaternion algebra Q . Moreover, in [3],
Eisele, Kiefer and Van Gelder reduced the number of exceptional cases by showing that the only
cases that can occur as an epimorphic image of a rational groups algebra QG are d = 1, 2, 3 and
(a, b) = (−1, −1), (−1, −3), (−2, −5). For a state-of-the-art we refer to [10].
In recent years there have been a lot of investigations on determining whether there are any
non-trivial relations between two given units that are Bass units or bicyclic units. It turns out
that in many cases two such elements generate a non-cyclic free group. In this context, a result of
Hartley and Pickel [6] states that U(ZG) contains a non-cyclic free group except if G is abelian or
2010 Mathematics Subject Classification. Primary 16U60, 20C05, 16S34, 20E06 Secondary 20C10, 20C40.
Key words and phrases. Group ring, unit group, free product, generic units
The second author is supported by Onderzoeksraad of Vrije Universiteit Brussel and Fonds voor Wetenschappelijk Onderzoek (Flanders). The first and third authors are supported by Fonds voor Wetenschappelijk Onderzoek
(Flanders).
1

2

GEOFFREY JANSSENS, ERIC JESPERS, AND DORYAN TEMMERMAN

an Hamiltonian 2-group. Actually, it turns that these cases correspond with U(ZG) being abelianby-finite, which on its turn is exactly the case when the unit group is solvable-by-finite (see [10,
Corollary 5.5.7]).
An explicit construction of a free subgroup of the unit group was given by Marciniak and Sehgal
in [12]: it is shown that any non-trivial bicyclic unit together with its image under the classical
involution (which also is a bicylic unit) generate a non-cyclic free group. Since then many more
constructions of two bicyclic units, or two Bass units, or a Bass together with a bicyclic unit
generating a free group have been discovered. For a survey we refer to [5, 11]. In [4], Gonçalves
and Passman showed that U(ZG) contains a free product Zp ⋆ Z (with p a prime number) if and
only if G contains a noncentral element of order p. Moreover, when this occurs, the Zp -part of
the free product can be taken to be a suitable noncentral subgroup of G of order p. The proof
of this result makes use of earlier work of Passman [13] on the existence in PSLn (R) (with R a
commutative integral domain of characteristic zero) of a free product G ⋆ Z when G is a finite
subgroup of PSLn (R). In the proofs of all these results, the element of infinite order is used in
order to apply Tits alternative type techniques. We point out that this generator of the infinite
cyclic part is only shown to exist, but no explicit constructions are obtained.
Note that if p 6= 2 then a group contains Zp ⋆ Z if and only if it contains a group Zp ⋆ Zp .
Hence, a natural problem is to give explicit generic constructions of units b1 , b2 ∈ U(ZG) such
that hb1 , b2 i ∼
= Zp ⋆ Zp . As such, one also obtains a generic construction of a unit b = b2 b1 b2 such
that hb1 , bi ∼
= Zp ⋆ Z, provided p 6= 2. So far, such a result has not been obtained mainly because
of the lack of generic constructions of non-trivial torsion units. However, recently in [1], V. Bovdi
introduced very interesting torsion units.
In this paper we make use of these torsion units, we simply call them Bovdi units, to give the
first (generic) constructions of free products of two finite cyclic groups in U(ZG) provided G is a
finite nilpotent group. Moreover, for an arbitrary finite group G, we also deal with the problem of
producing infinite solvable subgroups in U(ZG) (that are not virtually nilpotent) using non-trivial
Bass and bicyclic units and construct generators of a non-cyclic free submonoid in these groups.
Throughout the paper G denotes a finite group and for a subset H of G we put
1 e
b
b
e = P
H
h∈H h ∈ ZG and H = |H| H ∈ QG. If H is a subgroup then H is an idempotent. In
case H = hgi then we simply denote these elements by ge and gb respectively. The classical involution on a group algebra KG is the K-linear map defined by g 7→ g −1 , for g ∈ G. By ω we denote
the augmentation map KG → K. The free product of two groups H and K is denoted by H ⋆ K.
By o(g) we denote the order of g ∈ G and a cyclic group of order n (possibly n is infinite) we will
denote by Cn .
2. Preliminaries
In order to construct free monoids and free products of cyclic groups in U(ZG), we will make use
of representations of the finite groups G and hence of matrix epimorphic images of the complex
group algebra CG. Therefore we begin with some technical lemmas on constructions of free
products in matrix algebras. By Eij we denote the elementary matrix with 1 in position (i,j) and
zeroes elsewhere. We start with three lemmas. The first and the third can be found in [11, pages
2,3] and the second easily is verified.
Lemma 2.1. Suppose z1 , z2 , w1 , w2 are non-zero elements in a field F . Then, there exists
U ∈ GL2 (F ) such that E12 (z1 )U = E12 (w1 ) and E21 (z2 )U = E21 (w2 ) if and only if z1 z2 = w1 w2 .
2πi

Lemma 2.2. Let n be a positive integer and ζn = e n is a complex primitive n-th root of unity.
Pk−1
If k is a positive integer such that k 6= 0 mod n then | i=0 ζni | ≥ 1; and this inequality is strict if
and only if k 6= ±1 mod n.
A useful tool for proving that the group generated by two subgroups is actually a free product
is the well-known Ping-Pong Lemma.

Lemma 2.3. (Ping-Pong Lemma). Suppose G1 and G2 are non-trivial subgroups of a group G
with |G1 | > 2. If G acts on a set P and P1 and P2 are two non-empty and distinct subsets of P
such that g(Pi ) ⊆ Pj for every non-trivial g ∈ Gi and {i, j} = {1, 2} then hG1 , G2 i ∼
= G1 ⋆ G2 .

3

This Ping-Pong Lemma allows to construct a free product of cyclic groups in GLn (C) and thus
we obtain the following Sanov-like result.
2kn πi

2km πi

Proposition 2.4. Let n and m be positive integers and let ζn = e n and ζm = e m be
primitive complex roots of unity of order n and m respectively (kn and km are integers such that
Pkm −1 2jπi
Pkn −1 2jπi
e m and suppose u, v ∈ C.
e n , zkm = j=0
1 ≤ kn ≤ n, 1 ≤ km ≤ m). Put zkn = j=0
If either n or m is not 2 and |uv| ≥ 4|zkn zkm |, or n = m = 2 and u or v is non-zero, then the
following isomorphisms hold

 

 


1 0
ζ
u
ζm 0
1 u
i,
,
h n
,
i∼
=h
= Cin ⋆ Cim ∼
v ζm
0 1
v 1
0 ζn
where it = t if t 6= 1 and i1 = ∞.


 
 


ζn u
ζm 0
1 v
1 0
∼
Proof. It is clear that h
i. So we only will prove
,
,
i=h
0 1
v 1
0 ζm
u ζn
the first isomorphism.




ζn u
ζm 0
Put A =
and B =
. Clearly, hAi ∼
= Cim .
= Cin and hBi ∼
0 1
v 1
We first deal with the case that either n or m is not 2 and |uv| ≥ 4|zkn zkm |. Suppose first
that kn = km = 1 and thus 1 = zkn = zkm . By Lemma 2.1 we may assume |u| ≥ 2|zkn | = 2
and |v| ≥ 2|zkm | = 2. The group hA, Bi acts via Möbius transformations on C. The Möbius
transformations determined by A and B are resprectively:
ζm z
ϕA : z 7→ ζn z + u and ϕB : z 7→
.
vz + 1
One easily verifies that for any positive integer k the following equalities hold:
ϕkA (z) = ζnk z +

k−1
X

ζni u

i=0

and

k
ζm
z

.
i
ζ
vz
+
1
i=0 m

ϕkB (z) = P
k−1

Consider in C the following regions P1 = {z ∈ C | |z| < 1} and P2 = {z ∈ C | |z| > 1} of C. If
Pk−1
z ∈ P1 and 1 ≤ k < n (or k a positive integer if n = 1), then by Lemma 2.2 | i=0 ζni | ≥ 1 and
hence
k−1
k−1
X
X
ζni u| − |ζnk z| ≥ |u| − |z| > 1.
ζni u| ≥ |
|ϕkA (z)| = |ζnk z +
i=0

i=0

So, (hAi \ {1})(P1 ) ⊆ P2 . Similarly one shows that (hBi \ {1})(P2 ) ⊆ P1 . Lemma 2.3 (here we use
that either n or m is not 2) yields that
hA, Bi = hAi ⋆ hBi ∼
= Ci ⋆ Ci .
n

m

Next we consider arbitrary ζn and ζm , for n 6= 1 6= m (and we still work under the assumption
n 6= 2 or m 6= 2). Clearly,
kn
 2πi
 2πi
km
em
0
u
e n zk−1
n
= A and
= B.
v 1
zk−1
0
1
m
v| ≥
uzk−1
Because |zk−1
m
n

4|zkn zkm |
zkn zkm

= 4, the conditions for the first part of the proof


 2πi
0
em
u
zk−1
e
n
. Hence, they generate a
and
are satisfied for the matrices
v 1
zk−1
0
1
m
group isomorphic
Cin ⋆ Cim . Since
 2πi to
 kn and km are coprime to n and m respectively,
2πi
m
e
0
u
e n zk−1
n
,
hA, Bi = h
i and thus the result follows in this case.
v 1
zk−1
0
1
m


−1 u
The case where n = m = 2 has a more direct proof. Indeed, in this case A =
and
0 1


−1 0
B=
, and these are elements of order 2. Also, B −1 (AB) B = BABB = BA = (AB)−1 ,
v 1


2πi
n

4

GEOFFREY JANSSENS, ERIC JESPERS, AND DORYAN TEMMERMAN

showing that B acts on AB by inversion. So, hA, Bi is the infinite dihedral group and thus
isomorphic with C2 ⋆ C2 .

The following lemma is an easy consequence of the proposition but it is essential for the remainder of the paper.
Lemma 2.5. We use notations as in Proposition 2.4. Let r be a positive integer different from 2.
Suppose A = (Aij ) ∈ GLr (C) is a lower triangular matrix of order in with A11 = 1 and A22 = ζn
and B = D + dE12 ∈ GLr (C) a matrix of order im with D a diagonal matrix, D11 = 1 and
D12 = ζm . If |A21 d| ≥ 4|zkn zkm |, then hA, Bi ∼
= Cin ⋆ Cim .
Proof. Let Lr = {(aij ) ∈ GLr (C) | aij = 0 if j > i and j > 2},
 a subgroup of GLr (C). Obviously
a11 a12
the map R : Lr → GL2 (C) defined by (aij ) 7→
is a group homomorphism. Clearly,
a21 a22



1 d
1
0
. The
and R(B) =
A and B are in Lr . Also, by the assumptions, R(A) =
0 ζm
A21 ζn
assumption |A21 d| ≥ 4|zkn zkm | and Proposition 2.4 yield that hR(A), R(B)i ∼
= Cin ⋆ Cim . Since A

has order in and B has order im we obtain that < A, B >∼
= Cin ⋆ Cim .
3. Solvable subgroups and Free sub-semigroups
In this section we first construct subgroups of U(ZG) that are abelian-by-finite and solvable of
length 2. We will give explicit generators for such groups; the construction of these generators
is a generalisation of the bicylic units (seen from another perspective, they are products of a
bicylic unit with a trivial unit). Modifying the bicyclic units differently, we next will construct
solvable-by-finite subgroups of U(ZG) that are not nilpotent-by-finite. By the well known result
of Rosenblatt [15] such groups contain a free submonoid of rank 2. Actually, we give explicit
generators of such monoids.
We begin by recalling some definitions and notations (we use the same notations as in [10]).
The bicyclic units in ZG are the unipotent units of the type
b(g, h̃) = 1 + (1 − h)g h̃

and

b(h̃, g) = 1 + h̃g(1 − h),

where g, h ∈ G. These units are non-trivial(i.e. they do not belong to G) if g 6∈ NG (hhi), the
normalizer of hhi in G. The Bass units are the units of the type
uk,m (g) = (1 + g + · · · g k−1 )m +

1 − km
g̃,
o(g)

where g ∈ G and k, m are positive integers such that k m ≡ 1 mod o(g), and 1 ≤ k < n. In
[1] V. Bovdi introduced the following beautiful new units in ZG by modifying the bicyclic unit
construction and as such constructed units that are often periodic units:
bk (g, h̃) = hk + (1 − h)ge
h

and

bk (h̃, g) = hk + e
hg(1 − h),

with g, h ∈ G and k a positive integer. Clearly bo(h) (g, h̃) = b(g, h̃), bo(h) (h̃, g) = b(h̃, g),
bk (g, h̃) = hk b(h−k g, h̃) and bk (h̃, g) = hk b(h̃, h−k g) = hk b(h̃, g). So, again these units are nontrivial precisely when g does not belong to NG (hhi). We call these units the Bovdi units. Also, as remarked in Problem 4 in [8], if a unit bk (g, h̃) = hk +(h−1)ge
h (respectively bk (h̃, g) = hk + e
hg(h−1))
k
is of finite order then it is rationally conjugate to h . This easily follows from Lemma 37.6 in
[16], which says that two elements of U(ZG) of the same finite order are rationally conjugate if all
irreducible representations of G coincide on both elements. We recall a lemma from [1] where it
is shown when a Bovdi unit is of finite order. For completeness’ sake a proof is included.
Lemma 3.1. Let g, h ∈ G and suppose that g 6∈ NG (hhi). Suppose m is the smallest positive
integer such that g ∈ NG (hhm i). For an integer 1 ≤ k < o(h), the elements bk (g, h̃) and bk (h̃, g)
are units in ZG and
(1) if (k, m) = 1, then o(bk (g, h̃)) = o(bk (h̃, g)) = o(hk ),
(2) else both bk (g, h̃) and bk (h̃, g) have infinite order.

5

Proof. Remark that for a positive integer t we have
bk (g, h̃)t = (hk )t +

t−1
X
i=0

Because g

6∈

hhi,

we have that (hk )t

∈
/

(hk )i

!

(1 − h)g h̃.

P

t−1 k i
Supp(
(1 − h)g h̃) and thus
(h
)
i=0

(hk )t ∈ Supp(bk (g, h̃)t ). In particular, if bk (g, h̃) is torsion, then (hk )o(bk (g,h̃)) = 1 and
o(hk ) | o(bk (g, h̃)).
Note that the minimality assumption on m implies that m|o(h). A straightforward calculation
then yields

 k
o(h )−1
X
k
k
(hk )i  (1 − h)g h̃,
(bk (g, h̃))o(h ) = (hk )o(h ) + 
=



1 + t

i=0

m
−1
(k,m)

X
i=0



(h(k,m) )i  (1 − h)g h̃,

(3.1)

for some positive integer t.
part (1), assume (k, m) = 1.
Since g ∈ NG (hhm i), we then get that
PTom prove
−1
k
(k,m)
(h(k,m) )i (1 − h)g h̃ = (1 − hm )g h̃ = 0. Hence, (bk (g, h̃))o(h ) = 1 and thus
i=0

o(bk (g, h̃))|o(hk ). So, by the above o(bk (g, h̃)) = o(hk ). This proves part (1).
To prove part (2), assume (k, m) 6= 1. We give a proof by contradiction. So suppose
k
k
bk (g, h̃) has finite order. By the first part of the proof, 1 = (hk )o(h ) ∈ Supp(bk (g, h̃)o(h ) ).
k
o(h )
The
Berman-Higman
= 1 . So, by (3.1),
P m
 Theorem therefore yields that (bk (g, h̃))
−1
(k,m)
m
(k,m)i+1
(k,m) i
(1
−
h)g
h̃
=
0.
Thus,
g
∈
N
(hh
)
for
some
0 ≤ i < (k,m)
(h
)
; in
G
i=0
contradiction with the minimality of m. This proves part (2) for bk (g, h̃). The proof for bk (h̃, g)
is similar.


Proposition 3.2. Let G be a finite group and g, h ∈ G. Let u = bk (g, h̃) be a Bovdi unit and
w = b(g, h̃) a bicyclic unit. Then, the group hu, uw i is abelian-by-finite and solvable of length
at most 2. Similarly, if bk (h̃, g) is a Bovdi unit and v = b(h̃, g) then hbk (h̃, g), (bk (h̃, g))v i is an
abelian-by-finite (and solvable) group.
Proof. We prove the first part. Put n = o(h). Write the Pierce decomposition of QG with respect
to the non-central idempotent e = b
h in a natural matrix form as follows:


(1 − e)QG(1 − e) (1 − e)QGe
QG =
.
eQG(1 − e)
eQGe


 k

1 − e (1 − h)nge
h (1 − e) 0
Note that u = whk and uw = hk w, w =
and hk =
.
0
e
0
e
Hence
 k

 k

h (1 − e) (1 − h)nge
h (1 − e) hk (1 − h)nge
u=
and uw =
.
0
e
0
e


hhi(1 − e) (1 − e)QGe
w
So, hu, u i is a subgroup of
= H. Clearly, this group H contains the
0
e


1 − e (1 − e)QGe
abelian group N =
as a normal subgroup and H/N ∼
= hhi. So, H, and
0
e
w
thus also hu, u i, is an abelian-by-finite group. The result follows.

Note that the group constructed in the previous proposition is finite if the Bovdi unit is trivial.
Furthermore it is infinite cyclic if hk = 1.
The proposition implies that hu, uw i does not contain a free group or free monoid (since
nilpotent-by-finite groups have polynomial growth) if u is not a trivial Bovdi unit and hk 6= 1.

6

GEOFFREY JANSSENS, ERIC JESPERS, AND DORYAN TEMMERMAN

In particular hu, uw i ≇ Ct ⋆ Ct for t ≥ 3 or t = ∞ since otherwise it would contain huuw , uw ui,
a free group of rank 2. We point this out due to [1] where it is asserted that hu, uw i ∼
= Ct ⋆ Ct .
However in the case o(h) = 2 and k is odd, then hu, uw i ∼
C
⋆
C
.
Indeed,
if
o(h)
= 2 then
= 2
2
by Lemma 3.1 also o(uw ) = o(u) = 2. Moreover, uuw = wh2k w = w2 has infinite order. Since
(uw )−1 (uuw )uw = uw u = (uuw )−1 we get that hu, uw i = huuw , uw i ∼
= C2 ⋆ C2 as claimed.
= Z ⋊ C2 ∼
In order to construct free monoids in U(ZG) we generalise the Bovdi units via the use of an
arbitrary unit in Zhhi (instead of hk ). More precisely, for g, h ∈ G and u(h) ∈ U(Zhhi) define
b(u(h), g, h̃) = u(h) + (1 − h)ge
h and b(u(h), h̃, g) = u(h) + h̃g(1 − h).
Clearly, b(u(h), g, h̃) = u(h)(1 + (1 − h)(u(h))−1 ge
h) and thus it is a unit. Similarly, b(u(h), h̃, g) is
a unit. We now show that the Q-algebra generated by h and a = (1 − h)g h̃ is containedQ
in a (generalised) upper triangular matrix algebra. By a theorem of Perlis and Walker, Qhhi ∼
Q(ζd ),
=
d|o(h)

where ζd denotes a primitive dth -root of unity. Thus, there exists a primitive idempotent f ∈ Qhhi
such that Qhhif ∼
= Q(ζn ), with n = o(h). Note that a2 = 0 and au = ω(u)a for any u ∈ Qhhi. An
easy computation shows that the map


Q(ζn ) Q(ζn )
ϕ : Qhhi ⊕ Qhhia →
,
(3.2)
0
Q
defined by

u1 + u2 a 7→



u1 f
0

u2 f
ω(u1 )



.

is a Q-algebra morphism.
 Hence,
 if u(h) is a unit of Zhhi of augmentation 1 then ϕ(b(u(h), g, h̃))
x y
is a matrix of the type
, with x, y ∈ Q(ζn ).
0 1
In order to show that two specific matrices of such a type generate a free monoid, we need, for
a field K (for our purposes it is sufficient to consider the case that K = C), a criterion when two
elements of the group of affine transformations of the K-line



x y
×
A(K) =
| x ∈ K ,y ∈ K ,
0 1

generate a free monoid. This is stated in the following free monoid variant of the Ping-Pong Lemma
(see for example [2, Lemma 2.1]). Note that there are essentially two types of transformations.
Those with x = 1, a translation which has no fix-points, and those with x 6= 1, a transformation
y
with fix-point 1−x
and this can be seen as a homothety about this point with scaling factor x.
Lemma 3.3. (Ping-Pong Lemma for Monoids). If A, B ∈ A(C) have respective scaling factors x
and y and |x|, |y| ≤ 31 then A and B generate a free monoid of rank 2.

Actually the lemma is valid in the more general context of the affine group A(K) over a (non-)
archimedean local field K. In case of a non-archimedean field K the condition on the scaling
factors has to be replaced by |x|, |y| < 1.
The following result is stated for finite groups. It is clear from the proof that it remains valid
for arbitrary groups G provided H is a finite subgroup of G.
Theorem 3.4. Let H be a subgroup of a finite group G. Suppose h ∈ H with o(h) = n and
e 6= 1. Let ζ be a primitive n-th root of unity.
assume α ∈ ZG is such that s = 1 + (1 − h)αH
Suppose b1 = uk1 ,m1 (h) and b2 = uk2 ,m2 (h) are two non-trivial Bass units (so, 1 < k1 , k2 < n − 1,
(k1 , n) = (k2 , n) = 1, k1m1 ≡ 1 mod n and k2m2 ≡ mod n). If, for i ∈ {1, 2},
 k1
m1  k2
m2
ζ −1
ζ −1
mi ≥ log ζki −1 3 and
6=
,
ζ −1
ζ −1
ζ−1
then

e b2 + (1 − h)αH}
e
{b1 + (1 − h)αH,
and
{b1 s, b2 s}
generate free monoids of rank 2 that are contained in a solvable group.
In particular, hb(uk1 ,m1 (h), g, h̃), b(uk2 ,m2 (h), g, h̃)i is a free monoid of rank 2 if g 6∈ NG (hhi).

7

e Then, a2 = 0 and aβ = ω(β)a for all β ∈ QH. Let f ∈ Qhhi
Proof. Put a = (1 − h)αH.
be a primitive central idempotent such that Qhhif ∼
= Q(ζ). Again, as in (3.2) we have
 a QQ(ζ) Q(ζ)
u1 f
u2 f
algebra morphism ϕ : Qhhi ⊕ Qhhia →
with u1 + u2 a 7→
. Since
0
Q
0
ω(u1 )
 k  mi
i −1
bi f = µki ,mi (ζ) = ζζ−1
and ω(bi ) = 1 we obtain that
#
"  k
"  k
mi
mi  k
 mi #
ζ i −1
ζ i −1
ζ i −1
1
ζ−1
ζ−1
ζ−1
.
and
ϕ(bi s) =
ϕ(bi + a) =
0
1
0
1
"  k
"  k
#
−mi
−mi #
−mi
 k
ζ i −1
ζ i −1
ζ i −1
−
−1
ζ−1
ζ−1
ζ−1
The inverses of these images are
and
0
1
0
1
respectively.
As
elements
of
A(C)
they
have
respective
fixed
points


−

fi =

1−

ζ ki −1
ζ−1



ζ ki −1
ζ−1

−mi

−m

i

=



−1
m

ζ ki −1
ζ−1

i

and gi =

−1

1−



−1 
−m

ζ ki −1
ζ−1

g1 6= g2 . Moreover, from the assumption that mi ≥ log

ζ ki −1
ζ−1

i

. By assumption, f1 6= f2 and

3, we know that

ζ ki −1
ζ−1

−mi

≤ 3−1

. Therefore, by Lemma 3.3, the homotheties ϕ(b1 + a)−1 and ϕ(b2 + a)−1 , respectively ϕ(b1 s)−1
and ϕ(b2 s)−1 , generate a free monoid (and thus also ϕ(b1 + a) and ϕ(b2 + a), respectively ϕ(b1 s)
and ϕ(b2 s)). Hence, {b1 + a, b2 + a} and {b1 s, b2 s} generate free monoids as well. Note that these
monoids are contained in a solvable group.

We include a couple of remarks on the assumptions concerning m1 and m2 . The restrictions on
mi are clearly satisfied if one takes k1 6= k2 arbitrary (and keeping the requirement that the Bass
units are non-trivial) and m1 = m2 = m large enough. The latter is allowed as one may replace
the Bass units by powers because uk,m (g)uk,n (g) = uk,m+n (g).
Also note that for the restriction mi ≥ log

ζ ki −1
ζ−1

3 to be fulfilled it is necessary that

ζ ki −1
ζ−1

6= 1.

Because of Lemma 2.2 this is equivalent with ki 6= ±1 mod |g| (i.e. the Bass units constructed are
non-trivial).
4. Free product of cyclic groups
In this section we will give an explicit construction via Bovdi units of a free product Cp ⋆ Cp in
the unit group of the integral group ring of a finite nilpotent group G. We first deal with groups
of class two. In this case we prove a more general statement.
Theorem 4.1. Let G be a finite nilpotent group of class 2 and let g, h ∈ G. Assume o(h) = pn ,
i
with p a prime number, and g ∈
/ NG (hhp i) for all 0 ≤ i < n. Then, for any 1 ≤ l, t ≤ pn ,
hbl (g, e
h), bt (e
h, g −1 )i ∼
h), bt (g, e
h)⋆ i,
= hbl (g, e
= Cn ⋆ Cn ∼
l

t

a free product of cyclic groups, where nl = o(bl (g, e
h)) and nt = o(bt (e
h, g −1 )) (see Lemma 3.1).

Proof. Without loss of generality we may assume that G = hg, hi. Since G has nilpotency class
two, c = [g, h−1 ] is central and has p-power order, say pm with m ≤ n (and similarly o(c) ≤ o(g)).
m
m
m
m
m
Clearly, (hp )g = cp hp = hp and thus g ∈ NG (hhp i). The assumptions therefore imply that
n ≤ m and thus n = m. So o(h) = o(c) and hence the normalizer assumption on g yields that
hhi ∩ hci = {1}. So hh, ci = hhi × hci.
We will now construct a concrete irreducible complex representation of G so that the proposed Bovdi units will be represented by matrices to which Lemma 2.5 can be applied. To
do so, first note that if g i hj ∈ Z(G) then 1 = [g, g i hj ] = [g, g i ][g, hj ] = [g, h]j = c−j and
j
1 = [h, g i hj ] = [h, g i ]h [h, hj ] = [h, g]i = ci . Because o(h) = o(c) this implies that Z(G) = hg o(c) , ci
and G/Z(G) = hgi × hhi ∼
= Co(c) × Co(c) .
Since Z(G) is a 2-generated abelian group with o(c) a p-power, there is an isomorphism
ϕ : Z(G) → Cpα × Ck , for some non-negative integers α and k. Without loss of generality,

8

GEOFFREY JANSSENS, ERIC JESPERS, AND DORYAN TEMMERMAN

we may choose α and k such that ϕ(c) = (cα , cβ ) and o(c) = o(cα ). Set K = ϕ−1 (1 × Ck ), a
subgroup of Z(G). Then hci embeds faithfully in Z(G)/K ∼
= Cpα . Let H be a subgroup of Z(G)
that is minimal for properly containing K. It is well-known and easily verified that ε = K̂ − Ĥ is
a primitive idempotent of QZ(G) and QZ(G)ε ∼
= Q(ζpα ) (see for example Lemma 3.3.2 in [10]).
Under this isomorphism c is mapped onto the primitive po(c) -th root of unity ζpo(c) .
We next show that QGε is a simple algebra. This follows at once from the description of primitive central idempotents in strongly monomial groups, for example nilpotent groups
(Section 3.5 in
P
shown easily. To do so, write QGε = t∈T QZ(G)εt, with
[10]). However, in this case this can beP
T a transversal of Z(G) in G. Let z = t∈T αt εt ∈ Z(QGε), with each αt ∈ QZ(G)ε. The centralP
P
P
P
P
ity of z means that t∈T αt εt = ( t∈T αt t)s = t∈T (αt t)s = t∈T αt ts = t∈T αt [s, t−1 ]t for
all s ∈ T . Since [s, t−1 ] ∈ Z(G) and because QZ(G)ε is a field, we obtain that αt tε = αt [s, t−1 ]t
for all s, t ∈ T . If t 6∈ Z(G) then there exists s ∈ T so that ε 6= [s, t−1 ]ε. Hence, αt = 0 if t 6∈ Z(G).
So, Z(QGε) = QZ(G)ε ∼
= Q(ζpα ), a field. Thus the semisimple algebra QGε indeed is simple and
has centre isomorphic to Q(ζpα ).
Because [G : Z(G)] = o(c)2 we get that QGε = Mo(c) (Q(ζpα )), a matrix ring of degree o(c). In
order to describe explicitly this representation, we first note that the following non-zero elements
gi−1 ε,
Eii = h[

with 1 ≤ i ≤ o(c), form a complete set of orthogonal primitive idempotents of this matrix ring. For
this it is sufficient to show the orthogonality and this follows from the fact that if 1 ≤ j, i ≤ o(c)
i−j ε = 0 and thus
with i 6= j then o(ci−j )|o(ci−1 h) = o(c), cd
Eii Ejj

=

[
gi−1 ε h
gj−1 ε = c
\
i−1 h c
\
j−1 hε = ci−j\
j−1 hε
h[
(cj−1 h) c\

=

o(c)−1
1 X
j−1 hε
((ci−j )k (cj−1 h)k ) c\
o(c)
k=0

o(c)−1

=

1 X i−j k \
(c ) cj−1 hε
o(c)
k=0

=
=

i−j ε c
\
j−1 hε
cd

0.

We remark some arithmetic concerning these idempotents.
(1) hEii = Eii h and hE11 = E11 .
c
gi−1 εg = g h
gi ε = gE
(2) E g = h[
ii

(3) hEii = hg

−(i−1) i−1

g

Eii =

i+1,i+1 , where the
−(i−1) i−1
g
c hE11 g i−1

indices are taken modulo o(c).
= ci−1 g −(i−1) E11 g i−1 = ci−1 Eii .

Now, for any 1 ≤ i, j ≤ o(c), put

Eij = Eii g j−i Ejj .
Then, Eij Eji = Eii g j−i Ejj Ejj g i−j Eii = Eii g j−i g i−j Eii = Eii . Hence, {Eij | 1 ≤ i, j ≤ o(c)} is a
complete set of matrix units of the matrix ring QGε = Mo(c) (Q(ζpα )).
With respect to these matrix units we will now represent the elements u = bl (g, e
h)ε and
v = bt (e
h, g −1 )ε as matrices (the calculations for hbl (g, e
h), bt (g, e
h)⋆ i are similar, but are left to
the reader as an exercise). The (i, j)-th position in the matrix of the representation of u is determined as follows:
Eii uEjj = Eii (hl + (1 − h)ge
h)Ejj = hl Eii Ejj + (1 − h)Eii ge
hEjj = hl Eii Ejj + (1 − h)ge
hEi+1,i+1 Ejj .

So, if i = j then Eii uEii = hl Eii and thus E11 uE11 = hl E11 = E11 . On the other hand, if i + 1 = j
then Eii uEjj = (1 − h)ge
hEjj = o(h)(1 − h)gb
hEjj = o(h)(1 − h)gE11 Ejj , which is zero if j 6= 1.
If i 6= j and i + 1 6= j, then Eii uEjj = 0. This shows that the non-diagonal entries of the matrix
representation of u are 0, except the (o(c), 1)-position. The value at this position is determined

9

as follows by the previous:
Eo(c),o(c) uE11

=
=
=

o(h)(1 − h)gE11 = o(h)(1 − h)Eo(c),o(c) gE11

o(h)(1 − c−1 )Eo(c),o(c) gE11

o(h)(1 − c−1 )Eo(c),1 .

A similar calculation and reasoning yields for v:
Eii vEjj = ht Eii Ejj + e
hg −1 (1 − h)Ei−1,i−1 Ejj ,

which is zero everywhere except on the (1, o(c))-the position and on the diagonal. Explicitly
E11 vEo(c),o(c) = o(h)(1 − c−1 )E1,o(c) .

−1
)
Through the explicit morphism to Mo(c) (Q(ζpα )) the elements u and v have o(h)(1 − ζo(c)
on position (o(c), 1) and (1, o(c)) respectively since c is mapped to ζo(c) . Moreover, on position
−l
−t
(o(c), o(c)) u has value ζo(c)
because hl Eo(c),o(c) = cl(o(c)−1) Eo(c),o(c) , and v has value ζo(c)
. Because
−1
|o(h)(1 − ζo(c) )| ≥ 2, these matrices satisfy the conditions for Lemma 2.5, so hu, vi has Co(u) ⋆ Co(v)
as an epimorphic image. Then also hu, vi ∼

= Co(u) ⋆ Co(v) .

The previous result will be used to prove our main result of this section.
Theorem 4.2. Let G be a finite nilpotent group, g, h ∈ G such that g 6∈ NG (hhi). If o(h) = p (a
prime number) and 1 ≤ k, l ≤ p − 1 then
hbk (g, h̃), bl (g, h̃)∗ i ∼
= hbk (g, h̃), bl (h̃, g −1 )i.
= Cp ⋆ Cp ∼

Conversely, if U(ZG) contains a subgroup isomorphic with Cp ⋆ Cp then there exist g, h ∈ G
satisfying the assumptions of the first part of the statement.

Proof. Write g = gp x with (o(x), p) = 1 and let Gp denote the Sylow p-subgroup of G. Since G
is nilpotent, gp ∈
/ NGp (hhi). So, in order to prove the first part of the statement, without loss of
generality, we may assume that G = hg, hi is a p-group. We prove the result by induction on the
nilpotency class of G. Let u = bk (g, h̃) and v = bk (h̃, g −1 ). If the class is two then the result holds
by Theorem 4.1. So, assume that the class of G is more than 2. Let G = G/Z(G) and denote by α
the natural image of α ∈ ZG in ZG. Clearly h has order p. Also, g 6∈ NG (hhi). Indeed, otherwise
k

hhi is a normal subgroup of G. In particular since G is nilpotent, some h would be central in
k
G = hg, hi = hg, h i. This would imply that G is commutative, a contradiction with the fact that
G is not of nilpotency degree 2. So, the assumptions are inherited in the group G. The induction
hypothesis yields that hu, vi ∼
= Cp ⋆ Cp .
= Cp ⋆ Cp . Hence, since u and v have order p, also hu, vi ∼
∗ ∼
A similar proof can be given for the statement hbk (g, h̃), bl (g, h̃) i = Cp ⋆ Cp .
For the converse, assume that all cyclic subgroups of G of order p are normal. In this case,
Passman and Gonçalves, in [4, Lemma 1.3], have shown that all units of order p in U(ZG) are
trivial. In particular, Cp ⋆ Cp would not be a subgroup of U(Z(G)), a contradiction.

We immediately get the following Marciniak-Seghal type result.

Corollary 4.3. Let G be a finite nilpotent group, g, h ∈ G such that g ∈
/ NG (hhi) and o(h) = p 6= 2.
Then hbk (g, h̃) bl (g, h̃)∗ , bl (g, h̃)∗ bk (g, h̃)i is a free group of rank 2.
Also the earlier mentioned result of Gonçalves and Passman is a consequence in case G is a
finite nilpotent group.
Corollary 4.4. Let G be a finite nilpotent group and suppose h ∈ G is a non-central element
of order p 6= 2. Then a subgroup isomorphic to Cp ⋆ C∞ exists in U(ZG) and can be explicitly
constructed. Moreover there exists a unit w ∈ U(ZG) such that hh, wi ∼
= Cp ⋆ C∞ .
Proof. Because h is not central and of order p, the subgroup hhi is not normal in G. Hence there
exists g ∈ G such that g 6∈ NG (hhi). So, by Theorem 4.2, hu, u∗ i ∼
= hui ⋆ hu∗ i ∼
= Cp ⋆ Cp with
∗
∗ ∼
∗
∗ ∼
u = b1 (g, h̃). Clearly, hu, u uu i = hui ⋆ hu uu i = Cp ⋆ C∞ . As mentioned earlier, there exists a

10

GEOFFREY JANSSENS, ERIC JESPERS, AND DORYAN TEMMERMAN

rational unit v such that uv = h. Since v −1 (ZG)v is a Z-order in QG, the unit group of this order
and U(ZG) are commensurable (see for example [10, Lemma 4.6.9]). Hence, for some positive
m
m
m
integer m, we get that ((u∗ uu∗ )v ) ∈ U(ZG). So huv , ((u∗ uu∗ )v ) i = hh, (u∗ uu∗ )v ) i ∼
= Cp ⋆ C∞ .
Hence, the result follows.

References
[1] V. Bovdi, Free subgroups in group rings, arXiv:1406.6771, 2014, preprint.
[2] E. Breuillard, On uniform exponential growth for solvable groups, Pure and Applied Math., Quart. 3, no. 4,
Margulis Volume Part 1, 949–967, 2007. 160, no. 1, 1-30, 2005.
[3] F. Eisele, A. Kiefer, I. Van Gelder, Describing units of integral group rings up to commensurability, J. Pure
Appl. Algebra 219, no. 7, 2901-2916, 2015.
[4] J. Z. Gonçalves, and D. S. Passman, Embedding free products in the unit group of an integral group ring,
Arch. Math. (Basel), no. 2, Vol 82, 97–102, 2004.
[5] J.Z. Gonalves,Á. del Rı́o, A survey on free subgroups in the group of units of group rings, J. Algebra Appl. 12,
no. 6, 28 pp, 2013.
[6] B. Hartley, P.F. Pickel, Free subgroups in the unit groups of integral group rings, Canad. J. Math. 32, no. 6,
1342–1352, 1980.
[7] M. Hertweck, A counterexample to the Isomorphism Problem for Integral Group Rings, Ann. of Math. (2)
154, 115–138, 2001.
[8] E. Jespers, W. Kimmerle, Z. Marciniak and G. Nebe, Mini-Workshop: Arithmetik von Gruppenringen [MiniWorkshop: Arithmetic of Group Rings], Abstracts from the mini-workshop held November 25–December 1,
2007. Organised by Eric Jespers, Zbigniew Marciniak, Gabriele Nebe and Wolfgang Kimmerle. Oberwolfach
Reports. Vol. 4, no. 4. Oberwolfach Rep. 4 (2007), no. 4, 3209–3239.
[9] E. Jespers, G. Leal, Generators of large subgroups of the unit group of integral grouprings, Manuscripta Math.
78, 303-315, 1993.
[10] E. Jespers, and Á. del Rı́o, Group ring groups. Volume 1: Orders and generic constructions of units, De
Gruyter, Berlin, 2016.
[11] E. Jespers, and Á. del Rı́o, Group ring groups. Volume 2: Structure theorems of unit groups, De Gruyter,
Berlin, 2016.
[12] Z. S. Marciniak, and S. K. Sehgal, Constructing free subgroups of integral group ring units, Proc. Amer. Math.
Soc., no. 4, Vol 125, 1005–1009, 1997.
[13] D. S. Passman, Free products in linear groups, Proc. AMS 132, 37–46, 2003.
[14] J. Ritter and S.K. Sehgal, Construction of units in integral group rings of finite nilpotent groups, Trans. Amer.
Math. Soc. 324 (1991), no. 2, 603–621.
[15] J. Rosenblatt, Invariant measures and growth conditions, Trans. Amer. Math. Soc. 193, 33-53, 1974.
[16] S.K. Sehgal, Units in integral group rings, Pitman Monographs and Surveys in Pure and Applied Mathematics,
69. Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc.,
New York, 1993.
Department of Mathematics, Vrije Universiteit Brussel, Pleinlaan 2, B-1050 Elsene, Belgium
E-mail address: geofjans@vub.ac.be, efjesper@vub.ac.be, dtemmerm@vub.ac.be

