Highly transitive representations of free products on the natural numbers (Q2644756)

It has been shown previously that the free product of two cyclic groups of order 2 has no highly transitive representation on \(\mathbb N\), the set of natural numbers, but that the free product of two nontrivial groups does have a highly transitive representation if either group contains an element of infinite order. In this paper, constructions are given for all of the remaining non-trivial cases which are highly transitive on a countable set. Hence we derive the following Theorem: If \(G\) and \(H\) are nontrivial finite or countable groups not both cyclic of order 2, then the free product \(G*H\) can be represented faithfully as a highly transitive group of permutations of the natural numbers \(\mathbb N\).