arXiv:1705.03884v1 [] 10 May 2017

COPRODUCTS OF FINITE GROUPS
CHRIS HALL
Abstract. We show that for any pair of non-trivial finite groups, their
coproduct in the category of finite groups is not representable.

Given
a category C and a pair of objects X1 , X2 ∈ C, the coproduct
`
X1 X2 is representable in C iff
∃X ∈ C, ∃(ιX1 , ιX2 ) ∈ HomC (X1 , X) × HomC (X2 , X)
such that
∀Y ∈ C, ∀(f1 , f2 ) ∈ HomC (X1 , Y ) × HomC (X2 , Y ), ∃!f ∈ HomC (X, Y )
making the diagram
X1 ❆

⑤⑤
⑤⑤
⑤
~⑤
⑤
∃!f
X `❇❴ ❴ ❴ ❴
❇❇
❇❇
❇
ιX2 ❇❇
ιX 1

X2

❆❆ f
❆❆ 1
❆❆
❆
❴ ❴ ❴/ Y
⑥>
⑥⑥
⑥
⑥⑥
⑥⑥ f2

commute.
Let G, H be finite `
groups. If we regard them as members of the category
of all groups, then G H is representable: it is the free product G ∗ H, and
G → G ∗ H and H → G ∗ H are the canonical inclusions. The purpose of
this note is to prove the following theorem:
`
Theorem 1. If G, H are non-trivial groups, then the coproduct G H in
the category of finite groups is not representable.
The key will be the following proposition:
Proposition 2. Let G, H be non-trivial groups, and let g ∈ G r {1} and
h ∈ H r {1}. For every m ≥ 1, then there exist a finite group Tm and a
homomorphism qm : G ∗ H → Tm such that |h qm (gh) i| > m.
Before proving the proposition we show how it implies Theorem 1.
Proof of Theorem 1. Let F be a finite group and
ιG : G → F and ιH : H → F
We gratefully acknowledge Bob Guralnick for helpful discussions on this topic.
1

2

CHRIS HALL

be homomorphisms. Let
g ∈ G r {1} and h ∈ H r {1},
let m be the order of ιG (g)ιH (h), and let
qm : G ∗ H → Tm
be a homomorphism such that |h qm (gh) i| > m as in Proposition 2. Let
fG : G → Tm and fH : H → Tm
be the respective compositions of
G → G ∗ H and H → G ∗ H
with qm so that
G

⑥ ●●●●
⑥⑥
●●
⑥
●●
⑥⑥ fG
●
⑥

~
⑥
qm #
o
F ❆`
Tm
G; ∗ H
O
✇
❆❆
✇✇
❆❆
✇
✇
f
❆
ιH ❆❆H
✇✇
✇✇
ιG

H

commutes. Observe that
{ f ∈ Hom(F, Tm ) : fG = ιG f and fH = ιH f }
is empty since fG (g)fH (h) has order exceeding m while
(f ιG (g))(f ιH (h)) = f (ιG (g)ιH (h))
has order m. Therefore one cannot
` find a morphism F → Tm to complete
the above diagram, and hence G H is not representable in the category
of finite groups.

The proof of the proposition will occupy the remainder of this note.
Proof of Proposition 2.
To start we recall a special case of a result of Marciniak:
Theorem 3. If there exists a faithful representation G×H → GLn (Q), then
there exists a faithful representation G ∗ H → GLn (K) where K = Q(t).
Proof. See [1].



Recall that a group is residually finite iff every non-identity element is
contained in the complement of a finite-index normal subgroup.
Corollary 4. G ∗ H is residually finite.
Proof. Let Q[G] and Q[H] be the respective group algebras of G and H,
and let n = |G| + |H|. If V = Q[G] ⊕ Q[H], then V ≃ Qn and there exists
a canonical faithful representation G × H → GLn (Q). Let
ρ : G ∗ H → GLn (K)

COPRODUCTS OF FINITE GROUPS

3

be the corresponding representation given by Theorem 3. It is faithful and
the image is finitely generated, so the corollary is a consequence of the fact
that any finitely generated subgroup of GLn (C) is residually finite. Rather
than appeal to this general fact though, we prove directly that G ∗ H is
residually finite.
Let w ∈ G ∗ H be a non-identity element. We must show that there is a
finite-index normal subgroup of G ∗ H whose complement contains w.
The set ρ(G ∪ H) is finite and contained in GL(K), so the least common
multiple of the denominators of all the entries of the matrices in ρ(G ∪ H)
is a non-zero polynomial D ∈ Q[t]. Moreover, the greatest common divisor
of the numerators of all the entries of ρ(w) − In is a non-zero polynomial
N ∈ Q[t].
Let Z ⊂ Q be the finite set of zeros of D · N in Q and U := Q r Z. Let
S be the polynomial ring Q[t][1/DN ] and
(1)

GLn (S) → GLn (K)

be the homomorphism induced by the inclusion S → K.
Observe that the elements of ρ(G ∪ H) all have finite order and generate
ρ(G ∗ H). Therefore the elements of det(ρ(G ∪ H)) are roots of unity and
generate det(ρ(G ∗ H)), so the latter is contained in S × . In particular, ρ
factors through (1).
For each s ∈ U , let Fs be the quotient field S/(t − s)S and ρs be the
composition
G ∗ H → GLn (S) → GLn (Fs )
where the last homomorphism is induced by the quotient S → Fs . Observe that Fs is (canonically) isomorphic to Q, so we can regard ρs as a
homomorphism
ρs : G ∗ H → GLn (Q).
Observe also that the least common multiple of the denominators of the
entries of all matrices in ρs (G ∪ H) is a positive integer Ds ∈ N, and that
det(ρs (G ∗ H)) ⊆ Z[1/Ds ]× . Therefore the image of ρs is contained in the
image of the natural homomorphism
GLn (Z[1/Ds ]) → GLn (Q),
and hence there is a homomorphism
ρs,p : G ∗ H → GLn (Z/p)
for each p ∤ Ds . By construction, ρs,p (w) 6= In and the kernel of ρs,p has finite
index in G ∗ H. In particular, the complement of the latter is a finite-index
subgroup containing w, so G ∗ H is residually finite as claimed.

Observe that gh has infinite order in G ∗ H. Therefore, for each m ≥ 1,
the element wm := (gh)m! is not the identity, hence Corollary 4 implies that
there exists a finite-index normal subgroup Km ⊆ G ∗ H whose complement
contains wm .

4

CHRIS HALL

To complete the proof of the proposition, we let Tm := (G ∗ H)/Km and
qm : G ∗ H → Tm
be the canonical quotient. By definition,
qm (wm! ) = qm (wm ) 6= 1,
hence qm (w) has order exceeding m as claimed.



References
1. Zbigniew S. Marciniak, A note on free products of linear groups, Proc. Amer. Math.
Soc. 94 (1985), no. 1, 46–48. MR 781053

