Torsion-free relatively homogeneous permutation groups (Q1173730)

Let \(\Omega\) be an infinite set and let \(G\) be a subgroup of the symmetric group \(\text{Sym } \Omega\). \((G,\Omega)\) is said to be sharp if for every \(g\in G\setminus \{1\}\) the set \(\text{fix}(g)\) of elements fixed by \(g\) is empty or finite. \((G,\Omega)\) is said to be relatively homogeneous if for every finitely generated subgroup \(B\) and every \(B\)- isomorphism \(f\) among finitely many orbits of \(B\) there exists an \(x\in C_ G(B)\) which extends \(f\). The main result of the paper is Theorem 1. There exists a faithful, countably infinite permutation group \((G,\Sigma)\) of countably infinite degree such that (i) \((G,\Sigma)\) is torsion-free, (ii) \((G,\Sigma)\) is sharp and relatively homogeneous, and (iii) the orbits of every finitely generated subgroup of \(G\) are finite sets. This result strengthens a previous theorem of the author [Theorem 4 of Proc. Edinb. Math. Soc., II. Ser. 31, No. 2, 169-178 (1988; Zbl 0647.20004)] in answer to a question of P. M. Neumann.