Highly transitive actions of free products. (Q1945743)

Let \(G\) and \(H\) be nontrivial finite or countable groups. The authors give a proof that the free product \(G*H\) admits a faithful and highly transitive action on some countably infinite set \(X\) if and only if at least one of the groups has order \(>2\). As they point out in an addendum to the paper this theorem is known (see, for example, [\textit{A. M. W. Glass} and \textit{S. H. McCleary}, Bull. Aust. Math. Soc. 43, No. 1, 19-35 (1991; Zbl 0717.20001)], [\textit{S. V. Gunhouse}, Arch. Math. 58, No. 5, 435-443 (1992; Zbl 0724.20004)] and [\textit{K. K. Hickin}, J. Lond. Math. Soc., II. Ser. 46, No. 1, 81-91 (1992; Zbl 0819.20003)]), but their proof does include the following new result. Suppose that \(|G|>2\), \(H\) is finite, and the action of \(G\) on \(X\) consists of infinitely many copies of its regular representation. Let \(\mathcal A(G,H,X)\) be the set of actions \(\sigma\) of \(H\) on \(X\) for which all orbits of \(\langle G,\sigma(H)\rangle\) are infinite. Then \(\mathcal A(G,H,X)\) is a complete metrizable space, and \(G*\sigma(H)\) is both faithful and highly transitive for almost all \(\sigma\in\mathcal A(G,H,X)\) (in the sense of Baire).