Free Products in Prime Characteristic: A Representation of Fuchsian Groups Original Research Article

In 1988, S. White proved by means of field theory supplemented by a geometric argument that the real bijectionsxmaps tox+1 andxmaps toxd(dan odd prime) generate a free group of rank 2. When these maps are considered in prime characteristicp(so thatxmaps tox+1 generates a cyclic group of orderp) the geometric argument is no longer available. We show on the one hand that, generally, the geometry is redundant and on the other that, in characteristicp, further algebraic considerations are required to establish a key polynomial lemma. By these means we obtain an analogue of Whiteʹs theorem for certain (countably) infinite subfieldsLof the algebraic closure of the finite prime field GF(p). For any (odd) primed, not a divisor ofp(p−1), the mapsxmaps tox+1 andxmaps toxdgenerate a group ofbijectionsof such a fieldLthat is isomorphic to the free product image*(image/pimage). This implies an explicit natural algebraic faithful representation of the free product as a transitive permutation group on a countable set.