The Extrinsic Primitive Torsion Problem

Abstract: Let

P_{k}

be the subgroup generated by

k

th powers of primitive elements in

F_{r}

, the free group of rank

r

. We show that

F_{2} / P_{k}

is finite if and only if

k

is

1

,

2

, or

3

. We also fully characterize

F_{2} / P_{k}

for

k = 2, 3, 4

. In particular, we give a faithful nine dimensional representation of

F_{2} / P_{4}

with infinite image.

This page was built for publication: The Extrinsic Primitive Torsion Problem